Trace number 4455140

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 nolog (2)SAT (TO)327 3600.08 3609.72

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 
1.69/1.76	c #variables 10000 #constraints 656900
3.19/3.24	c bounds - >= 0 @ 1.27493
3.19/3.24	c rational objective 174.592
14.96/15.00	c bounds 6222 >= 0 @ 6.25392
14.96/15.00	c bounds 6180 >= 0 @ 6.26702
14.96/15.00	c bounds 6026 >= 0 @ 6.27153
14.96/15.00	c bounds 5981 >= 0 @ 6.27531
14.96/15.00	c bounds 5900 >= 0 @ 6.28
14.96/15.00	c bounds 5899 >= 0 @ 6.29725
14.96/15.00	c bounds 5863 >= 0 @ 6.30152
14.96/15.00	c bounds 5814 >= 0 @ 6.30729
14.96/15.00	c bounds 5767 >= 0 @ 6.31378
14.96/15.00	c bounds 5626 >= 0 @ 6.31805
14.96/15.00	c bounds 5573 >= 0 @ 6.32354
14.96/15.00	c bounds 5513 >= 0 @ 6.3272
14.96/15.00	c bounds 5453 >= 0 @ 6.3311
14.96/15.00	c bounds 5452 >= 0 @ 6.33791
14.96/15.00	c bounds 5364 >= 0 @ 6.3424
14.96/15.00	c bounds 5320 >= 0 @ 6.34778
14.96/15.00	c bounds 5300 >= 0 @ 6.35526
14.96/15.00	c bounds 5277 >= 0 @ 6.36543
14.96/15.00	c bounds 5253 >= 0 @ 6.37123
14.96/15.00	c bounds 5235 >= 0 @ 6.3741
14.96/15.00	c bounds 5233 >= 0 @ 6.38194
14.96/15.00	c bounds 5067 >= 0 @ 6.38526
14.96/15.00	c bounds 5024 >= 0 @ 6.39063
14.96/15.00	c bounds 5023 >= 0 @ 6.3962
14.96/15.00	c bounds 4955 >= 0 @ 6.40064
14.96/15.00	c bounds 4908 >= 0 @ 6.40705
14.96/15.00	c bounds 4799 >= 0 @ 6.41344
14.96/15.00	c bounds 4777 >= 0 @ 6.42006
14.96/15.00	c bounds 4715 >= 0 @ 6.42657
14.96/15.00	c bounds 4568 >= 0 @ 6.4322
14.96/15.00	c bounds 4445 >= 0 @ 6.43566
14.96/15.00	c bounds 4431 >= 0 @ 6.44119
14.96/15.00	c bounds 4361 >= 0 @ 6.4515
14.96/15.00	c bounds 4310 >= 0 @ 6.47429
14.96/15.00	c bounds 4229 >= 0 @ 6.47912
14.96/15.00	c bounds 4225 >= 0 @ 6.48401
14.96/15.00	c bounds 4040 >= 0 @ 6.48829
14.96/15.00	c bounds 4025 >= 0 @ 6.49439
14.96/15.00	c bounds 4005 >= 0 @ 6.50062
14.96/15.00	c bounds 3972 >= 0 @ 6.50848
14.96/15.00	c bounds 3825 >= 0 @ 6.5124
14.96/15.00	c bounds 3823 >= 0 @ 6.53479
14.96/15.00	c bounds 3804 >= 0 @ 6.54077
14.96/15.00	c bounds 3745 >= 0 @ 6.54711
14.96/15.00	c bounds 3731 >= 0 @ 6.55337
14.96/15.00	c bounds 3684 >= 0 @ 6.55702
14.96/15.00	c bounds 3619 >= 0 @ 6.56335
14.96/15.00	c bounds 3595 >= 0 @ 6.58078
14.96/15.00	c bounds 3582 >= 0 @ 6.58847
14.96/15.00	c bounds 3401 >= 0 @ 6.59341
14.96/15.00	c bounds 3382 >= 0 @ 6.59678
14.96/15.00	c bounds 3266 >= 0 @ 6.60255
14.96/15.00	c bounds 3241 >= 0 @ 6.61213
14.96/15.00	c bounds 3205 >= 0 @ 6.6201
14.96/15.00	c bounds 3195 >= 0 @ 6.63197
14.96/15.00	c bounds 3193 >= 0 @ 6.74012
14.96/15.00	c bounds 3158 >= 0 @ 6.74487
14.96/15.00	c bounds 3126 >= 0 @ 6.75415
14.96/15.00	c bounds 3092 >= 0 @ 6.76217
14.96/15.00	c bounds 3078 >= 0 @ 6.7725
14.96/15.00	c bounds 3053 >= 0 @ 6.77936
14.96/15.00	c bounds 3010 >= 0 @ 6.78463
14.96/15.00	c bounds 2968 >= 0 @ 6.79387
14.96/15.00	c bounds 2927 >= 0 @ 6.80408
14.96/15.00	c bounds 2922 >= 0 @ 6.80934
14.96/15.00	c bounds 2772 >= 0 @ 6.81609
14.96/15.00	c bounds 2753 >= 0 @ 6.92398
14.96/15.00	c bounds 2711 >= 0 @ 6.93305
14.96/15.00	c bounds 2610 >= 0 @ 6.93852
14.96/15.00	c bounds 2522 >= 0 @ 6.9452
14.96/15.00	c bounds 2520 >= 0 @ 6.97519
14.96/15.00	c bounds 2496 >= 0 @ 6.98358
14.96/15.00	c bounds 2461 >= 0 @ 7.08576
14.96/15.00	c bounds 2449 >= 0 @ 7.09024
14.96/15.00	c bounds 2408 >= 0 @ 7.0956
14.96/15.00	c bounds 2319 >= 0 @ 7.10253
14.96/15.00	c bounds 2279 >= 0 @ 7.10955
14.96/15.00	c bounds 2247 >= 0 @ 7.11483
14.96/15.00	c bounds 2236 >= 0 @ 7.34537
14.96/15.00	c bounds 2224 >= 0 @ 7.48379
14.96/15.00	c bounds 2124 >= 0 @ 7.49119
14.96/15.00	c bounds 2075 >= 0 @ 7.50085
14.96/15.00	c bounds 2074 >= 0 @ 7.50466
14.96/15.00	c bounds 2072 >= 0 @ 7.5124
14.96/15.00	c bounds 1944 >= 0 @ 7.52034
14.96/15.00	c bounds 1920 >= 0 @ 7.53192
14.96/15.00	c bounds 1895 >= 0 @ 7.5411
14.96/15.00	c bounds 1882 >= 0 @ 7.54604
14.96/15.00	c bounds 1858 >= 0 @ 7.56582
14.96/15.00	c bounds 1857 >= 0 @ 7.67008
14.96/15.00	c bounds 1844 >= 0 @ 7.68242
14.96/15.00	c bounds 1791 >= 0 @ 7.68717
14.96/15.00	c bounds 1645 >= 0 @ 7.69259
14.96/15.00	c bounds 1601 >= 0 @ 7.69979
14.96/15.00	c bounds 1597 >= 0 @ 7.70809
14.96/15.00	c bounds 1596 >= 0 @ 8.17272
14.96/15.00	c bounds 1594 >= 0 @ 8.84899
14.96/15.00	c bounds 1581 >= 0 @ 8.87657
14.96/15.00	c bounds 1577 >= 0 @ 8.99841
14.96/15.00	c bounds 1566 >= 0 @ 9.00759
14.96/15.00	c bounds 1542 >= 0 @ 9.1258
14.96/15.00	c bounds 1540 >= 0 @ 9.13616
14.96/15.00	c bounds 1537 >= 0 @ 9.14849
14.96/15.00	c bounds 1532 >= 0 @ 9.24471
14.96/15.00	c bounds 1528 >= 0 @ 9.35106
14.96/15.00	c bounds 1512 >= 0 @ 9.44713
14.96/15.00	c bounds 1498 >= 0 @ 9.55332
14.96/15.00	c bounds 1482 >= 0 @ 9.71843
14.96/15.00	c bounds 1472 >= 0 @ 9.73109
14.96/15.00	c bounds 1456 >= 0 @ 9.74197
14.96/15.00	c bounds 1420 >= 0 @ 9.75073
14.96/15.00	c #Conflicts:       1000 | #Constraints:     658032
14.96/15.00	c bounds 1419 >= 0 @ 9.8705
14.96/15.00	c bounds 1414 >= 0 @ 10.0219
14.96/15.00	c bounds 1285 >= 0 @ 10.1902
14.96/15.00	c bounds 1282 >= 0 @ 10.2082
14.96/15.00	c bounds 1125 >= 0 @ 10.3867
14.96/15.00	c bounds 1121 >= 0 @ 10.3933
14.96/15.00	c bounds 1108 >= 0 @ 10.4024
14.96/15.00	c bounds 1101 >= 0 @ 10.4101
14.96/15.00	c bounds 1100 >= 0 @ 10.4141
14.96/15.00	c bounds 1081 >= 0 @ 10.4207
14.96/15.00	c bounds 1076 >= 0 @ 10.4278
14.96/15.00	c bounds 1068 >= 0 @ 10.4325
14.96/15.00	c bounds 1062 >= 0 @ 10.442
14.96/15.00	c bounds 1044 >= 0 @ 10.4545
14.96/15.00	c bounds 1035 >= 0 @ 10.4637
14.96/15.00	c bounds 1026 >= 0 @ 10.477
14.96/15.00	c bounds 1024 >= 0 @ 10.7401
14.96/15.00	c bounds 1023 >= 0 @ 10.7511
14.96/15.00	c bounds 1019 >= 0 @ 10.9402
14.96/15.00	c bounds 882 >= 0 @ 10.9964
14.96/15.00	c bounds 881 >= 0 @ 11.004
14.96/15.00	c bounds 830 >= 0 @ 11.0161
14.96/15.00	c bounds 790 >= 0 @ 11.0436
14.96/15.00	c bounds 689 >= 0 @ 11.7044
14.96/15.00	c bounds 652 >= 0 @ 11.7153
14.96/15.00	c #Conflicts:       2000 | #Constraints:     659058
14.96/15.00	c INPROCESSING
14.96/15.00	c GARBAGE COLLECT
14.96/15.00	c bounds 646 >= 0 @ 13.2731
14.96/15.00	c bounds 555 >= 0 @ 13.611
44.08/44.21	c bounds 554 >= 0 @ 13.6192
44.08/44.21	c bounds 549 >= 0 @ 13.6246
44.08/44.21	c bounds 548 >= 0 @ 13.6302
44.08/44.21	c bounds 544 >= 0 @ 13.6365
44.08/44.21	c bounds 539 >= 0 @ 13.6479
44.08/44.21	c bounds 537 >= 0 @ 17.4096
44.08/44.21	c #Conflicts:       3000 | #Constraints:     658937
44.08/44.21	c #Conflicts:       4000 | #Constraints:     659937
44.08/44.21	c INPROCESSING
44.08/44.21	c #Conflicts:       5000 | #Constraints:     659330
44.08/44.21	c #Conflicts:       6000 | #Constraints:     660330
44.08/44.21	c INPROCESSING
44.08/44.21	c GARBAGE COLLECT
44.08/44.21	c #Conflicts:       7000 | #Constraints:     659326
44.08/44.21	c #Conflicts:       8000 | #Constraints:     660326
44.08/44.21	c bounds 496 >= 0 @ 35.4198
44.08/44.21	c bounds 490 >= 0 @ 35.4303
44.08/44.21	c bounds 488 >= 0 @ 35.4467
44.08/44.21	c bounds 487 >= 0 @ 35.4606
44.08/44.21	c bounds 486 >= 0 @ 35.479
44.08/44.21	c bounds 482 >= 0 @ 35.5002
44.08/44.21	c bounds 479 >= 0 @ 35.5181
44.08/44.21	c bounds 472 >= 0 @ 35.5356
44.08/44.21	c #Conflicts:       9000 | #Constraints:     661338
44.08/44.21	c bounds 467 >= 0 @ 37.7104
44.08/44.21	c bounds 467 >= 8 @ 37.7175
44.08/44.21	c INPROCESSING
44.08/44.21	c rational objective 175.566
56.95/57.16	c #Conflicts:      10000 | #Constraints:     660035
56.95/57.16	c #Conflicts:      11000 | #Constraints:     661035
56.95/57.16	c #Conflicts:      12000 | #Constraints:     662035
56.95/57.16	c INPROCESSING
56.95/57.16	c GARBAGE COLLECT
56.95/57.16	c rational objective 177.073
72.71/72.95	c bounds 460 >= 8 @ 58.2419
72.71/72.95	c bounds 457 >= 8 @ 60.1879
72.71/72.95	c #Conflicts:      13000 | #Constraints:     660493
72.71/72.95	c #Conflicts:      14000 | #Constraints:     661493
72.71/72.95	c #Conflicts:      15000 | #Constraints:     662493
72.71/72.95	c INPROCESSING
72.71/72.95	c GARBAGE COLLECT
72.71/72.95	c rational objective 177.861
89.97/90.28	c #Conflicts:      16000 | #Constraints:     660717
89.97/90.28	c #Conflicts:      17000 | #Constraints:     661717
89.97/90.28	c #Conflicts:      18000 | #Constraints:     662717
89.97/90.28	c INPROCESSING
89.97/90.28	c GARBAGE COLLECT
89.97/90.28	c rational objective 177.962
124.58/124.90	c bounds 454 >= 8 @ 91.1566
124.58/124.90	c bounds 451 >= 8 @ 92.0224
124.58/124.90	c #Conflicts:      19000 | #Constraints:     660738
124.58/124.90	c #Conflicts:      20000 | #Constraints:     661738
124.58/124.90	c #Conflicts:      21000 | #Constraints:     662738
124.58/124.90	c INPROCESSING
124.58/124.90	c GARBAGE COLLECT
124.58/124.90	c bounds 449 >= 8 @ 101.027
124.58/124.90	c bounds 448 >= 8 @ 103.861
124.58/124.90	c bounds 448 >= 13 @ 103.871
124.58/124.90	c #Conflicts:      22000 | #Constraints:     660556
124.58/124.90	c bounds 448 >= 18 @ 104.544
124.58/124.90	c #Conflicts:      23000 | #Constraints:     661562
124.58/124.90	c #Conflicts:      24000 | #Constraints:     662562
124.58/124.90	c #Conflicts:      25000 | #Constraints:     663562
124.58/124.90	c INPROCESSING
124.58/124.90	c GARBAGE COLLECT
124.58/124.90	c rational objective 178.282
166.08/166.58	c bounds 447 >= 18 @ 126.23
166.08/166.58	c bounds 445 >= 18 @ 126.317
166.08/166.58	c bounds 442 >= 18 @ 126.357
166.08/166.58	c bounds 440 >= 18 @ 128.039
166.08/166.58	c bounds 439 >= 18 @ 129.686
166.08/166.58	c bounds 438 >= 18 @ 129.717
166.08/166.58	c bounds 436 >= 18 @ 129.885
166.08/166.58	c #Conflicts:      26000 | #Constraints:     661200
166.08/166.58	c #Conflicts:      27000 | #Constraints:     662212
166.08/166.58	c bounds 435 >= 18 @ 149.713
166.08/166.58	c bounds 435 >= 22 @ 149.737
166.08/166.58	c #Conflicts:      28000 | #Constraints:     663227
166.08/166.58	c #Conflicts:      29000 | #Constraints:     664227
166.08/166.58	c INPROCESSING
166.08/166.58	c GARBAGE COLLECT
166.08/166.58	c rational objective 178.3
185.54/186.06	c #Conflicts:      30000 | #Constraints:     661576
185.54/186.06	c #Conflicts:      31000 | #Constraints:     662576
185.54/186.06	c #Conflicts:      32000 | #Constraints:     663576
185.54/186.06	c #Conflicts:      33000 | #Constraints:     664576
185.54/186.06	c INPROCESSING
185.54/186.06	c rational objective 178.44
310.20/311.07	c #Conflicts:      34000 | #Constraints:     661757
310.20/311.07	c #Conflicts:      35000 | #Constraints:     662764
310.20/311.07	c #Conflicts:      36000 | #Constraints:     663787
310.20/311.07	c #Conflicts:      37000 | #Constraints:     664826
310.20/311.07	c INPROCESSING
310.20/311.07	c GARBAGE COLLECT
310.20/311.07	c #Conflicts:      38000 | #Constraints:     661798
310.20/311.07	c #Conflicts:      39000 | #Constraints:     662837
310.20/311.07	c #Conflicts:      40000 | #Constraints:     663865
310.20/311.07	c #Conflicts:      41000 | #Constraints:     664911
310.20/311.07	c INPROCESSING
310.20/311.07	c GARBAGE COLLECT
310.20/311.07	c #Conflicts:      42000 | #Constraints:     661647
310.20/311.07	c #Conflicts:      43000 | #Constraints:     662658
310.20/311.07	c #Conflicts:      44000 | #Constraints:     663693
310.20/311.07	c #Conflicts:      45000 | #Constraints:     664716
310.20/311.07	c #Conflicts:      46000 | #Constraints:     665732
310.20/311.07	c INPROCESSING
310.20/311.07	c GARBAGE COLLECT
310.20/311.07	c rational objective 178.468
337.03/337.95	c bounds 431 >= 22 @ 312.925
337.03/337.95	c bounds 431 >= 25 @ 312.94
337.03/337.95	c #Conflicts:      47000 | #Constraints:     662249
337.03/337.95	c #Conflicts:      48000 | #Constraints:     663249
337.03/337.95	c #Conflicts:      49000 | #Constraints:     664249
337.03/337.95	c #Conflicts:      50000 | #Constraints:     665249
337.03/337.95	c #Conflicts:      51000 | #Constraints:     666249
337.03/337.95	c INPROCESSING
337.03/337.95	c GARBAGE COLLECT
337.03/337.95	c rational objective 178.468
473.59/474.83	c bounds 427 >= 25 @ 337.828
473.59/474.83	c bounds 421 >= 25 @ 345.863
473.59/474.83	c bounds 421 >= 27 @ 345.878
473.59/474.83	c bounds 421 >= 29 @ 345.893
473.59/474.83	c bounds 421 >= 31 @ 345.911
473.59/474.83	c bounds 421 >= 33 @ 345.931
473.59/474.83	c bounds 421 >= 35 @ 345.958
473.59/474.83	c bounds 421 >= 37 @ 346.006
473.59/474.83	c #Conflicts:      52000 | #Constraints:     662651
473.59/474.83	c bounds 421 >= 39 @ 349.121
473.59/474.83	c bounds 421 >= 41 @ 351.104
473.59/474.83	c #Conflicts:      53000 | #Constraints:     663681
473.59/474.83	c #Conflicts:      54000 | #Constraints:     664682
473.59/474.83	c #Conflicts:      55000 | #Constraints:     665685
473.59/474.83	c bounds 421 >= 43 @ 385.717
473.59/474.83	c bounds 420 >= 43 @ 386.43
473.59/474.83	c bounds 419 >= 43 @ 386.741
473.59/474.83	c bounds 418 >= 43 @ 387.351
473.59/474.83	c #Conflicts:      56000 | #Constraints:     666715
473.59/474.83	c INPROCESSING
473.59/474.83	c GARBAGE COLLECT
473.59/474.83	c #Conflicts:      57000 | #Constraints:     662866
473.59/474.83	c #Conflicts:      58000 | #Constraints:     663867
473.59/474.83	c #Conflicts:      59000 | #Constraints:     664867
473.59/474.83	c #Conflicts:      60000 | #Constraints:     665867
473.59/474.83	c #Conflicts:      61000 | #Constraints:     666867
473.59/474.83	c INPROCESSING
473.59/474.83	c GARBAGE COLLECT
473.59/474.83	c rational objective 178.471
629.79/631.43	c bounds 415 >= 43 @ 473.082
629.79/631.43	c bounds 411 >= 43 @ 474.025
629.79/631.43	c bounds 410 >= 43 @ 474.24
629.79/631.43	c #Conflicts:      62000 | #Constraints:     662879
629.79/631.43	c bounds 409 >= 43 @ 484.299
629.79/631.43	c #Conflicts:      63000 | #Constraints:     663889
629.79/631.43	c #Conflicts:      64000 | #Constraints:     664894
629.79/631.43	c bounds 408 >= 43 @ 497.386
629.79/631.43	c bounds 404 >= 43 @ 497.501
629.79/631.43	c bounds 400 >= 43 @ 498.224
629.79/631.43	c bounds 400 >= 44 @ 498.249
629.79/631.43	c bounds 400 >= 45 @ 498.264
629.79/631.43	c bounds 400 >= 46 @ 498.288
629.79/631.43	c bounds 400 >= 47 @ 498.307
629.79/631.43	c bounds 400 >= 48 @ 498.326
629.79/631.43	c bounds 400 >= 49 @ 498.347
629.79/631.43	c bounds 400 >= 50 @ 498.376
629.79/631.43	c bounds 400 >= 51 @ 498.404
629.79/631.43	c bounds 400 >= 52 @ 498.436
629.79/631.43	c bounds 400 >= 53 @ 498.465
629.79/631.43	c bounds 400 >= 54 @ 498.498
629.79/631.43	c bounds 400 >= 55 @ 498.527
629.79/631.43	c bounds 400 >= 56 @ 498.56
629.79/631.43	c bounds 400 >= 57 @ 498.598
629.79/631.43	c bounds 400 >= 58 @ 498.649
629.79/631.43	c bounds 400 >= 59 @ 504.455
629.79/631.43	c bounds 400 >= 60 @ 504.512
629.79/631.43	c bounds 400 >= 61 @ 504.707
629.79/631.43	c bounds 400 >= 62 @ 504.821
629.79/631.43	c bounds 400 >= 63 @ 505.043
629.79/631.43	c bounds 400 >= 64 @ 505.38
629.79/631.43	c bounds 400 >= 65 @ 506.216
629.79/631.43	c bounds 399 >= 65 @ 506.521
629.79/631.43	c bounds 398 >= 65 @ 506.595
629.79/631.43	c bounds 395 >= 65 @ 506.683
629.79/631.43	c bounds 393 >= 65 @ 506.796
629.79/631.43	c bounds 387 >= 65 @ 506.882
629.79/631.43	c bounds 386 >= 65 @ 508.721
629.79/631.43	c bounds 386 >= 66 @ 509.76
629.79/631.43	c #Conflicts:      65000 | #Constraints:     666075
629.79/631.43	c bounds 386 >= 67 @ 511.677
629.79/631.43	c bounds 386 >= 68 @ 513.995
629.79/631.43	c bounds 383 >= 68 @ 516.859
629.79/631.43	c #Conflicts:      66000 | #Constraints:     667130
629.79/631.43	c bounds 383 >= 69 @ 522.025
629.79/631.43	c INPROCESSING
629.79/631.43	c GARBAGE COLLECT
629.79/631.43	c #Conflicts:      67000 | #Constraints:     662886
629.79/631.43	c bounds 383 >= 70 @ 585.107
629.79/631.43	c bounds 380 >= 70 @ 587.525
629.79/631.43	c #Conflicts:      68000 | #Constraints:     663917
629.79/631.43	c bounds 380 >= 71 @ 592.991
629.79/631.43	c #Conflicts:      69000 | #Constraints:     664944
629.79/631.43	c bounds 379 >= 71 @ 599.742
629.79/631.43	c #Conflicts:      70000 | #Constraints:     665948
629.79/631.43	c bounds 379 >= 72 @ 607.238
629.79/631.43	c #Conflicts:      71000 | #Constraints:     666960
629.79/631.43	c bounds 379 >= 73 @ 611.789
629.79/631.43	c bounds 378 >= 73 @ 611.847
629.79/631.43	c #Conflicts:      72000 | #Constraints:     667994
629.79/631.43	c INPROCESSING
629.79/631.43	c GARBAGE COLLECT
629.79/631.43	c rational objective 178.471
776.39/778.42	c #Conflicts:      73000 | #Constraints:     663573
776.39/778.42	c bounds 378 >= 74 @ 650.687
776.39/778.42	c #Conflicts:      74000 | #Constraints:     664603
776.39/778.42	c bounds 378 >= 75 @ 656.776
776.39/778.42	c #Conflicts:      75000 | #Constraints:     665624
776.39/778.42	c bounds 376 >= 75 @ 658.467
776.39/778.42	c #Conflicts:      76000 | #Constraints:     666625
776.39/778.42	c #Conflicts:      77000 | #Constraints:     667625
776.39/778.42	c #Conflicts:      78000 | #Constraints:     668627
776.39/778.42	c INPROCESSING
776.39/778.42	c GARBAGE COLLECT
776.39/778.42	c rational objective 178.471
959.63/962.19	c #Conflicts:      79000 | #Constraints:     664030
959.63/962.19	c #Conflicts:      80000 | #Constraints:     665030
959.63/962.19	c bounds 376 >= 76 @ 804.081
959.63/962.19	c #Conflicts:      81000 | #Constraints:     666069
959.63/962.19	c #Conflicts:      82000 | #Constraints:     667069
959.63/962.19	c bounds 376 >= 77 @ 814.239
959.63/962.19	c #Conflicts:      83000 | #Constraints:     668102
959.63/962.19	c #Conflicts:      84000 | #Constraints:     669102
959.63/962.19	c INPROCESSING
959.63/962.19	c GARBAGE COLLECT
959.63/962.19	c #Conflicts:      85000 | #Constraints:     664307
959.63/962.19	c bounds 376 >= 78 @ 860.894
959.63/962.19	c #Conflicts:      86000 | #Constraints:     665334
959.63/962.19	c #Conflicts:      87000 | #Constraints:     666334
959.63/962.19	c #Conflicts:      88000 | #Constraints:     667335
959.63/962.19	c bounds 376 >= 79 @ 885.774
959.63/962.19	c #Conflicts:      89000 | #Constraints:     668374
959.63/962.19	c #Conflicts:      90000 | #Constraints:     669374
959.63/962.19	c INPROCESSING
959.63/962.19	c GARBAGE COLLECT
959.63/962.19	c rational objective 178.473
1099.08/1101.95	c #Conflicts:      91000 | #Constraints:     664392
1099.08/1101.95	c #Conflicts:      92000 | #Constraints:     665516
1099.08/1101.95	c #Conflicts:      93000 | #Constraints:     666663
1099.08/1101.95	c #Conflicts:      94000 | #Constraints:     667752
1099.08/1101.95	c #Conflicts:      95000 | #Constraints:     668758
1099.08/1101.95	c #Conflicts:      96000 | #Constraints:     669817
1099.08/1101.95	c INPROCESSING
1099.08/1101.95	c GARBAGE COLLECT
1099.08/1101.95	c rational objective 178.473
1462.29/1466.01	c #Conflicts:      97000 | #Constraints:     664430
1462.29/1466.01	c #Conflicts:      98000 | #Constraints:     665430
1462.29/1466.01	c #Conflicts:      99000 | #Constraints:     666431
1462.29/1466.01	c #Conflicts:     100000 | #Constraints:     667431
1462.29/1466.01	c #Conflicts:     101000 | #Constraints:     668432
1462.29/1466.01	c bounds 376 >= 80 @ 1140.63
1462.29/1466.01	c #Conflicts:     102000 | #Constraints:     669456
1462.29/1466.01	c #Conflicts:     103000 | #Constraints:     670456
1462.29/1466.01	c INPROCESSING
1462.29/1466.01	c GARBAGE COLLECT
1462.29/1466.01	c #Conflicts:     104000 | #Constraints:     664943
1462.29/1466.01	c #Conflicts:     105000 | #Constraints:     665943
1462.29/1466.01	c #Conflicts:     106000 | #Constraints:     666943
1462.29/1466.01	c bounds 376 >= 81 @ 1211
1462.29/1466.01	c #Conflicts:     107000 | #Constraints:     667979
1462.29/1466.01	c #Conflicts:     108000 | #Constraints:     668979
1462.29/1466.01	c #Conflicts:     109000 | #Constraints:     669979
1462.29/1466.01	c #Conflicts:     110000 | #Constraints:     670979
1462.29/1466.01	c INPROCESSING
1462.29/1466.01	c GARBAGE COLLECT
1462.29/1466.01	c #Conflicts:     111000 | #Constraints:     665330
1462.29/1466.01	c #Conflicts:     112000 | #Constraints:     666330
1462.29/1466.01	c #Conflicts:     113000 | #Constraints:     667330
1462.29/1466.01	c #Conflicts:     114000 | #Constraints:     668330
1462.29/1466.01	c bounds 376 >= 82 @ 1310.98
1462.29/1466.01	c #Conflicts:     115000 | #Constraints:     669366
1462.29/1466.01	c #Conflicts:     116000 | #Constraints:     670366
1462.29/1466.01	c #Conflicts:     117000 | #Constraints:     671366
1462.29/1466.01	c INPROCESSING
1462.29/1466.01	c GARBAGE COLLECT
1462.29/1466.01	c #Conflicts:     118000 | #Constraints:     665540
1462.29/1466.01	c #Conflicts:     119000 | #Constraints:     666540
1462.29/1466.01	c #Conflicts:     120000 | #Constraints:     667540
1462.29/1466.01	c #Conflicts:     121000 | #Constraints:     668540
1462.29/1466.01	c #Conflicts:     122000 | #Constraints:     669540
1462.29/1466.01	c bounds 376 >= 83 @ 1433.85
1462.29/1466.01	c #Conflicts:     123000 | #Constraints:     670585
1462.29/1466.01	c bounds 375 >= 83 @ 1435.84
1462.29/1466.01	c bounds 374 >= 83 @ 1436.89
1462.29/1466.01	c #Conflicts:     124000 | #Constraints:     671601
1462.29/1466.01	c INPROCESSING
1462.29/1466.01	c GARBAGE COLLECT
1462.29/1466.01	c rational objective 178.468
1626.82/1631.03	c #Conflicts:     125000 | #Constraints:     665590
1626.82/1631.03	c #Conflicts:     126000 | #Constraints:     666622
1626.82/1631.03	c #Conflicts:     127000 | #Constraints:     667678
1626.82/1631.03	c #Conflicts:     128000 | #Constraints:     668704
1626.82/1631.03	c #Conflicts:     129000 | #Constraints:     669817
1626.82/1631.03	c bounds 373 >= 83 @ 1582.71
1626.82/1631.03	c #Conflicts:     130000 | #Constraints:     671051
1626.82/1631.03	c #Conflicts:     131000 | #Constraints:     672051
1626.82/1631.03	c INPROCESSING
1626.82/1631.03	c GARBAGE COLLECT
1626.82/1631.03	c rational objective 178.468
1708.70/1713.12	c #Conflicts:     132000 | #Constraints:     665599
1708.70/1713.12	c #Conflicts:     133000 | #Constraints:     666599
1708.70/1713.12	c #Conflicts:     134000 | #Constraints:     667599
1708.70/1713.12	c #Conflicts:     135000 | #Constraints:     668599
1708.70/1713.12	c #Conflicts:     136000 | #Constraints:     669599
1708.70/1713.12	c #Conflicts:     137000 | #Constraints:     670599
1708.70/1713.12	c #Conflicts:     138000 | #Constraints:     671599
1708.70/1713.12	c #Conflicts:     139000 | #Constraints:     672600
1708.70/1713.12	c INPROCESSING
1708.70/1713.12	c GARBAGE COLLECT
1708.70/1713.12	c rational objective 178.468
1897.75/1902.77	c #Conflicts:     140000 | #Constraints:     666074
1897.75/1902.77	c #Conflicts:     141000 | #Constraints:     667074
1897.75/1902.77	c #Conflicts:     142000 | #Constraints:     668074
1897.75/1902.77	c #Conflicts:     143000 | #Constraints:     669074
1897.75/1902.77	c bounds 373 >= 84 @ 1742.4
1897.75/1902.77	c #Conflicts:     144000 | #Constraints:     670111
1897.75/1902.77	c #Conflicts:     145000 | #Constraints:     671111
1897.75/1902.77	c #Conflicts:     146000 | #Constraints:     672111
1897.75/1902.77	c #Conflicts:     147000 | #Constraints:     673112
1897.75/1902.77	c INPROCESSING
1897.75/1902.77	c GARBAGE COLLECT
1897.75/1902.77	c #Conflicts:     148000 | #Constraints:     666449
1897.75/1902.77	c #Conflicts:     149000 | #Constraints:     667449
1897.75/1902.77	c #Conflicts:     150000 | #Constraints:     668449
1897.75/1902.77	c #Conflicts:     151000 | #Constraints:     669449
1897.75/1902.77	c #Conflicts:     152000 | #Constraints:     670449
1897.75/1902.77	c #Conflicts:     153000 | #Constraints:     671449
1897.75/1902.77	c #Conflicts:     154000 | #Constraints:     672449
1897.75/1902.77	c #Conflicts:     155000 | #Constraints:     673449
1897.75/1902.77	c INPROCESSING
1897.75/1902.77	c GARBAGE COLLECT
1897.75/1902.77	c rational objective 178.468
2035.35/2040.71	c bounds 371 >= 84 @ 1889.41
2035.35/2040.71	c bounds 370 >= 84 @ 1892.57
2035.35/2040.71	c bounds 368 >= 84 @ 1895.48
2035.35/2040.71	c #Conflicts:     156000 | #Constraints:     666644
2035.35/2040.71	c bounds 367 >= 84 @ 1905.48
2035.35/2040.71	c #Conflicts:     157000 | #Constraints:     667741
2035.35/2040.71	c #Conflicts:     158000 | #Constraints:     668741
2035.35/2040.71	c #Conflicts:     159000 | #Constraints:     669741
2035.35/2040.71	c #Conflicts:     160000 | #Constraints:     670741
2035.35/2040.71	c #Conflicts:     161000 | #Constraints:     671741
2035.35/2040.71	c #Conflicts:     162000 | #Constraints:     672741
2035.35/2040.71	c bounds 367 >= 85 @ 1974.73
2035.35/2040.71	c bounds 366 >= 85 @ 1975.66
2035.35/2040.71	c bounds 365 >= 85 @ 1977.77
2035.35/2040.71	c #Conflicts:     163000 | #Constraints:     673798
2035.35/2040.71	c bounds 364 >= 85 @ 1978.77
2035.35/2040.71	c INPROCESSING
2035.35/2040.71	c GARBAGE COLLECT
2035.35/2040.71	c rational objective 178.468
2495.23/2501.90	c #Conflicts:     164000 | #Constraints:     666786
2495.23/2501.90	c #Conflicts:     165000 | #Constraints:     667847
2495.23/2501.90	c bounds 362 >= 85 @ 2059.27
2495.23/2501.90	c bounds 360 >= 85 @ 2059.34
2495.23/2501.90	c bounds 357 >= 85 @ 2059.43
2495.23/2501.90	c #Conflicts:     166000 | #Constraints:     668870
2495.23/2501.90	c #Conflicts:     167000 | #Constraints:     669884
2495.23/2501.90	c bounds 348 >= 85 @ 2084.41
2495.23/2501.90	c #Conflicts:     168000 | #Constraints:     670898
2495.23/2501.90	c #Conflicts:     169000 | #Constraints:     671898
2495.23/2501.90	c #Conflicts:     170000 | #Constraints:     672898
2495.23/2501.90	c #Conflicts:     171000 | #Constraints:     673898
2495.23/2501.90	c INPROCESSING
2495.23/2501.90	c GARBAGE COLLECT
2495.23/2501.90	c bounds 347 >= 85 @ 2148.5
2495.23/2501.90	c #Conflicts:     172000 | #Constraints:     666572
2495.23/2501.90	c bounds 346 >= 85 @ 2156.06
2495.23/2501.90	c #Conflicts:     173000 | #Constraints:     667589
2495.23/2501.90	c bounds 345 >= 85 @ 2156.48
2495.23/2501.90	c bounds 344 >= 85 @ 2159.22
2495.23/2501.90	c bounds 343 >= 85 @ 2162.97
2495.23/2501.90	c #Conflicts:     174000 | #Constraints:     668612
2495.23/2501.90	c #Conflicts:     175000 | #Constraints:     669623
2495.23/2501.90	c bounds 342 >= 85 @ 2184.46
2495.23/2501.90	c #Conflicts:     176000 | #Constraints:     670626
2495.23/2501.90	c #Conflicts:     177000 | #Constraints:     671626
2495.23/2501.90	c #Conflicts:     178000 | #Constraints:     672626
2495.23/2501.90	c #Conflicts:     179000 | #Constraints:     673628
2495.23/2501.90	c #Conflicts:     180000 | #Constraints:     674628
2495.23/2501.90	c INPROCESSING
2495.23/2501.90	c GARBAGE COLLECT
2495.23/2501.90	c #Conflicts:     181000 | #Constraints:     667135
2495.23/2501.90	c #Conflicts:     182000 | #Constraints:     668135
2495.23/2501.90	c #Conflicts:     183000 | #Constraints:     669381
2495.23/2501.90	c #Conflicts:     184000 | #Constraints:     670490
2495.23/2501.90	c #Conflicts:     185000 | #Constraints:     671737
2495.23/2501.90	c #Conflicts:     186000 | #Constraints:     672781
2495.23/2501.90	c #Conflicts:     187000 | #Constraints:     673792
2495.23/2501.90	c bounds 341 >= 85 @ 2452.71
2495.23/2501.90	c #Conflicts:     188000 | #Constraints:     674805
2495.23/2501.90	c #Conflicts:     189000 | #Constraints:     675805
2495.23/2501.90	c INPROCESSING
2495.23/2501.90	c GARBAGE COLLECT
2495.23/2501.90	c rational objective 178.468
2602.64/2609.61	c #Conflicts:     190000 | #Constraints:     667823
2602.64/2609.61	c #Conflicts:     191000 | #Constraints:     668824
2602.64/2609.61	c #Conflicts:     192000 | #Constraints:     669825
2602.64/2609.61	c #Conflicts:     193000 | #Constraints:     670825
2602.64/2609.61	c #Conflicts:     194000 | #Constraints:     671825
2602.64/2609.61	c #Conflicts:     195000 | #Constraints:     672826
2602.64/2609.61	c #Conflicts:     196000 | #Constraints:     673826
2602.64/2609.61	c #Conflicts:     197000 | #Constraints:     674826
2602.64/2609.61	c #Conflicts:     198000 | #Constraints:     675826
2602.64/2609.61	c INPROCESSING
2602.64/2609.61	c GARBAGE COLLECT
2602.64/2609.61	c rational objective 178.468
2766.05/2773.53	c #Conflicts:     199000 | #Constraints:     667833
2766.05/2773.53	c #Conflicts:     200000 | #Constraints:     668836
2766.05/2773.53	c #Conflicts:     201000 | #Constraints:     669837
2766.05/2773.53	c #Conflicts:     202000 | #Constraints:     670837
2766.05/2773.53	c #Conflicts:     203000 | #Constraints:     671837
2766.05/2773.53	c #Conflicts:     204000 | #Constraints:     672838
2766.05/2773.53	c #Conflicts:     205000 | #Constraints:     673841
2766.05/2773.53	c #Conflicts:     206000 | #Constraints:     674841
2766.05/2773.53	c #Conflicts:     207000 | #Constraints:     675841
2766.05/2773.53	c INPROCESSING
2766.05/2773.53	c GARBAGE COLLECT
2766.05/2773.53	c rational objective 178.468
2931.10/2939.08	c bounds 337 >= 85 @ 2754.16
2931.10/2939.08	c #Conflicts:     208000 | #Constraints:     667752
2931.10/2939.08	c #Conflicts:     209000 | #Constraints:     668874
2931.10/2939.08	c #Conflicts:     210000 | #Constraints:     669982
2931.10/2939.08	c #Conflicts:     211000 | #Constraints:     670992
2931.10/2939.08	c #Conflicts:     212000 | #Constraints:     672000
2931.10/2939.08	c #Conflicts:     213000 | #Constraints:     673009
2931.10/2939.08	c #Conflicts:     214000 | #Constraints:     674016
2931.10/2939.08	c #Conflicts:     215000 | #Constraints:     675024
2931.10/2939.08	c #Conflicts:     216000 | #Constraints:     676032
2931.10/2939.08	c INPROCESSING
2931.10/2939.08	c GARBAGE COLLECT
2931.10/2939.08	c rational objective 178.468
3061.27/3069.54	c #Conflicts:     217000 | #Constraints:     667638
3061.27/3069.54	c #Conflicts:     218000 | #Constraints:     668639
3061.27/3069.54	c #Conflicts:     219000 | #Constraints:     669639
3061.27/3069.54	c #Conflicts:     220000 | #Constraints:     670640
3061.27/3069.54	c #Conflicts:     221000 | #Constraints:     671640
3061.27/3069.54	c #Conflicts:     222000 | #Constraints:     672640
3061.27/3069.54	c #Conflicts:     223000 | #Constraints:     673642
3061.27/3069.54	c #Conflicts:     224000 | #Constraints:     674642
3061.27/3069.54	c #Conflicts:     225000 | #Constraints:     675642
3061.27/3069.54	c #Conflicts:     226000 | #Constraints:     676643
3061.27/3069.54	c INPROCESSING
3061.27/3069.54	c GARBAGE COLLECT
3061.27/3069.54	c rational objective 178.468
3256.47/3265.21	c #Conflicts:     227000 | #Constraints:     668160
3256.47/3265.21	c #Conflicts:     228000 | #Constraints:     669217
3256.47/3265.21	c #Conflicts:     229000 | #Constraints:     670492
3256.47/3265.21	c #Conflicts:     230000 | #Constraints:     672019
3256.47/3265.21	c #Conflicts:     231000 | #Constraints:     673166
3256.47/3265.21	c #Conflicts:     232000 | #Constraints:     674197
3256.47/3265.21	c bounds 336 >= 85 @ 3166.23
3256.47/3265.21	c #Conflicts:     233000 | #Constraints:     675204
3256.47/3265.21	c #Conflicts:     234000 | #Constraints:     676204
3256.47/3265.21	c #Conflicts:     235000 | #Constraints:     677204
3256.47/3265.21	c #Conflicts:     236000 | #Constraints:     678204
3256.47/3265.21	c INPROCESSING
3256.47/3265.21	c GARBAGE COLLECT
3256.47/3265.21	c rational objective 178.468
3463.72/3473.08	c bounds 335 >= 85 @ 3242.35
3463.72/3473.08	c #Conflicts:     237000 | #Constraints:     669055
3463.72/3473.08	c #Conflicts:     238000 | #Constraints:     670067
3463.72/3473.08	c #Conflicts:     239000 | #Constraints:     671071
3463.72/3473.08	c bounds 334 >= 85 @ 3286.94
3463.72/3473.08	c #Conflicts:     240000 | #Constraints:     672078
3463.72/3473.08	c #Conflicts:     241000 | #Constraints:     673078
3463.72/3473.08	c #Conflicts:     242000 | #Constraints:     674078
3463.72/3473.08	c #Conflicts:     243000 | #Constraints:     675078
3463.72/3473.08	c #Conflicts:     244000 | #Constraints:     676078
3463.72/3473.08	c #Conflicts:     245000 | #Constraints:     677078
3463.72/3473.08	c #Conflicts:     246000 | #Constraints:     678078
3463.72/3473.08	c INPROCESSING
3463.72/3473.08	c GARBAGE COLLECT
3463.72/3473.08	c rational objective 178.468
3600.05/3609.70	c bounds 329 >= 85 @ 3448.9
3600.05/3609.70	c bounds 328 >= 85 @ 3453.59
3600.05/3609.70	c bounds 327 >= 85 @ 3453.77
3600.05/3609.70	c #Conflicts:     247000 | #Constraints:     668970
3600.05/3609.70	c #Conflicts:     248000 | #Constraints:     669970
3600.05/3609.70	c #Conflicts:     249000 | #Constraints:     670970
3600.05/3609.70	c #Conflicts:     250000 | #Constraints:     672055
3600.05/3609.70	c #Conflicts:     251000 | #Constraints:     673080
3600.05/3609.70	c #Conflicts:     252000 | #Constraints:     674180
3600.05/3609.70	c #Conflicts:     253000 | #Constraints:     675268
3600.05/3609.70	c #Conflicts:     254000 | #Constraints:     676277
3600.05/3609.70	c Program interrupted by user.
3600.05/3609.70	c cpu time 3580.36 s
3600.05/3609.70	c deterministic time 416864089082 4.17e+11
3600.05/3609.70	c optimization time 127.183 s
3600.05/3609.70	c total solve time 3451.91 s
3600.05/3609.70	c core-guided solve time 2177.74 s
3600.05/3609.70	c propagation time 2094.22 s
3600.05/3609.70	c conflict analysis time 568.004 s
3600.05/3609.70	c propagations 85144970
3600.05/3609.70	c resolve steps 3181441
3600.05/3609.70	c decisions 13117936
3600.05/3609.70	c conflicts 254477
3600.05/3609.70	c restarts 598
3600.05/3609.70	c inprocessing phases 41
3600.05/3609.70	c input clauses 657131
3600.05/3609.70	c input cardinalities 56
3600.05/3609.70	c input general constraints 793
3600.05/3609.70	c input average constraint length 7.22
3600.05/3609.70	c input average constraint degree 165.75
3600.05/3609.70	c learned clauses 99522
3600.05/3609.70	c learned cardinalities 23
3600.05/3609.70	c learned general constraints 159153
3600.05/3609.70	c learned average constraint length 4041.42
3600.05/3609.70	c learned average constraint degree 71002614581.45
3600.05/3609.70	c watched constraints 29027
3600.05/3609.70	c counting constraints 130919
3600.05/3609.70	c gcd simplifications 3972
3600.05/3609.70	c detected cardinalities 0
3600.05/3609.70	c weakened non-implied lits 412812667
3600.05/3609.70	c weakened non-implying lits 67065
3600.05/3609.70	c original variables 10000
3600.05/3609.70	c clausal propagations 17404873
3600.05/3609.70	c cardinality propagations 199462
3600.05/3609.70	c watched propagations 3429100
3600.05/3609.70	c counting propagations 63005084
3600.05/3609.70	c watch lookups 17672071648
3600.05/3609.70	c watch backjump lookups 17503298149
3600.05/3609.70	c watch checks 143032421054
3600.05/3609.70	c propagation checks 233213405584
3600.05/3609.70	c constraint additions 5245698840
3600.05/3609.70	c trail pops 98506756
3600.05/3609.70	c formula constraints 656900
3600.05/3609.70	c learned constraints 254079
3600.05/3609.70	c bound constraints 275
3600.05/3609.70	c core-guided constraints 805
3600.05/3609.70	c encountered formula constraints 1586088
3600.05/3609.70	c encountered learned constraints 1480048
3600.05/3609.70	c encountered bound constraints 7925
3600.05/3609.70	c encountered core-guided constraints 323163
3600.05/3609.70	c LP total time 1589.16 s
3600.05/3609.70	c LP solve time 1408.05 s
3600.05/3609.70	c LP constraints added 656950
3600.05/3609.70	c LP constraints removed 30
3600.05/3609.70	c LP pivots internal 254481
3600.05/3609.70	c LP pivots root 169663
3600.05/3609.70	c LP calls 4471
3600.05/3609.70	c LP optimalities 226
3600.05/3609.70	c LP no pivot count 28
3600.05/3609.70	c LP infeasibilities 4198
3600.05/3609.70	c LP valid Farkas constraints 4187
3600.05/3609.70	c LP learned Farkas constraints 404
3600.05/3609.70	c LP basis resets 54
3600.05/3609.70	c LP cycling count 16
3600.05/3609.70	c LP singular count 14
3600.05/3609.70	c LP no primal count 0
3600.05/3609.70	c LP no farkas count 11
3600.05/3609.70	c LP other issue count 13
3600.05/3609.70	c LP Gomory cuts 28
3600.05/3609.70	c LP learned cuts 22
3600.05/3609.70	c LP deleted cuts 30
3600.05/3609.70	c LP encountered Gomory constraints 718
3600.05/3609.70	c LP encountered Farkas constraints 36534
3600.05/3609.70	c LP encountered learned Farkas constraints 1038
3600.05/3609.70	c CG auxiliary variables introduced 287
3600.05/3609.70	c CG solutions found 219
3600.05/3609.70	c CG cores constructed 56
3600.05/3609.70	c CG core cardinality constraints returned 0
3600.05/3609.70	c CG unit cores 0
3600.05/3609.70	c CG single cores 53
3600.05/3609.70	c CG blocks removed during cardinality reduction 0
3600.05/3609.70	c CG first core best 0
3600.05/3609.70	c CG decision core best 0
3600.05/3609.70	c CG core reduction tie 3
3600.05/3609.70	c CG core degree average 1.00
3600.05/3609.70	c CG core slack average 941.32
3600.05/3609.70	s SATISFIABLE
3600.05/3609.70	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	327

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455140-1721458669/watcher-4455140-1721458669 -o /tmp/evaluation-result-4455140-1721458669/solver-4455140-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455140-1721458669.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1057572, runsolver pid=1057569

[startup+0.100164 s]*
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125743020/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=40824 memory=11824 CPUtime=0.09 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 1773 0 0 0 6 3 0 0 20 0 1 0 198026098 41803776 2956 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 10206 2956 1249 922 0 2158 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40824 KiB
Current children cumulated memory: 11824 KiB

[startup+0.204896 s]*
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125736836/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=42264 memory=13672 CPUtime=0.2 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 2209 0 0 0 14 6 0 0 20 0 1 0 198026098 43278336 3418 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 10566 3418 1249 922 0 2518 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42264 KiB
Current children cumulated memory: 13672 KiB

[startup+0.304805 s]*
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125729960/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=46364 memory=16396 CPUtime=0.3 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 2870 0 0 0 21 9 0 0 20 0 1 0 198026098 47476736 4099 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 11591 4099 1249 922 0 3543 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 46364 KiB
Current children cumulated memory: 16396 KiB

[startup+0.700171 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125721280/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=63580 memory=28476 CPUtime=0.69 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 4897 0 0 0 49 20 0 0 20 0 1 0 198026098 65105920 7119 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 15895 7119 1249 922 0 7847 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 63580 KiB
Current children cumulated memory: 28476 KiB

[startup+1.50019 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1057573
/proc/meminfo: memFree=125699624/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=90992 memory=60612 CPUtime=1.49 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 9539 0 0 0 105 44 0 0 20 0 1 0 198026098 93175808 15153 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 22748 15153 1581 922 0 14700 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 90992 KiB
Current children cumulated memory: 60612 KiB

[startup+3.10553 s]
/proc/loadavg: 4.11 4.11 4.04 5/259 1057574
/proc/meminfo: memFree=125389140/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=360716 memory=330116 CPUtime=3.09 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 59690 0 0 0 251 58 0 0 20 0 1 0 198026098 369373184 82529 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 90179 82529 1661 922 0 82131 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 360716 KiB
Current children cumulated memory: 330116 KiB

[startup+6.30022 s]
/proc/loadavg: 4.10 4.11 4.04 5/259 1057574
/proc/meminfo: memFree=125373036/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=445332 memory=355932 CPUtime=6.28 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 62834 0 0 0 567 61 0 0 20 0 1 0 198026098 456019968 88983 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 111333 88983 1757 922 0 103285 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 445332 KiB
Current children cumulated memory: 355932 KiB

[startup+12.7002 s]
/proc/loadavg: 4.17 4.12 4.05 5/259 1057574
/proc/meminfo: memFree=125266444/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=531072 memory=427424 CPUtime=12.66 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 66874 0 0 0 1136 130 0 0 20 0 1 0 198026098 543817728 106856 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 132768 106856 1885 922 0 124720 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 531072 KiB
Current children cumulated memory: 427424 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.11 4.05 5/259 1057578
/proc/meminfo: memFree=125085672/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=612352 memory=490380 CPUtime=25.43 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 70722 0 0 0 2382 161 0 0 20 0 1 0 198026098 627048448 122595 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 153088 122595 1885 922 0 145040 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 612352 KiB
Current children cumulated memory: 490380 KiB

[startup+51.1058 s]
/proc/loadavg: 4.09 4.10 4.05 5/259 1057581
/proc/meminfo: memFree=124995076/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=658020 memory=563116 CPUtime=50.98 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 75277 0 0 0 4903 195 0 0 20 0 1 0 198026098 673812480 140779 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 164505 140779 1885 922 0 156457 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 658020 KiB
Current children cumulated memory: 563116 KiB

[startup+102.3 s]
/proc/loadavg: 4.33 4.15 4.06 5/259 1057589
/proc/meminfo: memFree=124937784/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=768844 memory=605952 CPUtime=102.04 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 78816 0 0 0 9959 245 0 0 20 0 1 0 198026098 787296256 151488 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 192211 151488 1885 922 0 184163 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 768844 KiB
Current children cumulated memory: 605952 KiB

[startup+162.3 s]
/proc/loadavg: 4.24 4.17 4.08 5/261 1057604
/proc/meminfo: memFree=124419760/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1211760 memory=1048956 CPUtime=161.89 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 128473 0 0 0 15855 334 0 0 20 0 1 0 198026098 1240842240 262239 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 302940 262239 1885 922 0 294892 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 1211760 KiB
Current children cumulated memory: 1048956 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/259 1057626
/proc/meminfo: memFree=124228424/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1350568 memory=1198124 CPUtime=221.74 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 136729 0 0 0 21795 379 0 0 20 0 1 0 198026098 1382981632 299531 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 337642 299531 1994 922 0 329594 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 1350568 KiB
Current children cumulated memory: 1198124 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.14 4.08 5/259 1057637
/proc/meminfo: memFree=124187608/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1350568 memory=1198296 CPUtime=281.57 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 136941 0 0 0 27769 388 0 0 20 0 1 0 198026098 1382981632 299574 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 337642 299574 1994 922 0 329594 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 1350568 KiB
Current children cumulated memory: 1198296 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.13 4.08 5/257 1057647
/proc/meminfo: memFree=124147332/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1350568 memory=1200840 CPUtime=341.42 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 137184 0 0 0 33714 428 0 0 20 0 1 0 198026098 1382981632 300210 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 337642 300210 1994 922 0 329594 0
Current children cumulated CPU time: 341.42 s
Current children cumulated vsize: 1350568 KiB
Current children cumulated memory: 1200840 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 1057659
/proc/meminfo: memFree=123816160/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1675740 memory=1428696 CPUtime=401.28 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 145246 0 0 0 39647 481 0 0 20 0 1 0 198026098 1715957760 357174 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 418935 357174 1994 922 0 410887 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 1675740 KiB
Current children cumulated memory: 1428696 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 1057669
/proc/meminfo: memFree=123779872/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=1698152 memory=1452780 CPUtime=461.13 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 146450 0 0 0 45579 534 0 0 20 0 1 0 198026098 1738907648 363195 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 424538 363195 2010 922 0 416490 0

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

Current children cumulated memory: 2236808 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/256 1058745
/proc/meminfo: memFree=122295260/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2672628 memory=2455372 CPUtime=2914.44 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 360656 0 0 0 289743 1701 0 0 20 0 1 0 198026098 2736771072 613843 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 668157 613843 2010 922 0 660109 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 2672628 KiB
Current children cumulated memory: 2455372 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/256 1058757
/proc/meminfo: memFree=122268264/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2480552 CPUtime=2974.29 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 367409 0 0 0 295699 1730 0 0 20 0 1 0 198026098 2747805696 620138 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 620138 2010 922 0 662803 0
Current children cumulated CPU time: 2974.29 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2480552 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/256 1058768
/proc/meminfo: memFree=122251344/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2497204 CPUtime=3034.13 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 368466 0 0 0 301659 1754 0 0 20 0 1 0 198026098 2747805696 624301 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 624301 2010 922 0 662803 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2497204 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/256 1058778
/proc/meminfo: memFree=122235120/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2513368 CPUtime=3093.98 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 369535 0 0 0 307629 1769 0 0 20 0 1 0 198026098 2747805696 628342 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 628342 2010 922 0 662803 0
Current children cumulated CPU time: 3093.98 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2513368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 1058792
/proc/meminfo: memFree=122205364/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2519884 CPUtime=3153.82 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 370610 0 0 0 313605 1777 0 0 20 0 1 0 198026098 2747805696 629971 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 629971 2010 922 0 662803 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2519884 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 1058804
/proc/meminfo: memFree=122187000/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2515572 CPUtime=3213.68 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 376914 0 0 0 319564 1804 0 0 20 0 1 0 198026098 2747805696 628893 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 628893 2010 922 0 662803 0
Current children cumulated CPU time: 3213.68 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2515572 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/258 1058814
/proc/meminfo: memFree=122176140/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2515496 CPUtime=3273.53 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 383442 0 0 0 325509 1844 0 0 20 0 1 0 198026098 2747805696 628874 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 628874 2010 922 0 662803 0
Current children cumulated CPU time: 3273.53 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2515496 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/257 1058824
/proc/meminfo: memFree=122175588/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2515572 CPUtime=3333.38 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 384417 0 0 0 331460 1878 0 0 20 0 1 0 198026098 2747805696 628893 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 628893 2010 922 0 662803 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2515572 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 1058836
/proc/meminfo: memFree=122174952/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2683404 memory=2515576 CPUtime=3393.21 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 385600 0 0 0 337407 1914 0 0 20 0 1 0 198026098 2747805696 628894 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 670851 628894 2010 922 0 662803 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 2683404 KiB
Current children cumulated memory: 2515576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/257 1059229
/proc/meminfo: memFree=122157944/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2691104 memory=2523272 CPUtime=3453.05 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 396112 0 0 0 343372 1933 0 0 20 0 1 0 198026098 2755690496 630818 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 672776 630818 2010 922 0 664728 0
Current children cumulated CPU time: 3453.05 s
Current children cumulated vsize: 2691104 KiB
Current children cumulated memory: 2523272 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 1059240
/proc/meminfo: memFree=122149432/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2691104 memory=2523692 CPUtime=3512.88 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 397439 0 0 0 349339 1949 0 0 20 0 1 0 198026098 2755690496 630923 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 672776 630923 2010 922 0 664728 0
Current children cumulated CPU time: 3512.88 s
Current children cumulated vsize: 2691104 KiB
Current children cumulated memory: 2523692 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/257 1059252
/proc/meminfo: memFree=122138532/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2691104 memory=2523692 CPUtime=3572.73 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 398626 0 0 0 355308 1965 0 0 20 0 1 0 198026098 2755690496 630923 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 672776 630923 2010 922 0 664728 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 2691104 KiB
Current children cumulated memory: 2523692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.07 4.08 4.09 4/255 1059257
/proc/meminfo: memFree=122495304/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2691104 memory=2523692 CPUtime=3600.05 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 399280 0 0 0 358035 1970 0 0 20 0 1 0 198026098 2755690496 630923 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 672776 630923 2010 922 0 664728 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2691104 KiB
Current children cumulated memory: 2523692 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.37 s, system=19.7086 s

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

[startup+3609.7 s]
/proc/loadavg: 4.07 4.08 4.09 4/255 1059257
/proc/meminfo: memFree=122495304/131524600 swapFree=130799640/131071996
[pid=1057572] ppid=1057569 vsize=2691104 memory=2523692 CPUtime=3600.05 cores=1,3
/proc/1057572/stat : 1057572 (roundingsat) R 1057569 1057572 1057331 0 -1 4194304 399280 0 0 0 358035 1970 0 0 20 0 1 0 198026098 2755690496 630923 134679101440 4194304 7968373 140727037236032 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 8652288 8659920 28766208 140727037244348 140727037244512 140727037244512 140727037251529 0
/proc/1057572/statm: 672776 630923 2010 922 0 664728 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2691104 KiB
Current children cumulated memory: 2523692 KiB

Child status: 0

Real time (s): 3609.72
CPU time (s): 3600.08
CPU user time (s): 3580.37
CPU system time (s): 19.7086
CPU usage (%): 99.7329
Max. virtual memory (cumulated for all children) (KiB): 2786888
Max. memory (cumulated for all children) (KiB): 2628596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.37
system time used= 19.7086
maximum resident set size= 2628644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 399332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 2009


# summary of solver processes directly reported to runsolver:
#   pid: 1057572
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3580.37
#   total CPU system time (s): 19.7086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.91699 second user time and 17.221 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 08:58:02
IDJOB=4455140
IDBENCH=147551
IDSOLVER=3084
FILE ID=nodeC014/4455140-1721458669
RUNJOBID= nodeC014-1721458682-1057476
SLURM_JOB_ID= 7545705
Free space on /tmp= 890004 MiB

SOLVER NAME= RoundingSat nolog
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 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455140-1721458669/watcher-4455140-1721458669 -o /tmp/evaluation-result-4455140-1721458669/solver-4455140-1721458669 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721458682-1057476 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4455140-1721458669.opb

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

MD5SUM BENCH= e06e3866d9960a7084ad077c8fb9619e
RANDOM SEED=1589648537

nodeC014.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		: 3629.429
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.32
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		: 3677.842
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.96
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		: 3671.607
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.32
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		: 3630.604
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.96
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		: 3669.753
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.32
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		: 3676.469
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.96
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.243
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.32
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		: 3610.502
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125764140 kB
MemAvailable:   129971632 kB
Buffers:          507836 kB
Cached:          4494940 kB
SwapCached:        12848 kB
Active:          1535632 kB
Inactive:        3595940 kB
Active(anon):       9116 kB
Inactive(anon):   149364 kB
Active(file):    1526516 kB
Inactive(file):  3446576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             38100 kB
Writeback:             0 kB
AnonPages:        120244 kB
Mapped:            59668 kB
Shmem:             29680 kB
KReclaimable:     148096 kB
Slab:             250992 kB
SReclaimable:     148096 kB
SUnreclaim:       102896 kB
KernelStack:        4176 kB
PageTables:        10468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     736216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            36672 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889988 MiB
End job on nodeC014 at 2024-07-20 09:58:12