Trace number 4460184

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 (2)No Cert. 3600.29 3640.77

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMe06e3866d9960a7084ad077c8fb9619e
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 benchmark248
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 495457
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 495457
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.99/3.05	c #variables 10000 #constraints 656900
4.98/5.08	c bounds - >= 0 @ 2.27865
4.98/5.08	c rational objective 174.592
23.60/23.76	c bounds 6222 >= 0 @ 5.13653
23.60/23.76	c bounds 6180 >= 0 @ 5.15763
23.60/23.76	c bounds 6026 >= 0 @ 5.16178
23.60/23.76	c bounds 5981 >= 0 @ 5.1673
23.60/23.76	c bounds 5900 >= 0 @ 5.17447
23.60/23.76	c bounds 5899 >= 0 @ 5.30189
23.60/23.76	c bounds 5863 >= 0 @ 5.3087
23.60/23.76	c bounds 5814 >= 0 @ 5.31518
23.60/23.76	c bounds 5767 >= 0 @ 5.3197
23.60/23.76	c bounds 5626 >= 0 @ 5.32852
23.60/23.76	c bounds 5573 >= 0 @ 5.33627
23.60/23.76	c bounds 5513 >= 0 @ 5.34338
23.60/23.76	c bounds 5453 >= 0 @ 5.35032
23.60/23.76	c bounds 5452 >= 0 @ 5.36195
23.60/23.76	c bounds 5364 >= 0 @ 5.36631
23.60/23.76	c bounds 5320 >= 0 @ 5.37045
23.60/23.76	c bounds 5300 >= 0 @ 5.38001
23.60/23.76	c bounds 5277 >= 0 @ 5.39372
23.60/23.76	c bounds 5253 >= 0 @ 5.39996
23.60/23.76	c bounds 5235 >= 0 @ 5.40509
23.60/23.76	c bounds 5233 >= 0 @ 5.41211
23.60/23.76	c bounds 5067 >= 0 @ 5.41794
23.60/23.76	c bounds 5024 >= 0 @ 5.42654
23.60/23.76	c bounds 5023 >= 0 @ 5.43324
23.60/23.76	c bounds 4955 >= 0 @ 5.44005
23.60/23.76	c bounds 4908 >= 0 @ 5.44614
23.60/23.76	c bounds 4799 >= 0 @ 5.45102
23.60/23.76	c bounds 4777 >= 0 @ 5.46067
23.60/23.76	c bounds 4715 >= 0 @ 5.46539
23.60/23.76	c bounds 4568 >= 0 @ 5.47018
23.60/23.76	c bounds 4445 >= 0 @ 5.47384
23.60/23.76	c bounds 4431 >= 0 @ 5.47982
23.60/23.76	c bounds 4361 >= 0 @ 5.49053
23.60/23.76	c bounds 4310 >= 0 @ 5.52639
23.60/23.76	c bounds 4229 >= 0 @ 5.53274
23.60/23.76	c bounds 4225 >= 0 @ 5.53783
23.60/23.76	c bounds 4040 >= 0 @ 5.54212
23.60/23.76	c bounds 4025 >= 0 @ 5.54664
23.60/23.76	c bounds 4005 >= 0 @ 5.55136
23.60/23.76	c bounds 3972 >= 0 @ 5.56324
23.60/23.76	c bounds 3825 >= 0 @ 5.57124
23.60/23.76	c bounds 3823 >= 0 @ 5.60846
23.60/23.76	c bounds 3804 >= 0 @ 5.62113
23.60/23.76	c bounds 3745 >= 0 @ 5.63219
23.60/23.76	c bounds 3731 >= 0 @ 5.63855
23.60/23.76	c bounds 3684 >= 0 @ 5.64626
23.60/23.76	c bounds 3619 >= 0 @ 5.65387
23.60/23.76	c bounds 3595 >= 0 @ 5.67685
23.60/23.76	c bounds 3582 >= 0 @ 5.68194
23.60/23.76	c bounds 3401 >= 0 @ 5.77443
23.60/23.76	c bounds 3382 >= 0 @ 5.77971
23.60/23.76	c bounds 3266 >= 0 @ 5.78846
23.60/23.76	c bounds 3241 >= 0 @ 5.80181
23.60/23.76	c bounds 3205 >= 0 @ 5.81474
23.60/23.76	c bounds 3195 >= 0 @ 5.83345
23.60/23.76	c bounds 3193 >= 0 @ 5.85628
23.60/23.76	c bounds 3158 >= 0 @ 5.86314
23.60/23.76	c bounds 3126 >= 0 @ 5.87322
23.60/23.76	c bounds 3092 >= 0 @ 5.88312
23.60/23.76	c bounds 3078 >= 0 @ 5.89944
23.60/23.76	c bounds 3053 >= 0 @ 5.91041
23.60/23.76	c bounds 3010 >= 0 @ 5.91838
23.60/23.76	c bounds 2968 >= 0 @ 5.92873
23.60/23.76	c bounds 2927 >= 0 @ 5.94341
23.60/23.76	c bounds 2922 >= 0 @ 5.94851
23.60/23.76	c bounds 2772 >= 0 @ 5.95416
23.60/23.76	c bounds 2753 >= 0 @ 6.01464
23.60/23.76	c bounds 2711 >= 0 @ 6.02484
23.60/23.76	c bounds 2610 >= 0 @ 6.02945
23.60/23.76	c bounds 2531 >= 0 @ 6.03502
23.60/23.76	c bounds 2524 >= 0 @ 6.07109
23.60/23.76	c bounds 2523 >= 0 @ 6.0764
23.60/23.76	c bounds 2501 >= 0 @ 6.08686
23.60/23.76	c bounds 2491 >= 0 @ 6.09985
23.60/23.76	c bounds 2481 >= 0 @ 6.11246
23.60/23.76	c bounds 2460 >= 0 @ 6.12066
23.60/23.76	c bounds 2444 >= 0 @ 6.13002
23.60/23.76	c bounds 2423 >= 0 @ 6.21829
23.60/23.76	c bounds 2344 >= 0 @ 6.34879
23.60/23.76	c bounds 2151 >= 0 @ 6.36066
23.60/23.76	c bounds 2148 >= 0 @ 6.3654
23.60/23.76	c bounds 2130 >= 0 @ 6.38115
23.60/23.76	c bounds 2016 >= 0 @ 6.3875
23.60/23.76	c bounds 1988 >= 0 @ 6.39899
23.60/23.76	c bounds 1960 >= 0 @ 6.41073
23.60/23.76	c bounds 1774 >= 0 @ 6.42073
23.60/23.76	c bounds 1768 >= 0 @ 6.42782
23.60/23.76	c bounds 1642 >= 0 @ 6.43836
23.60/23.76	c bounds 1628 >= 0 @ 6.44485
23.60/23.76	c bounds 1618 >= 0 @ 6.4518
23.60/23.76	c bounds 1591 >= 0 @ 6.45978
23.60/23.76	c bounds 1584 >= 0 @ 6.4728
23.60/23.76	c bounds 1551 >= 0 @ 6.48063
23.60/23.76	c bounds 1550 >= 0 @ 6.48748
23.60/23.76	c bounds 1549 >= 0 @ 6.49621
23.60/23.76	c bounds 1536 >= 0 @ 6.51118
23.60/23.76	c bounds 1522 >= 0 @ 6.52698
23.60/23.76	c bounds 1512 >= 0 @ 6.53746
23.60/23.76	c bounds 1508 >= 0 @ 6.64983
23.60/23.76	c bounds 1499 >= 0 @ 6.65924
23.60/23.76	c bounds 1498 >= 0 @ 6.68656
23.60/23.76	c bounds 1495 >= 0 @ 6.90538
23.60/23.76	c bounds 1386 >= 0 @ 6.91466
23.60/23.76	c bounds 1358 >= 0 @ 6.92094
23.60/23.76	c bounds 1355 >= 0 @ 6.93385
23.60/23.76	c bounds 1353 >= 0 @ 7.46185
23.60/23.76	c bounds 1338 >= 0 @ 7.67519
23.60/23.76	c bounds 1335 >= 0 @ 8.08697
23.60/23.76	c bounds 1332 >= 0 @ 8.11141
23.60/23.76	c bounds 1312 >= 0 @ 8.12055
23.60/23.76	c bounds 1302 >= 0 @ 8.22127
23.60/23.76	c bounds 1276 >= 0 @ 8.38614
23.60/23.76	c bounds 1156 >= 0 @ 8.39697
23.60/23.76	c bounds 1134 >= 0 @ 8.40443
23.60/23.76	c bounds 1060 >= 0 @ 8.41728
23.60/23.76	c #Conflicts:       1000 | #Constraints:     658023
23.60/23.76	c bounds 984 >= 0 @ 8.44567
23.60/23.76	c bounds 967 >= 0 @ 8.60037
23.60/23.76	c bounds 919 >= 0 @ 9.00355
23.60/23.76	c bounds 915 >= 0 @ 9.01085
23.60/23.76	c bounds 907 >= 0 @ 9.0185
23.60/23.76	c bounds 900 >= 0 @ 9.02979
23.60/23.76	c bounds 899 >= 0 @ 10.1399
23.60/23.76	c bounds 855 >= 0 @ 10.2696
23.60/23.76	c bounds 832 >= 0 @ 10.2797
23.60/23.76	c bounds 827 >= 0 @ 10.7001
23.60/23.76	c bounds 740 >= 0 @ 10.7775
23.60/23.76	c bounds 698 >= 0 @ 10.8799
23.60/23.76	c #Conflicts:       2000 | #Constraints:     659038
23.60/23.76	c INPROCESSING
23.60/23.76	c GARBAGE COLLECT
23.60/23.76	c bounds 596 >= 0 @ 16.1538
23.60/23.76	c bounds 595 >= 0 @ 16.689
23.60/23.76	c #Conflicts:       3000 | #Constraints:     658913
23.60/23.76	c #Conflicts:       4000 | #Constraints:     659913
23.60/23.76	c INPROCESSING
23.60/23.76	c GARBAGE COLLECT
23.60/23.76	c rational objective 174.592
48.70/48.91	c bounds 594 >= 0 @ 22.0126
48.70/48.91	c bounds 589 >= 0 @ 22.136
48.70/48.91	c bounds 585 >= 0 @ 22.181
48.70/48.91	c bounds 578 >= 0 @ 22.3383
48.70/48.91	c bounds 574 >= 0 @ 22.3613
48.70/48.91	c bounds 565 >= 0 @ 22.3738
48.70/48.91	c bounds 559 >= 0 @ 22.3934
48.70/48.91	c bounds 557 >= 0 @ 22.5258
48.70/48.91	c bounds 555 >= 0 @ 22.5363
48.70/48.91	c bounds 553 >= 0 @ 22.935
48.70/48.91	c bounds 552 >= 0 @ 24.5736
48.70/48.91	c bounds 552 >= 8 @ 24.5857
48.70/48.91	c #Conflicts:       5000 | #Constraints:     659344
48.70/48.91	c bounds 461 >= 8 @ 27.3004
48.70/48.91	c #Conflicts:       6000 | #Constraints:     660345
48.70/48.91	c INPROCESSING
48.70/48.91	c GARBAGE COLLECT
48.70/48.91	c bounds 460 >= 8 @ 33.5778
48.70/48.91	c bounds 456 >= 8 @ 33.5905
48.70/48.91	c bounds 452 >= 8 @ 35.2108
48.70/48.91	c #Conflicts:       7000 | #Constraints:     659339
48.70/48.91	c #Conflicts:       8000 | #Constraints:     660339
48.70/48.91	c #Conflicts:       9000 | #Constraints:     661339
48.70/48.91	c INPROCESSING
48.70/48.91	c GARBAGE COLLECT
48.70/48.91	c rational objective 174.592
69.52/69.80	c #Conflicts:      10000 | #Constraints:     660030
69.52/69.80	c #Conflicts:      11000 | #Constraints:     661030
69.52/69.80	c #Conflicts:      12000 | #Constraints:     662030
69.52/69.80	c INPROCESSING
69.52/69.80	c GARBAGE COLLECT
69.52/69.80	c #Conflicts:      13000 | #Constraints:     660487
69.52/69.80	c #Conflicts:      14000 | #Constraints:     661487
69.52/69.80	c #Conflicts:      15000 | #Constraints:     662487
69.52/69.80	c INPROCESSING
69.52/69.80	c GARBAGE COLLECT
69.52/69.80	c rational objective 175.187
99.02/99.47	c bounds 445 >= 8 @ 67.2423
99.02/99.47	c #Conflicts:      16000 | #Constraints:     660729
99.02/99.47	c #Conflicts:      17000 | #Constraints:     661742
99.02/99.47	c bounds 444 >= 8 @ 88.1568
99.02/99.47	c bounds 444 >= 13 @ 88.1817
99.02/99.47	c bounds 444 >= 18 @ 88.9846
99.02/99.47	c #Conflicts:      18000 | #Constraints:     662755
99.02/99.47	c INPROCESSING
99.02/99.47	c GARBAGE COLLECT
99.02/99.47	c rational objective 175.958
126.52/127.09	c #Conflicts:      19000 | #Constraints:     660754
126.52/127.09	c #Conflicts:      20000 | #Constraints:     661754
126.52/127.09	c #Conflicts:      21000 | #Constraints:     662754
126.52/127.09	c INPROCESSING
126.52/127.09	c GARBAGE COLLECT
126.52/127.09	c rational objective 176
162.18/162.80	c #Conflicts:      22000 | #Constraints:     660558
162.18/162.80	c #Conflicts:      23000 | #Constraints:     661558
162.18/162.80	c #Conflicts:      24000 | #Constraints:     662558
162.18/162.80	c #Conflicts:      25000 | #Constraints:     663558
162.18/162.80	c INPROCESSING
162.18/162.80	c GARBAGE COLLECT
162.18/162.80	c rational objective 176.442
204.92/205.71	c bounds 443 >= 18 @ 157.987
204.92/205.71	c bounds 442 >= 18 @ 164.305
204.92/205.71	c #Conflicts:      26000 | #Constraints:     661178
204.92/205.71	c #Conflicts:      27000 | #Constraints:     662189
204.92/205.71	c bounds 437 >= 18 @ 183.981
204.92/205.71	c bounds 437 >= 22 @ 184.033
204.92/205.71	c #Conflicts:      28000 | #Constraints:     663199
204.92/205.71	c #Conflicts:      29000 | #Constraints:     664199
204.92/205.71	c INPROCESSING
204.92/205.71	c GARBAGE COLLECT
204.92/205.71	c rational objective 176.442
223.07/223.92	c #Conflicts:      30000 | #Constraints:     661562
223.07/223.92	c #Conflicts:      31000 | #Constraints:     662562
223.07/223.92	c #Conflicts:      32000 | #Constraints:     663562
223.07/223.92	c #Conflicts:      33000 | #Constraints:     664562
223.07/223.92	c INPROCESSING
223.07/223.92	c rational objective 176.442
242.00/242.91	c #Conflicts:      34000 | #Constraints:     661753
242.00/242.91	c #Conflicts:      35000 | #Constraints:     662753
242.00/242.91	c #Conflicts:      36000 | #Constraints:     663753
242.00/242.91	c #Conflicts:      37000 | #Constraints:     664753
242.00/242.91	c INPROCESSING
242.00/242.91	c GARBAGE COLLECT
242.00/242.91	c rational objective 176.452
260.04/261.02	c #Conflicts:      38000 | #Constraints:     661753
260.04/261.02	c #Conflicts:      39000 | #Constraints:     662753
260.04/261.02	c #Conflicts:      40000 | #Constraints:     663753
260.04/261.02	c #Conflicts:      41000 | #Constraints:     664753
260.04/261.02	c INPROCESSING
260.04/261.02	c GARBAGE COLLECT
260.04/261.02	c rational objective 176.476
280.07/281.14	c #Conflicts:      42000 | #Constraints:     661552
280.07/281.14	c #Conflicts:      43000 | #Constraints:     662552
280.07/281.14	c #Conflicts:      44000 | #Constraints:     663552
280.07/281.14	c #Conflicts:      45000 | #Constraints:     664552
280.07/281.14	c #Conflicts:      46000 | #Constraints:     665552
280.07/281.14	c INPROCESSING
280.07/281.14	c GARBAGE COLLECT
280.07/281.14	c rational objective 176.476
306.17/307.31	c bounds 432 >= 22 @ 274.646
306.17/307.31	c bounds 428 >= 22 @ 274.684
306.17/307.31	c bounds 425 >= 22 @ 274.748
306.17/307.31	c bounds 423 >= 22 @ 278.063
306.17/307.31	c bounds 421 >= 22 @ 279.46
306.17/307.31	c bounds 421 >= 25 @ 279.473
306.17/307.31	c #Conflicts:      47000 | #Constraints:     662165
306.17/307.31	c #Conflicts:      48000 | #Constraints:     663165
306.17/307.31	c #Conflicts:      49000 | #Constraints:     664165
306.17/307.31	c #Conflicts:      50000 | #Constraints:     665165
306.17/307.31	c #Conflicts:      51000 | #Constraints:     666165
306.17/307.31	c INPROCESSING
306.17/307.31	c GARBAGE COLLECT
306.17/307.31	c rational objective 176.476
359.49/360.81	c bounds 416 >= 25 @ 300.486
359.49/360.81	c bounds 409 >= 25 @ 300.547
359.49/360.81	c bounds 408 >= 25 @ 302.759
359.49/360.81	c bounds 407 >= 25 @ 302.811
359.49/360.81	c bounds 401 >= 25 @ 303.648
359.49/360.81	c bounds 401 >= 27 @ 303.663
359.49/360.81	c bounds 401 >= 29 @ 303.678
359.49/360.81	c bounds 401 >= 31 @ 303.697
359.49/360.81	c bounds 401 >= 33 @ 303.719
359.49/360.81	c bounds 401 >= 35 @ 303.74
359.49/360.81	c bounds 401 >= 37 @ 305.119
359.49/360.81	c bounds 401 >= 39 @ 305.496
359.49/360.81	c #Conflicts:      52000 | #Constraints:     662624
359.49/360.81	c bounds 401 >= 41 @ 315.572
359.49/360.81	c bounds 398 >= 41 @ 316.181
359.49/360.81	c bounds 392 >= 41 @ 316.248
359.49/360.81	c bounds 389 >= 41 @ 316.307
359.49/360.81	c #Conflicts:      53000 | #Constraints:     663645
359.49/360.81	c #Conflicts:      54000 | #Constraints:     664645
359.49/360.81	c #Conflicts:      55000 | #Constraints:     665649
359.49/360.81	c bounds 388 >= 41 @ 339.943
359.49/360.81	c #Conflicts:      56000 | #Constraints:     666653
359.49/360.81	c INPROCESSING
359.49/360.81	c GARBAGE COLLECT
359.49/360.81	c rational objective 176.491
523.00/524.93	c #Conflicts:      57000 | #Constraints:     662837
523.00/524.93	c #Conflicts:      58000 | #Constraints:     663837
523.00/524.93	c #Conflicts:      59000 | #Constraints:     664837
523.00/524.93	c #Conflicts:      60000 | #Constraints:     665837
523.00/524.93	c bounds 388 >= 43 @ 392.787
523.00/524.93	c bounds 387 >= 43 @ 393.684
523.00/524.93	c #Conflicts:      61000 | #Constraints:     666859
523.00/524.93	c bounds 386 >= 43 @ 406.939
523.00/524.93	c INPROCESSING
523.00/524.93	c GARBAGE COLLECT
523.00/524.93	c #Conflicts:      62000 | #Constraints:     662849
523.00/524.93	c #Conflicts:      63000 | #Constraints:     663849
523.00/524.93	c #Conflicts:      64000 | #Constraints:     664849
523.00/524.93	c #Conflicts:      65000 | #Constraints:     665849
523.00/524.93	c #Conflicts:      66000 | #Constraints:     666849
523.00/524.93	c INPROCESSING
523.00/524.93	c GARBAGE COLLECT
523.00/524.93	c rational objective 176.494
628.55/630.80	c bounds 383 >= 43 @ 516.402
628.55/630.80	c #Conflicts:      67000 | #Constraints:     662674
628.55/630.80	c bounds 381 >= 43 @ 521.502
628.55/630.80	c bounds 379 >= 43 @ 521.566
628.55/630.80	c bounds 378 >= 43 @ 521.61
628.55/630.80	c bounds 371 >= 43 @ 522.89
628.55/630.80	c bounds 370 >= 43 @ 523.803
628.55/630.80	c #Conflicts:      68000 | #Constraints:     663704
628.55/630.80	c bounds 369 >= 43 @ 535.661
628.55/630.80	c bounds 368 >= 43 @ 535.722
628.55/630.80	c bounds 367 >= 43 @ 536.885
628.55/630.80	c #Conflicts:      69000 | #Constraints:     664722
628.55/630.80	c #Conflicts:      70000 | #Constraints:     665739
628.55/630.80	c #Conflicts:      71000 | #Constraints:     666754
628.55/630.80	c #Conflicts:      72000 | #Constraints:     667765
628.55/630.80	c INPROCESSING
628.55/630.80	c GARBAGE COLLECT
628.55/630.80	c rational objective 176.494
909.17/912.46	c bounds 367 >= 44 @ 618.722
909.17/912.46	c bounds 367 >= 45 @ 618.738
909.17/912.46	c bounds 367 >= 46 @ 618.755
909.17/912.46	c bounds 367 >= 47 @ 618.767
909.17/912.46	c bounds 367 >= 48 @ 618.779
909.17/912.46	c bounds 367 >= 49 @ 618.8
909.17/912.46	c bounds 367 >= 50 @ 618.817
909.17/912.46	c bounds 367 >= 51 @ 618.835
909.17/912.46	c bounds 367 >= 52 @ 618.849
909.17/912.46	c bounds 367 >= 53 @ 618.867
909.17/912.46	c bounds 367 >= 54 @ 618.884
909.17/912.46	c bounds 367 >= 55 @ 618.911
909.17/912.46	c bounds 367 >= 56 @ 618.933
909.17/912.46	c bounds 367 >= 57 @ 618.953
909.17/912.46	c bounds 367 >= 58 @ 621.221
909.17/912.46	c bounds 367 >= 59 @ 621.253
909.17/912.46	c bounds 367 >= 60 @ 621.296
909.17/912.46	c bounds 367 >= 61 @ 621.38
909.17/912.46	c bounds 367 >= 62 @ 621.42
909.17/912.46	c bounds 367 >= 63 @ 621.473
909.17/912.46	c bounds 367 >= 64 @ 621.589
909.17/912.46	c bounds 367 >= 65 @ 621.678
909.17/912.46	c bounds 367 >= 66 @ 621.824
909.17/912.46	c bounds 367 >= 67 @ 622.163
909.17/912.46	c bounds 367 >= 68 @ 622.389
909.17/912.46	c bounds 367 >= 69 @ 623.175
909.17/912.46	c #Conflicts:      73000 | #Constraints:     663495
909.17/912.46	c bounds 367 >= 70 @ 624.963
909.17/912.46	c bounds 367 >= 71 @ 636.107
909.17/912.46	c #Conflicts:      74000 | #Constraints:     664558
909.17/912.46	c bounds 367 >= 72 @ 642.191
909.17/912.46	c #Conflicts:      75000 | #Constraints:     665588
909.17/912.46	c bounds 367 >= 73 @ 649.211
909.17/912.46	c #Conflicts:      76000 | #Constraints:     666624
909.17/912.46	c #Conflicts:      77000 | #Constraints:     667624
909.17/912.46	c bounds 367 >= 74 @ 666.737
909.17/912.46	c #Conflicts:      78000 | #Constraints:     668654
909.17/912.46	c INPROCESSING
909.17/912.46	c GARBAGE COLLECT
909.17/912.46	c bounds 367 >= 75 @ 848.522
909.17/912.46	c #Conflicts:      79000 | #Constraints:     664021
909.17/912.46	c #Conflicts:      80000 | #Constraints:     665021
909.17/912.46	c bounds 367 >= 76 @ 862.158
909.17/912.46	c #Conflicts:      81000 | #Constraints:     666057
909.17/912.46	c #Conflicts:      82000 | #Constraints:     667057
909.17/912.46	c #Conflicts:      83000 | #Constraints:     668057
909.17/912.46	c bounds 367 >= 77 @ 884.006
909.17/912.46	c #Conflicts:      84000 | #Constraints:     669096
909.17/912.46	c INPROCESSING
909.17/912.46	c GARBAGE COLLECT
909.17/912.46	c rational objective 176.494
966.46/969.97	c #Conflicts:      85000 | #Constraints:     664284
966.46/969.97	c #Conflicts:      86000 | #Constraints:     665284
966.46/969.97	c bounds 367 >= 78 @ 908.95
966.46/969.97	c #Conflicts:      87000 | #Constraints:     666311
966.46/969.97	c #Conflicts:      88000 | #Constraints:     667311
966.46/969.97	c #Conflicts:      89000 | #Constraints:     668311
966.46/969.97	c bounds 367 >= 79 @ 938.015
966.46/969.97	c #Conflicts:      90000 | #Constraints:     669338
966.46/969.97	c INPROCESSING
966.46/969.97	c GARBAGE COLLECT
966.46/969.97	c rational objective 176.494
1061.95/1065.70	c #Conflicts:      91000 | #Constraints:     664338
1061.95/1065.70	c #Conflicts:      92000 | #Constraints:     665338
1061.95/1065.70	c #Conflicts:      93000 | #Constraints:     666340
1061.95/1065.70	c #Conflicts:      94000 | #Constraints:     667340
1061.95/1065.70	c #Conflicts:      95000 | #Constraints:     668340
1061.95/1065.70	c #Conflicts:      96000 | #Constraints:     669340
1061.95/1065.70	c INPROCESSING
1061.95/1065.70	c GARBAGE COLLECT
1061.95/1065.70	c rational objective 176.494
1125.45/1129.46	c #Conflicts:      97000 | #Constraints:     664164
1125.45/1129.46	c #Conflicts:      98000 | #Constraints:     665164
1125.45/1129.46	c #Conflicts:      99000 | #Constraints:     666164
1125.45/1129.46	c #Conflicts:     100000 | #Constraints:     667164
1125.45/1129.46	c #Conflicts:     101000 | #Constraints:     668164
1125.45/1129.46	c bounds 367 >= 80 @ 1080.74
1125.45/1129.46	c #Conflicts:     102000 | #Constraints:     669191
1125.45/1129.46	c #Conflicts:     103000 | #Constraints:     670191
1125.45/1129.46	c INPROCESSING
1125.45/1129.46	c GARBAGE COLLECT
1125.45/1129.46	c rational objective 176.494
1221.93/1226.25	c #Conflicts:     104000 | #Constraints:     664785
1221.93/1226.25	c #Conflicts:     105000 | #Constraints:     665785
1221.93/1226.25	c #Conflicts:     106000 | #Constraints:     666785
1221.93/1226.25	c #Conflicts:     107000 | #Constraints:     667785
1221.93/1226.25	c #Conflicts:     108000 | #Constraints:     668785
1221.93/1226.25	c bounds 367 >= 81 @ 1158.98
1221.93/1226.25	c bounds 365 >= 81 @ 1162.57
1221.93/1226.25	c #Conflicts:     109000 | #Constraints:     669834
1221.93/1226.25	c #Conflicts:     110000 | #Constraints:     670842
1221.93/1226.25	c INPROCESSING
1221.93/1226.25	c GARBAGE COLLECT
1221.93/1226.25	c rational objective 176.494
1297.49/1302.09	c #Conflicts:     111000 | #Constraints:     665231
1297.49/1302.09	c #Conflicts:     112000 | #Constraints:     666231
1297.49/1302.09	c #Conflicts:     113000 | #Constraints:     667231
1297.49/1302.09	c #Conflicts:     114000 | #Constraints:     668231
1297.49/1302.09	c #Conflicts:     115000 | #Constraints:     669231
1297.49/1302.09	c #Conflicts:     116000 | #Constraints:     670231
1297.49/1302.09	c #Conflicts:     117000 | #Constraints:     671231
1297.49/1302.09	c INPROCESSING
1297.49/1302.09	c GARBAGE COLLECT
1297.49/1302.09	c rational objective 176.494
1413.91/1418.90	c #Conflicts:     118000 | #Constraints:     665439
1413.91/1418.90	c #Conflicts:     119000 | #Constraints:     666452
1413.91/1418.90	c #Conflicts:     120000 | #Constraints:     667465
1413.91/1418.90	c bounds 361 >= 81 @ 1308.29
1413.91/1418.90	c #Conflicts:     121000 | #Constraints:     668474
1413.91/1418.90	c bounds 358 >= 81 @ 1328.33
1413.91/1418.90	c bounds 355 >= 81 @ 1328.45
1413.91/1418.90	c bounds 353 >= 81 @ 1328.68
1413.91/1418.90	c #Conflicts:     122000 | #Constraints:     669493
1413.91/1418.90	c bounds 352 >= 81 @ 1334.38
1413.91/1418.90	c #Conflicts:     123000 | #Constraints:     670511
1413.91/1418.90	c #Conflicts:     124000 | #Constraints:     671529
1413.91/1418.90	c INPROCESSING
1413.91/1418.90	c GARBAGE COLLECT
1413.91/1418.90	c rational objective 176.494
1499.73/1504.93	c #Conflicts:     125000 | #Constraints:     665481
1499.73/1504.93	c #Conflicts:     126000 | #Constraints:     666481
1499.73/1504.93	c #Conflicts:     127000 | #Constraints:     667481
1499.73/1504.93	c #Conflicts:     128000 | #Constraints:     668481
1499.73/1504.93	c #Conflicts:     129000 | #Constraints:     669481
1499.73/1504.93	c #Conflicts:     130000 | #Constraints:     670481
1499.73/1504.93	c #Conflicts:     131000 | #Constraints:     671481
1499.73/1504.93	c INPROCESSING
1499.73/1504.93	c GARBAGE COLLECT
1499.73/1504.93	c rational objective 176.494
1609.48/1615.05	c #Conflicts:     132000 | #Constraints:     665264
1609.48/1615.05	c #Conflicts:     133000 | #Constraints:     666269
1609.48/1615.05	c bounds 351 >= 81 @ 1485.48
1609.48/1615.05	c bounds 350 >= 81 @ 1485.77
1609.48/1615.05	c bounds 346 >= 81 @ 1493.34
1609.48/1615.05	c bounds 342 >= 81 @ 1494.42
1609.48/1615.05	c #Conflicts:     134000 | #Constraints:     667303
1609.48/1615.05	c #Conflicts:     135000 | #Constraints:     668320
1609.48/1615.05	c #Conflicts:     136000 | #Constraints:     669333
1609.48/1615.05	c #Conflicts:     137000 | #Constraints:     670345
1609.48/1615.05	c #Conflicts:     138000 | #Constraints:     671360
1609.48/1615.05	c #Conflicts:     139000 | #Constraints:     672371
1609.48/1615.05	c INPROCESSING
1609.48/1615.05	c GARBAGE COLLECT
1609.48/1615.05	c rational objective 176.494
1712.12/1718.04	c #Conflicts:     140000 | #Constraints:     665909
1712.12/1718.04	c #Conflicts:     141000 | #Constraints:     666909
1712.12/1718.04	c #Conflicts:     142000 | #Constraints:     667909
1712.12/1718.04	c #Conflicts:     143000 | #Constraints:     668909
1712.12/1718.04	c #Conflicts:     144000 | #Constraints:     669909
1712.12/1718.04	c #Conflicts:     145000 | #Constraints:     670909
1712.12/1718.04	c #Conflicts:     146000 | #Constraints:     671909
1712.12/1718.04	c bounds 342 >= 82 @ 1674.05
1712.12/1718.04	c #Conflicts:     147000 | #Constraints:     672945
1712.12/1718.04	c INPROCESSING
1712.12/1718.04	c GARBAGE COLLECT
1712.12/1718.04	c rational objective 176.494
1808.29/1814.52	c #Conflicts:     148000 | #Constraints:     666284
1808.29/1814.52	c #Conflicts:     149000 | #Constraints:     667284
1808.29/1814.52	c #Conflicts:     150000 | #Constraints:     668284
1808.29/1814.52	c #Conflicts:     151000 | #Constraints:     669284
1808.29/1814.52	c #Conflicts:     152000 | #Constraints:     670284
1808.29/1814.52	c #Conflicts:     153000 | #Constraints:     671284
1808.29/1814.52	c #Conflicts:     154000 | #Constraints:     672284
1808.29/1814.52	c #Conflicts:     155000 | #Constraints:     673284
1808.29/1814.52	c INPROCESSING
1808.29/1814.52	c GARBAGE COLLECT
1808.29/1814.52	c rational objective 176.494
1962.29/1969.07	c #Conflicts:     156000 | #Constraints:     666483
1962.29/1969.07	c #Conflicts:     157000 | #Constraints:     667502
1962.29/1969.07	c #Conflicts:     158000 | #Constraints:     668514
1962.29/1969.07	c #Conflicts:     159000 | #Constraints:     669525
1962.29/1969.07	c #Conflicts:     160000 | #Constraints:     670535
1962.29/1969.07	c bounds 340 >= 82 @ 1889.59
1962.29/1969.07	c #Conflicts:     161000 | #Constraints:     671541
1962.29/1969.07	c #Conflicts:     162000 | #Constraints:     672541
1962.29/1969.07	c #Conflicts:     163000 | #Constraints:     673541
1962.29/1969.07	c INPROCESSING
1962.29/1969.07	c GARBAGE COLLECT
1962.29/1969.07	c rational objective 176.494
2059.37/2066.44	c #Conflicts:     164000 | #Constraints:     666514
2059.37/2066.44	c #Conflicts:     165000 | #Constraints:     667514
2059.37/2066.44	c #Conflicts:     166000 | #Constraints:     668514
2059.37/2066.44	c #Conflicts:     167000 | #Constraints:     669514
2059.37/2066.44	c #Conflicts:     168000 | #Constraints:     670514
2059.37/2066.44	c #Conflicts:     169000 | #Constraints:     671514
2059.37/2066.44	c #Conflicts:     170000 | #Constraints:     672514
2059.37/2066.44	c #Conflicts:     171000 | #Constraints:     673514
2059.37/2066.44	c INPROCESSING
2059.37/2066.44	c GARBAGE COLLECT
2059.37/2066.44	c rational objective 176.494
2168.10/2175.53	c #Conflicts:     172000 | #Constraints:     666289
2168.10/2175.53	c #Conflicts:     173000 | #Constraints:     667289
2168.10/2175.53	c #Conflicts:     174000 | #Constraints:     668289
2168.10/2175.53	c #Conflicts:     175000 | #Constraints:     669289
2168.10/2175.53	c #Conflicts:     176000 | #Constraints:     670289
2168.10/2175.53	c #Conflicts:     177000 | #Constraints:     671289
2168.10/2175.53	c #Conflicts:     178000 | #Constraints:     672289
2168.10/2175.53	c #Conflicts:     179000 | #Constraints:     673289
2168.10/2175.53	c #Conflicts:     180000 | #Constraints:     674289
2168.10/2175.53	c INPROCESSING
2168.10/2175.53	c GARBAGE COLLECT
2168.10/2175.53	c rational objective 176.494
2491.73/2500.28	c bounds 335 >= 82 @ 2134.22
2491.73/2500.28	c bounds 331 >= 82 @ 2135.34
2491.73/2500.28	c #Conflicts:     181000 | #Constraints:     666897
2491.73/2500.28	c #Conflicts:     182000 | #Constraints:     667901
2491.73/2500.28	c #Conflicts:     183000 | #Constraints:     668911
2491.73/2500.28	c #Conflicts:     184000 | #Constraints:     669922
2491.73/2500.28	c #Conflicts:     185000 | #Constraints:     670929
2491.73/2500.28	c #Conflicts:     186000 | #Constraints:     671936
2491.73/2500.28	c #Conflicts:     187000 | #Constraints:     672944
2491.73/2500.28	c bounds 330 >= 82 @ 2277.06
2491.73/2500.28	c #Conflicts:     188000 | #Constraints:     673954
2491.73/2500.28	c bounds 330 >= 83 @ 2310.35
2491.73/2500.28	c #Conflicts:     189000 | #Constraints:     674996
2491.73/2500.28	c INPROCESSING
2491.73/2500.28	c GARBAGE COLLECT
2491.73/2500.28	c rational objective 176.494
2601.38/2610.28	c #Conflicts:     190000 | #Constraints:     667342
2601.38/2610.28	c #Conflicts:     191000 | #Constraints:     668342
2601.38/2610.28	c #Conflicts:     192000 | #Constraints:     669342
2601.38/2610.28	c #Conflicts:     193000 | #Constraints:     670342
2601.38/2610.28	c #Conflicts:     194000 | #Constraints:     671342
2601.38/2610.28	c #Conflicts:     195000 | #Constraints:     672342
2601.38/2610.28	c #Conflicts:     196000 | #Constraints:     673342
2601.38/2610.28	c #Conflicts:     197000 | #Constraints:     674342
2601.38/2610.28	c #Conflicts:     198000 | #Constraints:     675342
2601.38/2610.28	c INPROCESSING
2601.38/2610.28	c GARBAGE COLLECT
2601.38/2610.28	c rational objective 176.494
2721.67/2730.96	c #Conflicts:     199000 | #Constraints:     667540
2721.67/2730.96	c #Conflicts:     200000 | #Constraints:     668540
2721.67/2730.96	c #Conflicts:     201000 | #Constraints:     669540
2721.67/2730.96	c #Conflicts:     202000 | #Constraints:     670540
2721.67/2730.96	c #Conflicts:     203000 | #Constraints:     671540
2721.67/2730.96	c #Conflicts:     204000 | #Constraints:     672540
2721.67/2730.96	c #Conflicts:     205000 | #Constraints:     673540
2721.67/2730.96	c #Conflicts:     206000 | #Constraints:     674540
2721.67/2730.96	c #Conflicts:     207000 | #Constraints:     675540
2721.67/2730.96	c INPROCESSING
2721.67/2730.96	c GARBAGE COLLECT
2721.67/2730.96	c rational objective 176.5
2865.18/2874.99	c #Conflicts:     208000 | #Constraints:     667535
2865.18/2874.99	c #Conflicts:     209000 | #Constraints:     668543
2865.18/2874.99	c #Conflicts:     210000 | #Constraints:     669553
2865.18/2874.99	c #Conflicts:     211000 | #Constraints:     670559
2865.18/2874.99	c #Conflicts:     212000 | #Constraints:     671566
2865.18/2874.99	c #Conflicts:     213000 | #Constraints:     672575
2865.18/2874.99	c bounds 329 >= 83 @ 2760.05
2865.18/2874.99	c #Conflicts:     214000 | #Constraints:     673579
2865.18/2874.99	c #Conflicts:     215000 | #Constraints:     674579
2865.18/2874.99	c #Conflicts:     216000 | #Constraints:     675579
2865.18/2874.99	c INPROCESSING
2865.18/2874.99	c GARBAGE COLLECT
2865.18/2874.99	c rational objective 176.5
3005.83/3016.09	c #Conflicts:     217000 | #Constraints:     667342
3005.83/3016.09	c #Conflicts:     218000 | #Constraints:     668342
3005.83/3016.09	c #Conflicts:     219000 | #Constraints:     669342
3005.83/3016.09	c #Conflicts:     220000 | #Constraints:     670342
3005.83/3016.09	c #Conflicts:     221000 | #Constraints:     671342
3005.83/3016.09	c #Conflicts:     222000 | #Constraints:     672342
3005.83/3016.09	c #Conflicts:     223000 | #Constraints:     673342
3005.83/3016.09	c #Conflicts:     224000 | #Constraints:     674342
3005.83/3016.09	c bounds 329 >= 84 @ 2928.08
3005.83/3016.09	c bounds 328 >= 84 @ 2929.68
3005.83/3016.09	c bounds 327 >= 84 @ 2930.63
3005.83/3016.09	c #Conflicts:     225000 | #Constraints:     675394
3005.83/3016.09	c bounds 326 >= 84 @ 2931.74
3005.83/3016.09	c #Conflicts:     226000 | #Constraints:     676417
3005.83/3016.09	c INPROCESSING
3005.83/3016.09	c GARBAGE COLLECT
3005.83/3016.09	c rational objective 176.5
3208.18/3219.02	c #Conflicts:     227000 | #Constraints:     667989
3208.18/3219.02	c #Conflicts:     228000 | #Constraints:     669000
3208.18/3219.02	c #Conflicts:     229000 | #Constraints:     670007
3208.18/3219.02	c #Conflicts:     230000 | #Constraints:     671013
3208.18/3219.02	c #Conflicts:     231000 | #Constraints:     672020
3208.18/3219.02	c bounds 324 >= 84 @ 3064.61
3208.18/3219.02	c #Conflicts:     232000 | #Constraints:     673027
3208.18/3219.02	c #Conflicts:     233000 | #Constraints:     674027
3208.18/3219.02	c #Conflicts:     234000 | #Constraints:     675027
3208.18/3219.02	c #Conflicts:     235000 | #Constraints:     676027
3208.18/3219.02	c #Conflicts:     236000 | #Constraints:     677027
3208.18/3219.02	c INPROCESSING
3208.18/3219.02	c GARBAGE COLLECT
3208.18/3219.02	c rational objective 176.5
3600.08/3612.24	c #Conflicts:     237000 | #Constraints:     668394
3600.08/3612.24	c #Conflicts:     238000 | #Constraints:     669394
3600.08/3612.24	c #Conflicts:     239000 | #Constraints:     670394
3600.08/3612.24	c #Conflicts:     240000 | #Constraints:     671394
3600.08/3612.24	c #Conflicts:     241000 | #Constraints:     672394
3600.08/3612.24	c #Conflicts:     242000 | #Constraints:     673394
3600.08/3612.24	c #Conflicts:     243000 | #Constraints:     674394
3600.08/3612.24	c #Conflicts:     244000 | #Constraints:     675394
3600.08/3612.24	c #Conflicts:     245000 | #Constraints:     676394
3600.08/3612.24	c #Conflicts:     246000 | #Constraints:     677394
3600.08/3612.24	c #Conflicts:     247000 | #Constraints:     678394
3600.08/3612.24	c #Conflicts:     248000 | #Constraints:     679394
3600.08/3612.24	c #Conflicts:     249000 | #Constraints:     680394
3600.08/3612.24	c #Conflicts:     250000 | #Constraints:     681394
3600.08/3612.24	c #Conflicts:     251000 | #Constraints:     682394
3600.08/3612.24	c bounds 324 >= 85 @ 3393.14
3600.08/3612.24	c #Conflicts:     252000 | #Constraints:     683424
3600.08/3612.24	c #Conflicts:     253000 | #Constraints:     684438
3600.08/3612.24	c #Conflicts:     254000 | #Constraints:     685452
3600.08/3612.24	c #Conflicts:     255000 | #Constraints:     686458
3600.08/3612.24	c #Conflicts:     256000 | #Constraints:     687470
3600.08/3612.24	c #Conflicts:     257000 | #Constraints:     688481
3600.08/3612.24	c #Conflicts:     258000 | #Constraints:     689495
3600.08/3612.24	c Program interrupted by user.
3600.08/3612.24	c cpu time 3546.83 s
3600.08/3612.24	c deterministic time 420990684206 4.21e+11
3600.08/3612.24	c optimization time 154.645 s
3600.08/3612.24	c total solve time 3389.91 s
3600.08/3612.24	c core-guided solve time 2342.76 s
3600.08/3612.24	c propagation time 1920.34 s
3600.08/3612.24	c conflict analysis time 953.412 s
3600.08/3612.24	c propagations 96917347
3600.08/3612.24	c resolve steps 3298046
3600.08/3612.24	c decisions 16388028
3600.08/3612.24	c conflicts 258595
3600.08/3612.24	c restarts 611
3600.08/3612.24	c inprocessing phases 40
3600.08/3612.24	c input clauses 657119
3600.08/3612.24	c input cardinalities 56
3600.08/3612.24	c input general constraints 743
3600.08/3612.24	c input average constraint length 6.69
3600.08/3612.24	c input average constraint degree 146.15
3600.08/3612.24	c learned clauses 94254
3600.08/3612.24	c learned cardinalities 32
3600.08/3612.24	c learned general constraints 165033
3600.08/3612.24	c learned average constraint length 4144.22
3600.08/3612.24	c learned average constraint degree 87686952355.00
3600.08/3612.24	c watched constraints 30757
3600.08/3612.24	c counting constraints 135019
3600.08/3612.24	c gcd simplifications 3891
3600.08/3612.24	c detected cardinalities 0
3600.08/3612.24	c weakened non-implied lits 369364873
3600.08/3612.24	c weakened non-implying lits 73834
3600.08/3612.24	c original variables 10000
3600.08/3612.24	c clausal propagations 21195524
3600.08/3612.24	c cardinality propagations 161335
3600.08/3612.24	c watched propagations 3290957
3600.08/3612.24	c counting propagations 71451769
3600.08/3612.24	c watch lookups 17798492925
3600.08/3612.24	c watch backjump lookups 17614127859
3600.08/3612.24	c watch checks 159583030534
3600.08/3612.24	c propagation checks 220366869208
3600.08/3612.24	c constraint additions 5400908480
3600.08/3612.24	c trail pops 113553288
3600.08/3612.24	c formula constraints 656900
3600.08/3612.24	c learned constraints 257881
3600.08/3612.24	c bound constraints 249
3600.08/3612.24	c core-guided constraints 769
3600.08/3612.24	c encountered formula constraints 1701053
3600.08/3612.24	c encountered learned constraints 1447009
3600.08/3612.24	c encountered bound constraints 6222
3600.08/3612.24	c encountered core-guided constraints 351067
3600.08/3612.24	c LP total time 1015.21 s
3600.08/3612.24	c LP solve time 992.26 s
3600.08/3612.24	c LP constraints added 656944
3600.08/3612.24	c LP constraints removed 30
3600.08/3612.24	c LP pivots internal 258616
3600.08/3612.24	c LP pivots root 137920
3600.08/3612.24	c LP calls 1403
3600.08/3612.24	c LP optimalities 679
3600.08/3612.24	c LP no pivot count 188
3600.08/3612.24	c LP infeasibilities 719
3600.08/3612.24	c LP valid Farkas constraints 719
3600.08/3612.24	c LP learned Farkas constraints 719
3600.08/3612.24	c LP basis resets 0
3600.08/3612.24	c LP cycling count 0
3600.08/3612.24	c LP singular count 0
3600.08/3612.24	c LP no primal count 0
3600.08/3612.24	c LP no farkas count 0
3600.08/3612.24	c LP other issue count 0
3600.08/3612.24	c LP Gomory cuts 0
3600.08/3612.24	c LP learned cuts 44
3600.08/3612.24	c LP deleted cuts 30
3600.08/3612.24	c LP encountered Gomory constraints 0
3600.08/3612.24	c LP encountered Farkas constraints 48641
3600.08/3612.24	c LP encountered learned Farkas constraints 1930
3600.08/3612.24	c CG auxiliary variables introduced 275
3600.08/3612.24	c CG solutions found 193
3600.08/3612.24	c CG cores constructed 56
3600.08/3612.24	c CG core cardinality constraints returned 0
3600.08/3612.24	c CG unit cores 0
3600.08/3612.24	c CG single cores 53
3600.08/3612.24	c CG blocks removed during cardinality reduction 0
3600.08/3612.24	c CG first core best 0
3600.08/3612.24	c CG decision core best 0
3600.08/3612.24	c CG core reduction tie 3
3600.08/3612.24	c CG core degree average 1.00
3600.08/3612.24	c CG core slack average 858.95
3600.08/3612.24	s SATISFIABLE
3600.08/3612.24	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 -x

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: 64096 MiB (60299 MiB free)
  memory of node 1: 64473 MiB (60491 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100733 s]*
/proc/loadavg: 0.06 0.08 0.09 6/241 360099
/proc/meminfo: memFree=123674992/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=40828 memory=9128 CPUtime=0.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 1514 0 0 0 7 2 0 0 20 0 1 0 42473688 41807872 2282 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 10207 2282 1347 992 0 2065 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9128 KiB

[startup+0.213691 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123672268/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=40828 memory=9920 CPUtime=0.2 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 1685 0 0 0 15 5 0 0 20 0 1 0 42473688 41807872 2480 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 10207 2480 1347 992 0 2065 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40828 KiB
Current children cumulated memory: 9920 KiB

[startup+0.308824 s]*
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123665036/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=41212 memory=10448 CPUtime=0.29 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 1847 0 0 0 22 7 0 0 20 0 1 0 42473688 42201088 2612 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 10303 2612 1347 992 0 2161 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 10448 KiB

[startup+0.700226 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123655760/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=42668 memory=14604 CPUtime=0.68 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 2352 0 0 0 50 18 0 0 20 0 1 0 42473688 43692032 3651 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 10667 3651 1347 992 0 2525 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 42668 KiB
Current children cumulated memory: 14604 KiB

[startup+1.50028 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=123633056/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=56264 memory=27092 CPUtime=1.48 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 4445 0 0 0 108 40 0 0 20 0 1 0 42473688 57614336 6773 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 14066 6773 1347 992 0 5924 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 27092 KiB

[startup+3.11287 s]
/proc/loadavg: 0.06 0.08 0.09 5/241 360099
/proc/meminfo: memFree=122922924/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=357392 memory=319056 CPUtime=3.08 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 46099 0 0 0 230 78 0 0 20 0 1 0 42473688 365969408 79764 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 89348 79764 1713 992 0 81206 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 357392 KiB
Current children cumulated memory: 319056 KiB

[startup+6.30029 s]
/proc/loadavg: 0.38 0.15 0.11 5/244 360102
/proc/meminfo: memFree=122644524/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=345116 memory=316484 CPUtime=6.26 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 58334 0 0 0 536 90 0 0 20 0 1 0 42473688 353398784 79121 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 86279 79121 1792 992 0 78137 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 345116 KiB
Current children cumulated memory: 316484 KiB

[startup+12.7003 s]
/proc/loadavg: 0.67 0.21 0.13 5/244 360103
/proc/meminfo: memFree=122205724/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=446260 memory=399744 CPUtime=12.63 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 65425 0 0 0 1100 163 0 0 20 0 1 0 42473688 456970240 99936 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 111565 99936 1871 992 0 103423 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 446260 KiB
Current children cumulated memory: 399744 KiB

[startup+25.5003 s]
/proc/loadavg: 1.41 0.40 0.19 5/244 360105
/proc/meminfo: memFree=121770876/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=554236 memory=446396 CPUtime=25.39 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 68244 0 0 0 2349 190 0 0 20 0 1 0 42473688 567537664 111599 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 138559 111599 1871 992 0 130417 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 554236 KiB
Current children cumulated memory: 446396 KiB

[startup+51.113 s]
/proc/loadavg: 2.35 0.70 0.30 5/245 360111
/proc/meminfo: memFree=120423252/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=642932 memory=513796 CPUtime=50.9 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 72429 0 0 0 4854 236 0 0 20 0 1 0 42473688 658362368 128449 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 160733 128449 1887 992 0 152591 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 642932 KiB
Current children cumulated memory: 513796 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.24 0.51 5/245 360120
/proc/meminfo: memFree=119242280/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=886560 memory=799064 CPUtime=101.91 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 96000 0 0 0 9866 325 0 0 20 0 1 0 42473688 907837440 199766 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 221640 199766 1887 992 0 213498 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 886560 KiB
Current children cumulated memory: 799064 KiB

[startup+162.3 s]
/proc/loadavg: 3.83 1.76 0.73 5/245 360130
/proc/meminfo: memFree=118121632/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1161088 memory=990532 CPUtime=161.68 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 118461 0 0 0 15695 473 0 0 20 0 1 0 42473688 1188954112 247633 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 290272 247633 1887 992 0 282130 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1161088 KiB
Current children cumulated memory: 990532 KiB

[startup+222.3 s]
/proc/loadavg: 4.41 2.30 0.98 5/245 360141
/proc/meminfo: memFree=115888804/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1201524 memory=1060960 CPUtime=221.47 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 121939 0 0 0 21579 568 0 0 20 0 1 0 42473688 1230360576 265240 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 300381 265240 1887 992 0 292239 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 1201524 KiB
Current children cumulated memory: 1060960 KiB

[startup+282.3 s]
/proc/loadavg: 4.61 2.76 1.23 5/244 360535
/proc/meminfo: memFree=114901504/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1206656 memory=1076380 CPUtime=281.26 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 123372 0 0 0 27516 610 0 0 20 0 1 0 42473688 1235615744 269095 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 301664 269095 1887 992 0 293522 0
Current children cumulated CPU time: 281.26 s
Current children cumulated vsize: 1206656 KiB
Current children cumulated memory: 1076380 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 3.03 1.42 5/243 360545
/proc/meminfo: memFree=113144848/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1269080 memory=1168108 CPUtime=341.05 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 136949 0 0 0 33389 716 0 0 20 0 1 0 42473688 1299537920 292027 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 317270 292027 1887 992 0 309128 0
Current children cumulated CPU time: 341.05 s
Current children cumulated vsize: 1269080 KiB
Current children cumulated memory: 1168108 KiB

[startup+402.3 s]
/proc/loadavg: 4.33 3.26 1.60 5/248 360561
/proc/meminfo: memFree=112046544/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1543152 memory=1282260 CPUtime=400.82 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 144816 0 0 0 39278 804 0 0 20 0 1 0 42473688 1580187648 320565 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 385788 320565 1887 992 0 377646 0
Current children cumulated CPU time: 400.82 s
Current children cumulated vsize: 1543152 KiB
Current children cumulated memory: 1282260 KiB

[startup+462.3 s]
/proc/loadavg: 4.42 3.49 1.78 5/254 360745
/proc/meminfo: memFree=111137424/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=1592696 memory=1370768 CPUtime=460.63 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 154132 0 0 0 45231 832 0 0 20 0 1 0 42473688 1630920704 342692 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 398174 342692 1887 992 0 390032 0

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


[startup+3162.3 s]
/proc/loadavg: 4.26 4.20 4.09 5/258 361933
/proc/meminfo: memFree=13342524/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2719592 memory=2522268 CPUtime=3151.66 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 331792 0 0 0 310545 4621 0 0 20 0 1 0 42473688 2784862208 630567 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 679898 630567 1887 992 0 671756 0
Current children cumulated CPU time: 3151.66 s
Current children cumulated vsize: 2719592 KiB
Current children cumulated memory: 2522268 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.21 4.09 5/266 361951
/proc/meminfo: memFree=11072168/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2724944 memory=2551184 CPUtime=3211.46 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 341365 0 0 0 316443 4703 0 0 20 0 1 0 42473688 2790342656 637796 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 681236 637796 1887 992 0 673094 0
Current children cumulated CPU time: 3211.46 s
Current children cumulated vsize: 2724944 KiB
Current children cumulated memory: 2551184 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.17 4.09 5/266 361963
/proc/meminfo: memFree=7560880/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2724944 memory=2551244 CPUtime=3271.26 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 343465 0 0 0 322288 4838 0 0 20 0 1 0 42473688 2790342656 637811 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 681236 637811 1887 992 0 673094 0
Current children cumulated CPU time: 3271.26 s
Current children cumulated vsize: 2724944 KiB
Current children cumulated memory: 2551244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/266 361973
/proc/meminfo: memFree=4616944/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2728416 memory=2551248 CPUtime=3331.07 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 347209 0 0 0 328149 4958 0 0 20 0 1 0 42473688 2793897984 637812 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 682104 637812 1887 992 0 673962 0
Current children cumulated CPU time: 3331.07 s
Current children cumulated vsize: 2728416 KiB
Current children cumulated memory: 2551248 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.09 5/268 361985
/proc/meminfo: memFree=2162396/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2728416 memory=2551248 CPUtime=3390.86 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 350272 0 0 0 334048 5038 0 0 20 0 1 0 42473688 2793897984 637812 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 682104 637812 1887 992 0 673962 0
Current children cumulated CPU time: 3390.86 s
Current children cumulated vsize: 2728416 KiB
Current children cumulated memory: 2551248 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.09 5/270 361998
/proc/meminfo: memFree=589260/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=2766332 memory=2585196 CPUtime=3450.66 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 362384 0 0 0 339933 5133 0 0 20 0 1 0 42473688 2832723968 646299 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 691583 646299 1887 992 0 683441 0
Current children cumulated CPU time: 3450.66 s
Current children cumulated vsize: 2766332 KiB
Current children cumulated memory: 2585196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.21 4.16 4.10 5/270 362009
/proc/meminfo: memFree=677620/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3523636 memory=2924440 CPUtime=3510.47 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 472775 0 0 0 345824 5223 0 0 20 0 1 0 42473688 3608203264 731110 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 880909 731110 1887 992 0 872767 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 3523636 KiB
Current children cumulated memory: 2924440 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/272 362023
/proc/meminfo: memFree=621912/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3696416 memory=3213952 CPUtime=3570.26 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 580292 0 0 0 351733 5293 0 0 20 0 1 0 42473688 3785129984 803488 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 924104 803488 1887 992 0 915962 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 3696416 KiB
Current children cumulated memory: 3213952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.21 s]
/proc/loadavg: 4.23 4.17 4.10 3/271 362028
/proc/meminfo: memFree=586564/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.08 cores=0,2
/proc/360083/stat : 360083 (roundingsat) R 360079 360083 360024 0 -1 4194304 624880 0 0 0 354683 5325 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3788488 KiB
Current children cumulated memory: 3352508 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.21 4.16 4.10 2/270 362028
/proc/meminfo: memFree=580464/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) D 360079 360083 360024 0 -1 4194304 624886 0 1 0 354683 5326 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 256 0 0 25182210 0 0 0 17 0 0 0 398 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
??? kill 360083 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3546.84 s, system=53.4544 s

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

[startup+3612.9 s]
/proc/loadavg: 4.23 4.17 4.10 3/271 362028
/proc/meminfo: memFree=586564/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) D 360079 360083 360024 0 -1 4194304 624886 0 1 0 354683 5326 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 3 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3788488 KiB
Current children cumulated memory: 3352508 KiB

[startup+3613.7 s]
/proc/loadavg: 4.23 4.17 4.10 2/270 362028
/proc/meminfo: memFree=581396/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) D 360079 360083 360024 0 -1 4194304 624886 0 1 0 354683 5326 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 3 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3788488 KiB
Current children cumulated memory: 3352508 KiB

[startup+3614.1 s]*
/proc/loadavg: 4.21 4.16 4.10 2/270 362028
/proc/meminfo: memFree=581584/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) D 360079 360083 360024 0 -1 4194304 624886 0 1 0 354683 5326 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 370 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3788488 KiB
Current children cumulated memory: 3352508 KiB

[startup+3614.21 s]
/proc/loadavg: 4.21 4.16 4.10 2/270 362028
/proc/meminfo: memFree=581584/131655788 swapFree=131061684/131071996
[pid=360083] ppid=360079 vsize=3788488 memory=3352508 CPUtime=3600.09 cores=0,2
/proc/360083/stat : 360083 (roundingsat) D 360079 360083 360024 0 -1 4194304 624886 0 1 0 354683 5326 0 0 20 0 1 0 42473688 3879411712 838127 134679101440 4194304 8254357 140734023506272 0 0 0 0 0 25182210 0 0 0 17 0 0 0 388 0 0 9037040 9046032 39895040 140734023512927 140734023513189 140734023513189 140734023520201 0
/proc/360083/statm: 947122 838127 1887 992 0 938980 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3788488 KiB
Current children cumulated memory: 3352508 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3640.77
CPU time (s): 3600.29
CPU user time (s): 3546.84
CPU system time (s): 53.4544
CPU usage (%): 98.8881
Max. virtual memory (cumulated for all children) (KiB): 3788488
Max. memory (cumulated for all children) (KiB): 3352508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.84
system time used= 53.4544
maximum resident set size= 3353136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 624886
page faults= 1
swaps= 0
block input operations= 4232
block output operations= 101595096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1881
involuntary context switches= 24920


# summary of solver processes directly reported to runsolver:
#   pid: 360083
#   total CPU time (s): 3600.29
#   total CPU user time (s): 3546.84
#   total CPU system time (s): 53.4544

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4594 second user time and 39.3109 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2024-07-27 09:20:38
IDJOB=4460184
IDBENCH=147551
IDSOLVER=3086
FILE ID=nodeC011/4460184-1722064838
RUNJOBID= nodeC011-1722064838-360034
SLURM_JOB_ID= 8248113
Free space on /tmp= 723728 MiB

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

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1957297555

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

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123696796 kB
MemAvailable:   130007032 kB
Buffers:          357964 kB
Cached:          6781536 kB
SwapCached:          164 kB
Active:          1892556 kB
Inactive:        5523536 kB
Active(anon):       2080 kB
Inactive(anon):   327492 kB
Active(file):    1890476 kB
Inactive(file):  5196044 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061684 kB
Dirty:             67576 kB
Writeback:             0 kB
AnonPages:        276424 kB
Mapped:           102764 kB
Shmem:             52980 kB
KReclaimable:     127832 kB
Slab:             233136 kB
SReclaimable:     127832 kB
SUnreclaim:       105304 kB
KernelStack:        3680 kB
PageTables:         9692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     715888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 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:      424776 kB
DirectMap2M:    46665728 kB
DirectMap1G:    89128960 kB

Free space on /tmp at the end= 723708 MiB
End job on nodeC011 at 2024-07-27 10:21:19