Trace number 4460403

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
RoundingSat log (2)SAT (TO)3892789 3600.03 3614.02

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat70_4_22_3.opb
MD5SUMf134d089c54411466f2bcbd6371e604a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3892789
Best CPU time to get the best result obtained on this benchmark737.579
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 171879616
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 85431562646
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 171879616
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 85431562646
Number of bits of the biggest sum of numbers37
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 
0.00/0.09	c #variables 9940 #constraints 24510
127.25/127.75	c bounds - >= -70 @ 0.064649
127.25/127.75	c bounds 21669059 >= -70 @ 3.32242
127.25/127.75	c bounds 19562213 >= -70 @ 3.54811
127.25/127.75	c bounds 19464993 >= -70 @ 3.61735
127.25/127.75	c bounds 19446777 >= -70 @ 3.63812
127.25/127.75	c bounds 19436397 >= -70 @ 3.69434
127.25/127.75	c bounds 18814985 >= -70 @ 4.67132
127.25/127.75	c bounds 18800243 >= -70 @ 4.75966
127.25/127.75	c bounds 18709221 >= -70 @ 4.79241
127.25/127.75	c bounds 18671157 >= -70 @ 4.86269
127.25/127.75	c bounds 18601221 >= -70 @ 4.95043
127.25/127.75	c bounds 18573263 >= -70 @ 4.98955
127.25/127.75	c bounds 16033973 >= -70 @ 5.25676
127.25/127.75	c bounds 15996759 >= -70 @ 5.29644
127.25/127.75	c bounds 15959565 >= -70 @ 5.3735
127.25/127.75	c bounds 11859041 >= -70 @ 6.20842
127.25/127.75	c bounds 10295313 >= -70 @ 6.6211
127.25/127.75	c bounds 10212413 >= -70 @ 6.67696
127.25/127.75	c bounds 10196813 >= -70 @ 6.82689
127.25/127.75	c bounds 10161281 >= -70 @ 6.94321
127.25/127.75	c bounds 10161073 >= -70 @ 7.41647
127.25/127.75	c bounds 8597345 >= -70 @ 7.66564
127.25/127.75	c #Conflicts:       1000 | #Constraints:      25530
127.25/127.75	c bounds 8592935 >= -70 @ 8.20606
127.25/127.75	c bounds 8581119 >= -70 @ 8.33503
127.25/127.75	c bounds 8578855 >= -70 @ 8.39043
127.25/127.75	c bounds 8434795 >= -70 @ 11.9565
127.25/127.75	c bounds 8431243 >= -70 @ 12.0401
127.25/127.75	c bounds 8419065 >= -70 @ 12.1867
127.25/127.75	c bounds 7743975 >= -70 @ 12.319
127.25/127.75	c bounds 7730529 >= -70 @ 12.5909
127.25/127.75	c bounds 7679025 >= -70 @ 12.6615
127.25/127.75	c bounds 7615505 >= -70 @ 12.7447
127.25/127.75	c bounds 7579313 >= -70 @ 12.8019
127.25/127.75	c bounds 7565839 >= -70 @ 12.9714
127.25/127.75	c bounds 7561761 >= -70 @ 13.0419
127.25/127.75	c bounds 7511841 >= -70 @ 13.5834
127.25/127.75	c #Conflicts:       2000 | #Constraints:      26544
127.25/127.75	c INPROCESSING
127.25/127.75	c GARBAGE COLLECT
127.25/127.75	c bounds 7502979 >= -70 @ 15.2887
127.25/127.75	c bounds 7498929 >= -70 @ 15.3449
127.25/127.75	c bounds 7477535 >= -70 @ 15.3895
127.25/127.75	c bounds 7471301 >= -70 @ 15.4966
127.25/127.75	c bounds 7420719 >= -70 @ 15.5468
127.25/127.75	c bounds 7398943 >= -70 @ 15.9274
127.25/127.75	c bounds 7381431 >= -70 @ 16.0318
127.25/127.75	c bounds 7277765 >= -70 @ 16.0942
127.25/127.75	c bounds 7271125 >= -70 @ 16.2839
127.25/127.75	c bounds 7270157 >= -70 @ 16.3786
127.25/127.75	c bounds 7267037 >= -70 @ 16.448
127.25/127.75	c bounds 7245791 >= -70 @ 16.5719
127.25/127.75	c bounds 7245121 >= -70 @ 16.6615
127.25/127.75	c bounds 7198861 >= -70 @ 16.7336
127.25/127.75	c bounds 7194709 >= -70 @ 16.8059
127.25/127.75	c bounds 7182143 >= -70 @ 17.1272
127.25/127.75	c #Conflicts:       3000 | #Constraints:      19841
127.25/127.75	c bounds 7174957 >= -70 @ 27.0895
127.25/127.75	c bounds 6800845 >= -70 @ 27.3473
127.25/127.75	c bounds 6793975 >= -70 @ 28.784
127.25/127.75	c bounds 6753787 >= -70 @ 31.0618
127.25/127.75	c #Conflicts:       4000 | #Constraints:      20847
127.25/127.75	c bounds 6735609 >= -70 @ 31.2918
127.25/127.75	c INPROCESSING
127.25/127.75	c GARBAGE COLLECT
127.25/127.75	c bounds 6731467 >= -70 @ 32.5185
127.25/127.75	c bounds 6727879 >= -70 @ 32.7154
127.25/127.75	c bounds 6719239 >= -70 @ 32.7817
127.25/127.75	c bounds 6703441 >= -70 @ 32.9038
127.25/127.75	c bounds 6681417 >= -70 @ 33.0054
127.25/127.75	c bounds 6680059 >= -70 @ 33.0735
127.25/127.75	c bounds 6670387 >= -70 @ 33.384
127.25/127.75	c bounds 6656545 >= -70 @ 33.5825
127.25/127.75	c bounds 6325143 >= -70 @ 33.7886
127.25/127.75	c #Conflicts:       5000 | #Constraints:      19965
127.25/127.75	c #Conflicts:       6000 | #Constraints:      20968
127.25/127.75	c INPROCESSING
127.25/127.75	c GARBAGE COLLECT
127.25/127.75	c bounds 6322111 >= -70 @ 59.3255
127.25/127.75	c #Conflicts:       7000 | #Constraints:      19815
127.25/127.75	c bounds 6294129 >= -70 @ 70.3796
127.25/127.75	c #Conflicts:       8000 | #Constraints:      20816
127.25/127.75	c #Conflicts:       9000 | #Constraints:      21817
127.25/127.75	c INPROCESSING
127.25/127.75	c GARBAGE COLLECT
127.25/127.75	c bounds 6289323 >= -70 @ 88.1696
127.25/127.75	c bounds 6282809 >= -70 @ 88.2936
127.25/127.75	c bounds 6267607 >= -70 @ 88.6413
127.25/127.75	c bounds 6260053 >= -70 @ 88.7959
127.25/127.75	c bounds 6240633 >= -70 @ 89.5507
127.25/127.75	c bounds 6233235 >= -70 @ 90.0423
127.25/127.75	c bounds 6219971 >= -70 @ 90.6722
127.25/127.75	c bounds 6208595 >= -70 @ 91.1016
127.25/127.75	c bounds 6190849 >= -70 @ 91.302
127.25/127.75	c bounds 6162851 >= -70 @ 91.5245
127.25/127.75	c bounds 6132825 >= -70 @ 93.6257
127.25/127.75	c bounds 6132643 >= -70 @ 93.8517
127.25/127.75	c bounds 6121673 >= -70 @ 94.1588
127.25/127.75	c bounds 6114723 >= -70 @ 94.4681
127.25/127.75	c bounds 6097323 >= -70 @ 101.46
127.25/127.75	c bounds 6084877 >= -70 @ 101.992
127.25/127.75	c #Conflicts:      10000 | #Constraints:      20552
127.25/127.75	c bounds 6074267 >= -70 @ 105.822
127.25/127.75	c bounds 6073131 >= -70 @ 108.316
127.25/127.75	c bounds 6070067 >= -70 @ 108.856
127.25/127.75	c #Conflicts:      11000 | #Constraints:      21555
127.25/127.75	c bounds 6067855 >= -70 @ 120.719
127.25/127.75	c bounds 5920979 >= -70 @ 121.044
127.25/127.75	c bounds 5918873 >= -70 @ 121.343
127.25/127.75	c bounds 5906463 >= -70 @ 121.992
127.25/127.75	c #Conflicts:      12000 | #Constraints:      22559
127.25/127.75	c INPROCESSING
127.25/127.75	c GARBAGE COLLECT
127.25/127.75	c bounds 5882537 >= -70 @ 124.283
127.25/127.75	c bounds 5881083 >= -70 @ 124.583
127.25/127.75	c bounds 5874409 >= -70 @ 124.8
127.25/127.75	c bounds 5853535 >= -70 @ 125.139
127.25/127.75	c bounds 5846001 >= -70 @ 125.277
127.25/127.75	c bounds 5842185 >= -70 @ 125.407
127.25/127.75	c bounds 5781319 >= -70 @ 125.649
170.50/171.12	c bounds 5776535 >= -70 @ 126.042
170.50/171.12	c bounds 5775247 >= -70 @ 126.198
170.50/171.12	c bounds 5730759 >= -70 @ 127.285
170.50/171.12	c bounds 5728117 >= -70 @ 127.521
170.50/171.12	c bounds 5703731 >= -70 @ 127.822
170.50/171.12	c bounds 5639581 >= -70 @ 128.06
170.50/171.12	c bounds 5636223 >= -70 @ 128.998
170.50/171.12	c bounds 5615331 >= -70 @ 129.566
170.50/171.12	c bounds 5614375 >= -70 @ 129.712
170.50/171.12	c bounds 5611955 >= -70 @ 130.606
170.50/171.12	c bounds 5572969 >= -70 @ 130.766
170.50/171.12	c bounds 5570561 >= -70 @ 131.108
170.50/171.12	c bounds 5566547 >= -70 @ 131.657
170.50/171.12	c bounds 5563619 >= -70 @ 133.778
170.50/171.12	c bounds 5546851 >= -70 @ 133.96
170.50/171.12	c bounds 5544877 >= -70 @ 134.099
170.50/171.12	c bounds 5508165 >= -70 @ 135.102
170.50/171.12	c bounds 5505117 >= -70 @ 135.567
170.50/171.12	c bounds 5503701 >= -70 @ 135.805
170.50/171.12	c #Conflicts:      13000 | #Constraints:      20866
170.50/171.12	c bounds 5496263 >= -70 @ 138.175
170.50/171.12	c bounds 5492417 >= -70 @ 138.837
170.50/171.12	c #Conflicts:      14000 | #Constraints:      21868
170.50/171.12	c #Conflicts:      15000 | #Constraints:      22868
170.50/171.12	c INPROCESSING
170.50/171.12	c GARBAGE COLLECT
170.50/171.12	c rational objective 1.7867e+06
323.85/325.01	c bounds 5489953 >= -70 @ 169.407
323.85/325.01	c bounds 5489183 >= -70 @ 169.611
323.85/325.01	c bounds 5487967 >= -70 @ 170.036
323.85/325.01	c bounds 5486335 >= -70 @ 170.844
323.85/325.01	c bounds 5482381 >= -70 @ 171.198
323.85/325.01	c bounds 5473133 >= -70 @ 171.662
323.85/325.01	c bounds 5472085 >= -70 @ 171.827
323.85/325.01	c bounds 5472055 >= -70 @ 172.2
323.85/325.01	c bounds 5464393 >= -70 @ 172.719
323.85/325.01	c bounds 5461999 >= -70 @ 173.628
323.85/325.01	c bounds 5438405 >= -70 @ 173.803
323.85/325.01	c bounds 5437115 >= -70 @ 174.211
323.85/325.01	c bounds 5436729 >= -70 @ 174.538
323.85/325.01	c bounds 5432125 >= -70 @ 174.918
323.85/325.01	c bounds 5406967 >= -70 @ 176.576
323.85/325.01	c bounds 5394551 >= -70 @ 177.699
323.85/325.01	c #Conflicts:      16000 | #Constraints:      20943
323.85/325.01	c bounds 5394225 >= -70 @ 182.896
323.85/325.01	c bounds 5359267 >= -70 @ 188.749
323.85/325.01	c #Conflicts:      17000 | #Constraints:      21945
323.85/325.01	c #Conflicts:      18000 | #Constraints:      22945
323.85/325.01	c INPROCESSING
323.85/325.01	c GARBAGE COLLECT
323.85/325.01	c #Conflicts:      19000 | #Constraints:      20855
323.85/325.01	c #Conflicts:      20000 | #Constraints:      21855
323.85/325.01	c #Conflicts:      21000 | #Constraints:      22855
323.85/325.01	c INPROCESSING
323.85/325.01	c GARBAGE COLLECT
323.85/325.01	c #Conflicts:      22000 | #Constraints:      20592
323.85/325.01	c #Conflicts:      23000 | #Constraints:      21592
323.85/325.01	c #Conflicts:      24000 | #Constraints:      22592
323.85/325.01	c #Conflicts:      25000 | #Constraints:      23592
323.85/325.01	c INPROCESSING
323.85/325.01	c GARBAGE COLLECT
323.85/325.01	c rational objective 1.78833e+06
472.32/474.06	c bounds 5357053 >= -70 @ 325.251
472.32/474.06	c bounds 5355555 >= -70 @ 325.483
472.32/474.06	c bounds 5355027 >= -70 @ 326.093
472.32/474.06	c bounds 5331645 >= -70 @ 326.514
472.32/474.06	c bounds 5328595 >= -70 @ 327.001
472.32/474.06	c bounds 5328003 >= -70 @ 327.389
472.32/474.06	c bounds 5323035 >= -70 @ 327.857
472.32/474.06	c bounds 5321537 >= -70 @ 328.114
472.32/474.06	c bounds 5304513 >= -70 @ 329.931
472.32/474.06	c bounds 5298783 >= -70 @ 330.415
472.32/474.06	c #Conflicts:      26000 | #Constraints:      21213
472.32/474.06	c bounds 5291039 >= -70 @ 330.782
472.32/474.06	c bounds 5283161 >= -70 @ 331.925
472.32/474.06	c bounds 5190845 >= -70 @ 343.67
472.32/474.06	c bounds 5176181 >= -70 @ 344.136
472.32/474.06	c bounds 5108431 >= -70 @ 344.337
472.32/474.06	c #Conflicts:      27000 | #Constraints:      22222
472.32/474.06	c bounds 5096365 >= -70 @ 347.093
472.32/474.06	c bounds 5093449 >= -70 @ 347.347
472.32/474.06	c bounds 5092351 >= -70 @ 347.815
472.32/474.06	c bounds 5087737 >= -70 @ 348.096
472.32/474.06	c bounds 5085457 >= -70 @ 349.04
472.32/474.06	c bounds 5081027 >= -70 @ 349.824
472.32/474.06	c bounds 5074123 >= -70 @ 350.261
472.32/474.06	c bounds 5044617 >= -70 @ 350.519
472.32/474.06	c bounds 5044343 >= -70 @ 352.059
472.32/474.06	c bounds 5043541 >= -70 @ 352.417
472.32/474.06	c bounds 5043455 >= -70 @ 352.694
472.32/474.06	c bounds 5042927 >= -70 @ 353.884
472.32/474.06	c #Conflicts:      28000 | #Constraints:      23243
472.32/474.06	c bounds 5017937 >= -70 @ 359.265
472.32/474.06	c bounds 5016781 >= -70 @ 359.635
472.32/474.06	c bounds 5008269 >= -70 @ 359.985
472.32/474.06	c bounds 5008237 >= -70 @ 360.311
472.32/474.06	c bounds 5003715 >= -70 @ 360.599
472.32/474.06	c bounds 4979343 >= -70 @ 361.119
472.32/474.06	c bounds 4971423 >= -70 @ 361.833
472.32/474.06	c bounds 4968189 >= -70 @ 362.519
472.32/474.06	c bounds 4963199 >= -70 @ 363.317
472.32/474.06	c bounds 4956353 >= -70 @ 363.927
472.32/474.06	c bounds 4938951 >= -70 @ 364.366
472.32/474.06	c bounds 4928663 >= -70 @ 364.79
472.32/474.06	c bounds 4927541 >= -70 @ 365.201
472.32/474.06	c bounds 4927341 >= -70 @ 365.549
472.32/474.06	c bounds 4901221 >= -70 @ 366.246
472.32/474.06	c bounds 4899365 >= -70 @ 366.663
472.32/474.06	c bounds 4897783 >= -70 @ 371.511
472.32/474.06	c bounds 4897369 >= -70 @ 371.919
472.32/474.06	c bounds 4886223 >= -70 @ 372.655
472.32/474.06	c bounds 4883665 >= -70 @ 373.26
472.32/474.06	c bounds 4880475 >= -70 @ 376.284
472.32/474.06	c bounds 4836223 >= -70 @ 376.771
472.32/474.06	c bounds 4824015 >= -70 @ 379.044
472.32/474.06	c bounds 4811495 >= -70 @ 379.659
472.32/474.06	c bounds 4795081 >= -70 @ 380.462
472.32/474.06	c #Conflicts:      29000 | #Constraints:      24273
472.32/474.06	c INPROCESSING
472.32/474.06	c GARBAGE COLLECT
472.32/474.06	c bounds 4794449 >= -70 @ 381.494
472.32/474.06	c bounds 4790801 >= -70 @ 382.413
472.32/474.06	c bounds 4790679 >= -70 @ 382.544
472.32/474.06	c bounds 4789497 >= -70 @ 382.68
472.32/474.06	c bounds 4788399 >= -70 @ 382.853
472.32/474.06	c bounds 4785199 >= -70 @ 383.273
472.32/474.06	c bounds 4781775 >= -70 @ 383.589
472.32/474.06	c bounds 4756573 >= -70 @ 383.793
472.32/474.06	c bounds 4755797 >= -70 @ 386.172
472.32/474.06	c bounds 4755761 >= -70 @ 386.348
472.32/474.06	c bounds 4753463 >= -70 @ 386.56
472.32/474.06	c bounds 4752401 >= -70 @ 386.738
472.32/474.06	c bounds 4752119 >= -70 @ 387.164
472.32/474.06	c bounds 4719359 >= -70 @ 387.36
472.32/474.06	c bounds 4717007 >= -70 @ 387.673
472.32/474.06	c bounds 4706639 >= -70 @ 388.239
472.32/474.06	c bounds 4691213 >= -70 @ 388.484
472.32/474.06	c bounds 4690115 >= -70 @ 388.855
472.32/474.06	c bounds 4687571 >= -70 @ 389.114
472.32/474.06	c bounds 4686965 >= -70 @ 389.707
472.32/474.06	c #Conflicts:      30000 | #Constraints:      21439
472.32/474.06	c bounds 4665781 >= -70 @ 392.654
472.32/474.06	c bounds 4661095 >= -70 @ 392.887
472.32/474.06	c bounds 4660981 >= -70 @ 393.186
472.32/474.06	c bounds 4649221 >= -70 @ 393.733
472.32/474.06	c bounds 4643293 >= -70 @ 394.425
472.32/474.06	c bounds 4642491 >= -70 @ 396.141
472.32/474.06	c bounds 4639419 >= -70 @ 396.377
472.32/474.06	c bounds 4626405 >= -70 @ 398.03
472.32/474.06	c bounds 4625661 >= -70 @ 398.283
472.32/474.06	c bounds 4612925 >= -70 @ 399.148
472.32/474.06	c bounds 4605379 >= -70 @ 401.639
472.32/474.06	c bounds 4604561 >= -70 @ 402.904
472.32/474.06	c bounds 4604419 >= -70 @ 403.882
472.32/474.06	c bounds 4591097 >= -70 @ 404.333
472.32/474.06	c bounds 4586177 >= -70 @ 405.016
472.32/474.06	c bounds 4582233 >= -70 @ 405.592
472.32/474.06	c #Conflicts:      31000 | #Constraints:      22468
472.32/474.06	c bounds 4577525 >= -70 @ 407.363
472.32/474.06	c bounds 4575287 >= -70 @ 413.092
472.32/474.06	c bounds 4572509 >= -70 @ 415.8
472.32/474.06	c bounds 4559151 >= -70 @ 418.753
472.32/474.06	c #Conflicts:      32000 | #Constraints:      23478
472.32/474.06	c #Conflicts:      33000 | #Constraints:      24480
472.32/474.06	c INPROCESSING
472.32/474.06	c GARBAGE COLLECT
472.32/474.06	c bounds 4557911 >= -70 @ 448.03
472.32/474.06	c bounds 4557887 >= -70 @ 448.362
472.32/474.06	c bounds 4557719 >= -70 @ 448.526
472.32/474.06	c bounds 4557337 >= -70 @ 448.978
472.32/474.06	c bounds 4555411 >= -70 @ 451.297
472.32/474.06	c bounds 4553677 >= -70 @ 451.474
472.32/474.06	c bounds 4543807 >= -70 @ 452.371
472.32/474.06	c bounds 4543261 >= -70 @ 456.969
472.32/474.06	c #Conflicts:      34000 | #Constraints:      21523
472.32/474.06	c bounds 4537181 >= -70 @ 459.95
472.32/474.06	c bounds 4531487 >= -70 @ 460.209
472.32/474.06	c bounds 4531337 >= -70 @ 461.606
472.32/474.06	c bounds 4529009 >= -70 @ 462.027
472.32/474.06	c bounds 4512521 >= -70 @ 463.879
472.32/474.06	c #Conflicts:      35000 | #Constraints:      22550
518.84/520.70	c bounds 4512177 >= -70 @ 469.833
518.84/520.70	c bounds 4512083 >= -70 @ 470.158
518.84/520.70	c bounds 4511969 >= -70 @ 470.876
518.84/520.70	c bounds 4511895 >= -70 @ 471.233
518.84/520.70	c bounds 4510567 >= -70 @ 472.727
518.84/520.70	c bounds 4510021 >= -70 @ 473.073
518.84/520.70	c bounds 4509871 >= -70 @ 473.471
518.84/520.70	c #Conflicts:      36000 | #Constraints:      23559
518.84/520.70	c #Conflicts:      37000 | #Constraints:      24560
518.84/520.70	c INPROCESSING
518.84/520.70	c GARBAGE COLLECT
518.84/520.70	c rational objective 1.79892e+06
827.31/830.23	c #Conflicts:      38000 | #Constraints:      21447
827.31/830.23	c #Conflicts:      39000 | #Constraints:      22447
827.31/830.23	c #Conflicts:      40000 | #Constraints:      23447
827.31/830.23	c #Conflicts:      41000 | #Constraints:      24448
827.31/830.23	c INPROCESSING
827.31/830.23	c GARBAGE COLLECT
827.31/830.23	c #Conflicts:      42000 | #Constraints:      20845
827.31/830.23	c #Conflicts:      43000 | #Constraints:      21846
827.31/830.23	c #Conflicts:      44000 | #Constraints:      22846
827.31/830.23	c #Conflicts:      45000 | #Constraints:      23847
827.31/830.23	c #Conflicts:      46000 | #Constraints:      24850
827.31/830.23	c INPROCESSING
827.31/830.23	c GARBAGE COLLECT
827.31/830.23	c #Conflicts:      47000 | #Constraints:      21393
827.31/830.23	c #Conflicts:      48000 | #Constraints:      22393
827.31/830.23	c #Conflicts:      49000 | #Constraints:      23393
827.31/830.23	c #Conflicts:      50000 | #Constraints:      24394
827.31/830.23	c #Conflicts:      51000 | #Constraints:      25399
827.31/830.23	c INPROCESSING
827.31/830.23	c GARBAGE COLLECT
827.31/830.23	c #Conflicts:      52000 | #Constraints:      21896
827.31/830.23	c #Conflicts:      53000 | #Constraints:      22896
827.31/830.23	c #Conflicts:      54000 | #Constraints:      23896
827.31/830.23	c #Conflicts:      55000 | #Constraints:      24897
827.31/830.23	c #Conflicts:      56000 | #Constraints:      25899
827.31/830.23	c INPROCESSING
827.31/830.23	c GARBAGE COLLECT
827.31/830.23	c rational objective 1.8067e+06
902.54/905.71	c #Conflicts:      57000 | #Constraints:      21975
902.54/905.71	c #Conflicts:      58000 | #Constraints:      22977
902.54/905.71	c #Conflicts:      59000 | #Constraints:      23977
902.54/905.71	c #Conflicts:      60000 | #Constraints:      24977
902.54/905.71	c #Conflicts:      61000 | #Constraints:      25977
902.54/905.71	c INPROCESSING
902.54/905.71	c GARBAGE COLLECT
902.54/905.71	c bounds 4507987 >= -70 @ 879.901
902.54/905.71	c bounds 4507961 >= -70 @ 880.605
902.54/905.71	c bounds 4507307 >= -70 @ 880.709
902.54/905.71	c bounds 4505627 >= -70 @ 880.798
902.54/905.71	c #Conflicts:      62000 | #Constraints:      21478
902.54/905.71	WSVECS04 Frhs2[266]: 6 -59049 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[372]: 6 -73984 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[398]: 6 -58081 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[408]: 6 -37249 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[746]: 6 -40804 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[886]: 6 -36100 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[994]: 6 -73984 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[1376]: 6 -34969 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[1876]: 6 -45369 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2226]: 6 -38809 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2366]: 6 -32041 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2816]: 6 -64009 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2820]: 6 -36100 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2842]: 6 -57121 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2849]: 6 -40804 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2860]: 6 -65536 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2863]: 6 -37249 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2868]: 6 -36481 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[2954]: 6 -58081 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3056]: 6 -40804 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3573]: 6 -32041 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3575]: 6 -42436 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3579]: 6 -58081 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3582]: 6 -59049 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3603]: 6 -45369 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3608]: 6 -38809 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3629]: 6 -40000 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3636]: 6 -73984 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3640]: 6 -23104 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3724]: 6 -37249 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3836]: 6 -40000 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3906]: 6 -42436 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[3966]: 6 -65536 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4396]: 6 -73984 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4526]: 6 -36481 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4746]: 6 -23104 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4956]: 6 -58081 0 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4972]: 6 0 1.00001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4974]: 6 0 1.0001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4975]: 6 0 1.00005 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4976]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4978]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4979]: 6 0 1.00005 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4980]: 6 0 1.00008 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4981]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4982]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4983]: 6 0 1.00008 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4985]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4987]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4988]: 6 0 1.00008 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4991]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4992]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4996]: 6 0 1.00001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4998]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[4999]: 6 0 1.00001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5000]: 6 0 1.00001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5001]: 6 0 1.0001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5003]: 6 0 1.00005 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5005]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5006]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5008]: 6 0 1.00007 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5010]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5011]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5012]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5013]: 6 0 1.00005 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5018]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5020]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5021]: 6 0 1.00008 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5022]: 6 0 1.00004 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5023]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5024]: 6 0 1.0001 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5027]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5028]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5029]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5031]: 6 0 1.00006 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5032]: 6 0 1.00009 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5034]: 6 0 1.00005 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5035]: 6 0 1.00003 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5036]: 6 0 1.00002 shouldn't be
902.54/905.71	WSVECS04 Frhs2[5040]: 6 0 1.00009 shouldn't be
1064.60/1068.42	c #Conflicts:      63000 | #Constraints:      22478
1064.60/1068.42	c bounds 4486323 >= -70 @ 909.311
1064.60/1068.42	c bounds 4483071 >= -70 @ 911.589
1064.60/1068.42	c bounds 4443507 >= -70 @ 915.377
1064.60/1068.42	c bounds 4440441 >= -70 @ 915.586
1064.60/1068.42	c bounds 4434953 >= -70 @ 917.032
1064.60/1068.42	c bounds 4432895 >= -70 @ 917.235
1064.60/1068.42	c #Conflicts:      64000 | #Constraints:      23484
1064.60/1068.42	c #Conflicts:      65000 | #Constraints:      24484
1064.60/1068.42	c #Conflicts:      66000 | #Constraints:      25484
1064.60/1068.42	c INPROCESSING
1064.60/1068.42	c GARBAGE COLLECT
1064.60/1068.42	c #Conflicts:      67000 | #Constraints:      21136
1064.60/1068.42	c #Conflicts:      68000 | #Constraints:      22136
1064.60/1068.42	c #Conflicts:      69000 | #Constraints:      23136
1064.60/1068.42	c #Conflicts:      70000 | #Constraints:      24136
1064.60/1068.42	c #Conflicts:      71000 | #Constraints:      25136
1064.60/1068.42	c #Conflicts:      72000 | #Constraints:      26136
1064.60/1068.42	c INPROCESSING
1064.60/1068.42	c GARBAGE COLLECT
1064.60/1068.42	WSVECS04 Frhs2[4971]: 6 0 1.00005 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[4977]: 6 0 1.00008 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[4984]: 6 0 1.00009 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[4993]: 6 0 1.00005 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[4994]: 6 0 1.0001 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[4995]: 6 0 1.00005 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5002]: 6 0 1.0001 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5004]: 6 0 1.00006 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5009]: 6 0 1.00003 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5014]: 6 0 1.00007 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5015]: 6 0 1.00004 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5017]: 6 0 1.00006 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5019]: 6 0 1.00006 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5025]: 6 0 1.00008 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5026]: 6 0 1.00005 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5038]: 6 0 1.00003 shouldn't be
1064.60/1068.42	WSVECS04 Frhs2[5039]: 6 0 1.00009 shouldn't be
1067.09/1070.92	c rational objective 1.8073e+06
1242.51/1247.05	c bounds 4413663 >= -70 @ 1060.85
1242.51/1247.05	c bounds 4412069 >= -70 @ 1060.93
1242.51/1247.05	c bounds 4388597 >= -70 @ 1061.18
1242.51/1247.05	c bounds 4333343 >= -70 @ 1061.31
1242.51/1247.05	c bounds 4313773 >= -70 @ 1061.48
1242.51/1247.05	c bounds 4281985 >= -70 @ 1061.86
1242.51/1247.05	c bounds 4277043 >= -70 @ 1062.25
1242.51/1247.05	c bounds 4261017 >= -70 @ 1062.82
1242.51/1247.05	c bounds 4245933 >= -70 @ 1062.9
1242.51/1247.05	c bounds 4218037 >= -70 @ 1063.11
1242.51/1247.05	c bounds 4182459 >= -70 @ 1063.24
1242.51/1247.05	c bounds 4177573 >= -70 @ 1063.4
1242.51/1247.05	c bounds 4173459 >= -70 @ 1063.56
1242.51/1247.05	c bounds 4163497 >= -70 @ 1064.38
1242.51/1247.05	c bounds 4156745 >= -70 @ 1064.49
1242.51/1247.05	c bounds 4147563 >= -70 @ 1065.01
1242.51/1247.05	c bounds 4140165 >= -70 @ 1065.7
1242.51/1247.05	c bounds 4139139 >= -70 @ 1065.95
1242.51/1247.05	c bounds 4134573 >= -70 @ 1066.33
1242.51/1247.05	c bounds 4132395 >= -70 @ 1066.46
1242.51/1247.05	c bounds 4130319 >= -70 @ 1066.88
1242.51/1247.05	c bounds 4129671 >= -70 @ 1067
1242.51/1247.05	c bounds 4123215 >= -70 @ 1067.14
1242.51/1247.05	c bounds 4105107 >= -70 @ 1067.29
1242.51/1247.05	c #Conflicts:      73000 | #Constraints:      21629
1242.51/1247.05	c bounds 4103859 >= -70 @ 1067.64
1242.51/1247.05	c bounds 4101311 >= -70 @ 1067.73
1242.51/1247.05	c bounds 4099745 >= -70 @ 1067.87
1242.51/1247.05	c bounds 4083815 >= -70 @ 1069.29
1242.51/1247.05	c bounds 4056857 >= -70 @ 1070.8
1242.51/1247.05	c bounds 4049147 >= -70 @ 1072.22
1242.51/1247.05	c bounds 4045107 >= -70 @ 1072.41
1242.51/1247.05	c bounds 4043443 >= -70 @ 1073.9
1242.51/1247.05	c bounds 4042425 >= -70 @ 1075.07
1242.51/1247.05	c bounds 4040293 >= -70 @ 1075.53
1242.51/1247.05	c bounds 4038687 >= -70 @ 1076.12
1242.51/1247.05	c bounds 4028645 >= -70 @ 1076.28
1242.51/1247.05	c #Conflicts:      74000 | #Constraints:      22641
1242.51/1247.05	c bounds 4025261 >= -70 @ 1076.59
1242.51/1247.05	c bounds 4017783 >= -70 @ 1076.8
1242.51/1247.05	c bounds 4012919 >= -70 @ 1078.18
1242.51/1247.05	c bounds 4007419 >= -70 @ 1079.44
1242.51/1247.05	c bounds 4003861 >= -70 @ 1081.67
1242.51/1247.05	c bounds 3996021 >= -70 @ 1082.08
1242.51/1247.05	c bounds 3989843 >= -70 @ 1082.74
1242.51/1247.05	c bounds 3984109 >= -70 @ 1084.64
1242.51/1247.05	c #Conflicts:      75000 | #Constraints:      23649
1242.51/1247.05	c bounds 3979271 >= -70 @ 1090.52
1242.51/1247.05	c bounds 3978305 >= -70 @ 1090.99
1242.51/1247.05	c bounds 3954455 >= -70 @ 1091.46
1242.51/1247.05	c bounds 3954375 >= -70 @ 1094.97
1242.51/1247.05	c bounds 3944513 >= -70 @ 1095.56
1242.51/1247.05	c bounds 3941753 >= -70 @ 1098.84
1242.51/1247.05	c #Conflicts:      76000 | #Constraints:      24655
1242.51/1247.05	c #Conflicts:      77000 | #Constraints:      25655
1242.51/1247.05	c #Conflicts:      78000 | #Constraints:      26655
1242.51/1247.05	c INPROCESSING
1242.51/1247.05	c GARBAGE COLLECT
1242.51/1247.05	c bounds 3935729 >= -70 @ 1144.89
1242.51/1247.05	c #Conflicts:      79000 | #Constraints:      21986
1242.51/1247.05	c bounds 3933777 >= -70 @ 1153.05
1242.51/1247.05	c #Conflicts:      80000 | #Constraints:      22991
1242.51/1247.05	c bounds 3928635 >= -70 @ 1155.28
1242.51/1247.05	c #Conflicts:      81000 | #Constraints:      24010
1242.51/1247.05	c #Conflicts:      82000 | #Constraints:      25014
1242.51/1247.05	c #Conflicts:      83000 | #Constraints:      26014
1242.51/1247.05	c #Conflicts:      84000 | #Constraints:      27014
1242.51/1247.05	c INPROCESSING
1242.51/1247.05	c GARBAGE COLLECT
1242.51/1247.05	c rational objective 1.81863e+06
1375.36/1380.45	c #Conflicts:      85000 | #Constraints:      22102
1375.36/1380.45	c #Conflicts:      86000 | #Constraints:      23102
1375.36/1380.45	c #Conflicts:      87000 | #Constraints:      24102
1375.36/1380.45	c #Conflicts:      88000 | #Constraints:      25104
1375.36/1380.45	c #Conflicts:      89000 | #Constraints:      26104
1375.36/1380.45	c #Conflicts:      90000 | #Constraints:      27104
1375.36/1380.45	c INPROCESSING
1375.36/1380.45	c GARBAGE COLLECT
1375.36/1380.45	c #Conflicts:      91000 | #Constraints:      21897
1375.36/1380.45	c #Conflicts:      92000 | #Constraints:      22898
1375.36/1380.45	c #Conflicts:      93000 | #Constraints:      23903
1375.36/1380.45	c #Conflicts:      94000 | #Constraints:      24906
1375.36/1380.45	c #Conflicts:      95000 | #Constraints:      25908
1375.36/1380.45	c #Conflicts:      96000 | #Constraints:      26915
1375.36/1380.45	c bounds 3924501 >= -70 @ 1348.27
1375.36/1380.45	c bounds 3916571 >= -70 @ 1359.21
1375.36/1380.45	c INPROCESSING
1375.36/1380.45	c GARBAGE COLLECT
1375.36/1380.45	c rational objective 1.82033e+06
1542.41/1548.12	c #Conflicts:      97000 | #Constraints:      21715
1542.41/1548.12	c #Conflicts:      98000 | #Constraints:      22715
1542.41/1548.12	c #Conflicts:      99000 | #Constraints:      23715
1542.41/1548.12	c #Conflicts:     100000 | #Constraints:      24715
1542.41/1548.12	c #Conflicts:     101000 | #Constraints:      25715
1542.41/1548.12	c #Conflicts:     102000 | #Constraints:      26715
1542.41/1548.12	c #Conflicts:     103000 | #Constraints:      27715
1542.41/1548.12	c INPROCESSING
1542.41/1548.12	c GARBAGE COLLECT
1542.41/1548.12	c #Conflicts:     104000 | #Constraints:      22271
1542.41/1548.12	c #Conflicts:     105000 | #Constraints:      23271
1542.41/1548.12	c #Conflicts:     106000 | #Constraints:      24271
1542.41/1548.12	c #Conflicts:     107000 | #Constraints:      25271
1542.41/1548.12	c #Conflicts:     108000 | #Constraints:      26271
1542.41/1548.12	c #Conflicts:     109000 | #Constraints:      27271
1542.41/1548.12	c #Conflicts:     110000 | #Constraints:      28271
1542.41/1548.12	c INPROCESSING
1542.41/1548.12	c GARBAGE COLLECT
1542.41/1548.12	c rational objective 1.82201e+06
1654.96/1661.12	c bounds 3914587 >= -70 @ 1533.74
1654.96/1661.12	c bounds 3911707 >= -70 @ 1535.63
1654.96/1661.12	c bounds 3909643 >= -70 @ 1535.73
1654.96/1661.12	c bounds 3908463 >= -70 @ 1537.78
1654.96/1661.12	c #Conflicts:     111000 | #Constraints:      22610
1654.96/1661.12	c #Conflicts:     112000 | #Constraints:      23610
1654.96/1661.12	c #Conflicts:     113000 | #Constraints:      24610
1654.96/1661.12	c bounds 3908269 >= -70 @ 1561.79
1654.96/1661.12	c bounds 3906211 >= -70 @ 1564.15
1654.96/1661.12	c bounds 3896033 >= -70 @ 1567.45
1654.96/1661.12	c bounds 3894925 >= -70 @ 1570.59
1654.96/1661.12	c bounds 3892789 >= -70 @ 1570.88
1654.96/1661.12	c #Conflicts:     114000 | #Constraints:      25617
1654.96/1661.12	c #Conflicts:     115000 | #Constraints:      26621
1654.96/1661.12	c #Conflicts:     116000 | #Constraints:      27621
1654.96/1661.12	c #Conflicts:     117000 | #Constraints:      28623
1654.96/1661.12	c INPROCESSING
1654.96/1661.12	c GARBAGE COLLECT
1654.96/1661.12	c rational objective 1.82457e+06
1777.28/1783.91	c #Conflicts:     118000 | #Constraints:      22744
1777.28/1783.91	c #Conflicts:     119000 | #Constraints:      23745
1777.28/1783.91	c #Conflicts:     120000 | #Constraints:      24745
1777.28/1783.91	c #Conflicts:     121000 | #Constraints:      25746
1777.28/1783.91	c #Conflicts:     122000 | #Constraints:      26747
1777.28/1783.91	c #Conflicts:     123000 | #Constraints:      27749
1777.28/1783.91	c #Conflicts:     124000 | #Constraints:      28749
1777.28/1783.91	c INPROCESSING
1777.28/1783.91	c GARBAGE COLLECT
1777.28/1783.91	c rational objective 1.82457e+06
1979.80/1987.22	c #Conflicts:     125000 | #Constraints:      22705
1979.80/1987.22	c #Conflicts:     126000 | #Constraints:      23705
1979.80/1987.22	c #Conflicts:     127000 | #Constraints:      24706
1979.80/1987.22	c #Conflicts:     128000 | #Constraints:      25708
1979.80/1987.22	c #Conflicts:     129000 | #Constraints:      26709
1979.80/1987.22	c #Conflicts:     130000 | #Constraints:      27712
1979.80/1987.22	c #Conflicts:     131000 | #Constraints:      28712
1979.80/1987.22	c INPROCESSING
1979.80/1987.22	c GARBAGE COLLECT
1979.80/1987.22	c #Conflicts:     132000 | #Constraints:      22471
1979.80/1987.22	c #Conflicts:     133000 | #Constraints:      23471
1979.80/1987.22	c #Conflicts:     134000 | #Constraints:      24471
1979.80/1987.22	c #Conflicts:     135000 | #Constraints:      25471
1979.80/1987.22	c #Conflicts:     136000 | #Constraints:      26471
1979.80/1987.22	c #Conflicts:     137000 | #Constraints:      27471
1979.80/1987.22	c #Conflicts:     138000 | #Constraints:      28471
1979.80/1987.22	c #Conflicts:     139000 | #Constraints:      29471
1979.80/1987.22	c INPROCESSING
1979.80/1987.22	c GARBAGE COLLECT
1979.80/1987.22	c rational objective 1.82457e+06
2169.68/2177.82	c #Conflicts:     140000 | #Constraints:      23111
2169.68/2177.82	c #Conflicts:     141000 | #Constraints:      24111
2169.68/2177.82	c #Conflicts:     142000 | #Constraints:      25113
2169.68/2177.82	c #Conflicts:     143000 | #Constraints:      26119
2169.68/2177.82	c #Conflicts:     144000 | #Constraints:      27119
2169.68/2177.82	c #Conflicts:     145000 | #Constraints:      28119
2169.68/2177.82	c #Conflicts:     146000 | #Constraints:      29119
2169.68/2177.82	c #Conflicts:     147000 | #Constraints:      30119
2169.68/2177.82	c INPROCESSING
2169.68/2177.82	c GARBAGE COLLECT
2169.68/2177.82	c #Conflicts:     148000 | #Constraints:      23444
2169.68/2177.82	c #Conflicts:     149000 | #Constraints:      24444
2169.68/2177.82	c #Conflicts:     150000 | #Constraints:      25444
2169.68/2177.82	c #Conflicts:     151000 | #Constraints:      26444
2169.68/2177.82	c #Conflicts:     152000 | #Constraints:      27445
2169.68/2177.82	c #Conflicts:     153000 | #Constraints:      28445
2169.68/2177.82	c #Conflicts:     154000 | #Constraints:      29446
2169.68/2177.82	c #Conflicts:     155000 | #Constraints:      30447
2169.68/2177.82	c INPROCESSING
2169.68/2177.82	c GARBAGE COLLECT
2169.68/2177.82	c rational objective 1.82457e+06
2371.02/2379.98	c #Conflicts:     156000 | #Constraints:      23646
2371.02/2379.98	c #Conflicts:     157000 | #Constraints:      24648
2371.02/2379.98	c #Conflicts:     158000 | #Constraints:      25650
2371.02/2379.98	c #Conflicts:     159000 | #Constraints:      26653
2371.02/2379.98	c #Conflicts:     160000 | #Constraints:      27655
2371.02/2379.98	c #Conflicts:     161000 | #Constraints:      28658
2371.02/2379.98	c #Conflicts:     162000 | #Constraints:      29662
2371.02/2379.98	c #Conflicts:     163000 | #Constraints:      30663
2371.02/2379.98	c INPROCESSING
2371.02/2379.98	c GARBAGE COLLECT
2371.02/2379.98	c #Conflicts:     164000 | #Constraints:      23634
2371.02/2379.98	c #Conflicts:     165000 | #Constraints:      24635
2371.02/2379.98	c #Conflicts:     166000 | #Constraints:      25635
2371.02/2379.98	c #Conflicts:     167000 | #Constraints:      26635
2371.02/2379.98	c #Conflicts:     168000 | #Constraints:      27635
2371.02/2379.98	c #Conflicts:     169000 | #Constraints:      28637
2371.02/2379.98	c #Conflicts:     170000 | #Constraints:      29638
2371.02/2379.98	c #Conflicts:     171000 | #Constraints:      30638
2371.02/2379.98	c INPROCESSING
2371.02/2379.98	c GARBAGE COLLECT
2371.02/2379.98	c rational objective 1.82457e+06
2494.75/2504.14	c #Conflicts:     172000 | #Constraints:      23398
2494.75/2504.14	c #Conflicts:     173000 | #Constraints:      24398
2494.75/2504.14	c #Conflicts:     174000 | #Constraints:      25399
2494.75/2504.14	c #Conflicts:     175000 | #Constraints:      26399
2494.75/2504.14	c #Conflicts:     176000 | #Constraints:      27400
2494.75/2504.14	c #Conflicts:     177000 | #Constraints:      28400
2494.75/2504.14	c #Conflicts:     178000 | #Constraints:      29400
2494.75/2504.14	c #Conflicts:     179000 | #Constraints:      30400
2494.75/2504.14	c #Conflicts:     180000 | #Constraints:      31400
2494.75/2504.14	c INPROCESSING
2494.75/2504.14	c GARBAGE COLLECT
2494.75/2504.14	c rational objective 1.82457e+06
2711.69/2722.05	c #Conflicts:     181000 | #Constraints:      24045
2711.69/2722.05	c #Conflicts:     182000 | #Constraints:      25045
2711.69/2722.05	c #Conflicts:     183000 | #Constraints:      26045
2711.69/2722.05	c #Conflicts:     184000 | #Constraints:      27046
2711.69/2722.05	c #Conflicts:     185000 | #Constraints:      28046
2711.69/2722.05	c #Conflicts:     186000 | #Constraints:      29048
2711.69/2722.05	c #Conflicts:     187000 | #Constraints:      30050
2711.69/2722.05	c #Conflicts:     188000 | #Constraints:      31054
2711.69/2722.05	c #Conflicts:     189000 | #Constraints:      32055
2711.69/2722.05	c INPROCESSING
2711.69/2722.05	c GARBAGE COLLECT
2711.69/2722.05	c #Conflicts:     190000 | #Constraints:      24534
2711.69/2722.05	c #Conflicts:     191000 | #Constraints:      25534
2711.69/2722.05	c #Conflicts:     192000 | #Constraints:      26534
2711.69/2722.05	c #Conflicts:     193000 | #Constraints:      27534
2711.69/2722.05	c #Conflicts:     194000 | #Constraints:      28534
2711.69/2722.05	c #Conflicts:     195000 | #Constraints:      29534
2711.69/2722.05	c #Conflicts:     196000 | #Constraints:      30534
2711.69/2722.05	c #Conflicts:     197000 | #Constraints:      31534
2711.69/2722.05	c #Conflicts:     198000 | #Constraints:      32535
2711.69/2722.05	c INPROCESSING
2711.69/2722.05	c GARBAGE COLLECT
2711.69/2722.05	c rational objective 1.82457e+06
2909.30/2920.50	c #Conflicts:     199000 | #Constraints:      24656
2909.30/2920.50	c #Conflicts:     200000 | #Constraints:      25657
2909.30/2920.50	c #Conflicts:     201000 | #Constraints:      26658
2909.30/2920.50	c #Conflicts:     202000 | #Constraints:      27659
2909.30/2920.50	c #Conflicts:     203000 | #Constraints:      28660
2909.30/2920.50	c #Conflicts:     204000 | #Constraints:      29661
2909.30/2920.50	c #Conflicts:     205000 | #Constraints:      30663
2909.30/2920.50	c #Conflicts:     206000 | #Constraints:      31663
2909.30/2920.50	c #Conflicts:     207000 | #Constraints:      32664
2909.30/2920.50	c INPROCESSING
2909.30/2920.50	c GARBAGE COLLECT
2909.30/2920.50	c #Conflicts:     208000 | #Constraints:      24612
2909.30/2920.50	c #Conflicts:     209000 | #Constraints:      25617
2909.30/2920.50	c #Conflicts:     210000 | #Constraints:      26617
2909.30/2920.50	c #Conflicts:     211000 | #Constraints:      27617
2909.30/2920.50	c #Conflicts:     212000 | #Constraints:      28617
2909.30/2920.50	c #Conflicts:     213000 | #Constraints:      29617
2909.30/2920.50	c #Conflicts:     214000 | #Constraints:      30617
2909.30/2920.50	c #Conflicts:     215000 | #Constraints:      31617
2909.30/2920.50	c #Conflicts:     216000 | #Constraints:      32617
2909.30/2920.50	c INPROCESSING
2909.30/2920.50	c GARBAGE COLLECT
2909.30/2920.50	c rational objective 1.82457e+06
3031.87/3043.62	c #Conflicts:     217000 | #Constraints:      24394
3031.87/3043.62	c #Conflicts:     218000 | #Constraints:      25394
3031.87/3043.62	c #Conflicts:     219000 | #Constraints:      26394
3031.87/3043.62	c #Conflicts:     220000 | #Constraints:      27394
3031.87/3043.62	c #Conflicts:     221000 | #Constraints:      28394
3031.87/3043.62	c #Conflicts:     222000 | #Constraints:      29394
3031.87/3043.62	c #Conflicts:     223000 | #Constraints:      30394
3031.87/3043.62	c #Conflicts:     224000 | #Constraints:      31394
3031.87/3043.62	c #Conflicts:     225000 | #Constraints:      32394
3031.87/3043.62	c #Conflicts:     226000 | #Constraints:      33394
3031.87/3043.62	c INPROCESSING
3031.87/3043.62	c GARBAGE COLLECT
3031.87/3043.62	c rational objective 1.82457e+06
3332.55/3345.56	c #Conflicts:     227000 | #Constraints:      24957
3332.55/3345.56	c #Conflicts:     228000 | #Constraints:      25957
3332.55/3345.56	c #Conflicts:     229000 | #Constraints:      26957
3332.55/3345.56	c #Conflicts:     230000 | #Constraints:      27958
3332.55/3345.56	c #Conflicts:     231000 | #Constraints:      28959
3332.55/3345.56	c #Conflicts:     232000 | #Constraints:      29959
3332.55/3345.56	c #Conflicts:     233000 | #Constraints:      30960
3332.55/3345.56	c #Conflicts:     234000 | #Constraints:      31961
3332.55/3345.56	c #Conflicts:     235000 | #Constraints:      32962
3332.55/3345.56	c #Conflicts:     236000 | #Constraints:      33962
3332.55/3345.56	c INPROCESSING
3332.55/3345.56	c GARBAGE COLLECT
3332.55/3345.56	c #Conflicts:     237000 | #Constraints:      25377
3332.55/3345.56	c #Conflicts:     238000 | #Constraints:      26381
3332.55/3345.56	c #Conflicts:     239000 | #Constraints:      27384
3332.55/3345.56	c #Conflicts:     240000 | #Constraints:      28384
3332.55/3345.56	c #Conflicts:     241000 | #Constraints:      29384
3332.55/3345.56	c #Conflicts:     242000 | #Constraints:      30386
3332.55/3345.56	c #Conflicts:     243000 | #Constraints:      31386
3332.55/3345.56	c #Conflicts:     244000 | #Constraints:      32386
3332.55/3345.56	c #Conflicts:     245000 | #Constraints:      33386
3332.55/3345.56	c #Conflicts:     246000 | #Constraints:      34386
3332.55/3345.56	c INPROCESSING
3332.55/3345.56	c GARBAGE COLLECT
3332.55/3345.56	c rational objective 1.82469e+06
3444.05/3457.42	c #Conflicts:     247000 | #Constraints:      25593
3444.05/3457.42	c #Conflicts:     248000 | #Constraints:      26596
3444.05/3457.42	c #Conflicts:     249000 | #Constraints:      27596
3444.05/3457.42	c #Conflicts:     250000 | #Constraints:      28598
3444.05/3457.42	c #Conflicts:     251000 | #Constraints:      29598
3444.05/3457.42	c #Conflicts:     252000 | #Constraints:      30598
3444.05/3457.42	c #Conflicts:     253000 | #Constraints:      31598
3444.05/3457.42	c #Conflicts:     254000 | #Constraints:      32598
3444.05/3457.42	c #Conflicts:     255000 | #Constraints:      33599
3444.05/3457.42	c #Conflicts:     256000 | #Constraints:      34599
3444.05/3457.42	c INPROCESSING
3444.05/3457.42	c GARBAGE COLLECT
3444.05/3457.42	c rational objective 1.82479e+06
3600.00/3613.90	c #Conflicts:     257000 | #Constraints:      25580
3600.00/3613.90	c #Conflicts:     258000 | #Constraints:      26581
3600.00/3613.90	c #Conflicts:     259000 | #Constraints:      27581
3600.00/3613.90	c #Conflicts:     260000 | #Constraints:      28581
3600.00/3613.90	c #Conflicts:     261000 | #Constraints:      29581
3600.00/3613.90	c #Conflicts:     262000 | #Constraints:      30581
3600.00/3613.90	c #Conflicts:     263000 | #Constraints:      31581
3600.00/3613.90	c #Conflicts:     264000 | #Constraints:      32581
3600.00/3613.90	c Program interrupted by user.
3600.00/3613.90	c cpu time 3580.38 s
3600.00/3613.90	c deterministic time 376466244086 3.76e+11
3600.00/3613.90	c optimization time 160.08 s
3600.00/3613.90	c total solve time 3420.23 s
3600.00/3613.90	c core-guided solve time 2055.45 s
3600.00/3613.90	c propagation time 2410.58 s
3600.00/3613.90	c conflict analysis time 925.678 s
3600.00/3613.90	c propagations 131047411
3600.00/3613.90	c resolve steps 8180618
3600.00/3613.90	c decisions 2729126
3600.00/3613.90	c conflicts 264904
3600.00/3613.90	c restarts 635
3600.00/3613.90	c inprocessing phases 42
3600.00/3613.90	c input clauses 21876
3600.00/3613.90	c input cardinalities 9
3600.00/3613.90	c input general constraints 2947
3600.00/3613.90	c input average constraint length 90.04
3600.00/3613.90	c input average constraint degree 56826037.07
3600.00/3613.90	c learned clauses 44197
3600.00/3613.90	c learned cardinalities 525
3600.00/3613.90	c learned general constraints 220462
3600.00/3613.90	c learned average constraint length 3194.66
3600.00/3613.90	c learned average constraint degree 11474525983.17
3600.00/3613.90	c watched constraints 84794
3600.00/3613.90	c counting constraints 138615
3600.00/3613.90	c gcd simplifications 6437
3600.00/3613.90	c detected cardinalities 52
3600.00/3613.90	c weakened non-implied lits 86862697
3600.00/3613.90	c weakened non-implying lits 532102
3600.00/3613.90	c original variables 9940
3600.00/3613.90	c clausal propagations 98842367
3600.00/3613.90	c cardinality propagations 919933
3600.00/3613.90	c watched propagations 2707676
3600.00/3613.90	c counting propagations 28377503
3600.00/3613.90	c watch lookups 54536690471
3600.00/3613.90	c watch backjump lookups 53746594637
3600.00/3613.90	c watch checks 145125663440
3600.00/3613.90	c propagation checks 120706128768
3600.00/3613.90	c constraint additions 2082826657
3600.00/3613.90	c trail pops 134033678
3600.00/3613.90	c formula constraints 24510
3600.00/3613.90	c learned constraints 264622
3600.00/3613.90	c bound constraints 322
3600.00/3613.90	c core-guided constraints 0
3600.00/3613.90	c encountered formula constraints 7410441
3600.00/3613.90	c encountered learned constraints 1018048
3600.00/3613.90	c encountered bound constraints 5223
3600.00/3613.90	c encountered core-guided constraints 0
3600.00/3613.90	c LP total time 254.3 s
3600.00/3613.90	c LP solve time 243.66 s
3600.00/3613.90	c LP constraints added 24543
3600.00/3613.90	c LP constraints removed 16
3600.00/3613.90	c LP pivots internal 265767
3600.00/3613.90	c LP pivots root 264130
3600.00/3613.90	c LP calls 372
3600.00/3613.90	c LP optimalities 86
3600.00/3613.90	c LP no pivot count 16
3600.00/3613.90	c LP infeasibilities 281
3600.00/3613.90	c LP valid Farkas constraints 281
3600.00/3613.90	c LP learned Farkas constraints 281
3600.00/3613.90	c LP basis resets 0
3600.00/3613.90	c LP cycling count 0
3600.00/3613.90	c LP singular count 0
3600.00/3613.90	c LP no primal count 0
3600.00/3613.90	c LP no farkas count 0
3600.00/3613.90	c LP other issue count 0
3600.00/3613.90	c LP Gomory cuts 0
3600.00/3613.90	c LP learned cuts 33
3600.00/3613.90	c LP deleted cuts 16
3600.00/3613.90	c LP encountered Gomory constraints 0
3600.00/3613.90	c LP encountered Farkas constraints 10078
3600.00/3613.90	c LP encountered learned Farkas constraints 1451
3600.00/3613.90	c CG auxiliary variables introduced 0
3600.00/3613.90	c CG solutions found 322
3600.00/3613.90	c CG cores constructed 0
3600.00/3613.90	c CG core cardinality constraints returned 0
3600.00/3613.90	c CG unit cores 0
3600.00/3613.90	c CG single cores 0
3600.00/3613.90	c CG blocks removed during cardinality reduction 0
3600.00/3613.90	c CG first core best 0
3600.00/3613.90	c CG decision core best 0
3600.00/3613.90	c CG core reduction tie 0
3600.00/3613.90	c CG core degree average 0.00
3600.00/3613.90	c CG core slack average 0.00
3600.00/3613.90	s SATISFIABLE
3600.00/3613.90	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

Verifier Data 

OK	3892789

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100084 s]*
/proc/loadavg: 4.17 4.15 4.09 5/251 312582
/proc/meminfo: memFree=61849292/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=59444 memory=30064 CPUtime=0.08 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 6243 0 0 0 6 2 0 0 20 0 1 0 43373814 60870656 7516 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 14861 7516 1724 992 0 6719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 59444 KiB
Current children cumulated memory: 30064 KiB

[startup+0.20558 s]*
/proc/loadavg: 4.17 4.15 4.09 5/251 312582
/proc/meminfo: memFree=63756304/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=58124 memory=28652 CPUtime=0.19 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 6652 0 0 0 17 2 0 0 20 0 1 0 43373814 59518976 7163 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 14531 7163 1724 992 0 6389 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 58124 KiB
Current children cumulated memory: 28652 KiB

[startup+0.30532 s]*
/proc/loadavg: 4.17 4.15 4.09 4/251 312582
/proc/meminfo: memFree=65572400/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=58464 memory=28652 CPUtime=0.3 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 6676 0 0 0 27 3 0 0 20 0 1 0 43373814 59867136 7163 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 14616 7163 1724 992 0 6474 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 58464 KiB
Current children cumulated memory: 28652 KiB

[startup+0.700211 s]
/proc/loadavg: 4.17 4.15 4.09 4/251 312582
/proc/meminfo: memFree=69131416/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=59996 memory=30412 CPUtime=0.68 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 7023 0 0 0 65 3 0 0 20 0 1 0 43373814 61435904 7603 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 14999 7603 1772 992 0 6857 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59996 KiB
Current children cumulated memory: 30412 KiB

[startup+1.50017 s]
/proc/loadavg: 4.17 4.15 4.09 4/251 312582
/proc/meminfo: memFree=78530908/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=60308 memory=31320 CPUtime=1.48 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 7239 0 0 0 144 4 0 0 20 0 1 0 43373814 61755392 7830 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 15077 7830 1803 992 0 6935 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 31320 KiB

[startup+3.10489 s]
/proc/loadavg: 4.17 4.15 4.09 5/256 312611
/proc/meminfo: memFree=113738524/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=60308 memory=33632 CPUtime=3.08 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 7320 0 0 0 292 16 0 0 20 0 1 0 43373814 61755392 8408 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 15077 8408 1803 992 0 6935 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60308 KiB
Current children cumulated memory: 33632 KiB

[startup+6.30019 s]
/proc/loadavg: 4.16 4.15 4.09 5/262 312624
/proc/meminfo: memFree=113156276/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=117240 memory=85660 CPUtime=6.26 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 16681 0 0 0 599 27 0 0 20 0 1 0 43373814 120053760 21415 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 29310 21415 1897 992 0 21168 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 117240 KiB
Current children cumulated memory: 85660 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.08 5/262 312624
/proc/meminfo: memFree=112043888/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=198600 memory=146212 CPUtime=12.64 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 25662 0 0 0 1224 40 0 0 20 0 1 0 43373814 203366400 36553 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 49650 36553 1897 992 0 41508 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 198600 KiB
Current children cumulated memory: 146212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.14 4.08 5/262 312628
/proc/meminfo: memFree=110973332/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=229912 memory=185872 CPUtime=25.4 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 33753 0 0 0 2480 60 0 0 20 0 1 0 43373814 235429888 46468 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 57478 46468 1913 992 0 49336 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 229912 KiB
Current children cumulated memory: 185872 KiB

[startup+51.1056 s]
/proc/loadavg: 4.21 4.16 4.09 5/258 312659
/proc/meminfo: memFree=109876580/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=387124 memory=354108 CPUtime=50.91 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 60512 0 0 0 4998 93 0 0 20 0 1 0 43373814 396414976 88527 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 96781 88527 1913 992 0 88639 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 387124 KiB
Current children cumulated memory: 354108 KiB

[startup+102.3 s]
/proc/loadavg: 4.30 4.19 4.11 5/261 312689
/proc/meminfo: memFree=108645972/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=537940 memory=483516 CPUtime=101.93 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 79140 0 0 0 10051 142 0 0 20 0 1 0 43373814 550850560 120879 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 134485 120879 1913 992 0 126343 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 537940 KiB
Current children cumulated memory: 483516 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/261 312701
/proc/meminfo: memFree=107192788/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=606604 memory=548708 CPUtime=161.73 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 92046 0 0 0 15980 193 0 0 20 0 1 0 43373814 621162496 137177 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 151651 137177 1913 992 0 143509 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 606604 KiB
Current children cumulated memory: 548708 KiB

[startup+222.3 s]
/proc/loadavg: 4.44 4.23 4.12 5/262 313095
/proc/meminfo: memFree=105473056/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=749360 memory=593876 CPUtime=221.51 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 95178 0 0 0 21916 235 0 0 20 0 1 0 43373814 767344640 148469 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 187340 148469 1913 992 0 179198 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 749360 KiB
Current children cumulated memory: 593876 KiB

[startup+282.3 s]
/proc/loadavg: 4.31 4.25 4.13 5/262 313105
/proc/meminfo: memFree=104199772/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=766032 memory=610904 CPUtime=281.3 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 99412 0 0 0 27864 266 0 0 20 0 1 0 43373814 784416768 152726 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 191508 152726 1913 992 0 183366 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 766032 KiB
Current children cumulated memory: 610904 KiB

[startup+342.3 s]
/proc/loadavg: 4.35 4.26 4.14 5/261 313117
/proc/meminfo: memFree=103255048/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=775644 memory=619760 CPUtime=341.08 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 101544 0 0 0 33807 301 0 0 20 0 1 0 43373814 794259456 154940 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 193911 154940 1913 992 0 185769 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 775644 KiB
Current children cumulated memory: 619760 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.24 4.14 5/259 313128
/proc/meminfo: memFree=102442856/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=777136 memory=632972 CPUtime=400.87 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 102404 0 0 0 39743 344 0 0 20 0 1 0 43373814 795787264 158243 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 194284 158243 1913 992 0 186142 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 777136 KiB
Current children cumulated memory: 632972 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.23 4.14 5/260 313308
/proc/meminfo: memFree=101144536/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=802496 memory=667004 CPUtime=460.65 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 108558 0 0 0 45689 376 0 0 20 0 1 0 43373814 821755904 166751 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 200624 166751 1913 992 0 192482 0

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

Current children cumulated memory: 1030188 KiB

[startup+2922.3 s]
/proc/loadavg: 4.17 4.22 4.23 5/267 314465
/proc/meminfo: memFree=44700376/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107400 memory=1030192 CPUtime=2911.1 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 186765 0 0 0 289462 1648 0 0 20 0 1 0 43373814 1133977600 257548 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276850 257548 1913 992 0 268708 0
Current children cumulated CPU time: 2911.1 s
Current children cumulated vsize: 1107400 KiB
Current children cumulated memory: 1030192 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.19 4.21 5/268 314476
/proc/meminfo: memFree=42665264/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107648 memory=1030480 CPUtime=2970.83 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 187082 0 0 0 295401 1682 0 0 20 0 1 0 43373814 1134231552 257620 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276912 257620 1913 992 0 268770 0
Current children cumulated CPU time: 2970.83 s
Current children cumulated vsize: 1107648 KiB
Current children cumulated memory: 1030480 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.17 4.20 5/266 314488
/proc/meminfo: memFree=40653948/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107648 memory=1030488 CPUtime=3030.57 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 187353 0 0 0 301350 1707 0 0 20 0 1 0 43373814 1134231552 257622 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276912 257622 1913 992 0 268770 0
Current children cumulated CPU time: 3030.57 s
Current children cumulated vsize: 1107648 KiB
Current children cumulated memory: 1030488 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.15 4.19 5/265 314498
/proc/meminfo: memFree=38496820/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107836 memory=1030648 CPUtime=3090.3 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 187680 0 0 0 307273 1757 0 0 20 0 1 0 43373814 1134424064 257662 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276959 257662 1913 992 0 268817 0
Current children cumulated CPU time: 3090.3 s
Current children cumulated vsize: 1107836 KiB
Current children cumulated memory: 1030648 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.17 4.19 5/263 314509
/proc/meminfo: memFree=36823936/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107836 memory=1030648 CPUtime=3150.05 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 187986 0 0 0 313222 1783 0 0 20 0 1 0 43373814 1134424064 257662 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276959 257662 1913 992 0 268817 0
Current children cumulated CPU time: 3150.05 s
Current children cumulated vsize: 1107836 KiB
Current children cumulated memory: 1030648 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.18 4.19 5/264 314520
/proc/meminfo: memFree=35225756/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1107980 memory=1030916 CPUtime=3209.79 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 188332 0 0 0 319174 1805 0 0 20 0 1 0 43373814 1134571520 257729 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 276995 257729 1913 992 0 268853 0
Current children cumulated CPU time: 3209.79 s
Current children cumulated vsize: 1107980 KiB
Current children cumulated memory: 1030916 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.26 4.22 5/262 314530
/proc/meminfo: memFree=34347556/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1108288 memory=1031024 CPUtime=3269.57 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 188660 0 0 0 325136 1821 0 0 20 0 1 0 43373814 1134886912 257756 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 277072 257756 1913 992 0 268930 0
Current children cumulated CPU time: 3269.57 s
Current children cumulated vsize: 1108288 KiB
Current children cumulated memory: 1031024 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.21 4.20 5/259 314541
/proc/meminfo: memFree=33528284/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1108288 memory=1031024 CPUtime=3329.36 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 188993 0 0 0 331105 1831 0 0 20 0 1 0 43373814 1134886912 257756 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 277072 257756 1913 992 0 268930 0
Current children cumulated CPU time: 3329.36 s
Current children cumulated vsize: 1108288 KiB
Current children cumulated memory: 1031024 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.20 4.20 5/259 314551
/proc/meminfo: memFree=32116432/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1108488 memory=1031500 CPUtime=3389.14 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 189419 0 0 0 337030 1884 0 0 20 0 1 0 43373814 1135091712 257875 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 277122 257875 1913 992 0 268980 0
Current children cumulated CPU time: 3389.14 s
Current children cumulated vsize: 1108488 KiB
Current children cumulated memory: 1031500 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.18 4.18 5/260 314563
/proc/meminfo: memFree=30955120/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1112628 memory=1036176 CPUtime=3448.93 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 190950 0 0 0 342978 1915 0 0 20 0 1 0 43373814 1139331072 259044 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 278157 259044 1913 992 0 270015 0
Current children cumulated CPU time: 3448.93 s
Current children cumulated vsize: 1112628 KiB
Current children cumulated memory: 1036176 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/264 314583
/proc/meminfo: memFree=29216060/131524600 swapFree=131054736/131071996
[pid=312581] ppid=312578 vsize=1113532 memory=1037292 CPUtime=3508.72 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 191491 0 0 0 348934 1938 0 0 20 0 1 0 43373814 1140256768 259323 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 278383 259323 1913 992 0 270241 0
Current children cumulated CPU time: 3508.72 s
Current children cumulated vsize: 1113532 KiB
Current children cumulated memory: 1037292 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/267 314596
/proc/meminfo: memFree=27503672/131524600 swapFree=131054224/131071996
[pid=312581] ppid=312578 vsize=1113532 memory=1037292 CPUtime=3568.51 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 191796 0 0 0 354892 1959 0 0 20 0 1 0 43373814 1140256768 259323 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 278383 259323 1913 992 0 270241 0
Current children cumulated CPU time: 3568.51 s
Current children cumulated vsize: 1113532 KiB
Current children cumulated memory: 1037292 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.9 s]
/proc/loadavg: 4.25 4.20 4.19 4/261 314627
/proc/meminfo: memFree=28337600/131524600 swapFree=131054224/131071996
[pid=312581] ppid=312578 vsize=1113532 memory=1037292 CPUtime=3600 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 191970 0 0 0 358037 1963 0 0 20 0 1 0 43373814 1140256768 259323 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 278383 259323 1913 992 0 270241 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 1113532 KiB
Current children cumulated memory: 1037292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3580.38 s, system=19.648 s

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

[startup+3614 s]*
/proc/loadavg: 4.25 4.20 4.19 3/261 314627
/proc/meminfo: memFree=28327796/131524600 swapFree=131054224/131071996
[pid=312581] ppid=312578 vsize=1113532 memory=1037292 CPUtime=3600.01 cores=0,2
/proc/312581/stat : 312581 (roundingsat) R 312578 312581 310236 0 -1 4194304 191989 0 0 0 358038 1963 0 0 20 0 1 0 43373814 1140256768 259323 134679101440 4194304 8254357 140727756266416 0 0 0 0 0 25182210 0 0 0 17 0 0 0 9 0 0 9037040 9046032 9912320 140727756268379 140727756268641 140727756268641 140727756275657 0
/proc/312581/statm: 278383 259323 1913 992 0 270241 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1113532 KiB
Current children cumulated memory: 1037292 KiB

Child status: 0

Real time (s): 3614.02
CPU time (s): 3600.03
CPU user time (s): 3580.38
CPU system time (s): 19.648
CPU usage (%): 99.6129
Max. virtual memory (cumulated for all children) (KiB): 1113532
Max. memory (cumulated for all children) (KiB): 1037292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.38
system time used= 19.648
maximum resident set size= 1037292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191997
page faults= 0
swaps= 0
block input operations= 0
block output operations= 34566496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 237
involuntary context switches= 24940


# summary of solver processes directly reported to runsolver:
#   pid: 312581
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3580.38
#   total CPU system time (s): 19.648

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.46495 second user time and 18.1103 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-27 10:21:36
IDJOB=4460403
IDBENCH=155609
IDSOLVER=3086
FILE ID=nodeC034/4460403-1722068496
RUNJOBID= nodeC034-1722064836-310246
SLURM_JOB_ID= 8248102
Free space on /tmp= 890044 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_3.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460403-1722068496/watcher-4460403-1722068496 -o /tmp/evaluation-result-4460403-1722068496/solver-4460403-1722068496 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1722064836-310246 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460403-1722068496 --lp-cut-gomory=0 HOME/instance-4460403-1722068496.opb

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

MD5SUM BENCH= f134d089c54411466f2bcbd6371e604a
RANDOM SEED=1994572972

nodeC034.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		: 3654.769
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.92
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		: 3691.997
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	: 7006.84
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		: 3660.731
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.92
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		: 3600.664
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	: 7006.84
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		: 3663.843
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.92
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		: 3692.080
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	: 7006.84
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.507
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.92
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		: 3600.220
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	: 7006.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        59843104 kB
MemAvailable:   129655412 kB
Buffers:          367848 kB
Cached:         70182648 kB
SwapCached:          112 kB
Active:          1854804 kB
Inactive:       69051956 kB
Active(anon):       1888 kB
Inactive(anon):   405472 kB
Active(file):    1852916 kB
Inactive(file): 68646484 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131054736 kB
Dirty:             19124 kB
Writeback:             0 kB
AnonPages:        355820 kB
Mapped:            97060 kB
Shmem:             50772 kB
KReclaimable:     304460 kB
Slab:             422280 kB
SReclaimable:     304460 kB
SUnreclaim:       117820 kB
KernelStack:        3964 kB
PageTables:         9840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     708784 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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:      357076 kB
DirectMap2M:    48699392 kB
DirectMap1G:    87031808 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC034 at 2024-07-27 11:21:50