Trace number 4462573

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 (3)No Cert. 3600.2 3714.96

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM9792288b3bfa4387008e61c6fa17d472
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 benchmark245
Best CPU time to get the best result obtained on this benchmark3558.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 495293
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 495293
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.05/2.35	c #variables 10000 #constraints 656900
3.55/3.89	c bounds - >= 0 @ 1.59349
3.55/3.89	c rational objective 185.072
16.62/16.93	c bounds 5925 >= 0 @ 3.79028
16.62/16.93	c bounds 5563 >= 0 @ 3.7966
16.62/16.93	c bounds 5557 >= 0 @ 3.80421
16.62/16.93	c bounds 5472 >= 0 @ 3.81468
16.62/16.93	c bounds 5087 >= 0 @ 3.82043
16.62/16.93	c bounds 5063 >= 0 @ 3.82414
16.62/16.93	c bounds 5049 >= 0 @ 3.83331
16.62/16.93	c bounds 5021 >= 0 @ 3.83996
16.62/16.93	c bounds 4992 >= 0 @ 3.84626
16.62/16.93	c bounds 4980 >= 0 @ 4.18855
16.62/16.93	c bounds 4969 >= 0 @ 4.19542
16.62/16.93	c bounds 4960 >= 0 @ 4.2013
16.62/16.93	c bounds 4787 >= 0 @ 4.20707
16.62/16.93	c bounds 4772 >= 0 @ 4.2128
16.62/16.93	c bounds 4518 >= 0 @ 4.21574
16.62/16.93	c bounds 4481 >= 0 @ 4.21984
16.62/16.93	c bounds 4401 >= 0 @ 4.22584
16.62/16.93	c bounds 4325 >= 0 @ 4.23116
16.62/16.93	c bounds 4321 >= 0 @ 4.2354
16.62/16.93	c bounds 4183 >= 0 @ 4.24108
16.62/16.93	c bounds 4175 >= 0 @ 4.25234
16.62/16.93	c bounds 4109 >= 0 @ 4.25802
16.62/16.93	c bounds 4098 >= 0 @ 4.26426
16.62/16.93	c bounds 4061 >= 0 @ 4.27157
16.62/16.93	c bounds 3983 >= 0 @ 4.27798
16.62/16.93	c bounds 3829 >= 0 @ 4.28256
16.62/16.93	c bounds 3826 >= 0 @ 4.35854
16.62/16.93	c bounds 3813 >= 0 @ 4.36711
16.62/16.93	c bounds 3781 >= 0 @ 4.37878
16.62/16.93	c bounds 3747 >= 0 @ 4.38249
16.62/16.93	c bounds 3745 >= 0 @ 4.38798
16.62/16.93	c bounds 3740 >= 0 @ 4.39649
16.62/16.93	c bounds 3737 >= 0 @ 4.58174
16.62/16.93	c bounds 3727 >= 0 @ 4.66121
16.62/16.93	c bounds 3689 >= 0 @ 4.76382
16.62/16.93	c bounds 3640 >= 0 @ 4.77332
16.62/16.93	c bounds 3635 >= 0 @ 4.7795
16.62/16.93	c bounds 3632 >= 0 @ 4.97191
16.62/16.93	c bounds 3581 >= 0 @ 4.97534
16.62/16.93	c bounds 3551 >= 0 @ 5.02968
16.62/16.93	c bounds 3484 >= 0 @ 5.03573
16.62/16.93	c bounds 3444 >= 0 @ 5.14094
16.62/16.93	c bounds 3439 >= 0 @ 5.15119
16.62/16.93	c bounds 3434 >= 0 @ 5.15686
16.62/16.93	c bounds 3414 >= 0 @ 5.29394
16.62/16.93	c bounds 3401 >= 0 @ 5.29988
16.62/16.93	c bounds 3367 >= 0 @ 5.42915
16.62/16.93	c bounds 3199 >= 0 @ 5.43427
16.62/16.93	c bounds 3191 >= 0 @ 5.43744
16.62/16.93	c bounds 3114 >= 0 @ 5.44121
16.62/16.93	c bounds 3093 >= 0 @ 5.71746
16.62/16.93	c bounds 3092 >= 0 @ 5.74839
16.62/16.93	c bounds 3079 >= 0 @ 5.76678
16.62/16.93	c bounds 3073 >= 0 @ 5.79543
16.62/16.93	c bounds 3067 >= 0 @ 5.8033
16.62/16.93	c bounds 3051 >= 0 @ 5.90971
16.62/16.93	c bounds 3029 >= 0 @ 5.92413
16.62/16.93	c bounds 3027 >= 0 @ 5.93258
16.62/16.93	c bounds 3010 >= 0 @ 6.0508
16.62/16.93	c bounds 2930 >= 0 @ 6.05709
16.62/16.93	c bounds 2894 >= 0 @ 6.13971
16.62/16.93	c bounds 2786 >= 0 @ 6.14833
16.62/16.93	c bounds 2785 >= 0 @ 6.24893
16.62/16.93	c bounds 2764 >= 0 @ 6.2538
16.62/16.93	c bounds 2761 >= 0 @ 6.26138
16.62/16.93	c bounds 2737 >= 0 @ 6.26896
16.62/16.93	c bounds 2715 >= 0 @ 6.31201
16.62/16.93	c bounds 2714 >= 0 @ 6.31776
16.62/16.93	c bounds 2708 >= 0 @ 6.32806
16.62/16.93	c bounds 2682 >= 0 @ 6.33869
16.62/16.93	c bounds 2631 >= 0 @ 6.34587
16.62/16.93	c bounds 2607 >= 0 @ 6.35335
16.62/16.93	c bounds 2586 >= 0 @ 6.36054
16.62/16.93	c bounds 2566 >= 0 @ 6.4573
16.62/16.93	c bounds 2508 >= 0 @ 6.46302
16.62/16.93	c bounds 2472 >= 0 @ 6.46793
16.62/16.93	c bounds 2449 >= 0 @ 6.47621
16.62/16.93	c bounds 2397 >= 0 @ 6.48196
16.62/16.93	c bounds 2367 >= 0 @ 6.48881
16.62/16.93	c bounds 2361 >= 0 @ 6.85507
16.62/16.93	c bounds 2338 >= 0 @ 6.86563
16.62/16.93	c bounds 2324 >= 0 @ 6.87686
16.62/16.93	c bounds 2314 >= 0 @ 6.88288
16.62/16.93	c bounds 2301 >= 0 @ 6.97186
16.62/16.93	c bounds 2286 >= 0 @ 6.98196
16.62/16.93	c bounds 2256 >= 0 @ 7.11855
16.62/16.93	c bounds 2168 >= 0 @ 7.12718
16.62/16.93	c bounds 2152 >= 0 @ 7.62076
16.62/16.93	c #Conflicts:       1000 | #Constraints:     658007
16.62/16.93	c bounds 2121 >= 0 @ 9.99734
16.62/16.93	c bounds 2119 >= 0 @ 10.0076
16.62/16.93	c bounds 2118 >= 0 @ 10.2437
16.62/16.93	c bounds 2117 >= 0 @ 10.2519
16.62/16.93	c bounds 2115 >= 0 @ 10.4152
16.62/16.93	c bounds 2111 >= 0 @ 10.7901
16.62/16.93	c bounds 2108 >= 0 @ 10.8211
16.62/16.93	c bounds 2107 >= 0 @ 10.9671
16.62/16.93	c bounds 2084 >= 0 @ 10.9823
16.62/16.93	c bounds 2075 >= 0 @ 10.9957
16.62/16.93	c bounds 2064 >= 0 @ 11.1708
16.62/16.93	c bounds 2053 >= 0 @ 11.3381
16.62/16.93	c bounds 2047 >= 0 @ 11.5374
16.62/16.93	c bounds 2016 >= 0 @ 11.5488
16.62/16.93	c bounds 1987 >= 0 @ 11.7034
16.62/16.93	c bounds 1877 >= 0 @ 11.7149
16.62/16.93	c bounds 1868 >= 0 @ 11.7265
16.62/16.93	c bounds 1864 >= 0 @ 11.743
16.62/16.93	c bounds 1851 >= 0 @ 11.7608
16.62/16.93	c bounds 1832 >= 0 @ 11.7706
16.62/16.93	c bounds 1830 >= 0 @ 13.2044
16.62/16.93	c bounds 1810 >= 0 @ 13.2213
16.62/16.93	c bounds 1802 >= 0 @ 13.2342
16.62/16.93	c bounds 1789 >= 0 @ 13.2522
16.62/16.93	c bounds 1711 >= 0 @ 13.2682
16.62/16.93	c bounds 1709 >= 0 @ 13.3935
16.62/16.93	c bounds 1679 >= 0 @ 13.4073
16.62/16.93	c bounds 1642 >= 0 @ 13.4196
16.62/16.93	c bounds 1582 >= 0 @ 13.4345
16.62/16.93	c bounds 1460 >= 0 @ 13.4541
16.62/16.93	c bounds 1278 >= 0 @ 13.4657
16.62/16.93	c bounds 1275 >= 0 @ 13.4795
16.62/16.93	c bounds 1161 >= 0 @ 13.5077
16.62/16.93	c bounds 1078 >= 0 @ 13.5231
16.62/16.93	c bounds 1030 >= 0 @ 13.5338
16.62/16.93	c bounds 962 >= 0 @ 13.6458
16.62/16.93	c bounds 957 >= 0 @ 13.6657
16.62/16.93	c #Conflicts:       2000 | #Constraints:     659067
16.62/16.93	c INPROCESSING
16.62/16.93	c GARBAGE COLLECT
16.62/16.93	c bounds 956 >= 0 @ 14.6436
16.62/16.93	c bounds 838 >= 0 @ 14.6637
16.62/16.93	c bounds 831 >= 0 @ 14.6711
16.62/16.93	c bounds 788 >= 0 @ 14.6818
16.62/16.93	c bounds 782 >= 0 @ 14.6895
16.62/16.93	c bounds 774 >= 0 @ 14.6971
16.62/16.93	c bounds 703 >= 0 @ 15.0533
16.62/16.93	c bounds 697 >= 0 @ 15.0619
16.62/16.93	c bounds 689 >= 0 @ 15.0757
16.62/16.93	c bounds 679 >= 0 @ 15.09
16.62/16.93	c bounds 672 >= 0 @ 15.1006
16.62/16.93	c bounds 669 >= 0 @ 15.1144
16.62/16.93	c bounds 663 >= 0 @ 15.2691
32.09/32.49	c bounds 659 >= 0 @ 15.3174
32.09/32.49	c bounds 658 >= 0 @ 15.3301
32.09/32.49	c bounds 650 >= 0 @ 15.3481
32.09/32.49	c bounds 649 >= 0 @ 16.5021
32.09/32.49	c bounds 646 >= 0 @ 16.734
32.09/32.49	c bounds 553 >= 0 @ 16.7468
32.09/32.49	c bounds 537 >= 0 @ 16.9667
32.09/32.49	c bounds 506 >= 0 @ 17.5159
32.09/32.49	c bounds 506 >= 8 @ 17.5256
32.09/32.49	c #Conflicts:       3000 | #Constraints:     658957
32.09/32.49	c bounds 451 >= 8 @ 17.6569
32.09/32.49	c #Conflicts:       4000 | #Constraints:     659958
32.09/32.49	c INPROCESSING
32.09/32.49	c GARBAGE COLLECT
32.09/32.49	c bounds 447 >= 8 @ 21.2022
32.09/32.49	c bounds 443 >= 8 @ 21.2118
32.09/32.49	c bounds 437 >= 8 @ 21.2258
32.09/32.49	c bounds 436 >= 8 @ 21.309
32.09/32.49	c bounds 433 >= 8 @ 21.3196
32.09/32.49	c bounds 432 >= 8 @ 21.3275
32.09/32.49	c bounds 427 >= 8 @ 22.7638
32.09/32.49	c #Conflicts:       5000 | #Constraints:     659345
32.09/32.49	c #Conflicts:       6000 | #Constraints:     660345
32.09/32.49	c INPROCESSING
32.09/32.49	c GARBAGE COLLECT
32.09/32.49	c rational objective 185.072
46.84/47.27	c #Conflicts:       7000 | #Constraints:     659336
46.84/47.27	c bounds 420 >= 8 @ 35.5521
46.84/47.27	c bounds 420 >= 13 @ 35.5653
46.84/47.27	c #Conflicts:       8000 | #Constraints:     660341
46.84/47.27	c #Conflicts:       9000 | #Constraints:     661341
46.84/47.27	c bounds 420 >= 18 @ 40.7699
46.84/47.27	c INPROCESSING
46.84/47.27	c GARBAGE COLLECT
46.84/47.27	c rational objective 185.731
66.07/66.55	c #Conflicts:      10000 | #Constraints:     660050
66.07/66.55	c #Conflicts:      11000 | #Constraints:     661050
66.07/66.55	c #Conflicts:      12000 | #Constraints:     662050
66.07/66.55	c INPROCESSING
66.07/66.55	c GARBAGE COLLECT
66.07/66.55	c rational objective 185.8
174.41/175.55	c bounds 417 >= 18 @ 69.0311
174.41/175.55	c #Conflicts:      13000 | #Constraints:     660510
174.41/175.55	c #Conflicts:      14000 | #Constraints:     661511
174.41/175.55	c bounds 416 >= 18 @ 86.7357
174.41/175.55	c bounds 416 >= 22 @ 86.7572
174.41/175.55	c #Conflicts:      15000 | #Constraints:     662524
174.41/175.55	c INPROCESSING
174.41/175.55	c GARBAGE COLLECT
174.41/175.55	c #Conflicts:      16000 | #Constraints:     660733
174.41/175.55	c #Conflicts:      17000 | #Constraints:     661735
174.41/175.55	c #Conflicts:      18000 | #Constraints:     662736
174.41/175.55	c INPROCESSING
174.41/175.55	c #Conflicts:      19000 | #Constraints:     660750
174.41/175.55	c #Conflicts:      20000 | #Constraints:     661751
174.41/175.55	c #Conflicts:      21000 | #Constraints:     662751
174.41/175.55	c INPROCESSING
174.41/175.55	c GARBAGE COLLECT
174.41/175.55	c rational objective 185.804
231.51/232.92	c #Conflicts:      22000 | #Constraints:     660548
231.51/232.92	c #Conflicts:      23000 | #Constraints:     661550
231.51/232.92	c #Conflicts:      24000 | #Constraints:     662556
231.51/232.92	c #Conflicts:      25000 | #Constraints:     663559
231.51/232.92	c INPROCESSING
231.51/232.92	c #Conflicts:      26000 | #Constraints:     661167
231.51/232.92	c #Conflicts:      27000 | #Constraints:     662171
231.51/232.92	c #Conflicts:      28000 | #Constraints:     663172
231.51/232.92	c #Conflicts:      29000 | #Constraints:     664174
231.51/232.92	c INPROCESSING
231.51/232.92	c GARBAGE COLLECT
231.51/232.92	c bounds 411 >= 22 @ 208.468
231.51/232.92	c #Conflicts:      30000 | #Constraints:     661562
231.51/232.92	c #Conflicts:      31000 | #Constraints:     662562
231.51/232.92	c #Conflicts:      32000 | #Constraints:     663562
231.51/232.92	c #Conflicts:      33000 | #Constraints:     664562
231.51/232.92	c INPROCESSING
231.51/232.92	c rational objective 185.851
252.21/253.70	c #Conflicts:      34000 | #Constraints:     661756
252.21/253.70	c #Conflicts:      35000 | #Constraints:     662756
252.21/253.70	c #Conflicts:      36000 | #Constraints:     663756
252.21/253.70	c #Conflicts:      37000 | #Constraints:     664756
252.21/253.70	c INPROCESSING
252.21/253.70	c GARBAGE COLLECT
252.21/253.70	c rational objective 185.851
392.35/394.61	c bounds 404 >= 22 @ 248.376
392.35/394.61	c bounds 400 >= 22 @ 248.678
392.35/394.61	c #Conflicts:      38000 | #Constraints:     661773
392.35/394.61	c #Conflicts:      39000 | #Constraints:     662797
392.35/394.61	c #Conflicts:      40000 | #Constraints:     663814
392.35/394.61	c #Conflicts:      41000 | #Constraints:     664825
392.35/394.61	c INPROCESSING
392.35/394.61	c GARBAGE COLLECT
392.35/394.61	c rational objective 185.851
682.32/685.64	c bounds 400 >= 24 @ 387.385
682.32/685.64	c bounds 400 >= 26 @ 387.398
682.32/685.64	c bounds 400 >= 28 @ 387.417
682.32/685.64	c bounds 400 >= 30 @ 387.436
682.32/685.64	c bounds 400 >= 32 @ 387.45
682.32/685.64	c bounds 400 >= 34 @ 387.462
682.32/685.64	c bounds 400 >= 36 @ 387.48
682.32/685.64	c bounds 400 >= 38 @ 387.615
682.32/685.64	c #Conflicts:      42000 | #Constraints:     661626
682.32/685.64	c bounds 400 >= 40 @ 395.418
682.32/685.64	c #Conflicts:      43000 | #Constraints:     662640
682.32/685.64	c #Conflicts:      44000 | #Constraints:     663640
682.32/685.64	c #Conflicts:      45000 | #Constraints:     664640
682.32/685.64	c #Conflicts:      46000 | #Constraints:     665640
682.32/685.64	c INPROCESSING
682.32/685.64	c GARBAGE COLLECT
682.32/685.64	c #Conflicts:      47000 | #Constraints:     662229
682.32/685.64	c #Conflicts:      48000 | #Constraints:     663229
682.32/685.64	c #Conflicts:      49000 | #Constraints:     664229
682.32/685.64	c #Conflicts:      50000 | #Constraints:     665229
682.32/685.64	c #Conflicts:      51000 | #Constraints:     666229
682.32/685.64	c INPROCESSING
682.32/685.64	c GARBAGE COLLECT
682.32/685.64	c #Conflicts:      52000 | #Constraints:     662633
682.32/685.64	c #Conflicts:      53000 | #Constraints:     663633
682.32/685.64	c #Conflicts:      54000 | #Constraints:     664647
682.32/685.64	c #Conflicts:      55000 | #Constraints:     665655
682.32/685.64	c #Conflicts:      56000 | #Constraints:     666666
682.32/685.64	c INPROCESSING
682.32/685.64	c GARBAGE COLLECT
682.32/685.64	c rational objective 185.851
911.30/915.35	c #Conflicts:      57000 | #Constraints:     662838
911.30/915.35	c #Conflicts:      58000 | #Constraints:     663838
911.30/915.35	c #Conflicts:      59000 | #Constraints:     664838
911.30/915.35	c #Conflicts:      60000 | #Constraints:     665838
911.30/915.35	c #Conflicts:      61000 | #Constraints:     666838
911.30/915.35	c INPROCESSING
911.30/915.35	c GARBAGE COLLECT
911.30/915.35	c #Conflicts:      62000 | #Constraints:     662849
911.30/915.35	c #Conflicts:      63000 | #Constraints:     663852
911.30/915.35	c bounds 398 >= 40 @ 832.02
911.30/915.35	c bounds 397 >= 40 @ 832.877
911.30/915.35	c bounds 396 >= 40 @ 835.473
911.30/915.35	c bounds 394 >= 40 @ 836.321
911.30/915.35	c bounds 392 >= 40 @ 837.305
911.30/915.35	c bounds 391 >= 40 @ 838.165
911.30/915.35	c #Conflicts:      64000 | #Constraints:     664875
911.30/915.35	c bounds 389 >= 40 @ 843.13
911.30/915.35	c bounds 388 >= 40 @ 844.67
911.30/915.35	c bounds 383 >= 40 @ 852.757
911.30/915.35	c #Conflicts:      65000 | #Constraints:     665893
911.30/915.35	c #Conflicts:      66000 | #Constraints:     666902
911.30/915.35	c INPROCESSING
911.30/915.35	c GARBAGE COLLECT
911.30/915.35	c rational objective 185.851
962.33/966.50	c bounds 383 >= 41 @ 900.286
962.33/966.50	c bounds 383 >= 42 @ 900.307
962.33/966.50	c bounds 383 >= 43 @ 900.326
962.33/966.50	c bounds 383 >= 44 @ 900.345
962.33/966.50	c bounds 383 >= 45 @ 900.362
962.33/966.50	c bounds 383 >= 46 @ 900.385
962.33/966.50	c bounds 383 >= 47 @ 900.403
962.33/966.50	c bounds 383 >= 48 @ 900.425
962.33/966.50	c bounds 383 >= 49 @ 900.442
962.33/966.50	c bounds 383 >= 50 @ 900.458
962.33/966.50	c bounds 383 >= 51 @ 900.483
962.33/966.50	c bounds 383 >= 52 @ 900.508
962.33/966.50	c bounds 383 >= 53 @ 900.538
962.33/966.50	c bounds 383 >= 54 @ 900.603
962.33/966.50	c bounds 383 >= 55 @ 900.674
962.33/966.50	c bounds 383 >= 56 @ 902.435
962.33/966.50	c bounds 383 >= 57 @ 902.517
962.33/966.50	c bounds 383 >= 58 @ 902.634
962.33/966.50	c bounds 383 >= 59 @ 902.685
962.33/966.50	c bounds 383 >= 60 @ 902.83
962.33/966.50	c bounds 383 >= 61 @ 903.02
962.33/966.50	c bounds 383 >= 62 @ 903.417
962.33/966.50	c bounds 383 >= 63 @ 903.595
962.33/966.50	c bounds 383 >= 64 @ 904.071
962.33/966.50	c #Conflicts:      67000 | #Constraints:     662829
962.33/966.50	c bounds 383 >= 65 @ 904.548
962.33/966.50	c bounds 383 >= 66 @ 905.097
962.33/966.50	c bounds 383 >= 67 @ 906.349
962.33/966.50	c bounds 383 >= 68 @ 910.824
962.33/966.50	c #Conflicts:      68000 | #Constraints:     663915
962.33/966.50	c bounds 383 >= 69 @ 916.277
962.33/966.50	c bounds 383 >= 70 @ 917.242
962.33/966.50	c bounds 383 >= 71 @ 919.194
962.33/966.50	c #Conflicts:      69000 | #Constraints:     664975
962.33/966.50	c bounds 383 >= 72 @ 923.484
962.33/966.50	c bounds 383 >= 73 @ 926.194
962.33/966.50	c #Conflicts:      70000 | #Constraints:     666039
962.33/966.50	c bounds 383 >= 74 @ 931.967
962.33/966.50	c #Conflicts:      71000 | #Constraints:     667065
962.33/966.50	c bounds 383 >= 75 @ 938.115
962.33/966.50	c #Conflicts:      72000 | #Constraints:     668094
962.33/966.50	c INPROCESSING
962.33/966.50	c GARBAGE COLLECT
962.33/966.50	c rational objective 185.851
1050.18/1054.61	c bounds 383 >= 76 @ 952.883
1050.18/1054.61	c #Conflicts:      73000 | #Constraints:     663709
1050.18/1054.61	c #Conflicts:      74000 | #Constraints:     664709
1050.18/1054.61	c bounds 383 >= 77 @ 961.739
1050.18/1054.61	c #Conflicts:      75000 | #Constraints:     665732
1050.18/1054.61	c bounds 383 >= 78 @ 971.089
1050.18/1054.61	c #Conflicts:      76000 | #Constraints:     666758
1050.18/1054.61	c #Conflicts:      77000 | #Constraints:     667758
1050.18/1054.61	c bounds 383 >= 79 @ 985.252
1050.18/1054.61	c #Conflicts:      78000 | #Constraints:     668787
1050.18/1054.61	c INPROCESSING
1050.18/1054.61	c GARBAGE COLLECT
1050.18/1054.61	c rational objective 185.851
1102.19/1106.83	c #Conflicts:      79000 | #Constraints:     664179
1102.19/1106.83	c #Conflicts:      80000 | #Constraints:     665179
1102.19/1106.83	c bounds 383 >= 80 @ 1061.03
1102.19/1106.83	c #Conflicts:      81000 | #Constraints:     666202
1102.19/1106.83	c #Conflicts:      82000 | #Constraints:     667202
1102.19/1106.83	c #Conflicts:      83000 | #Constraints:     668202
1102.19/1106.83	c #Conflicts:      84000 | #Constraints:     669202
1102.19/1106.83	c INPROCESSING
1102.19/1106.83	c GARBAGE COLLECT
1102.19/1106.83	c rational objective 186.95
1204.18/1209.12	c #Conflicts:      85000 | #Constraints:     664403
1204.18/1209.12	c #Conflicts:      86000 | #Constraints:     665403
1204.18/1209.12	c bounds 383 >= 81 @ 1098.95
1204.18/1209.12	c #Conflicts:      87000 | #Constraints:     666441
1204.18/1209.12	c #Conflicts:      88000 | #Constraints:     667441
1204.18/1209.12	c #Conflicts:      89000 | #Constraints:     668441
1204.18/1209.12	c #Conflicts:      90000 | #Constraints:     669441
1204.18/1209.12	c INPROCESSING
1204.18/1209.12	c GARBAGE COLLECT
1204.18/1209.12	c rational objective 186.951
1277.18/1282.33	c #Conflicts:      91000 | #Constraints:     664447
1277.18/1282.33	c #Conflicts:      92000 | #Constraints:     665447
1277.18/1282.33	c bounds 383 >= 82 @ 1208.41
1277.18/1282.33	c #Conflicts:      93000 | #Constraints:     666464
1277.18/1282.33	c bounds 383 >= 83 @ 1222.86
1277.18/1282.33	c #Conflicts:      94000 | #Constraints:     667499
1277.18/1282.33	c #Conflicts:      95000 | #Constraints:     668499
1277.18/1282.33	c #Conflicts:      96000 | #Constraints:     669499
1277.18/1282.33	c INPROCESSING
1277.18/1282.33	c GARBAGE COLLECT
1277.18/1282.33	c rational objective 187.143
1347.29/1352.62	c #Conflicts:      97000 | #Constraints:     664335
1347.29/1352.62	c #Conflicts:      98000 | #Constraints:     665335
1347.29/1352.62	c #Conflicts:      99000 | #Constraints:     666335
1347.29/1352.62	c #Conflicts:     100000 | #Constraints:     667335
1347.29/1352.62	c bounds 383 >= 84 @ 1292.88
1347.29/1352.62	c #Conflicts:     101000 | #Constraints:     668382
1347.29/1352.62	c #Conflicts:     102000 | #Constraints:     669382
1347.29/1352.62	c #Conflicts:     103000 | #Constraints:     670382
1347.29/1352.62	c INPROCESSING
1347.29/1352.62	c GARBAGE COLLECT
1347.29/1352.62	c rational objective 187.143
1414.31/1419.81	c bounds 381 >= 84 @ 1333.13
1414.31/1419.81	c #Conflicts:     104000 | #Constraints:     664976
1414.31/1419.81	c bounds 380 >= 84 @ 1334.36
1414.31/1419.81	c bounds 379 >= 84 @ 1341.11
1414.31/1419.81	c #Conflicts:     105000 | #Constraints:     665983
1414.31/1419.81	c #Conflicts:     106000 | #Constraints:     666983
1414.31/1419.81	c #Conflicts:     107000 | #Constraints:     667983
1414.31/1419.81	c #Conflicts:     108000 | #Constraints:     668983
1414.31/1419.81	c bounds 379 >= 85 @ 1379.35
1414.31/1419.81	c #Conflicts:     109000 | #Constraints:     670039
1414.31/1419.81	c #Conflicts:     110000 | #Constraints:     671042
1414.31/1419.81	c INPROCESSING
1414.31/1419.81	c GARBAGE COLLECT
1414.31/1419.81	c rational objective 187.143
1504.68/1510.44	c #Conflicts:     111000 | #Constraints:     665452
1504.68/1510.44	c bounds 376 >= 85 @ 1415.75
1504.68/1510.44	c #Conflicts:     112000 | #Constraints:     666465
1504.68/1510.44	c #Conflicts:     113000 | #Constraints:     667465
1504.68/1510.44	c #Conflicts:     114000 | #Constraints:     668465
1504.68/1510.44	c #Conflicts:     115000 | #Constraints:     669465
1504.68/1510.44	c #Conflicts:     116000 | #Constraints:     670465
1504.68/1510.44	c #Conflicts:     117000 | #Constraints:     671465
1504.68/1510.44	c INPROCESSING
1504.68/1510.44	c GARBAGE COLLECT
1504.68/1510.44	c rational objective 187.143
1637.72/1643.87	c bounds 374 >= 85 @ 1487.62
1637.72/1643.87	c bounds 373 >= 85 @ 1487.66
1637.72/1643.87	c #Conflicts:     118000 | #Constraints:     665675
1637.72/1643.87	c #Conflicts:     119000 | #Constraints:     666688
1637.72/1643.87	c #Conflicts:     120000 | #Constraints:     667700
1637.72/1643.87	c #Conflicts:     121000 | #Constraints:     668708
1637.72/1643.87	c #Conflicts:     122000 | #Constraints:     669715
1637.72/1643.87	c bounds 372 >= 85 @ 1571.18
1637.72/1643.87	c #Conflicts:     123000 | #Constraints:     670718
1637.72/1643.87	c #Conflicts:     124000 | #Constraints:     671718
1637.72/1643.87	c INPROCESSING
1637.72/1643.87	c GARBAGE COLLECT
1637.72/1643.87	c rational objective 187.143
1729.18/1735.54	c #Conflicts:     125000 | #Constraints:     665676
1729.18/1735.54	c #Conflicts:     126000 | #Constraints:     666676
1729.18/1735.54	c #Conflicts:     127000 | #Constraints:     667676
1729.18/1735.54	c #Conflicts:     128000 | #Constraints:     668676
1729.18/1735.54	c bounds 372 >= 86 @ 1662.39
1729.18/1735.54	c #Conflicts:     129000 | #Constraints:     669720
1729.18/1735.54	c #Conflicts:     130000 | #Constraints:     670720
1729.18/1735.54	c #Conflicts:     131000 | #Constraints:     671720
1729.18/1735.54	c INPROCESSING
1729.18/1735.54	c GARBAGE COLLECT
1729.18/1735.54	c rational objective 187.143
1825.93/1832.55	c #Conflicts:     132000 | #Constraints:     665498
1825.93/1832.55	c #Conflicts:     133000 | #Constraints:     666498
1825.93/1832.55	c #Conflicts:     134000 | #Constraints:     667498
1825.93/1832.55	c #Conflicts:     135000 | #Constraints:     668498
1825.93/1832.55	c #Conflicts:     136000 | #Constraints:     669498
1825.93/1832.55	c #Conflicts:     137000 | #Constraints:     670498
1825.93/1832.55	c #Conflicts:     138000 | #Constraints:     671498
1825.93/1832.55	c bounds 372 >= 87 @ 1795.09
1825.93/1832.55	c bounds 371 >= 87 @ 1795.74
1825.93/1832.55	c #Conflicts:     139000 | #Constraints:     672540
1825.93/1832.55	c INPROCESSING
1825.93/1832.55	c GARBAGE COLLECT
1825.93/1832.55	c rational objective 187.143
1944.48/1951.42	c bounds 370 >= 87 @ 1805.7
1944.48/1951.42	c bounds 369 >= 87 @ 1805.75
1944.48/1951.42	c #Conflicts:     140000 | #Constraints:     666117
1944.48/1951.42	c #Conflicts:     141000 | #Constraints:     667132
1944.48/1951.42	c #Conflicts:     142000 | #Constraints:     668146
1944.48/1951.42	c bounds 368 >= 87 @ 1844.76
1944.48/1951.42	c #Conflicts:     143000 | #Constraints:     669158
1944.48/1951.42	c #Conflicts:     144000 | #Constraints:     670158
1944.48/1951.42	c #Conflicts:     145000 | #Constraints:     671158
1944.48/1951.42	c #Conflicts:     146000 | #Constraints:     672158
1944.48/1951.42	c #Conflicts:     147000 | #Constraints:     673158
1944.48/1951.42	c INPROCESSING
1944.48/1951.42	c GARBAGE COLLECT
1944.48/1951.42	c rational objective 187.143
2163.02/2170.59	c bounds 367 >= 87 @ 1917.39
2163.02/2170.59	c bounds 364 >= 87 @ 1918.95
2163.02/2170.59	c #Conflicts:     148000 | #Constraints:     666556
2163.02/2170.59	c #Conflicts:     149000 | #Constraints:     667577
2163.02/2170.59	c #Conflicts:     150000 | #Constraints:     668590
2163.02/2170.59	c #Conflicts:     151000 | #Constraints:     669601
2163.02/2170.59	c #Conflicts:     152000 | #Constraints:     670610
2163.02/2170.59	c #Conflicts:     153000 | #Constraints:     671620
2163.02/2170.59	c #Conflicts:     154000 | #Constraints:     672627
2163.02/2170.59	c #Conflicts:     155000 | #Constraints:     673635
2163.02/2170.59	c INPROCESSING
2163.02/2170.59	c GARBAGE COLLECT
2163.02/2170.59	c rational objective 187.143
2269.73/2277.57	c #Conflicts:     156000 | #Constraints:     666783
2269.73/2277.57	c #Conflicts:     157000 | #Constraints:     667783
2269.73/2277.57	c #Conflicts:     158000 | #Constraints:     668783
2269.73/2277.57	c #Conflicts:     159000 | #Constraints:     669783
2269.73/2277.57	c #Conflicts:     160000 | #Constraints:     670783
2269.73/2277.57	c #Conflicts:     161000 | #Constraints:     671783
2269.73/2277.57	c #Conflicts:     162000 | #Constraints:     672783
2269.73/2277.57	c #Conflicts:     163000 | #Constraints:     673783
2269.73/2277.57	c INPROCESSING
2269.73/2277.57	c GARBAGE COLLECT
2269.73/2277.57	c rational objective 187.143
2377.04/2385.16	c bounds 364 >= 88 @ 2246.64
2377.04/2385.16	c #Conflicts:     164000 | #Constraints:     666799
2377.04/2385.16	c #Conflicts:     165000 | #Constraints:     667799
2377.04/2385.16	c #Conflicts:     166000 | #Constraints:     668799
2377.04/2385.16	c #Conflicts:     167000 | #Constraints:     669799
2377.04/2385.16	c #Conflicts:     168000 | #Constraints:     670799
2377.04/2385.16	c #Conflicts:     169000 | #Constraints:     671799
2377.04/2385.16	c #Conflicts:     170000 | #Constraints:     672799
2377.04/2385.16	c #Conflicts:     171000 | #Constraints:     673799
2377.04/2385.16	c INPROCESSING
2377.04/2385.16	c GARBAGE COLLECT
2377.04/2385.16	c rational objective 187.143
2485.76/2494.23	c #Conflicts:     172000 | #Constraints:     666595
2485.76/2494.23	c #Conflicts:     173000 | #Constraints:     667595
2485.76/2494.23	c #Conflicts:     174000 | #Constraints:     668595
2485.76/2494.23	c #Conflicts:     175000 | #Constraints:     669595
2485.76/2494.23	c #Conflicts:     176000 | #Constraints:     670595
2485.76/2494.23	c #Conflicts:     177000 | #Constraints:     671595
2485.76/2494.23	c #Conflicts:     178000 | #Constraints:     672595
2485.76/2494.23	c bounds 364 >= 89 @ 2432.49
2485.76/2494.23	c #Conflicts:     179000 | #Constraints:     673642
2485.76/2494.23	c #Conflicts:     180000 | #Constraints:     674642
2485.76/2494.23	c INPROCESSING
2485.76/2494.23	c GARBAGE COLLECT
2485.76/2494.23	c rational objective 187.143
2603.97/2612.71	c bounds 362 >= 89 @ 2455.33
2603.97/2612.71	c #Conflicts:     181000 | #Constraints:     667235
2603.97/2612.71	c bounds 361 >= 89 @ 2461.74
2603.97/2612.71	c #Conflicts:     182000 | #Constraints:     668240
2603.97/2612.71	c #Conflicts:     183000 | #Constraints:     669240
2603.97/2612.71	c #Conflicts:     184000 | #Constraints:     670240
2603.97/2612.71	c #Conflicts:     185000 | #Constraints:     671240
2603.97/2612.71	c #Conflicts:     186000 | #Constraints:     672240
2603.97/2612.71	c #Conflicts:     187000 | #Constraints:     673240
2603.97/2612.71	c #Conflicts:     188000 | #Constraints:     674240
2603.97/2612.71	c #Conflicts:     189000 | #Constraints:     675240
2603.97/2612.71	c INPROCESSING
2603.97/2612.71	c GARBAGE COLLECT
2603.97/2612.71	c rational objective 187.143
2768.76/2777.98	c bounds 360 >= 89 @ 2567.67
2768.76/2777.98	c bounds 358 >= 89 @ 2569.2
2768.76/2777.98	c #Conflicts:     190000 | #Constraints:     667664
2768.76/2777.98	c #Conflicts:     191000 | #Constraints:     668678
2768.76/2777.98	c #Conflicts:     192000 | #Constraints:     669687
2768.76/2777.98	c #Conflicts:     193000 | #Constraints:     670701
2768.76/2777.98	c #Conflicts:     194000 | #Constraints:     671714
2768.76/2777.98	c #Conflicts:     195000 | #Constraints:     672721
2768.76/2777.98	c #Conflicts:     196000 | #Constraints:     673728
2768.76/2777.98	c #Conflicts:     197000 | #Constraints:     674736
2768.76/2777.98	c #Conflicts:     198000 | #Constraints:     675742
2768.76/2777.98	c INPROCESSING
2768.76/2777.98	c GARBAGE COLLECT
2768.76/2777.98	c rational objective 187.143
2893.74/2903.29	c #Conflicts:     199000 | #Constraints:     667890
2893.74/2903.29	c #Conflicts:     200000 | #Constraints:     668890
2893.74/2903.29	c #Conflicts:     201000 | #Constraints:     669890
2893.74/2903.29	c #Conflicts:     202000 | #Constraints:     670890
2893.74/2903.29	c #Conflicts:     203000 | #Constraints:     671890
2893.74/2903.29	c #Conflicts:     204000 | #Constraints:     672890
2893.74/2903.29	c #Conflicts:     205000 | #Constraints:     673890
2893.74/2903.29	c #Conflicts:     206000 | #Constraints:     674890
2893.74/2903.29	c #Conflicts:     207000 | #Constraints:     675890
2893.74/2903.29	c INPROCESSING
2893.74/2903.29	c GARBAGE COLLECT
2893.74/2903.29	c rational objective 187.143
3032.20/3042.02	c #Conflicts:     208000 | #Constraints:     667868
3032.20/3042.02	c #Conflicts:     209000 | #Constraints:     668868
3032.20/3042.02	c #Conflicts:     210000 | #Constraints:     669868
3032.20/3042.02	c #Conflicts:     211000 | #Constraints:     670868
3032.20/3042.02	c #Conflicts:     212000 | #Constraints:     671868
3032.20/3042.02	c #Conflicts:     213000 | #Constraints:     672868
3032.20/3042.02	c #Conflicts:     214000 | #Constraints:     673868
3032.20/3042.02	c #Conflicts:     215000 | #Constraints:     674868
3032.20/3042.02	c bounds 358 >= 90 @ 2973.54
3032.20/3042.02	c #Conflicts:     216000 | #Constraints:     675903
3032.20/3042.02	c INPROCESSING
3032.20/3042.02	c GARBAGE COLLECT
3032.20/3042.02	c rational objective 187.143
3239.05/3249.45	c bounds 356 >= 90 @ 2994.24
3239.05/3249.45	c #Conflicts:     217000 | #Constraints:     667671
3239.05/3249.45	c bounds 355 >= 90 @ 2995.08
3239.05/3249.45	c #Conflicts:     218000 | #Constraints:     668692
3239.05/3249.45	c bounds 354 >= 90 @ 3011.82
3239.05/3249.45	c bounds 352 >= 90 @ 3011.9
3239.05/3249.45	c #Conflicts:     219000 | #Constraints:     669701
3239.05/3249.45	c #Conflicts:     220000 | #Constraints:     670713
3239.05/3249.45	c #Conflicts:     221000 | #Constraints:     671724
3239.05/3249.45	c #Conflicts:     222000 | #Constraints:     672737
3239.05/3249.45	c #Conflicts:     223000 | #Constraints:     673744
3239.05/3249.45	c #Conflicts:     224000 | #Constraints:     674752
3239.05/3249.45	c #Conflicts:     225000 | #Constraints:     675759
3239.05/3249.45	c #Conflicts:     226000 | #Constraints:     676765
3239.05/3249.45	c INPROCESSING
3239.05/3249.45	c GARBAGE COLLECT
3239.05/3249.45	c rational objective 187.143
3395.12/3405.92	c #Conflicts:     227000 | #Constraints:     668323
3395.12/3405.92	c #Conflicts:     228000 | #Constraints:     669323
3395.12/3405.92	c #Conflicts:     229000 | #Constraints:     670323
3395.12/3405.92	c #Conflicts:     230000 | #Constraints:     671323
3395.12/3405.92	c #Conflicts:     231000 | #Constraints:     672323
3395.12/3405.92	c #Conflicts:     232000 | #Constraints:     673323
3395.12/3405.92	c #Conflicts:     233000 | #Constraints:     674323
3395.12/3405.92	c #Conflicts:     234000 | #Constraints:     675323
3395.12/3405.92	c #Conflicts:     235000 | #Constraints:     676323
3395.12/3405.92	c bounds 352 >= 91 @ 3343
3395.12/3405.92	c #Conflicts:     236000 | #Constraints:     677367
3395.12/3405.92	c INPROCESSING
3395.12/3405.92	c GARBAGE COLLECT
3395.12/3405.92	c rational objective 187.143
3553.10/3564.40	c #Conflicts:     237000 | #Constraints:     668737
3553.10/3564.40	c #Conflicts:     238000 | #Constraints:     669737
3553.10/3564.40	c #Conflicts:     239000 | #Constraints:     670737
3553.10/3564.40	c #Conflicts:     240000 | #Constraints:     671737
3553.10/3564.40	c #Conflicts:     241000 | #Constraints:     672737
3553.10/3564.40	c #Conflicts:     242000 | #Constraints:     673737
3553.10/3564.40	c #Conflicts:     243000 | #Constraints:     674737
3553.10/3564.40	c #Conflicts:     244000 | #Constraints:     675737
3553.10/3564.40	c #Conflicts:     245000 | #Constraints:     676737
3553.10/3564.40	c #Conflicts:     246000 | #Constraints:     677737
3553.10/3564.40	c INPROCESSING
3553.10/3564.40	c GARBAGE COLLECT
3553.10/3564.40	c rational objective 187.143
3600.06/3611.56	c #Conflicts:     247000 | #Constraints:     668936
3600.06/3611.56	c #Conflicts:     248000 | #Constraints:     669936
3600.06/3611.56	c #Conflicts:     249000 | #Constraints:     670936
3600.06/3611.56	c Program interrupted by user.
3600.06/3611.56	c cpu time 3551.06 s
3600.06/3611.56	c deterministic time 447979374497 4.48e+11
3600.06/3611.56	c optimization time 46.9965 s
3600.06/3611.56	c total solve time 3502.47 s
3600.06/3611.56	c core-guided solve time 2120.19 s
3600.06/3611.56	c propagation time 2038.17 s
3600.06/3611.56	c conflict analysis time 1000.13 s
3600.06/3611.56	c propagations 97255810
3600.06/3611.56	c resolve steps 3562204
3600.06/3611.56	c decisions 15312205
3600.06/3611.56	c conflicts 249398
3600.06/3611.56	c restarts 573
3600.06/3611.56	c inprocessing phases 41
3600.06/3611.56	c input clauses 657208
3600.06/3611.56	c input cardinalities 64
3600.06/3611.56	c input general constraints 867
3600.06/3611.56	c input average constraint length 6.08
3600.06/3611.56	c input average constraint degree 143.95
3600.06/3611.56	c learned clauses 92580
3600.06/3611.56	c learned cardinalities 5
3600.06/3611.56	c learned general constraints 157513
3600.06/3611.56	c learned average constraint length 4139.41
3600.06/3611.56	c learned average constraint degree 90339812415.40
3600.06/3611.56	c watched constraints 31891
3600.06/3611.56	c counting constraints 126489
3600.06/3611.56	c gcd simplifications 4679
3600.06/3611.56	c detected cardinalities 0
3600.06/3611.56	c weakened non-implied lits 366961345
3600.06/3611.56	c weakened non-implying lits 96625
3600.06/3611.56	c original variables 10000
3600.06/3611.56	c clausal propagations 18405640
3600.06/3611.56	c cardinality propagations 96161
3600.06/3611.56	c watched propagations 3279104
3600.06/3611.56	c counting propagations 74633158
3600.06/3611.56	c watch lookups 19266105685
3600.06/3611.56	c watch backjump lookups 19069314848
3600.06/3611.56	c watch checks 153332364999
3600.06/3611.56	c propagation checks 250617103999
3600.06/3611.56	c constraint additions 5468730666
3600.06/3611.56	c trail pops 112806933
3600.06/3611.56	c formula constraints 656900
3600.06/3611.56	c learned constraints 248712
3600.06/3611.56	c bound constraints 190
3600.06/3611.56	c core-guided constraints 1049
3600.06/3611.56	c encountered formula constraints 1658924
3600.06/3611.56	c encountered learned constraints 1586370
3600.06/3611.56	c encountered bound constraints 5055
3600.06/3611.56	c encountered core-guided constraints 505010
3600.06/3611.56	c LP total time 843.713 s
3600.06/3611.56	c LP solve time 820.71 s
3600.06/3611.56	c LP constraints added 656924
3600.06/3611.56	c LP constraints removed 20
3600.06/3611.56	c LP pivots internal 250113
3600.06/3611.56	c LP pivots root 129238
3600.06/3611.56	c LP calls 1584
3600.06/3611.56	c LP optimalities 887
3600.06/3611.56	c LP no pivot count 382
3600.06/3611.56	c LP infeasibilities 693
3600.06/3611.56	c LP valid Farkas constraints 693
3600.06/3611.56	c LP learned Farkas constraints 693
3600.06/3611.56	c LP basis resets 0
3600.06/3611.56	c LP cycling count 0
3600.06/3611.56	c LP singular count 0
3600.06/3611.56	c LP no primal count 0
3600.06/3611.56	c LP no farkas count 0
3600.06/3611.56	c LP other issue count 0
3600.06/3611.56	c LP Gomory cuts 0
3600.06/3611.56	c LP learned cuts 24
3600.06/3611.56	c LP deleted cuts 20
3600.06/3611.56	c LP encountered Gomory constraints 0
3600.06/3611.56	c LP encountered Farkas constraints 53491
3600.06/3611.56	c LP encountered learned Farkas constraints 2059
3600.06/3611.56	c CG auxiliary variables introduced 371
3600.06/3611.56	c CG solutions found 190
3600.06/3611.56	c CG cores constructed 64
3600.06/3611.56	c CG core cardinality constraints returned 0
3600.06/3611.56	c CG unit cores 0
3600.06/3611.56	c CG single cores 63
3600.06/3611.56	c CG blocks removed during cardinality reduction 0
3600.06/3611.56	c CG first core best 0
3600.06/3611.56	c CG decision core best 0
3600.06/3611.56	c CG core reduction tie 1
3600.06/3611.56	c CG core degree average 1.00
3600.06/3611.56	c CG core slack average 837.56
3600.06/3611.56	s SATISFIABLE
3600.06/3611.56	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 -x976

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100082 s]*
/proc/loadavg: 0.06 0.08 0.09 4/259 6842
/proc/meminfo: memFree=130187144/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=37376 memory=2584 CPUtime=0 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 680965 38273024 646 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.205558 s]*
/proc/loadavg: 0.06 0.08 0.09 4/259 6842
/proc/meminfo: memFree=130180280/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=37376 memory=2584 CPUtime=0 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 680965 38273024 646 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 9344 646 589 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2584 KiB

[startup+0.305904 s]*
/proc/loadavg: 0.06 0.08 0.09 5/259 6842
/proc/meminfo: memFree=130169132/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=41216 memory=10472 CPUtime=0.08 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 1808 0 0 0 6 2 0 0 20 0 1 0 680965 42205184 2618 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 10304 2618 1351 992 0 2162 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 41216 KiB
Current children cumulated memory: 10472 KiB

[startup+0.700903 s]
/proc/loadavg: 0.06 0.08 0.09 5/259 6842
/proc/meminfo: memFree=130149524/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=47944 memory=19924 CPUtime=0.47 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 3173 0 0 0 33 14 0 0 20 0 1 0 680965 49094656 4981 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 11986 4981 1351 992 0 3844 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 47944 KiB
Current children cumulated memory: 19924 KiB

[startup+1.50022 s]
/proc/loadavg: 0.06 0.08 0.09 5/259 6842
/proc/meminfo: memFree=130043244/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=79344 memory=40124 CPUtime=1.25 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 6169 0 0 0 90 35 0 0 20 0 1 0 680965 81248256 10031 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 19836 10031 1351 992 0 11694 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 79344 KiB
Current children cumulated memory: 40124 KiB

[startup+3.10578 s]
/proc/loadavg: 0.38 0.14 0.11 5/259 6842
/proc/meminfo: memFree=129501068/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=361148 memory=330056 CPUtime=2.86 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 57711 0 0 0 225 61 0 0 20 0 1 0 680965 369815552 82514 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 90287 82514 1701 992 0 82145 0
Current children cumulated CPU time: 2.86 s
Current children cumulated vsize: 361148 KiB
Current children cumulated memory: 330056 KiB

[startup+6.30021 s]
/proc/loadavg: 0.38 0.14 0.11 5/261 6846
/proc/meminfo: memFree=129236024/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=377504 memory=326972 CPUtime=6.04 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 59344 0 0 0 528 76 0 0 20 0 1 0 680965 386564096 81743 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 94376 81743 1874 992 0 86234 0
Current children cumulated CPU time: 6.04 s
Current children cumulated vsize: 377504 KiB
Current children cumulated memory: 326972 KiB

[startup+12.7002 s]
/proc/loadavg: 1.01 0.29 0.16 5/262 6847
/proc/meminfo: memFree=128593172/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=441132 memory=387020 CPUtime=12.43 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 63205 0 0 0 1134 109 0 0 20 0 1 0 680965 451719168 96755 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 110283 96755 1874 992 0 102141 0
Current children cumulated CPU time: 12.43 s
Current children cumulated vsize: 441132 KiB
Current children cumulated memory: 387020 KiB

[startup+25.5002 s]
/proc/loadavg: 1.47 0.41 0.20 5/262 6850
/proc/meminfo: memFree=127368884/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=471000 memory=426740 CPUtime=25.2 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 65509 0 0 0 2354 166 0 0 20 0 1 0 680965 482304000 106685 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 117750 106685 1890 992 0 109608 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 471000 KiB
Current children cumulated memory: 426740 KiB

[startup+51.1058 s]
/proc/loadavg: 2.40 0.72 0.30 5/262 6853
/proc/meminfo: memFree=124951196/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=669392 memory=569928 CPUtime=50.74 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 74694 0 0 0 4852 222 0 0 20 0 1 0 680965 685457408 142482 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 167348 142482 1890 992 0 159206 0
Current children cumulated CPU time: 50.74 s
Current children cumulated vsize: 669392 KiB
Current children cumulated memory: 569928 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 1.35 0.55 5/263 6876
/proc/meminfo: memFree=119896024/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1081648 memory=906204 CPUtime=101.67 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 117088 0 0 0 9845 322 0 0 20 0 1 0 680965 1107607552 226551 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 270412 226551 1890 992 0 262270 0
Current children cumulated CPU time: 101.67 s
Current children cumulated vsize: 1081648 KiB
Current children cumulated memory: 906204 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 1.85 0.77 5/263 6886
/proc/meminfo: memFree=115615936/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1081648 memory=912152 CPUtime=161.31 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 117688 0 0 0 15754 377 0 0 20 0 1 0 680965 1107607552 228038 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 270412 228038 1890 992 0 262270 0
Current children cumulated CPU time: 161.31 s
Current children cumulated vsize: 1081648 KiB
Current children cumulated memory: 912152 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 2.29 0.99 5/263 6897
/proc/meminfo: memFree=111111556/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1094480 memory=949352 CPUtime=221 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 118901 0 0 0 21635 465 0 0 20 0 1 0 680965 1120747520 237338 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 273620 237338 1890 992 0 265478 0
Current children cumulated CPU time: 221 s
Current children cumulated vsize: 1094480 KiB
Current children cumulated memory: 949352 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 2.63 1.19 5/262 6908
/proc/meminfo: memFree=105745312/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1295524 memory=1192088 CPUtime=280.67 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 153036 0 0 0 27521 546 0 0 20 0 1 0 680965 1326616576 298022 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 323881 298022 1890 992 0 315739 0
Current children cumulated CPU time: 280.67 s
Current children cumulated vsize: 1295524 KiB
Current children cumulated memory: 1192088 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 2.93 1.39 5/263 6920
/proc/meminfo: memFree=100555308/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1625152 memory=1456236 CPUtime=340.33 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 172239 0 0 0 33416 617 0 0 20 0 1 0 680965 1664155648 364059 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 406288 364059 1890 992 0 398146 0
Current children cumulated CPU time: 340.33 s
Current children cumulated vsize: 1625152 KiB
Current children cumulated memory: 1456236 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 3.16 1.56 5/264 6932
/proc/meminfo: memFree=96084500/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1636044 memory=1461056 CPUtime=400.03 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 172620 0 0 0 39346 657 0 0 20 0 1 0 680965 1675309056 365264 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 409011 365264 1890 992 0 400869 0
Current children cumulated CPU time: 400.03 s
Current children cumulated vsize: 1636044 KiB
Current children cumulated memory: 1461056 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 3.33 1.72 5/262 6944
/proc/meminfo: memFree=91439636/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=1636044 memory=1461188 CPUtime=459.72 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 172931 0 0 0 45234 738 0 0 20 0 1 0 680965 1675309056 365297 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 409011 365297 1890 992 0 400869 0

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


[startup+3162.3 s]
/proc/loadavg: 4.16 4.16 4.05 5/268 8166
/proc/meminfo: memFree=53007536/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=2730124 memory=2533248 CPUtime=3152.18 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 328145 0 0 0 310946 4272 0 0 20 0 1 0 680965 2795646976 633312 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 682531 633312 1890 992 0 674389 0
Current children cumulated CPU time: 3152.18 s
Current children cumulated vsize: 2730124 KiB
Current children cumulated memory: 2533248 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.13 4.05 5/268 8176
/proc/meminfo: memFree=51294860/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=2786068 memory=2713116 CPUtime=3212.03 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 337887 0 0 0 316889 4314 0 0 20 0 1 0 680965 2852933632 678279 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 696517 678279 1890 992 0 688375 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 2786068 KiB
Current children cumulated memory: 2713116 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.06 5/268 8187
/proc/meminfo: memFree=49073804/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2757312 CPUtime=3271.87 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 341684 0 0 0 322803 4384 0 0 20 0 1 0 680965 3459829760 689328 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689328 1890 992 0 836543 0
Current children cumulated CPU time: 3271.87 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2757312 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/272 8203
/proc/meminfo: memFree=46665192/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2757316 CPUtime=3331.7 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 342776 0 0 0 328688 4482 0 0 20 0 1 0 680965 3459829760 689329 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689329 1890 992 0 836543 0
Current children cumulated CPU time: 3331.7 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2757316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.06 5/266 8600
/proc/meminfo: memFree=45611748/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2757316 CPUtime=3391.54 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 343960 0 0 0 334589 4565 0 0 20 0 1 0 680965 3459829760 689329 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689329 1890 992 0 836543 0
Current children cumulated CPU time: 3391.54 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2757316 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.06 5/266 8611
/proc/meminfo: memFree=44153492/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3451.36 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 345142 0 0 0 340467 4669 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3451.36 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.08 5/266 8622
/proc/meminfo: memFree=42273980/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3511.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 346346 0 0 0 346348 4768 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.08 5/272 8806
/proc/meminfo: memFree=39206200/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3570.96 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 347598 0 0 0 352235 4861 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3570.96 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.16 4.15 4.08 4/272 8811
/proc/meminfo: memFree=37776568/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.06 cores=4,6
/proc/6841/stat : 6841 (roundingsat) R 6838 6841 6768 0 -1 4194304 348139 0 0 0 355102 4904 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.14 4.15 4.08 3/266 8838
/proc/meminfo: memFree=38174336/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 4194304 348145 0 1 0 355106 4910 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 256 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
??? kill 6841 sig 9
??? end of watcher thread

[startup+3714.96 s]
# the end of solver process 6841 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3551.06 s, system=49.1319 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 4.16 4.15 4.08 3/272 8811
/proc/meminfo: memFree=37752732/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 4194304 348145 0 1 0 355106 4910 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

[startup+3613.2 s]
/proc/loadavg: 4.14 4.15 4.08 3/266 8838
/proc/meminfo: memFree=38188668/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 4194304 348145 0 1 0 355106 4910 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

[startup+3613.4 s]
/proc/loadavg: 4.14 4.15 4.08 3/266 8838
/proc/meminfo: memFree=38188668/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 4194304 348145 0 1 0 355106 4910 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

[startup+3613.5 s]
/proc/loadavg: 4.14 4.15 4.08 3/266 8838
/proc/meminfo: memFree=38188668/131524600 swapFree=131071996/131071996
[pid=6841] ppid=6838 vsize=3378740 memory=2759364 CPUtime=3600.16 cores=4,6
/proc/6841/stat : 6841 (roundingsat) D 6838 6841 6768 0 -1 4194304 348145 0 1 0 355106 4910 0 0 20 0 1 0 680965 3459829760 689841 134679101440 4194304 8255733 140728267328336 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 12222464 140728267334494 140728267334756 140728267334756 140728267341769 0
/proc/6841/statm: 844685 689841 1890 992 0 836543 0
Current children cumulated CPU time: 3600.16 s
Current children cumulated vsize: 3378740 KiB
Current children cumulated memory: 2759364 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3714.96
CPU time (s): 3600.2
CPU user time (s): 3551.06
CPU system time (s): 49.1319
CPU usage (%): 96.9107
Max. virtual memory (cumulated for all children) (KiB): 3378740
Max. memory (cumulated for all children) (KiB): 2759364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.06
system time used= 49.1319
maximum resident set size= 2759752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348145
page faults= 1
swaps= 0
block input operations= 4224
block output operations= 103783112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15437
involuntary context switches= 4911


# summary of solver processes directly reported to runsolver:
#   pid: 6841
#   total CPU time (s): 3600.2
#   total CPU user time (s): 3551.06
#   total CPU system time (s): 49.1319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.6296 second user time and 17.485 second system time

The end

Launcher Data 

Begin job on nodeC028 at 2024-07-30 13:59:25
IDJOB=4462573
IDBENCH=147558
IDSOLVER=3089
FILE ID=nodeC028/4462573-1722340764
RUNJOBID= nodeC028-1722340763-6780
SLURM_JOB_ID= 8249001
Free space on /tmp= 890028 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.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-4462573-1722340764/watcher-4462573-1722340764 -o /tmp/evaluation-result-4462573-1722340764/solver-4462573-1722340764 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1722340763-6780 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462573-1722340764 --lp-cut-gomory=0 HOME/instance-4462573-1722340764.opb

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

MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=1492646933

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130204372 kB
MemAvailable:   129812780 kB
Buffers:           35720 kB
Cached:           393916 kB
SwapCached:            0 kB
Active:           124620 kB
Inactive:         737284 kB
Active(anon):       1532 kB
Inactive(anon):   452392 kB
Active(file):     123088 kB
Inactive(file):   284892 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             65896 kB
Writeback:            28 kB
AnonPages:        432188 kB
Mapped:            95564 kB
Shmem:             21336 kB
KReclaimable:      45312 kB
Slab:             119288 kB
SReclaimable:      45312 kB
SUnreclaim:        73976 kB
KernelStack:        4100 kB
PageTables:        10000 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     702824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8928 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      172756 kB
DirectMap2M:     6940672 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC028 at 2024-07-30 15:01:20