Trace number 4456759

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (1)SAT (TO)324 3600.14 3613.95

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

Verifier Data 

OK	324

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456759-1721770613/watcher-4456759-1721770613 -o /tmp/evaluation-result-4456759-1721770613/solver-4456759-1721770613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133403 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456759-1721770613 --lp-cut-gomory=0 HOME/instance-4456759-1721770613.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
Current StackSize limit: 8192 KiB

solver pid=136647, runsolver pid=136644

[startup+0.100918 s]*
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=40264944/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=41212 memory=11968 CPUtime=0.09 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 1712 0 0 0 6 3 0 0 20 0 1 0 13589832 42201088 2992 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 10303 2992 1348 992 0 2161 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41212 KiB
Current children cumulated memory: 11968 KiB

[startup+0.205661 s]*
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=40262856/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=42536 memory=13552 CPUtime=0.2 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 2084 0 0 0 14 6 0 0 20 0 1 0 13589832 43556864 3388 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 10634 3388 1348 992 0 2492 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42536 KiB
Current children cumulated memory: 13552 KiB

[startup+0.305581 s]*
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=40260364/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=45652 memory=15484 CPUtime=0.29 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 2576 0 0 0 21 8 0 0 20 0 1 0 13589832 46747648 3871 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 11413 3871 1348 992 0 3271 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 45652 KiB
Current children cumulated memory: 15484 KiB

[startup+0.700164 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=40252084/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=56264 memory=27556 CPUtime=0.68 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 4560 0 0 0 50 18 0 0 20 0 1 0 13589832 57614336 6889 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 14066 6889 1348 992 0 5924 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 56264 KiB
Current children cumulated memory: 27556 KiB

[startup+1.50018 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=40238932/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=84428 memory=48304 CPUtime=1.48 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 7713 0 0 0 109 39 0 0 20 0 1 0 13589832 86454272 12076 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 21107 12076 1348 992 0 12965 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 84428 KiB
Current children cumulated memory: 48304 KiB

[startup+3.10594 s]
/proc/loadavg: 4.13 4.14 4.11 5/258 136648
/proc/meminfo: memFree=39936980/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=361152 memory=330152 CPUtime=3.08 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 60036 0 0 0 251 57 0 0 20 0 1 0 13589832 369819648 82538 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 90288 82538 1713 992 0 82146 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 361152 KiB
Current children cumulated memory: 330152 KiB

[startup+6.30018 s]
/proc/loadavg: 4.12 4.14 4.11 5/258 136648
/proc/meminfo: memFree=39921000/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=367240 memory=323100 CPUtime=6.27 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 61246 0 0 0 537 90 0 0 20 0 1 0 13589832 376053760 80775 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 91810 80775 1835 992 0 83668 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 367240 KiB
Current children cumulated memory: 323100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.11 5/258 136650
/proc/meminfo: memFree=39726644/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=446260 memory=399960 CPUtime=12.64 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 67747 0 0 0 1127 137 0 0 20 0 1 0 13589832 456970240 99990 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 111565 99990 1866 992 0 103423 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 446260 KiB
Current children cumulated memory: 399960 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.10 5/258 136652
/proc/meminfo: memFree=39634872/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=554236 memory=434388 CPUtime=25.4 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 72709 0 0 0 2377 163 0 0 20 0 1 0 13589832 567537664 108597 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 138559 108597 1866 992 0 130417 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 554236 KiB
Current children cumulated memory: 434388 KiB

[startup+51.1057 s]
/proc/loadavg: 4.11 4.13 4.10 5/259 136658
/proc/meminfo: memFree=39445344/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=642932 memory=501812 CPUtime=50.9 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 76390 0 0 0 4883 207 0 0 20 0 1 0 13589832 658362368 125453 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 160733 125453 1882 992 0 152591 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 642932 KiB
Current children cumulated memory: 501812 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/260 136668
/proc/meminfo: memFree=38567392/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=876396 memory=771956 CPUtime=101.9 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 101745 0 0 0 9901 289 0 0 20 0 1 0 13589832 897429504 192989 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 219099 192989 1882 992 0 210957 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 876396 KiB
Current children cumulated memory: 771956 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/260 136679
/proc/meminfo: memFree=37941504/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1124752 memory=925012 CPUtime=161.67 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 117187 0 0 0 15739 428 0 0 20 0 1 0 13589832 1151746048 231253 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 281188 231253 1882 992 0 273046 0
Current children cumulated CPU time: 161.67 s
Current children cumulated vsize: 1124752 KiB
Current children cumulated memory: 925012 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/260 136689
/proc/meminfo: memFree=36918676/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1201524 memory=1040136 CPUtime=221.44 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 124976 0 0 0 21625 519 0 0 20 0 1 0 13589832 1230360576 260034 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 300381 260034 1882 992 0 292239 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 1201524 KiB
Current children cumulated memory: 1040136 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/260 136703
/proc/meminfo: memFree=36764416/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1206656 memory=1052080 CPUtime=281.21 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 126554 0 0 0 27560 561 0 0 20 0 1 0 13589832 1235615744 263020 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 301664 263020 1882 992 0 293522 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 1206656 KiB
Current children cumulated memory: 1052080 KiB

[startup+342.3 s]
/proc/loadavg: 4.27 4.15 4.10 5/261 136715
/proc/meminfo: memFree=36271400/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1206656 memory=1052080 CPUtime=340.97 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 126813 0 0 0 33446 651 0 0 20 0 1 0 13589832 1235615744 263020 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 301664 263020 1882 992 0 293522 0
Current children cumulated CPU time: 340.97 s
Current children cumulated vsize: 1206656 KiB
Current children cumulated memory: 1052080 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 136726
/proc/meminfo: memFree=35234832/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1535360 memory=1243716 CPUtime=400.74 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 146279 0 0 0 39333 741 0 0 20 0 1 0 13589832 1572208640 310929 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 383840 310929 1882 992 0 375698 0
Current children cumulated CPU time: 400.74 s
Current children cumulated vsize: 1535360 KiB
Current children cumulated memory: 1243716 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/261 136737
/proc/meminfo: memFree=34601124/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=1592696 memory=1342040 CPUtime=460.5 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 156707 0 0 0 45265 785 0 0 20 0 1 0 13589832 1630920704 335510 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 398174 335510 1882 992 0 390032 0

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

Current children cumulated memory: 2501420 KiB

[startup+2982.3 s]
/proc/loadavg: 4.48 4.24 4.14 5/261 138882
/proc/meminfo: memFree=551392/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2719592 memory=2501420 CPUtime=2971.04 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 364761 0 0 0 292839 4265 0 0 20 0 1 0 13589832 2784862208 625355 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 679898 625355 1882 992 0 671756 0
Current children cumulated CPU time: 2971.04 s
Current children cumulated vsize: 2719592 KiB
Current children cumulated memory: 2501420 KiB

[startup+3042.3 s]
/proc/loadavg: 4.33 4.24 4.14 5/261 138894
/proc/meminfo: memFree=564108/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2719592 memory=2503468 CPUtime=3030.81 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 365945 0 0 0 298748 4333 0 0 20 0 1 0 13589832 2784862208 625867 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 679898 625867 1882 992 0 671756 0
Current children cumulated CPU time: 3030.81 s
Current children cumulated vsize: 2719592 KiB
Current children cumulated memory: 2503468 KiB

[startup+3102.3 s]
/proc/loadavg: 4.18 4.21 4.14 5/262 138905
/proc/meminfo: memFree=616028/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2719592 memory=2503492 CPUtime=3090.55 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 367321 0 0 0 304659 4396 0 0 20 0 1 0 13589832 2784862208 625873 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 679898 625873 1882 992 0 671756 0
Current children cumulated CPU time: 3090.55 s
Current children cumulated vsize: 2719592 KiB
Current children cumulated memory: 2503492 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/265 139088
/proc/meminfo: memFree=582476/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2719592 memory=2504824 CPUtime=3150.34 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 368980 0 0 0 310585 4449 0 0 20 0 1 0 13589832 2784862208 626206 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 679898 626206 1882 992 0 671756 0
Current children cumulated CPU time: 3150.34 s
Current children cumulated vsize: 2719592 KiB
Current children cumulated memory: 2504824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.19 4.14 5/265 139100
/proc/meminfo: memFree=582916/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2723408 memory=2510572 CPUtime=3210.15 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 375159 0 0 0 316483 4532 0 0 20 0 1 0 13589832 2788769792 627643 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 680852 627643 1882 992 0 672710 0
Current children cumulated CPU time: 3210.15 s
Current children cumulated vsize: 2723408 KiB
Current children cumulated memory: 2510572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 139215
/proc/meminfo: memFree=626128/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2724944 memory=2536684 CPUtime=3269.93 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 378620 0 0 0 322355 4638 0 0 20 0 1 0 13589832 2790342656 634171 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 681236 634171 1882 992 0 673094 0
Current children cumulated CPU time: 3269.93 s
Current children cumulated vsize: 2724944 KiB
Current children cumulated memory: 2536684 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/266 139229
/proc/meminfo: memFree=627808/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2728416 memory=2536688 CPUtime=3329.7 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 380280 0 0 0 328217 4753 0 0 20 0 1 0 13589832 2793897984 634172 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 682104 634172 1882 992 0 673962 0
Current children cumulated CPU time: 3329.7 s
Current children cumulated vsize: 2728416 KiB
Current children cumulated memory: 2536688 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.17 4.14 5/266 139240
/proc/meminfo: memFree=516360/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2728416 memory=2540756 CPUtime=3389.48 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 381453 0 0 0 334108 4840 0 0 20 0 1 0 13589832 2793897984 635189 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 682104 635189 1882 992 0 673962 0
Current children cumulated CPU time: 3389.48 s
Current children cumulated vsize: 2728416 KiB
Current children cumulated memory: 2540756 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/265 139251
/proc/meminfo: memFree=527124/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=2738144 memory=2545000 CPUtime=3449.28 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 383033 0 0 0 340012 4916 0 0 20 0 1 0 13589832 2803859456 636250 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 684536 636250 1882 992 0 676394 0
Current children cumulated CPU time: 3449.28 s
Current children cumulated vsize: 2738144 KiB
Current children cumulated memory: 2545000 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.14 5/264 139263
/proc/meminfo: memFree=508312/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=3485372 memory=2835576 CPUtime=3509.08 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 423123 0 0 0 345901 5007 0 0 20 0 1 0 13589832 3569020928 708894 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 871343 708894 1882 992 0 863201 0
Current children cumulated CPU time: 3509.08 s
Current children cumulated vsize: 3485372 KiB
Current children cumulated memory: 2835576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.15 4.13 5/262 139274
/proc/meminfo: memFree=630332/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=3686088 memory=3177044 CPUtime=3568.86 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 469417 0 0 0 351820 5066 0 0 20 0 1 0 13589832 3774554112 794261 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 921522 794261 1882 992 0 913380 0
Current children cumulated CPU time: 3568.86 s
Current children cumulated vsize: 3686088 KiB
Current children cumulated memory: 3177044 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.6 s]
/proc/loadavg: 4.14 4.15 4.13 5/260 139281
/proc/meminfo: memFree=563784/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=3797352 memory=3346724 CPUtime=3600.06 cores=0,2
/proc/136647/stat : 136647 (roundingsat) R 136644 136647 133393 0 -1 4194304 494364 0 0 0 354907 5099 0 0 20 0 1 0 13589832 3888488448 836681 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 949338 836681 1882 992 0 941196 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3797352 KiB
Current children cumulated memory: 3346724 KiB

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

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

# cumulated CPU time of all completed processes:  user=3549.08 s, system=51.0572 s

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

[startup+3613.8 s]
/proc/loadavg: 4.14 4.15 4.13 5/260 139281
/proc/meminfo: memFree=563784/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=3797352 memory=3346724 CPUtime=3600.08 cores=0,2
/proc/136647/stat : 136647 (roundingsat) D 136644 136647 133393 0 -1 4194304 494370 0 0 0 354907 5101 0 0 20 0 1 0 13589832 3888488448 836681 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 0 0 0 17 0 0 0 29 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 949338 836681 1882 992 0 941196 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3797352 KiB
Current children cumulated memory: 3346724 KiB

[startup+3613.9 s]
/proc/loadavg: 4.14 4.15 4.13 5/260 139281
/proc/meminfo: memFree=563784/131524600 swapFree=131071996/131071996
[pid=136647] ppid=136644 vsize=3797352 memory=3346724 CPUtime=3600.08 cores=0,2
/proc/136647/stat : 136647 (roundingsat) D 136644 136647 133393 0 -1 4194304 494370 0 0 0 354907 5101 0 0 20 0 1 0 13589832 3888488448 836681 134679101440 4194304 8254037 140721819583168 0 0 0 0 0 25182210 1 0 0 17 2 0 0 45 0 0 9037040 9046032 9547776 140721819591516 140721819591778 140721819591778 140721819598793 0
/proc/136647/statm: 949338 836681 1882 992 0 941196 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3797352 KiB
Current children cumulated memory: 3346724 KiB

Child status: 0

Real time (s): 3613.95
CPU time (s): 3600.14
CPU user time (s): 3549.08
CPU system time (s): 51.0572
CPU usage (%): 99.6178
Max. virtual memory (cumulated for all children) (KiB): 3797352
Max. memory (cumulated for all children) (KiB): 3346724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.08
system time used= 51.0572
maximum resident set size= 3346724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495031
page faults= 0
swaps= 0
block input operations= 0
block output operations= 101624216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4542
involuntary context switches= 24929


# summary of solver processes directly reported to runsolver:
#   pid: 136647
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3549.08
#   total CPU system time (s): 51.0572

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94875 second user time and 16.9363 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2024-07-23 23:36:53
IDJOB=4456759
IDBENCH=147551
IDSOLVER=3085
FILE ID=nodeC016/4456759-1721770613
RUNJOBID= nodeC016-1721765707-133403
SLURM_JOB_ID= 7770673
Free space on /tmp= 890048 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-4456759-1721770613/watcher-4456759-1721770613 -o /tmp/evaluation-result-4456759-1721770613/solver-4456759-1721770613 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1721765707-133403 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456759-1721770613 --lp-cut-gomory=0 HOME/instance-4456759-1721770613.opb

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1427116958

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        40272280 kB
MemAvailable:   128793672 kB
Buffers:          196880 kB
Cached:         88979788 kB
SwapCached:            0 kB
Active:          1294708 kB
Inactive:       89033360 kB
Active(anon):       1548 kB
Inactive(anon):  1195784 kB
Active(file):    1293160 kB
Inactive(file): 87837576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             36364 kB
Writeback:            68 kB
AnonPages:       1144112 kB
Mapped:           118348 kB
Shmem:             45912 kB
KReclaimable:     451888 kB
Slab:             567540 kB
SReclaimable:     451888 kB
SUnreclaim:       115652 kB
KernelStack:        4144 kB
PageTables:        11728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1576632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21152 kB
HardwareCorrupted:     0 kB
AnonHugePages:    880640 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:      342740 kB
DirectMap2M:    36130816 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890024 MiB
End job on nodeC016 at 2024-07-24 00:37:07