PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-30:70:4.5:0.5:100.opb
MD5SUM	973d0f7de7e925437c91340aa55a2619
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	139
Optimality of the best value was proved	NO
Number of terms in the objective function	10772
Biggest coefficient in the objective function	5356
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	30986
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	5356
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	30986
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.19
Number of variables	10772
Total number of constraints	22822
Number of constraints which are clauses	10247
Number of constraints which are cardinality constraints (but not clauses)	12575
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	31
Trace number 25012

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 00:53:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3367 boxname=wulflinc31 idbench=375 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  973d0f7de7e925437c91340aa55a2619  /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.5:100.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-30:70:4.5:0.5:100.opb
IDLAUNCH: 3367
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        776892 kB
Buffers:         45664 kB
Cached:         189180 kB
SwapCached:       1932 kB
Active:         167116 kB
Inactive:        70924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776640 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:           28180 kB
Writeback:           0 kB
Mapped:           5368 kB
Slab:            13912 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 01:13:01 (client local time) WITH STATUS 10 IN 1175.3 SECONDS
stats: 3367 0 1175.3 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10772 variables and 12051 constraints.
c After prepocess the problem consists of 10771 variables and 12245 constraints.
c preprocess terminated 69.332 s
c Initial Lower Bound: -3
c Lower Bound Elapsed time: 258.076
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 20271 @ 881.814
c NEW SOLUTION FOUND: 20268 @ 881.879
c NEW SOLUTION FOUND: 20267 @ 882.038
c NEW SOLUTION FOUND: 20263 @ 882.199
c NEW SOLUTION FOUND: 20253 @ 882.379
c NEW SOLUTION FOUND: 20243 @ 882.555
c NEW SOLUTION FOUND: 20233 @ 882.733
c NEW SOLUTION FOUND: 20227 @ 882.911
c NEW SOLUTION FOUND: 20226 @ 883.087
c NEW SOLUTION FOUND: 20216 @ 883.278
c NEW SOLUTION FOUND: 20214 @ 883.455
c NEW SOLUTION FOUND: 20204 @ 883.65
c NEW SOLUTION FOUND: 20202 @ 883.83
c NEW SOLUTION FOUND: 20201 @ 884.018
c NEW SOLUTION FOUND: 20200 @ 884.207
c NEW SOLUTION FOUND: 20198 @ 884.399
c NEW SOLUTION FOUND: 20195 @ 884.595
c NEW SOLUTION FOUND: 20194 @ 884.78
c NEW SOLUTION FOUND: 20184 @ 884.982
c NEW SOLUTION FOUND: 20182 @ 885.17
c NEW SOLUTION FOUND: 20176 @ 885.371
c NEW SOLUTION FOUND: 20169 @ 885.568
c NEW SOLUTION FOUND: 20166 @ 885.763
c NEW SOLUTION FOUND: 20156 @ 885.964
c NEW SOLUTION FOUND: 20146 @ 886.167
c NEW SOLUTION FOUND: 20136 @ 886.373
c NEW SOLUTION FOUND: 20126 @ 886.58
c NEW SOLUTION FOUND: 20124 @ 886.783
c NEW SOLUTION FOUND: 20118 @ 886.999
c NEW SOLUTION FOUND: 20117 @ 887.204
c NEW SOLUTION FOUND: 20107 @ 887.424
c NEW SOLUTION FOUND: 20097 @ 887.638
c NEW SOLUTION FOUND: 20096 @ 887.847
c NEW SOLUTION FOUND: 20093 @ 888.07
c NEW SOLUTION FOUND: 20083 @ 888.288
c NEW SOLUTION FOUND: 20073 @ 888.51
c NEW SOLUTION FOUND: 20063 @ 888.733
c NEW SOLUTION FOUND: 20053 @ 888.961
c NEW SOLUTION FOUND: 20043 @ 889.189
c NEW SOLUTION FOUND: 20033 @ 889.419
c NEW SOLUTION FOUND: 20023 @ 889.653
c NEW SOLUTION FOUND: 20013 @ 889.89
c NEW SOLUTION FOUND: 20003 @ 890.13
c NEW SOLUTION FOUND: 19993 @ 890.372
c NEW SOLUTION FOUND: 19983 @ 890.615
c NEW SOLUTION FOUND: 19981 @ 890.85
c NEW SOLUTION FOUND: 19975 @ 891.107
c NEW SOLUTION FOUND: 19969 @ 891.361
c NEW SOLUTION FOUND: 19968 @ 891.604
c NEW SOLUTION FOUND: 19965 @ 891.859
c NEW SOLUTION FOUND: 19962 @ 892.107
c NEW SOLUTION FOUND: 19959 @ 892.363
c NEW SOLUTION FOUND: 19949 @ 892.616
c NEW SOLUTION FOUND: 19948 @ 892.861
c NEW SOLUTION FOUND: 19947 @ 893.117
c NEW SOLUTION FOUND: 19944 @ 893.395
c NEW SOLUTION FOUND: 19938 @ 893.657
c NEW SOLUTION FOUND: 19937 @ 893.913
c NEW SOLUTION FOUND: 19936 @ 894.182
c NEW SOLUTION FOUND: 19935 @ 894.452
c NEW SOLUTION FOUND: 19932 @ 894.733
c NEW SOLUTION FOUND: 19922 @ 895.007
c NEW SOLUTION FOUND: 19921 @ 895.274
c NEW SOLUTION FOUND: 19920 @ 895.549
c NEW SOLUTION FOUND: 19910 @ 895.833
c NEW SOLUTION FOUND: 19900 @ 896.105
c NEW SOLUTION FOUND: 19890 @ 896.379
c NEW SOLUTION FOUND: 19886 @ 896.657
c NEW SOLUTION FOUND: 19882 @ 896.934
c NEW SOLUTION FOUND: 19878 @ 897.211
c NEW SOLUTION FOUND: 19875 @ 897.486
c NEW SOLUTION FOUND: 19872 @ 897.767
c NEW SOLUTION FOUND: 19868 @ 898.048
c NEW SOLUTION FOUND: 19864 @ 898.324
c NEW SOLUTION FOUND: 19857 @ 898.616
c NEW SOLUTION FOUND: 19847 @ 898.906
c NEW SOLUTION FOUND: 19846 @ 899.18
c NEW SOLUTION FOUND: 19842 @ 899.475
c NEW SOLUTION FOUND: 19838 @ 899.76
c NEW SOLUTION FOUND: 19834 @ 900.055
c NEW SOLUTION FOUND: 19824 @ 900.345
c NEW SOLUTION FOUND: 19820 @ 900.625
c NEW SOLUTION FOUND: 19816 @ 900.911
c NEW SOLUTION FOUND: 19809 @ 901.203
c NEW SOLUTION FOUND: 19805 @ 901.484
c NEW SOLUTION FOUND: 19801 @ 901.773
c NEW SOLUTION FOUND: 19797 @ 902.056
c NEW SOLUTION FOUND: 19796 @ 902.646
c NEW SOLUTION FOUND: 19793 @ 902.933
c NEW SOLUTION FOUND: 19789 @ 903.222
c NEW SOLUTION FOUND: 19785 @ 903.51
c NEW SOLUTION FOUND: 19781 @ 903.801
c NEW SOLUTION FOUND: 19780 @ 904.39
c NEW SOLUTION FOUND: 19778 @ 904.684
c NEW SOLUTION FOUND: 19777 @ 904.971
c NEW SOLUTION FOUND: 19776 @ 905.27
c NEW SOLUTION FOUND: 19775 @ 905.561
c NEW SOLUTION FOUND: 19774 @ 905.859
c NEW SOLUTION FOUND: 19773 @ 906.154
c NEW SOLUTION FOUND: 19772 @ 906.453
c NEW SOLUTION FOUND: 19771 @ 906.749
c NEW SOLUTION FOUND: 19770 @ 907.057
c NEW SOLUTION FOUND: 19769 @ 907.363
c NEW SOLUTION FOUND: 19765 @ 907.667
c NEW SOLUTION FOUND: 19761 @ 907.966
c NEW SOLUTION FOUND: 19760 @ 908.253
c NEW SOLUTION FOUND: 19759 @ 908.564
c NEW SOLUTION FOUND: 19758 @ 908.862
c NEW SOLUTION FOUND: 19757 @ 909.173
c NEW SOLUTION FOUND: 19756 @ 909.468
c NEW SOLUTION FOUND: 19753 @ 909.778
c NEW SOLUTION FOUND: 19752 @ 910.389
c NEW SOLUTION FOUND: 19751 @ 910.689
c NEW SOLUTION FOUND: 19750 @ 911.004
c NEW SOLUTION FOUND: 19749 @ 911.31
c NEW SOLUTION FOUND: 19748 @ 911.614
c NEW SOLUTION FOUND: 19747 @ 911.927
c NEW SOLUTION FOUND: 19746 @ 912.234
c NEW SOLUTION FOUND: 19745 @ 912.55
c NEW SOLUTION FOUND: 19744 @ 912.859
c NEW SOLUTION FOUND: 19743 @ 913.178
c NEW SOLUTION FOUND: 19742 @ 913.489
c NEW SOLUTION FOUND: 19741 @ 913.796
c NEW SOLUTION FOUND: 19740 @ 914.103
c NEW SOLUTION FOUND: 19739 @ 914.413
c NEW SOLUTION FOUND: 19737 @ 914.725
c NEW SOLUTION FOUND: 19736 @ 915.027
c NEW SOLUTION FOUND: 19735 @ 915.338
c NEW SOLUTION FOUND: 19734 @ 915.648
c NEW SOLUTION FOUND: 19733 @ 915.961
c NEW SOLUTION FOUND: 19732 @ 916.271
c NEW SOLUTION FOUND: 19731 @ 916.584
c NEW SOLUTION FOUND: 19730 @ 916.891
c NEW SOLUTION FOUND: 19729 @ 917.2
c NEW SOLUTION FOUND: 19728 @ 917.507
c NEW SOLUTION FOUND: 19727 @ 917.831
c NEW SOLUTION FOUND: 19726 @ 918.141
c NEW SOLUTION FOUND: 19725 @ 918.457
c NEW SOLUTION FOUND: 19724 @ 918.768
c NEW SOLUTION FOUND: 19723 @ 919.077
c NEW SOLUTION FOUND: 19717 @ 919.398
c NEW SOLUTION FOUND: 19716 @ 919.715
c NEW SOLUTION FOUND: 19715 @ 920.029
c NEW SOLUTION FOUND: 19714 @ 920.35
c NEW SOLUTION FOUND: 19713 @ 920.668
c NEW SOLUTION FOUND: 19711 @ 920.984
c NEW SOLUTION FOUND: 19709 @ 921.294
c NEW SOLUTION FOUND: 19707 @ 921.615
c NEW SOLUTION FOUND: 19705 @ 921.926
c NEW SOLUTION FOUND: 19703 @ 922.242
c NEW SOLUTION FOUND: 19700 @ 922.554
c NEW SOLUTION FOUND: 19697 @ 922.87
c NEW SOLUTION FOUND: 19694 @ 923.186
c NEW SOLUTION FOUND: 19691 @ 923.504
c NEW SOLUTION FOUND: 19688 @ 923.82
c NEW SOLUTION FOUND: 19684 @ 924.132
c NEW SOLUTION FOUND: 19680 @ 924.46
c NEW SOLUTION FOUND: 19676 @ 924.78
c NEW SOLUTION FOUND: 19672 @ 925.106
c NEW SOLUTION FOUND: 19668 @ 925.419
c NEW SOLUTION FOUND: 19667 @ 925.746
c NEW SOLUTION FOUND: 19666 @ 926.06
c NEW SOLUTION FOUND: 19665 @ 926.377
c NEW SOLUTION FOUND: 19664 @ 926.695
c NEW SOLUTION FOUND: 19663 @ 927.01
c NEW SOLUTION FOUND: 19662 @ 927.327
c NEW SOLUTION FOUND: 19661 @ 927.645
c NEW SOLUTION FOUND: 19660 @ 927.964
c NEW SOLUTION FOUND: 19658 @ 928.285
c NEW SOLUTION FOUND: 19656 @ 928.602
c NEW SOLUTION FOUND: 19654 @ 928.927
c NEW SOLUTION FOUND: 19652 @ 929.248
c NEW SOLUTION FOUND: 19650 @ 929.571
c NEW SOLUTION FOUND: 19648 @ 929.89
c NEW SOLUTION FOUND: 19646 @ 930.223
c NEW SOLUTION FOUND: 19644 @ 930.543
c NEW SOLUTION FOUND: 19642 @ 930.866
c NEW SOLUTION FOUND: 19640 @ 931.184
c NEW SOLUTION FOUND: 19638 @ 931.517
c NEW SOLUTION FOUND: 19636 @ 931.835
c NEW SOLUTION FOUND: 19634 @ 932.168
c NEW SOLUTION FOUND: 19631 @ 932.496
c NEW SOLUTION FOUND: 19629 @ 932.817
c NEW SOLUTION FOUND: 19627 @ 933.143
c NEW SOLUTION FOUND: 19625 @ 933.468
c NEW SOLUTION FOUND: 19623 @ 933.804
c NEW SOLUTION FOUND: 19621 @ 934.133
c NEW SOLUTION FOUND: 19619 @ 934.456
c NEW SOLUTION FOUND: 19617 @ 934.779
c NEW SOLUTION FOUND: 19615 @ 935.102
c NEW SOLUTION FOUND: 19613 @ 935.433
c NEW SOLUTION FOUND: 19611 @ 935.755
c NEW SOLUTION FOUND: 19609 @ 936.079
c NEW SOLUTION FOUND: 19607 @ 936.401
c NEW SOLUTION FOUND: 19604 @ 936.733
c NEW SOLUTION FOUND: 19602 @ 937.057
c NEW SOLUTION FOUND: 19600 @ 937.389
c NEW SOLUTION FOUND: 19598 @ 937.715
c NEW SOLUTION FOUND: 19596 @ 938.059
c NEW SOLUTION FOUND: 19594 @ 938.395
c NEW SOLUTION FOUND: 19592 @ 938.719
c NEW SOLUTION FOUND: 19588 @ 939.046
c NEW SOLUTION FOUND: 19586 @ 939.362
c NEW SOLUTION FOUND: 19582 @ 939.691
c NEW SOLUTION FOUND: 19580 @ 940.008
c NEW SOLUTION FOUND: 19578 @ 940.336
c NEW SOLUTION FOUND: 19576 @ 940.661
c NEW SOLUTION FOUND: 19574 @ 940.988
c NEW SOLUTION FOUND: 19572 @ 941.314
c NEW SOLUTION FOUND: 19567 @ 941.646
c NEW SOLUTION FOUND: 19564 @ 941.961
c NEW SOLUTION FOUND: 19557 @ 942.294
c NEW SOLUTION FOUND: 19550 @ 942.62
c NEW SOLUTION FOUND: 19546 @ 942.941
c NEW SOLUTION FOUND: 19542 @ 943.275
c NEW SOLUTION FOUND: 19535 @ 943.614
c NEW SOLUTION FOUND: 19528 @ 943.943
c NEW SOLUTION FOUND: 19524 @ 944.258
c NEW SOLUTION FOUND: 19520 @ 944.601
c NEW SOLUTION FOUND: 19516 @ 944.934
c NEW SOLUTION FOUND: 19512 @ 945.277
c NEW SOLUTION FOUND: 19508 @ 945.612
c NEW SOLUTION FOUND: 19504 @ 945.945
c NEW SOLUTION FOUND: 19501 @ 946.275
c NEW SOLUTION FOUND: 19498 @ 946.611
c NEW SOLUTION FOUND: 19495 @ 947.296
c NEW SOLUTION FOUND: 19492 @ 947.624
c NEW SOLUTION FOUND: 19489 @ 947.962
c NEW SOLUTION FOUND: 19486 @ 948.303
c NEW SOLUTION FOUND: 19483 @ 948.649
c NEW SOLUTION FOUND: 19478 @ 948.997
c NEW SOLUTION FOUND: 19475 @ 949.33
c NEW SOLUTION FOUND: 19472 @ 949.667
c NEW SOLUTION FOUND: 19469 @ 950.021
c NEW SOLUTION FOUND: 19466 @ 950.357
c NEW SOLUTION FOUND: 19457 @ 950.718
c NEW SOLUTION FOUND: 19454 @ 951.059
c NEW SOLUTION FOUND: 19451 @ 951.414
c NEW SOLUTION FOUND: 19448 @ 951.762
c NEW SOLUTION FOUND: 19445 @ 952.122
c NEW SOLUTION FOUND: 19442 @ 952.47
c NEW SOLUTION FOUND: 19441 @ 952.819
c NEW SOLUTION FOUND: 19438 @ 953.178
c NEW SOLUTION FOUND: 19435 @ 953.53
c NEW SOLUTION FOUND: 19432 @ 953.877
c NEW SOLUTION FOUND: 19429 @ 954.232
c NEW SOLUTION FOUND: 19426 @ 954.582
c NEW SOLUTION FOUND: 19423 @ 954.933
c NEW SOLUTION FOUND: 19420 @ 955.279
c NEW SOLUTION FOUND: 19417 @ 955.627
c NEW SOLUTION FOUND: 19414 @ 955.971
c NEW SOLUTION FOUND: 19411 @ 956.323
c NEW SOLUTION FOUND: 19408 @ 956.666
c NEW SOLUTION FOUND: 19405 @ 957.015
c NEW SOLUTION FOUND: 19402 @ 957.365
c NEW SOLUTION FOUND: 19399 @ 957.717
c NEW SOLUTION FOUND: 19396 @ 958.067
c NEW SOLUTION FOUND: 19393 @ 958.414
c NEW SOLUTION FOUND: 19390 @ 958.76
c NEW SOLUTION FOUND: 19387 @ 959.106
c NEW SOLUTION FOUND: 19384 @ 959.464
c NEW SOLUTION FOUND: 19381 @ 959.817
c NEW SOLUTION FOUND: 19378 @ 960.165
c NEW SOLUTION FOUND: 19375 @ 960.516
c NEW SOLUTION FOUND: 19372 @ 960.874
c NEW SOLUTION FOUND: 19369 @ 961.223
c NEW SOLUTION FOUND: 19366 @ 961.583
c NEW SOLUTION FOUND: 19363 @ 961.945
c NEW SOLUTION FOUND: 19360 @ 962.289
c NEW SOLUTION FOUND: 19357 @ 962.652
c NEW SOLUTION FOUND: 19354 @ 962.996
c NEW SOLUTION FOUND: 19351 @ 963.34
c NEW SOLUTION FOUND: 19348 @ 963.701
c NEW SOLUTION FOUND: 19345 @ 964.051
c NEW SOLUTION FOUND: 19342 @ 964.403
c NEW SOLUTION FOUND: 19339 @ 964.751
c NEW SOLUTION FOUND: 19336 @ 965.103
c NEW SOLUTION FOUND: 19333 @ 965.444
c NEW SOLUTION FOUND: 19330 @ 965.811
c NEW SOLUTION FOUND: 19327 @ 966.169
c NEW SOLUTION FOUND: 19324 @ 966.527
c NEW SOLUTION FOUND: 19320 @ 966.89
c NEW SOLUTION FOUND: 19310 @ 967.246
c NEW SOLUTION FOUND: 19306 @ 967.59
c NEW SOLUTION FOUND: 19302 @ 967.941
c NEW SOLUTION FOUND: 19295 @ 968.31
c NEW SOLUTION FOUND: 19291 @ 968.648
c NEW SOLUTION FOUND: 19289 @ 968.99
c NEW SOLUTION FOUND: 19285 @ 969.364
c NEW SOLUTION FOUND: 19281 @ 970.055
c NEW SOLUTION FOUND: 19277 @ 970.398
c NEW SOLUTION FOUND: 19268 @ 970.764
c NEW SOLUTION FOUND: 19258 @ 971.114
c NEW SOLUTION FOUND: 19254 @ 971.461
c NEW SOLUTION FOUND: 19250 @ 971.817
c NEW SOLUTION FOUND: 19246 @ 972.173
c NEW SOLUTION FOUND: 19237 @ 972.54
c NEW SOLUTION FOUND: 19233 @ 972.891
c NEW SOLUTION FOUND: 19229 @ 973.252
c NEW SOLUTION FOUND: 19225 @ 973.618
c NEW SOLUTION FOUND: 19221 @ 973.967
c NEW SOLUTION FOUND: 19217 @ 974.328
c NEW SOLUTION FOUND: 19207 @ 974.712
c NEW SOLUTION FOUND: 19203 @ 975.065
c NEW SOLUTION FOUND: 19199 @ 975.428
c NEW SOLUTION FOUND: 19195 @ 975.8
c NEW SOLUTION FOUND: 19191 @ 976.165
c NEW SOLUTION FOUND: 19187 @ 976.524
c NEW SOLUTION FOUND: 19183 @ 976.895
c NEW SOLUTION FOUND: 19180 @ 977.26
c NEW SOLUTION FOUND: 19177 @ 977.623
c NEW SOLUTION FOUND: 19173 @ 978
c NEW SOLUTION FOUND: 19169 @ 978.36
c NEW SOLUTION FOUND: 19159 @ 978.731
c NEW SOLUTION FOUND: 19155 @ 979.103
c NEW SOLUTION FOUND: 19151 @ 979.458
c NEW SOLUTION FOUND: 19141 @ 979.843
c NEW SOLUTION FOUND: 19137 @ 980.231
c NEW SOLUTION FOUND: 19133 @ 980.631
c NEW SOLUTION FOUND: 19129 @ 981.028
c NEW SOLUTION FOUND: 19127 @ 981.414
c NEW SOLUTION FOUND: 19123 @ 981.804
c NEW SOLUTION FOUND: 19119 @ 982.174
c NEW SOLUTION FOUND: 19115 @ 982.556
c NEW SOLUTION FOUND: 19111 @ 982.955
c NEW SOLUTION FOUND: 19107 @ 983.34
c NEW SOLUTION FOUND: 19103 @ 984.122
c NEW SOLUTION FOUND: 19102 @ 984.503
c NEW SOLUTION FOUND: 19100 @ 984.887
c NEW SOLUTION FOUND: 19096 @ 985.293
c NEW SOLUTION FOUND: 19092 @ 985.669
c NEW SOLUTION FOUND: 19088 @ 986.074
c NEW SOLUTION FOUND: 19084 @ 986.462
c NEW SOLUTION FOUND: 19080 @ 986.851
c NEW SOLUTION FOUND: 19076 @ 987.239
c NEW SOLUTION FOUND: 19066 @ 987.641
c NEW SOLUTION FOUND: 19062 @ 988.015
c NEW SOLUTION FOUND: 19058 @ 988.407
c NEW SOLUTION FOUND: 19054 @ 988.795
c NEW SOLUTION FOUND: 19050 @ 989.187
c NEW SOLUTION FOUND: 19046 @ 989.575
c NEW SOLUTION FOUND: 19042 @ 989.972
c NEW SOLUTION FOUND: 19038 @ 990.359
c NEW SOLUTION FOUND: 19035 @ 990.772
c NEW SOLUTION FOUND: 19031 @ 991.169
c NEW SOLUTION FOUND: 19027 @ 991.579
c NEW SOLUTION FOUND: 19023 @ 991.969
c NEW SOLUTION FOUND: 19019 @ 992.38
c NEW SOLUTION FOUND: 19015 @ 993.185
c NEW SOLUTION FOUND: 19011 @ 993.575
c NEW SOLUTION FOUND: 19007 @ 993.989
c NEW SOLUTION FOUND: 19003 @ 994.776
c NEW SOLUTION FOUND: 19001 @ 995.156
c NEW SOLUTION FOUND: 18997 @ 995.562
c NEW SOLUTION FOUND: 18993 @ 995.956
c NEW SOLUTION FOUND: 18989 @ 996.349
c NEW SOLUTION FOUND: 18985 @ 996.748
c NEW SOLUTION FOUND: 18981 @ 997.136
c NEW SOLUTION FOUND: 18977 @ 997.909
c NEW SOLUTION FOUND: 18973 @ 998.298
c NEW SOLUTION FOUND: 18969 @ 998.69
c NEW SOLUTION FOUND: 18965 @ 999.079
c NEW SOLUTION FOUND: 18961 @ 999.47
c NEW SOLUTION FOUND: 18957 @ 999.86
c NEW SOLUTION FOUND: 18953 @ 1000.25
c NEW SOLUTION FOUND: 18949 @ 1000.64
c NEW SOLUTION FOUND: 18945 @ 1001.03
c NEW SOLUTION FOUND: 18941 @ 1001.42
c NEW SOLUTION FOUND: 18937 @ 1001.81
c NEW SOLUTION FOUND: 18933 @ 1002.2
c NEW SOLUTION FOUND: 18929 @ 1002.6
c NEW SOLUTION FOUND: 18925 @ 1002.99
c NEW SOLUTION FOUND: 18921 @ 1003.38
c NEW SOLUTION FOUND: 18911 @ 1003.78
c NEW SOLUTION FOUND: 18907 @ 1004.18
c NEW SOLUTION FOUND: 18903 @ 1004.57
c NEW SOLUTION FOUND: 18899 @ 1004.98
c NEW SOLUTION FOUND: 18896 @ 1005.38
c NEW SOLUTION FOUND: 18892 @ 1005.79
c NEW SOLUTION FOUND: 18888 @ 1006.19
c NEW SOLUTION FOUND: 18884 @ 1006.59
c NEW SOLUTION FOUND: 18880 @ 1006.99
c NEW SOLUTION FOUND: 18876 @ 1007.39
c NEW SOLUTION FOUND: 18872 @ 1007.79
c NEW SOLUTION FOUND: 18868 @ 1008.2
c NEW SOLUTION FOUND: 18864 @ 1008.6
c NEW SOLUTION FOUND: 18860 @ 1009.01
c NEW SOLUTION FOUND: 18857 @ 1009.81
c NEW SOLUTION FOUND: 18853 @ 1010.62
c NEW SOLUTION FOUND: 18849 @ 1011.02
c NEW SOLUTION FOUND: 18845 @ 1011.43
c NEW SOLUTION FOUND: 18841 @ 1011.84
c NEW SOLUTION FOUND: 18837 @ 1012.25
c NEW SOLUTION FOUND: 18833 @ 1012.65
c NEW SOLUTION FOUND: 18829 @ 1013.06
c NEW SOLUTION FOUND: 18825 @ 1013.46
c NEW SOLUTION FOUND: 18821 @ 1013.86
c NEW SOLUTION FOUND: 18817 @ 1014.27
c NEW SOLUTION FOUND: 18813 @ 1014.67
c NEW SOLUTION FOUND: 18809 @ 1015.08
c NEW SOLUTION FOUND: 18799 @ 1015.5
c NEW SOLUTION FOUND: 18795 @ 1015.89
c NEW SOLUTION FOUND: 18791 @ 1016.3
c NEW SOLUTION FOUND: 18781 @ 1016.73
c NEW SOLUTION FOUND: 18777 @ 1017.12
c NEW SOLUTION FOUND: 18773 @ 1017.55
c NEW SOLUTION FOUND: 18769 @ 1017.96
c NEW SOLUTION FOUND: 18765 @ 1018.36
c NEW SOLUTION FOUND: 18761 @ 1018.77
c NEW SOLUTION FOUND: 18757 @ 1019.18
c NEW SOLUTION FOUND: 18753 @ 1020
c NEW SOLUTION FOUND: 18749 @ 1020.43
c NEW SOLUTION FOUND: 18745 @ 1020.83
c NEW SOLUTION FOUND: 18741 @ 1021.24
c NEW SOLUTION FOUND: 18734 @ 1021.67
c NEW SOLUTION FOUND: 18730 @ 1022.1
c NEW SOLUTION FOUND: 18726 @ 1022.52
c NEW SOLUTION FOUND: 18722 @ 1022.94
c NEW SOLUTION FOUND: 18718 @ 1023.36
c NEW SOLUTION FOUND: 18714 @ 1023.79
c NEW SOLUTION FOUND: 18710 @ 1024.21
c NEW SOLUTION FOUND: 18706 @ 1024.63
c NEW SOLUTION FOUND: 18702 @ 1025.06
c NEW SOLUTION FOUND: 18698 @ 1025.48
c NEW SOLUTION FOUND: 18694 @ 1025.9
c NEW SOLUTION FOUND: 18690 @ 1026.32
c NEW SOLUTION FOUND: 18686 @ 1026.75
c NEW SOLUTION FOUND: 18682 @ 1027.17
c NEW SOLUTION FOUND: 18678 @ 1027.59
c NEW SOLUTION FOUND: 18674 @ 1028.01
c NEW SOLUTION FOUND: 18670 @ 1028.44
c NEW SOLUTION FOUND: 18666 @ 1028.86
c NEW SOLUTION FOUND: 18662 @ 1029.28
c NEW SOLUTION FOUND: 18658 @ 1029.7
c NEW SOLUTION FOUND: 18654 @ 1030.12
c NEW SOLUTION FOUND: 18650 @ 1030.55
c NEW SOLUTION FOUND: 18646 @ 1030.97
c NEW SOLUTION FOUND: 18642 @ 1031.39
c NEW SOLUTION FOUND: 18638 @ 1031.81
c NEW SOLUTION FOUND: 18634 @ 1032.23
c NEW SOLUTION FOUND: 18630 @ 1032.66
c NEW SOLUTION FOUND: 18626 @ 1033.08
c NEW SOLUTION FOUND: 18622 @ 1033.5
c NEW SOLUTION FOUND: 18618 @ 1033.93
c NEW SOLUTION FOUND: 18614 @ 1034.36
c NEW SOLUTION FOUND: 18610 @ 1034.79
c NEW SOLUTION FOUND: 18606 @ 1035.21
c NEW SOLUTION FOUND: 18602 @ 1035.65
c NEW SOLUTION FOUND: 18598 @ 1036.07
c NEW SOLUTION FOUND: 18594 @ 1036.5
c NEW SOLUTION FOUND: 18590 @ 1036.92
c NEW SOLUTION FOUND: 18586 @ 1037.36
c NEW SOLUTION FOUND: 18582 @ 1037.78
c NEW SOLUTION FOUND: 18578 @ 1038.21
c NEW SOLUTION FOUND: 18574 @ 1038.64
c NEW SOLUTION FOUND: 18570 @ 1039.07
c NEW SOLUTION FOUND: 18566 @ 1039.49
c NEW SOLUTION FOUND: 18562 @ 1039.93
c NEW SOLUTION FOUND: 18558 @ 1040.35
c NEW SOLUTION FOUND: 18554 @ 1040.78
c NEW SOLUTION FOUND: 18544 @ 1041.21
c NEW SOLUTION FOUND: 18540 @ 1041.65
c NEW SOLUTION FOUND: 18536 @ 1042.08
c NEW SOLUTION FOUND: 18532 @ 1042.51
c NEW SOLUTION FOUND: 18528 @ 1042.93
c NEW SOLUTION FOUND: 18524 @ 1043.34
c NEW SOLUTION FOUND: 18520 @ 1043.77
c NEW SOLUTION FOUND: 18516 @ 1044.18
c NEW SOLUTION FOUND: 18512 @ 1044.61
c NEW SOLUTION FOUND: 18508 @ 1045.03
c NEW SOLUTION FOUND: 18504 @ 1045.45
c NEW SOLUTION FOUND: 18500 @ 1045.87
c NEW SOLUTION FOUND: 18496 @ 1046.29
c NEW SOLUTION FOUND: 18492 @ 1046.7
c NEW SOLUTION FOUND: 18488 @ 1047.13
c NEW SOLUTION FOUND: 18485 @ 1047.55
c NEW SOLUTION FOUND: 18481 @ 1047.97
c NEW SOLUTION FOUND: 18477 @ 1048.39
c NEW SOLUTION FOUND: 18473 @ 1048.81
c NEW SOLUTION FOUND: 18469 @ 1049.22
c NEW SOLUTION FOUND: 18465 @ 1049.65
c NEW SOLUTION FOUND: 18461 @ 1050.07
c NEW SOLUTION FOUND: 18457 @ 1050.49
c NEW SOLUTION FOUND: 18453 @ 1050.9
c NEW SOLUTION FOUND: 18449 @ 1051.33
c NEW SOLUTION FOUND: 18445 @ 1051.74
c NEW SOLUTION FOUND: 18441 @ 1052.61
c NEW SOLUTION FOUND: 18437 @ 1053.01
c NEW SOLUTION FOUND: 18433 @ 1053.43
c NEW SOLUTION FOUND: 18429 @ 1053.85
c NEW SOLUTION FOUND: 18425 @ 1054.27
c NEW SOLUTION FOUND: 18424 @ 1054.69
c NEW SOLUTION FOUND: 18420 @ 1055.11
c NEW SOLUTION FOUND: 18416 @ 1055.53
c NEW SOLUTION FOUND: 18412 @ 1055.95
c NEW SOLUTION FOUND: 18408 @ 1056.38
c NEW SOLUTION FOUND: 18404 @ 1056.79
c NEW SOLUTION FOUND: 18400 @ 1057.23
c NEW SOLUTION FOUND: 18396 @ 1057.65
c NEW SOLUTION FOUND: 18392 @ 1058.07
c NEW SOLUTION FOUND: 18388 @ 1058.49
c NEW SOLUTION FOUND: 18384 @ 1058.92
c NEW SOLUTION FOUND: 18380 @ 1059.33
c NEW SOLUTION FOUND: 18376 @ 1059.76
c NEW SOLUTION FOUND: 18372 @ 1060.18
c NEW SOLUTION FOUND: 18368 @ 1060.6
c NEW SOLUTION FOUND: 18364 @ 1061.02
c NEW SOLUTION FOUND: 18360 @ 1061.44
c NEW SOLUTION FOUND: 18356 @ 1061.86
c NEW SOLUTION FOUND: 18352 @ 1062.28
c NEW SOLUTION FOUND: 18348 @ 1062.69
c NEW SOLUTION FOUND: 18344 @ 1063.11
c NEW SOLUTION FOUND: 18340 @ 1063.53
c NEW SOLUTION FOUND: 18336 @ 1063.94
c NEW SOLUTION FOUND: 18332 @ 1064.37
c NEW SOLUTION FOUND: 18328 @ 1064.78
c NEW SOLUTION FOUND: 18324 @ 1065.2
c NEW SOLUTION FOUND: 18320 @ 1065.61
c NEW SOLUTION FOUND: 18316 @ 1066.03
c NEW SOLUTION FOUND: 18312 @ 1066.45
c NEW SOLUTION FOUND: 18308 @ 1066.86
c NEW SOLUTION FOUND: 18304 @ 1067.28
s SATISFIABLE
v -v9582 -v6785 v5146 -v4650 -v4503 v3805 v1034 v878 v9584 v5150 -v4507 v3804 v1035 v6784 -v4651 -v4506 v3803 v2192 v1039 v882 v9585 v6787 -v4652 -v4508 v3801 v2197 v1038 v880 v4655 v4589 v4512 -v3802 v2602 v2196 v1036 -v755 v417 -v6788 -v4653 v4588 v4511 v2606 v1037 v881 -v9991 v6790 v6142 -v4654 v4590 v4509 v2199 v885 v754 v6791 v6146 -v5268 v4593 -v4510 v2200 v758 v10457 v9990 -v6453 -v5267 v4592 v2203 v9994 -v7678 v4597 v2201 v759 -v10725 v10460 v7677 v6452 -v5269 v4596 -v2202 -v10461 -v9995 v7679 v6456 -v5271 v4594 -v1888 v963 v10724 v7680 -v7008 v6808 v5166 v4595 v3911 v1887 v1160 v962 -v680 v10728 v7681 -v6812 v6457 v6088 -v5272 -v5171 v2082 v1889 -v968 v7688 v7007 v6530 v6403 v6087 v5274 v5170 v3914 v2081 v1890 -v967 v679 -v10729 -v7682 -v6535 v6407 v6089 -v5945 v5275 -v3915 -v2087 v1891 -v969 v683 -v7683 v7013 v6534 v6090 v5944 -v5173 v4130 -v2086 v1898 v973 -v7684 v7011 v6091 -v5174 v4135 v2088 v1892 v972 -v684 -v10356 v6537 v6098 v5946 v5177 v4975 v4134 v2092 v1893 v970 v7325 v7012 v6538 -v6092 v5948 v5175 v4979 v2091 v1894 v971 v10355 -v8967 v8774 v7324 v7016 v6641 v6541 -v6093 -v5176 v4137 v2089 v1108 v10359 v9763 v7330 v6539 -v6094 -v5949 v4138 v2090 v1107 v9762 -v8966 v7631 v7329 v6644 -v6540 v5951 -v4629 v4141 v1827 v1798 v1109 -v10360 v9768 -v7742 -v7636 v7331 -v6645 v5952 v4628 v4139 v1802 v1112 v9767 -v8972 v8720 v8202 v7741 v7635 v7335 v4630 -v4140 v1111 v557 v9769 -v8970 -v8725 v8206 v7743 v7334 v4633 v1116 v9773 v8724 v7744 v7638 v7332 v5849 v4632 v3497 -v2389 v1115 v556 v10158 v9772 -v8971 v7745 v7639 -v7333 v4637 -v3502 v2388 v1113 v10157 -v9929 v9770 -v8975 -v8727 v7752 v7642 v4636 v3501 v2390 -v1114 v562 -v9933 v9771 -v8728 v7746 v7640 v4634 v2393 v560 v10159 -v9337 v8731 v7747 -v7641 -v4635 v3504 v2392 v152 v10161 v8729 v7748 -v6595 v3505 -v2766 v2397 -v561 -v157 v9336 v8917 -v8730 v6594 -v4252 v3508 v2765 v2697 v2396 -v1399 v565 -v156 v10162 v9340 v6596 v4251 v3506 -v2702 v2394 v10164 v8920 v6597 v5998 v4253 -v3507 v3288 v2767 v2701 -v2395 v1398 -v159 v10165 -v9341 -v8921 v6598 v4256 v4086 v2769 v1402 -v160 -v7722 v7519 v6605 -v5075 v4255 v4085 v3291 -v2704 v163 -v8351 v7523 v6599 v4260 -v3292 -v2770 -v2705 v1403 v161 v9017 v8350 v7721 v6620 -v6600 -v5074 v4259 v4087 v2772 v2708 -v582 -v162 v7725 -v6601 v4257 v4089 v2773 v2706 v1843 v9016 v8352 -v5080 -v4258 -v2707 v1842 v1372 v581 v9357 v9020 v8354 -v7726 -v5078 v4090 v1848 v1377 v9356 v4092 v1847 v1376 v587 v505 -v9362 v9021 -v8355 -v5079 v4093 v1849 v585 -v510 -v9361 v8357 v5083 v1853 v1698 v1379 -v1090 v509 v9363 v8358 v6328 -v3594 v1852 v1380 v1089 -v586 v10232 v9858 v9367 v7874 v6327 v3593 v1850 v1697 v1383 v1091 v590 -v512 v9366 -v7879 v6686 -v6333 v3595 v1851 v1701 v1381 v1094 -v513 v10231 v9364 -v7878 v6685 v6332 -v5308 -v4320 v3596 v3113 -v1382 v1093 v516 v10235 v9365 -v6691 -v6334 v4319 v3597 v1702 v1098 v514 v7881 v6690 v6338 v5307 v4321 v3604 v3116 v1097 -v515 v10236 -v8287 v7882 v6692 v6337 v5311 v4324 v3598 -v3117 v1095 v8286 v7885 v6696 v6335 v4392 v4323 v3599 -v1573 v1096 v458 v7883 v6695 v6336 -v5312 v4396 v4368 v4328 -v3600 -v463 -v8892 v8288 -v7884 v6693 v4367 v4327 v2040 v1572 -v462 v244 v8290 -v6694 v4325 v2044 -v1576 v8891 v6552 v5100 v4369 -v4326 -v465 -v8291 v6551 v5104 v4371 -v1577 -v466 v8897 v8293 v6553 v469 v9187 v8895 v8294 -v6556 v4372 v467 v9186 -v8450 v6555 v4374 v468 v9192 -v8896 v6560 v4375 v9191 v8900 -v8453 v6559 v5973 v3689 v9193 -v8454 v6557 v9197 -v6558 v3688 v2482 v9196 v6499 -v2486 v9194 v6498 v6073 v2485 -v9195 v10432 v9581 v6781 v5145 -v4647 v3813 v1033 v877 v10436 v9586 v5149 v4649 v4502 v3809 v1032 v6786 v4648 v4504 v3808 v1043 v883 v413 v6789 v4656 v4505 v2191 v9588 v6793 v4516 v2601 v2193 v886 v634 v416 v9589 v6792 v2605 v2198 v884 v8525 v6887 v6141 v2195 v756 v8529 v6145 v5263 v4591 v2204 v760 v10456 v9992 v8003 v5262 v4605 v9996 v8007 v4601 v10462 v6454 -v5270 v4600 v1428 v1156 v762 v6458 -v5273 v763 v10726 v9998 v9879 v7691 v7003 v6807 v5277 v3910 v1159 v10730 v9999 v9883 v7692 v6811 v5276 v5165 v964 v10465 v7687 v7009 v6460 v6402 v5167 v4904 v3916 v1901 v965 v681 v6529 v6461 v6406 v5940 v5172 v2083 v1902 v966 v685 v10732 v7685 v7014 v6531 v6101 v5939 v5169 v2084 v1897 v977 v10733 v6536 v6102 v5178 v4129 v2085 v8770 v7017 v6533 v6097 v5947 v4974 v4131 v3919 v2244 v2096 v1895 v687 v7015 v6542 v5950 v4978 v4136 v2248 v688 v10357 v8962 v8773 v6640 v6095 v5954 v4133 v1823 v10361 v7326 v5953 v4142 v10108 -v8968 v7327 v6646 v1826 v1797 v10112 v9764 v7630 v7328 v1801 v1110 v10363 v9765 -v8973 v8201 v7632 v7339 v5845 v1124 v552 v10364 v9766 v8719 v8205 v7637 v4631 v1120 v9777 -v8976 v8721 v7755 v7634 v6649 v5848 v4645 v1119 v558 v10153 -v8974 v8726 v7756 v7643 v4641 v3496 v10152 -v9928 v8723 v7751 v4640 v3498 v563 -v9932 v8732 v3503 v2391 v10160 v7749 v3500 v2405 v566 v10163 v3509 v2761 v2401 v564 v151 v10167 v9338 v8916 v5994 v2760 v2400 v153 v10166 v9342 v2696 -v158 v8922 v6608 v5997 v3287 v2768 v2698 v1400 v155 v6609 v4254 v4081 v2771 v2703 v1404 v164 v9344 v7518 v6616 v6604 v5070 v4268 v4080 v3293 v2775 v2700 v9345 v8346 v7522 v4264 v2774 v2709 v8925 v8345 v7723 v6619 v6602 -v5076 v4263 v4088 v1406 v577 v7727 v4091 v1407 v9046 v9018 v8353 v8094 -v5081 v4095 v3296 v583 v9022 v8356 v8098 v4094 v1844 v1371 v8360 v7729 v5084 v1845 v1373 v588 v9358 v8359 v7730 v5082 v1846 v1378 v504 v9854 v9359 v9024 v2840 v1857 v1375 v591 v506 v9360 v9025 v2844 v1384 v589 v511 v9857 v9371 v1699 v1453 v508 v7873 v6329 v1703 v1092 v517 v10233 v7875 v6357 v6330 v3607 v3112 v2344 v1106 v10237 v7880 v6687 v6331 v3608 v2348 v1102 v7877 v6688 v6342 v5575 v5309 v3603 v3118 v1705 v1101 v8282 v7886 v6689 v5313 v4322 v1706 v10239 v8281 v6700 v4391 v4336 v3601 v1648 v240 v10240 v4395 v4363 v4332 v1652 v457 v8887 v8289 v5315 v4362 v4331 v3121 v2039 v1574 v459 v243 v8292 v5316 v2043 -v1578 -v464 v9316 v8893 v8296 v5099 v4370 v461 v8295 v5103 v4373 v470 v8898 v4377 v1580 v6554 v4376 v1581 v8901 -v8449 v6568 v5969 v4211 v9188 v8899 v6564 v9189 -v8455 v6563 v5972 v9190 v9201 v8500 v6069 v3690 v8504 v6495 v2481 v8458 v6494 v6072 v2483 v1553 v2487 v3692 v2749 v3693 -v2753 v10756 v10431 v9583 v7614 v5147 v3812 v1046 v875 v10435 v9587 v6780 v5151 -v4646 v1047 v879 v9591 v6782 v4664 v4519 v3806 v1042 v876 v630 v412 v9590 v6783 v4660 v4520 v887 v750 v6883 v6797 v5153 v4659 v4515 v3807 v2603 v2577 v1040 v749 v633 v418 v9986 v5154 v2607 v2581 v2194 v10452 v9985 v8524 v6886 v6143 v4875 v4602 v4513 v2212 v757 v8528 v6448 v6147 v4879 v4604 v2208 v761 v10458 v9993 v8002 v6447 v5799 v2609 v2207 v1424 v765 v421 v10720 v9997 v8006 v5264 v2610 v764 v10719 v10463 v10001 v7690 v6455 v6149 v5265 v4598 v3906 v3786 v1427 v1155 v10000 v7689 v6459 v6150 v5266 v675 v10727 v10466 v9878 v6809 v6463 v5281 v4900 v4599 v3912 v1900 v1161 v674 v10731 v10464 v9882 v7002 v6813 v6462 v1899 v10735 v7004 v6404 v6100 v4903 v4544 v4161 v3917 v980 v682 v10734 v7010 v6408 v6099 v5168 v4548 v981 v686 v7686 v7006 v6815 v5243 v5186 v3920 v2099 v1164 v976 v690 v10351 v7018 v6816 v6532 v5941 v5247 v5182 v3918 v2100 v689 v10350 v8769 v7982 v6636 v6550 v6410 v5942 v5181 v4976 v2243 v2095 v1896 v974 v6546 v6411 v5943 v4980 v4132 v2247 v10358 v8775 v6642 v6545 v6096 v5958 v5824 v4150 v2093 v1822 v10362 v8961 v4146 v10366 v10107 v8963 v7342 v6647 v5394 v4982 v4145 v1828 v1799 v1121 v10365 v10111 -v8969 v7343 v4983 v1803 v1123 v9780 v8965 v8778 v8203 v7754 v7338 v6650 v5844 v4642 v9781 -v8977 v8207 v7753 v7633 v6648 v4644 v551 v9776 v7651 v7336 v5850 v1831 v1805 v1117 v553 v8722 v7647 v1806 v559 -v9930 v9774 v8740 v8209 v7646 v4638 v2402 v1118 v555 v10154 -v9934 v9332 v8736 v8210 v3499 v2404 v567 v10155 v9331 v8912 v8735 v7750 v7083 v5853 v4639 v3517 v10156 v7087 v3513 v1394 v10171 v9936 v9339 v8918 v6607 v5993 v3512 v3283 v2398 v1393 v1135 v9937 v9343 v6606 v2762 v154 v9347 v8923 v5999 v4265 v3289 v2763 v2399 v1401 v172 v82 v9346 v7717 v4267 v2764 v2699 v1405 v168 v86 v8926 v7716 v7520 v6615 v3294 v2779 v2717 v1409 v992 v167 v9012 v8924 v7524 v5069 v4082 v2713 v1408 v9042 v9011 v7724 v6621 v6603 v6002 v5071 v4261 v4083 v3297 v2712 v8347 v7728 -v5077 v4084 v3295 v576 v9045 v9019 v8348 v8093 v7732 v7526 v5073 v4262 v4099 v578 v9023 v8349 v8097 v7731 v7527 v5085 v584 v9027 v8364 -v6624 v3267 v1860 v580 v9026 v1861 v1693 v1374 v592 v9853 v9374 v2839 v1856 v1692 v1449 v1392 v10227 v9375 v2843 v1388 v507 v10226 v9859 v9370 v6353 v3606 v3108 v1854 v1700 v1452 v1387 v1103 v525 v5303 v3605 v1704 v1105 v521 v10234 v9368 v6356 v6345 v5571 v5302 v3114 v2343 v1708 v520 v10238 v7876 v6346 v2347 v1707 v10242 v9862 v7894 v6703 v6341 v5574 v5310 v4333 v3119 v2940 v1099 v10241 v7890 v6704 v5314 v4335 v2944 v1568 v8554 v7889 v7305 v6699 v6339 v5318 v4393 v3602 v3122 v1647 v1567 v1100 v239 v8283 v7309 v5317 v4397 v3120 v1651 v9312 v8284 v6697 v6167 v4329 v2041 v1575 v245 v8886 v8285 v6171 v4364 v2045 -v1579 v460 v9315 v8888 v8300 v5101 v4399 v4365 v4330 v1583 v478 v8894 v5105 v4400 v4366 v1582 v474 v8890 v8445 v6908 v6565 v4381 v4207 v2047 v473 v248 v8902 v6912 v6567 v2048 v10257 -v8451 v5968 v5107 v4954 v4210 v10261 v5108 v3685 v9204 -v8456 v6561 v5974 v3684 v9205 v9200 v8499 v8459 v6562 v6068 v3691 v1549 v8503 v8457 v9198 v6074 v5977 v3695 v1552 v6496 v3694 v2484 -v7112 v6497 -v3820 v2748 v2495 -v3824 -v2752 v2491 v10433 v9580 v8603 v7613 v5148 v4661 v4518 v3810 v1044 v408 v10437 v9579 v5152 v4663 v4517 v2597 v874 v9595 v6800 v5156 v2596 v895 v629 v414 v6801 v6137 v5155 v891 v10439 v6882 v6796 v6136 v4657 v2604 v2576 v2209 v2107 v1041 v890 v635 v419 v10440 v4603 v2608 v2580 v2211 v2111 v751 v8526 v6888 v6794 v6144 v5795 v4874 v4658 v4514 v2612 v752 v422 v10451 v9987 v8530 v6148 v4878 v2611 v753 v420 v10453 v9988 v8004 v6152 v5798 v3782 v2205 v1423 v1151 v769 v734 v638 v10459 v9989 v8008 v6803 v6449 v6151 v10455 v10005 v8532 v6891 v6802 v6450 v6121 v5284 v3785 v2206 v1429 v1157 v10721 v10467 v8533 v6451 v6398 v5285 v3905 v10722 v9880 v8010 v6810 v6467 v6397 v5280 v4899 v4157 v3907 v1162 v979 v10723 v9884 v8011 v6814 v3913 v978 v676 v10739 v6818 v6405 v5278 v5183 v4905 v4543 v4160 v4110 v3909 v2098 v1432 v1165 v677 v7005 v6817 v6409 v5185 v4970 v4547 v4114 v3921 v2097 v1163 v678 v9886 v8765 v7978 v7026 v6547 v6413 v5242 v4969 v694 v9887 v7022 v6549 v6412 v5246 v8771 v7981 v7021 v5961 v5820 v5179 v4977 v4908 v4147 v2245 v1818 v975 v10352 v6635 v5962 v4981 v4149 v2249 v1793 v10353 v8992 v8776 v7341 v6637 v6543 v5957 v5823 v5390 v5180 v4985 v2094 v1824 v1792 v10354 v8996 v8197 v7340 v6643 v4984 v1122 v10370 v10109 v9779 v8779 v8196 v6639 v6544 v5955 v5840 v5393 v4143 v2251 v1829 v1800 v10113 v9778 v8964 v8777 v6651 v4643 v2252 v1804 v8985 v8204 v7648 v5846 v4144 v1832 v1808 v9924 v8981 v8208 v7650 v1830 v1807 v10115 v9923 v9241 v8980 v8737 v8212 v7337 v5851 v10116 v8739 v8211 v2403 v554 -v9931 v9775 v7644 v5854 v3514 v575 -v9935 v5852 v3516 v571 v10174 v9939 v8733 v7645 v7082 v5989 v3965 v1131 v570 v10175 v9938 v9333 v8911 v7086 v10170 v9334 v8913 v8734 v5995 v3510 v1134 v169 v9335 v8919 v7514 v4266 v3282 v1395 v171 v10168 v9351 v8915 v7513 v7134 v6611 v6000 v3511 v3284 v2782 v2714 v1396 v988 v81 v8927 v3290 v2783 v2716 v1397 v85 v9904 v7521 v6617 v6003 v3857 v3286 v2778 v1413 v991 v165 v9908 v7718 v7525 v6001 v3298 v9041 v7719 v7529 v6622 v4102 v2776 v2710 v166 v9013 v7720 v7528 v5072 v4103 v9047 v9014 v8367 v8095 v7736 v6625 v5093 v4098 v3263 v2711 v1859 v9015 v8368 v8099 v6623 v5089 v1858 v579 v9849 v9373 v9031 v8363 v6510 v5088 v4096 v3266 v1389 v600 v9372 v6514 v1391 v596 v9855 v9050 v8361 v8101 v2841 v1448 v595 v522 v7 v8102 v2845 v1694 v1104 v524 v11 v9860 v6352 v6344 v1855 v1695 v1454 v1385 v10228 v6343 v3107 v1696 v10229 v9863 v9369 v7891 v6702 v6358 v5570 v3109 v2847 v2345 v1712 v1386 v518 v10230 v9861 v7893 v6701 v5304 v4387 v4334 v3115 v2848 v2349 v10246 v8550 v5576 v5305 v4386 v3111 v2939 v1457 v519 v235 v5306 v3123 v2943 v2035 v8553 v7887 v7304 v6361 v6340 v5322 v4394 v2351 v2034 v1649 v241 v7308 v5095 v4398 v2352 v1653 v1569 v9311 v8303 v7888 v6698 v6166 v5579 v5094 v4402 v2042 v1570 v475 v246 v8304 v6170 v4401 v2046 v1571 v477 v9317 v8299 v5102 v4384 v2815 v2050 v1655 v1587 v249 v8889 v6566 v5106 v4385 v2819 v2049 v1656 v247 v8910 v8297 v6907 v5964 v5110 v4950 v4380 v4206 v471 v8906 v8444 v6911 v5109 v10256 v9320 v9203 v8905 v8446 v5970 v5025 v4953 v4378 v4212 v472 v10260 v9202 -v8452 v5029 v8448 v6064 v5975 v8460 v3686 v8501 v6070 v5978 v4215 v3687 v1548 v8505 v5976 v9199 v7108 v6075 v5700 v3699 v2492 v1554 v2494 -v8849 v8507 v7111 v6502 v6076 -v3819 v2750 v8508 v6503 -v6077 v3823 -v2754 v2490 v10434 v9598 v8602 v7615 v6799 v5144 v4662 -v3811 -v1045 v892 v625 v10438 v9599 v6798 v5143 v894 v407 v10442 v9594 v6878 v5160 v631 v409 v10441 v8520 v2598 v2210 v415 v9592 v8519 v7619 v6884 v2599 v2578 v2106 v888 v636 v411 v7998 v6138 v2600 v2582 v2110 v423 v8527 v7997 v7205 v6889 v6795 v6139 v5794 v4876 v2616 v1419 v889 v772 v730 v639 v8531 v7209 v6140 v4880 v773 v637 v10008 v8535 v8005 v6892 v6156 v6117 v5800 v5283 v3781 v2584 v1425 v768 v733 v10454 v10009 v9874 v8534 v8009 v6890 v5282 v2585 v1150 v10475 v10004 v9873 v8013 v6470 v6120 v4895 v4882 v3787 v1430 v1152 v766 v10471 v8012 v6804 v6471 v4883 v1158 v10742 v10470 v10002 v9881 v6805 v6466 v5803 v4901 v4156 v1433 v1154 v10743 v9885 v6806 v6399 v5184 v3908 v1431 v1166 v10738 v9889 v7023 v6822 v6464 v6400 v5279 v4906 v4545 v4162 v4109 v3929 v3790 v697 v9888 v7025 v6548 v6401 v4549 v4113 v3925 v2239 v698 v10736 v7977 v6417 v5960 v5244 v4909 v4040 v3924 v2238 v693 v8764 v5959 v5248 v4971 v4907 v4148 v8766 v7983 v7019 v5819 v5550 v4972 v4551 v4165 v2246 v691 v10103 v8772 v4973 v4552 v2250 v1817 v10373 v10102 v8991 v8768 v7020 v5825 v5389 v5250 v4989 v3142 v2254 v1819 v10374 v8995 v8780 v6638 v5251 v2253 v1825 v1794 v10369 v10110 v8982 v7986 v6659 v5956 v5395 v1821 v1795 v10114 v8984 v8198 v7649 v6655 v5839 v1833 v1796 v10367 v10118 v9237 v8199 v6654 v5841 v5828 v1812 v10117 v8738 v8200 v5847 v9240 v8978 v8216 v5843 v5398 v2269 v572 v9925 v5855 v3515 v2273 v574 v10173 v9926 v8979 v7598 v3961 v10172 v9927 v9943 v7084 v3964 v1130 v568 v7088 v5988 v170 v9354 v7130 v5990 v2781 v2437 v1136 v569 v9355 v8914 v5996 v2780 v2715 v2441 v10169 v9350 v8935 v7133 v7090 v5992 v3853 v1416 v987 v83 v8931 v7515 v7091 v6610 v6004 v3285 v1417 v87 v10298 v9903 v9348 v9037 v8930 v7516 v6612 v4101 v3856 v3306 v1412 v1139 v993 v10302 v9907 v8089 v7517 v6618 v4100 v3302 v10020 v9043 v8366 v8088 v7739 v7533 v6614 v5090 v3301 v2777 v1410 v89 v8365 v7740 v6626 v5092 v90 v9048 v9034 v8096 v7735 v7259 v3262 v996 v597 v9035 v8100 v2835 v1390 v599 v9051 v9030 v8104 v7733 v6509 v5086 v4097 v3268 v2834 v1444 v9848 v9049 v8103 v6513 v523 v9850 v9028 v8362 v6348 v5087 v3192 v2842 v1450 v593 v6 v9856 v2846 v2339 v10 v9852 v6354 v5566 v4929 v3271 v2850 v2338 v1715 v1455 v594 v9864 v7892 v2849 v1716 v10249 v6359 v5572 v5222 v2346 v1711 v1458 v10250 v3110 v2350 v1643 v1456 v10245 v8549 v6362 v5577 v5325 v3131 v2941 v2354 v1709 v1642 v6360 v5326 v4388 v3127 v2945 v2353 v234 v10243 v10062 v9307 v8555 v8302 v7306 v6019 v5580 v5321 v4389 v3126 v1650 v236 v8301 v7310 v6023 v5578 v4390 v2036 v1654 v476 v242 v9313 v8679 v6168 v5319 v4406 v4383 v2947 v2037 v1658 v1590 v238 v6172 v5096 v4382 v2948 v2038 v1657 v1591 v250 v9318 v8907 v8558 v7312 v5097 v4202 v2814 v2054 v1586 v8909 v7313 v5098 v2818 v9321 v8298 v6909 v6174 v5114 v4949 v4208 v1584 v9319 v6913 v6175 v5963 v10258 v8903 v5965 v5024 v4955 v4379 v4213 v10262 v8495 v8447 v5971 v5028 v8904 v8494 v8468 v6915 v5967 v4216 v1544 v1185 v8464 v6916 v6063 v5979 v4214 v10264 v8502 v8463 v6065 v5696 v4958 v3702 v2894 v1550 v10265 v8506 v6071 v3703 v2744 v2493 -v8845 v8510 v7107 v6501 v6067 v5699 v3698 v2743 v1555 v8509 v6500 v6078 v8848 v7113 -v3821 v3696 v2751 v1556 v3825 -v2755 v2488 v1557 -v10430 v9596 v8604 v7616 v5163 -v893 v10429 v5164 v2572 v624 v10446 v7620 v5159 v2571 v626 v7618 v6877 v4870 v632 v410 v9593 v8608 v6879 v5790 v5157 v4869 v2619 v2579 v2108 v771 v628 v431 v8521 v6885 v2620 v2583 v2112 v770 v640 v427 v10007 v8522 v8123 v7204 v6881 v6159 v5796 v4877 v3777 v2615 v2587 v729 v426 v10006 v8523 v7999 v7208 v6893 v6160 v4881 v2586 v1418 v10472 v8539 v8000 v6469 v6155 v6116 v5801 v4885 v3783 v2613 v2114 v1420 v735 v10474 v8001 v6468 v4884 v2115 v1426 v10741 v8017 v6221 v6153 v6122 v5804 v4152 v3788 v1422 v767 v10740 v9875 v5802 v4894 v4539 v1434 v1153 v10468 v10003 v9876 v6825 v4896 v4538 v4158 v3926 v3791 v1174 v738 v696 v9877 v7024 v6826 v5238 v4902 v3928 v3789 v1170 v695 v10469 v9893 v7973 v7767 v6821 v6465 v6420 v6125 v5237 v4898 v4546 v4163 v4111 -v4036 v1169 v6421 v4910 v4550 v4115 v10737 v7979 v6819 v6416 v5815 v5546 v5245 v4554 v4166 v4039 v3922 v5249 v4553 v4164 v2240 v10372 v7984 v6414 v5821 v5549 v5385 v5253 v4992 v4117 v3923 v3138 v2241 v692 v10371 v8767 v5252 v4993 v4118 v2242 v8993 v8788 v7987 v6656 v5826 v5391 v4988 v3141 v2258 v10104 v8997 v8983 v8784 v7985 v6658 v1820 v10105 v8783 v5829 v5396 v4986 v1841 v1815 v10106 v5827 v1837 v1816 v10368 v10122 v9236 v8999 v8219 v6652 v5399 v1836 v1811 v9000 v8220 v5842 v5397 v573 v9242 v8215 v7594 v6653 v6267 v5863 v2268 v1809 v7078 v6271 v5859 v2272 v9946 v8213 v7597 v7077 v5858 v3960 v1126 v9947 v9942 v9353 v9245 v7928 v7085 v3966 v1132 v9352 v7932 v7089 v77 v9940 v9407 v8932 v7129 v7093 v2436 v1415 v1137 v983 v76 v9411 v8934 v7092 v5991 v2440 v1414 v7135 v6012 v3969 v3852 v3303 v1140 v989 v84 v6008 v3305 v1138 v88 v10297 v10016 v9905 v9349 v8928 v7738 v7536 v6761 v6007 v3858 v994 v92 v10301 v9909 v9036 v7737 v7537 v6765 v6613 v5091 v91 v10019 v9038 v9033 v8929 v7532 v7255 v7138 v6634 v3299 v3258 v1411 v997 v9044 v9032 v8090 v6630 v995 v598 v9911 v9040 v8091 v7530 v7258 v6629 v5749 v3861 v3300 v3264 v9912 v9052 v8092 v8375 v8108 v7734 v6511 v3578 v3269 v3188 v8379 v6515 v2836 v1443 v9029 v4925 v3272 v3191 v2837 v1714 v1445 v8 v9851 v6347 v3270 v2838 v1713 v1451 v12 v10248 v9872 v6517 v6349 v5218 v4928 v2854 v1447 v111 v10247 v9868 v6518 v6355 v5565 v2935 v2340 v1459 v9867 v8545 v6351 v5567 v5324 v5221 v3128 v2934 v2341 v1978 v14 v7300 v6363 v5573 v5323 v3130 v2342 v1982 v15 v10058 v8551 v7299 v5569 v2942 v2358 v1710 v6162 v5581 v2946 v1644 v10244 v10061 v8675 v8556 v7307 v6161 v6018 v4409 v3124 v2950 v1645 v1589 v9306 v7311 v6022 v4410 v2949 v1646 v1588 v237 v9308 v8678 v8559 v7315 v6169 v5320 v4405 v3125 v2057 v1662 v258 v9314 v8908 v8557 v7314 v6903 v6173 v2058 v254 v9310 v6902 v6177 v5117 v4945 v4403 v3167 v2816 v2219 v2053 v253 v10252 v9322 v6176 v5118 v4201 v2820 v2223 v10251 v6910 v5113 v4951 v4203 v2051 v1585 v1503 v6914 v4209 v10259 v8465 v6918 v5111 v5026 v4956 v4205 v2822 v1181 v10263 v8467 v6917 v5966 v5030 v4217 v2823 v10267 v5987 v4959 v3701 v2890 v2369 v1184 v10266 v8496 v5983 v4957 v3700 v2373 v1543 v8497 v8461 v7103 v5982 v5695 v5032 v2893 v1545 v8498 v6066 v5033 v3815 v1551 v8844 v8514 v8462 v7109 v6086 v5701 v3814 v1547 v340 v6082 v2745 v1558 -v344 v8850 v7114 v6081 -v3822 v3697 v2746 v3826 v2747 -v2489 v10449 -v9597 v8605 v7617 v5161 v10450 v7621 -v2102 v10445 v8609 v2618 -v2101 -v1053 v428 v8607 v2617 v2573 v1057 v627 v430 v10443 v8119 v6158 v5158 v2574 v2109 v725 v648 v6880 v6157 v5789 v4871 v2575 v2113 v644 v8542 v8122 v7206 v6901 v6112 v5791 v4872 v3431 v2591 v2117 v731 v643 v424 v10473 v8543 v7210 v6897 v5797 v4873 v3776 v2116 v8538 v8020 v6896 v6217 v6118 v5793 v4889 v3778 v2614 v736 v425 v8021 v5805 v3784 v1421 v8536 v8016 v7212 v6824 v6220 v6154 v6123 v3780 v3524 v1442 v1171 v739 v7213 v6823 v4151 v4105 v3927 v3792 v3528 v1438 v1173 v737 v9896 v8404 v8014 v7763 v6419 v6126 v4153 v4104 v1437 v9897 v6418 v6124 v4897 v4540 v4159 v9892 v7766 v4918 v4541 v4155 v4112 -v4035 v1167 v7972 v5239 v4914 v4542 v4167 v4116 v9890 v7974 v6820 v5545 v5240 v4991 v4913 v4558 v4120 v4041 v1168 v8987 v7980 v5814 v5241 v4990 v4119 v8986 v8785 v8629 v7976 v6415 v5816 v5646 v5551 v5257 v3137 v2261 v8787 v7988 v6657 v5822 v5650 v5384 v2262 v8994 v5818 v5386 v4044 v3143 v2257 v1838 v1814 v1673 v8998 v5830 v5392 v1840 v1813 v1677 v10125 v9232 v9002 v8781 v8218 v5554 v5388 v4987 v3452 v2255 v10126 v9001 v8217 v5400 v3456 v10121 v9499 v9238 v8782 v5860 v3146 v1834 v5862 v10119 v9945 v9243 v7593 v6266 v3956 v2270 v1835 v1810 v9944 v6270 v2274 v9246 v8214 v7599 v5856 v3962 v9244 v7079 v1125 v7927 v7125 v7080 v5857 v3967 v2276 v1127 v8933 v7931 v7081 v2277 v1133 v9941 v9406 v7602 v7131 v7097 v6009 v3970 v3848 v2438 v1129 v9899 v9410 v6011 v3968 v3304 v2442 v1141 v982 v78 v9898 v8824 v7535 v7136 v3854 v984 v79 v7534 v990 v80 v10299 v10015 v9906 v7139 v6760 v6631 v6005 v3859 v2444 v986 v96 v10303 v9910 v7137 v6764 v6633 v2445 v998 v10021 v9914 v7254 v6006 v5745 v5054 v3862 v9913 v9039 v6505 v3860 v3257 v10305 v9060 v8111 v7531 v7260 v6627 v6504 v5748 v3574 v3259 v10306 v9056 v8112 v3265 v2 v10024 v9055 v8374 v8107 v6628 v6512 v3577 v3261 v3187 v1 v8378 v6516 v3273 v9869 v8105 v7263 v6520 v4924 v3193 v2857 v107 v9 v9871 v6519 v2858 v1446 v13 v5217 v4930 v2853 v1467 v110 v17 v6350 v3129 v1463 v16 v9865 v6933 v6371 v5223 v3196 v2851 v2361 v1977 v1462 v8544 v6937 v6367 v5568 v2936 v2362 v1981 v10057 v9866 v8546 v8479 v6366 v6308 v5589 v4933 v4408 v2937 v2357 v8552 v7301 v6312 v5585 v4407 v2938 v10063 v9071 v8674 v8548 v7302 v6020 v5584 v5521 v5226 v2954 v2355 v2056 v1665 v255 v8560 v7303 v6163 v6024 v5525 v2810 v2055 v1666 v257 v8680 v7319 v6164 v5362 v5116 v3615 v3163 v2809 v1661 v9309 v6165 v5115 v3619 v10066 v9330 v6181 v6026 v4404 v3166 v2817 v2218 v1659 v1499 v251 v9326 v6904 v6027 v5020 v4944 v2821 v2222 v9325 v8683 v6905 v5019 v4946 v2825 v2656 v2052 v1723 v1502 v252 v10253 v8466 v6906 v4952 v4204 v2824 v1727 v10254 v6922 v5984 v5112 v5027 v4948 v4225 v1180 v10255 v5986 v5031 v4960 v4221 v10271 v5691 v5035 v4725 v4220 v2889 v2368 v1186 v5034 v2372 v8946 -v8840 v8517 v6083 v5980 v5697 v2895 v8518 v7102 v6085 v1546 v8846 v8513 v7104 v5981 v5702 v1566 v1189 v339 v7110 v3816 v1562 v343 v8851 v8511 v7106 v6079 v5703 v3817 v2898 v2758 v1561 -v7115 -v5704 v3818 v2759 v10447 v8606 -v7629 v5162 v8610 v7625 v429 v7624 v1205 v1052 v645 v7200 -v2103 v1209 v1056 v647 v10444 v8541 v8118 v7199 v6898 v6242 v3427 v2594 -v2104 v8540 v6900 v6246 v2595 v2105 v724 v8124 v8019 v7207 v4892 v3430 v2590 v2121 v726 v641 v8018 v7211 v6111 v5792 v4893 v732 v7215 v6894 v6216 v6113 v5813 v4888 v2588 v1439 v728 v642 v7214 v6119 v5809 v3779 v1441 v1172 v740 v9895 v8537 v8400 v8127 v7833 v6895 v6222 v6115 v5808 v4886 v3800 v3523 v9894 v6127 v3796 v3527 v8403 v8015 v7762 v5870 v4915 v4031 v3795 v1435 v5874 v4917 v4154 v4106 v7768 v6225 v5541 v4561 v4175 v4107 -v4037 v1436 v290 v4562 v4171 v4108 v294 v9891 v8625 v5547 v5260 v4911 v4557 v4170 v4124 v4042 v3990 v3549 v3133 v2260 v8786 v7975 v5261 v3553 v2259 v8628 v7996 v7771 v5645 v5552 v5256 v4912 v4555 v4045 v3139 v2003 v8988 v7992 v5817 v5649 v4043 v2007 v1839 v10124 v8989 v7991 v5838 v5555 v5254 v3144 v2531 v1672 v10123 v8990 v5834 v5553 v5387 v1676 v9495 v9006 v6196 v5833 v5408 v3451 v3147 v2256 v9231 v5861 v5404 v3455 v3145 v2264 v10087 v9498 v9233 v7589 v5403 v2263 v9239 v10120 v9235 v7595 v6962 v6268 v6044 v2271 v9247 v6272 v6048 v3955 v2275 v7600 v3957 v3242 v2279 v3963 v2432 v2278 v7929 v7603 v7100 v6274 v3959 v2431 v132 v7933 v7601 v7124 v7101 v6275 v6010 v3971 v1128 v136 v9408 v8820 v7126 v7096 v2439 v1149 v10293 v9412 v7132 v3847 v2443 v1145 v10292 v10011 v8823 v7935 v7128 v7094 v3849 v2447 v1144 v99 v9900 v7936 v7140 v6632 v3855 v2446 v985 v100 v10300 v10017 v9901 v9414 v7250 v6762 v5050 v3851 v1006 v95 v10304 v9902 v9415 v6766 v3863 v1002 v10308 v10022 v9918 v9057 v8110 v7256 v5744 v5053 v1001 v93 v10307 v9059 v8109 v10025 v7573 v7261 v6768 v5750 v3573 v3183 v10023 v6769 v6506 v3260 v9053 v8376 v8327 v7264 v6507 v5446 v4920 v3579 v3281 v3189 v2856 v9870 v8380 v7262 v6508 v5450 v3277 v2855 v3 v9054 v8871 v8106 v6524 v5753 v5213 v4926 v3276 v3194 v2294 v1464 v106 v4 v2298 v1466 v5 v8382 v7544 v6368 v5219 v4931 v3582 v3197 v2360 v112 v21 v8383 v7548 v6370 v3195 v2359 v10053 v8475 v6932 v5586 v5224 v4934 v2852 v2552 v1979 v1460 v6936 v6014 v5588 v4932 v2556 v1983 v10059 v9067 v8670 v8478 v6364 v6307 v6013 v5227 v2957 v1664 v1461 v115 v8547 v6311 v5225 v2958 v1663 v256 v10064 v9070 v8676 v8568 v7322 v6365 v6021 v5582 v5520 v5358 v2953 v2356 v1985 v8564 v7323 v6025 v5524 v1986 v10067 v9958 v9327 v8681 v8563 v7318 v6184 v6029 v5583 v5361 v3614 v3162 v2951 v10065 v9329 v6185 v6028 v3618 v2811 v9216 v8684 v7316 v6180 v3168 v2812 v2652 v2220 v1660 v1498 v8682 v2813 v2224 v9323 v6925 v6178 v4222 v2829 v2655 v1722 v1504 v1302 v1176 v6926 v5985 v5021 v4947 v4224 v1726 v1306 v10274 v9324 v6921 v5022 v4968 -v4721 v3171 v2885 v2226 v1182 v10275 v5023 v4964 v2227 v10270 v8942 v8516 v6919 v5039 v4963 v4724 v4218 v2891 v2370 v1507 v1187 v8515 v6084 v5690 v2374 v10268 v8945 v5692 v4219 v2896 v1563 v1190 -v8839 v5698 v1565 v1188 -v8841 v5694 v3015 v2899 v2757 v2376 v341 v8847 v7105 v5705 -v3019 v2897 v2756 v2377 v345 v8843 v8512 v7123 -v6080 v3829 v1559 v8852 v7119 v3830 -v10448 v8618 -v7628 v8614 v646 v8613 v8114 v7622 v2593 v1204 v1054 v6899 v2592 v1208 v1058 v8120 v7623 v6241 v4891 v3426 v2124 v705 v7201 v6245 v4890 v2125 v709 v8125 v7202 v6212 v5810 v3665 v3432 v2120 v1060 v7203 v5812 v3669 v1440 v1061 v727 v8128 v7829 v7219 v6218 v3797 v2589 v2118 v748 v8126 v6114 v3799 v744 v8399 v7832 v7758 v6223 v6135 v5806 v4887 v3525 v3435 v743 v6131 v4916 v3529 v8405 v7764 v6226 v6130 v5869 v5807 v4560 v4172 v3793 v2506 v6224 v5873 v4559 v4174 v4030 v7769 v5259 v4127 v4032 v3986 v3794 v3531 v289 v5540 v5258 v4128 -v4038 v3532 v293 v10133 v8624 v8408 v7993 v7772 v5542 v4168 v4123 v4034 v3989 v3548 v10137 v7995 v7770 v5548 v4046 v3552 v3132 v8630 v5835 v5647 v5544 v4556 v4169 v4121 v3134 v2527 v2002 v1352 v5837 v5651 v5556 v3140 v2006 v1356 v9009 v7989 v6192 v5405 v5255 v3136 v2530 v1674 v9010 v5407 v3148 v1678 v10083 v9494 v9005 v8633 v7990 v6195 v5831 v5653 v3453 v6262 v5654 v3457 v10086 v9500 v9003 v6958 v6261 v5832 v5401 v4065 v1680 v9234 v7588 v2265 v1681 v9255 v7590 v6961 v6269 v6043 v5402 v3459 v3238 v2266 v9251 v7923 v7596 v6273 v6047 v3460 v2267 v9503 v9250 v7922 v7592 v7099 v6277 v3241 v2283 v9402 v7604 v7098 v6276 v3958 v9401 v7930 v3979 v1146 v131 v57 v7934 v3975 v2433 v1148 v135 v61 v9409 v8819 v7938 v3974 v2434 v1013 v98 v9413 v7937 v7127 -v6756 v2435 v1017 v97 v9417 v8825 v7148 v7095 -v6755 v2451 v1142 v1003 v10294 v10010 v9416 v7144 v3850 v1005 v10295 v10012 v9921 v7143 v6763 v5740 v5049 v3871 v1143 v10296 v10018 v9922 v9058 v7249 v6767 v3867 v10312 v10014 v9917 v8828 v7569 v7251 v6771 v5746 v5055 v4236 v3866 v3569 v999 v94 v10026 v8370 v7257 v6770 v9915 v8369 v8323 v7572 v7253 v5751 v3575 v3278 v1000 v7265 v3280 v3182 v8867 v8377 v8326 v6527 v5754 v5445 v5058 v3580 v3184 v102 v8381 v6528 v5752 v5449 v4919 v3190 v1465 v8870 v8385 v6523 v4921 v4275 v3583 v3274 v3186 v2293 v108 v24 v8384 v6369 v5212 v4927 v4279 v3581 v3198 v2297 v1973 v25 v7543 v6521 v5214 v4923 v3275 v1972 v113 v20 v7547 v5587 v5220 v4935 v8474 v6934 v5216 v2956 v2551 v1980 v116 v18 v10052 v6938 v5228 v2955 v2555 v1984 v114 v10054 v9066 v8565 v8480 v7321 v6432 v6309 v1988 v199 v10060 v8669 v8567 v7320 v6313 v6015 v1987 v203 v10056 v9954 v9072 v8671 v6940 v6862 v6183 v6016 v5522 v5357 v3158 v10068 v9328 v8677 v6941 v6182 v6017 v5526 v2214 v9957 v9212 v9171 v8673 v8561 v8483 v6315 v6033 v5363 v3616 v3164 v2952 v2213 v1494 v8685 v6316 v3620 v9215 v9075 v8562 v7317 v6924 v5528 v3169 v2832 v2651 v2221 v1500 v6923 v5529 v4223 v2833 v2225 v10273 v6179 v5366 v4965 v3622 v3172 v2828 v2657 v2229 v1724 v1505 v1301 v10272 v4967 v3623 v3170 v2364 v2228 v1728 v1305 v1175 v5042 -v4720 v2826 v2363 v2176 v1508 v1177 v5043 v2884 v1506 v1183 v8941 v6920 v5038 v4961 v4726 v2886 v2660 v2371 v1730 v1179 v2892 v2375 v1731 v1564 v1191 v335 v10269 v8947 v5036 v4962 v2888 v2379 v334 v5693 v2900 v2378 v7120 v5713 v4729 v3828 v3014 v342 -v8842 v7122 v5709 v3827 -v3018 v346 v8950 v8860 v5708 v4616 -v1560 v347 v8856 v7118 v348 v8617 -v7626 -v1277 v1049 v1281 v9445 v8611 v3422 v2123 v1206 v1055 v8113 v2122 v1210 v1059 v8612 v8115 v6243 v3428 v1063 v704 v8121 v6247 v5811 v1062 v708 v8117 v7222 v3664 v3433 v1212 v745 v8129 v7223 v6211 v3798 v3668 v3519 v1213 v747 v8395 v7828 v7218 v6249 v6213 v6132 v3518 v3436 v2119 v6250 v6219 v6134 v3434 v8401 v7858 v7834 v7216 v6215 v3526 v2502 v741 v7757 v6227 v4173 v3530 v8406 v7759 v6128 v5871 v4126 v3534 v2505 v742 v7765 v5875 v4125 v3533 v8620 v8409 v7837 v7761 v6129 v3985 v291 v8407 v7994 v7773 v5641 v4033 v295 v10132 v8626 v5877 v5640 v4054 v3991 v3550 v10136 v5878 v5836 v5543 v4050 v3554 v1668 v9008 v8631 v5648 v5564 v4122 v4049 v2526 v2004 v1667 v1351 v319 v297 v9007 v5652 v5560 v5406 v3447 v3135 v2008 v1355 v298 v9490 v8634 v6191 v5656 v5559 v4850 v3994 v3556 v3446 v3156 v2532 v1675 v8632 v5655 v4854 v3557 v3152 v1679 v10082 v9496 v9142 v6197 v4061 v3454 v3151 v2010 v1683 v9146 v3458 v2011 v1682 v10088 v9501 v9252 v9004 v8575 v6957 v4064 v3462 v2535 v9254 v8579 v6263 v3461 v9504 v6963 v6264 v6200 v6045 v3313 v3237 v2286 v1528 v9502 v7591 v6265 v6049 v3317 v2287 v10091 v9248 v7612 v6281 v3976 v3243 v2282 v7924 v7608 v3978 v1147 v9249 v8815 v7925 v7607 v6966 v6051 v2280 v133 v56 v9403 v7926 v6052 v137 v60 v9404 v8821 v7942 v7230 v7145 v3972 v3246 v2454 v1012 v9405 v7234 v7147 v2455 v1016 v1004 v9920 v9421 v8826 v5045 v3973 v3868 v2450 v139 v9919 -v6757 v3870 v140 v10315 v8829 v7141 -v6758 v5051 v4232 v2448 v10316 v10013 v8827 v6759 v5739 v10311 v10034 v7568 v7142 v6775 v5741 v5056 v4235 v3864 -v1752 v10030 v7252 v5747 v3568 v3279 v10309 v10029 v9916 v8322 v7574 v7273 v6526 v5743 v5059 v3865 v3570 v805 v8371 v7269 v6525 v5755 v5057 v3576 v809 v8866 v8372 v8328 v7268 v5447 v3572 v23 v8373 v5451 v3584 v3185 v101 v22 v8872 v8389 v7577 v4274 v3206 v2295 v103 v6928 v4922 v4278 v3202 v2299 v109 v8470 v8331 v7545 v6927 v6522 v5453 v4943 v3201 v1773 v105 v7549 v6303 v5454 v5215 v4939 v1974 v1777 v117 v10602 v9062 v8875 v8476 v6935 v6428 v6302 v5236 v4938 v2553 v2301 v1975 v19 v10606 v8566 v6939 v5516 v5232 v2557 v2302 v1976 v9068 v8481 v7551 v6943 v6858 v6431 v6310 v5515 v5353 v5333 v5231 v1992 v198 v10055 v7552 v6942 v6314 v5337 v3610 v202 v10076 v9953 v9167 v9073 v8484 v8262 v6861 v6318 v6036 v5523 v5359 v3609 v3217 v2559 v10072 v8672 v8482 v8266 v6317 v6037 v5527 v3157 v2560 v10071 v9959 v9211 v9170 v9076 v8693 v6032 v5531 v5364 v3617 v3159 v3092 v2831 v2647 v9074 v8689 v5530 v3621 v3165 v2830 v2215 v1718 v1493 v9217 v8688 v6030 v5367 v3625 v3161 v2653 v2216 v1717 v1495 v5365 v4966 v3624 v3173 v2217 v1501 v9962 v5041 v4716 v2658 v2233 v2172 v1725 v1497 v1303 v5040 v1729 v1509 v1307 v9220 v8937 -v4722 v2827 v2661 v2175 v1733 v2659 v2365 v1732 v1178 v8943 v4727 v2366 v1478 v1309 v1199 v2887 v2367 v1310 v1195 v9262 v8948 v5710 v5037 v4730 v2908 v2383 v1194 v9266 v7121 v5712 v4728 v2904 v336 v8951 v8857 v4612 v3404 v3016 v2903 v337 v8949 v8859 v3408 -v3020 v338 v5706 v4615 v352 v8855 v7116 -v9441 v8615 -v7627 -v1276 -v1201 v1073 v6237 v1280 v1048 v9444 v6236 v1207 v1050 v3421 v1211 v1051 v7221 v6244 v3423 v1215 v1067 v706 v8116 v7220 v6248 v3429 v1214 v746 v710 v8137 v7824 v6252 v3666 v3425 v8133 v6251 v6133 v3670 v3437 v8132 v7854 v7830 v712 v8394 v6214 v5865 v3520 v713 v8396 v7857 v7835 v7217 v6235 v5864 v5600 v3672 v3521 v2501 v8402 v6231 v3673 v3522 v285 v8398 v7838 v6230 v5872 v3981 v3538 v2507 v284 v8410 v7836 v7760 v5876 v3544 v7781 v6575 v5880 v4051 v3987 v3543 v292 v8619 v7777 v6579 v5879 v4053 v1998 v296 v10134 v8621 v7776 v5561 v3992 v3551 v2522 v2510 v1997 v315 v300 v10138 v8627 v5642 v5563 v3555 v299 v8623 v6187 v5643 v4186 v4047 v3995 v3559 v3153 v2528 v2005 v1353 v318 v8635 v5644 v3993 v3558 v3155 v2009 v1669 v1357 v10140 v10078 v6193 v5660 v5557 v4849 v4048 v2533 v2013 v1670 v10141 v9489 v4853 v3448 v2012 v1671 v10084 v9491 v9141 v6953 v6198 v5558 v4060 v3449 v3149 v2536 v1687 v1359 v9497 v9253 v9145 v6039 v3450 v2534 v1360 v10089 v9493 v8574 v6959 v6201 v6038 v4066 v3466 v3233 v3150 v2285 v1524 v9505 v8578 v6199 v2284 v10092 v7609 v6964 v6284 v6046 v3312 v3239 v3042 v1527 v10090 v7611 v6285 v6050 v3977 v3316 v127 v9564 v6967 v6280 v6054 v4069 v3244 v126 v6965 v6053 v7945 v7605 v6278 v3247 v2453 v2281 v134 v58 v8814 v7946 v7146 v3245 v2452 v138 v62 v9424 v8816 v7941 v7606 v7229 v6987 v1014 v142 v9425 v8822 v7233 v3869 v1018 v141 v10314 v9420 v8818 v7939 v64 v10313 v8830 v5044 v65 v10031 v9418 v7564 v6778 v5046 v4231 v2449 -v1748 v1020 v10033 v6779 v5052 v1021 v8318 v7570 v7270 v6774 v5048 v4237 v2151 -v1751 v7272 v5742 v5441 v5060 v10310 v10027 v8862 v8324 v7575 v6772 v5763 v5440 v804 v5759 v3571 v2289 v808 v10028 v8868 v8392 v8329 v7578 v7266 v5758 v5448 v4240 v3592 v3203 v2288 v8393 v7576 v7539 v5452 v3588 v3205 v8873 v8388 v8332 v7538 v7267 v5456 v4940 v4276 v3587 v2296 v1602 v8330 v5455 v4942 v4280 v2547 v2300 v104 v8876 v8386 v7546 v5233 v3199 v2546 v2304 v1772 v363 v125 v8874 v8469 v7550 v6929 v5235 v2303 v1776 v367 v121 v10601 v8471 v7554 v6930 v6427 v4936 v4282 v3200 v2554 v1995 v120 v10605 v9061 v8477 v7553 v6931 v6304 v4283 v2558 v1996 v10073 v9949 v9655 v9063 v8473 v6947 v6857 v6433 v6305 v6035 v5332 v5229 v4937 v3213 v2562 v1991 v200 v10075 v9069 v8485 v6306 v6034 v5517 v5352 v5336 v2561 v204 v9955 v9207 v9166 v9065 v8690 v8261 v6863 v6322 v5518 v5354 v5230 v3216 v3088 v1989 v1928 v9077 v8692 v8265 v5519 v5360 v3611 v1932 v10069 v9960 v9213 v9172 v6436 v5535 v5356 v4696 v3612 v3091 v206 v5368 v4700 v3613 v3160 v2646 v1297 v207 v10070 v9963 v9218 v8686 v6866 v6031 v5895 v3629 v3181 v2648 v2236 v1296 v9961 v5899 v3177 v2654 v2237 v1719 v1496 v9221 v9175 v8687 v3176 v2650 v2232 v2171 v1720 v1517 v1304 v9219 v4715 v2662 v1721 v1513 v1308 v4717 v2230 v2177 v1737 v1512 v1474 v1312 v1196 v8936 -v4723 v1311 v1198 v8938 v7662 v4719 v2905 v2386 v1477 v8944 v5711 v4731 v3010 v2907 v2387 v9261 v8940 v3009 v2382 v2180 v1192 v9265 v8952 v8858 v4611 v3403 v3017 v2901 v2380 v1193 v355 v3407 -v3021 v356 -v6482 -v5707 v4617 v4527 -v3022 v2902 v351 v8853 v7117 v4531 -v3023 v9440 v8616 -v2062 -v1278 v1072 v2066 v1282 -v1200 v700 v9446 v8749 -v1202 v1070 v699 v6238 v3660 v1203 v1071 v8134 v6736 v6239 v3659 v1284 v1219 v1066 v707 v8136 v6740 v6240 v3424 v1285 v711 v9449 v6256 v3667 v3445 v1064 v715 v7823 v3671 v3441 v714 v8130 v7853 v7825 v7350 v6232 v5596 v3675 v3440 v2497 v7831 v7354 v6234 v3674 v8131 v7859 v7827 v5599 v3541 v2503 v265 v8397 v7839 v5866 v3542 v269 v8418 v7778 v6228 v5867 v3537 v2508 v659 v10128 v8414 v7780 v5868 v4052 v3980 v286 v10207 v10127 v8413 v7862 v6574 v6229 v5884 v3982 v3535 v2511 v1259 v287 v10211 v6578 v5562 v3988 v3545 v2509 v1347 v288 v10135 v7774 v5496 v4182 v3984 v3546 v1346 v314 v304 v10139 v8622 v5500 v3996 v3547 v3154 v2521 v1999 v10143 v8643 v7775 v5663 v4185 v3563 v2523 v2000 v1354 v320 v10142 v8639 v6186 v5664 v2529 v2001 v1358 v8638 v6188 v5659 v4851 v4056 v2525 v2017 v1690 v1362 v10077 v6194 v4855 v2537 v1691 v1361 v10079 v9143 v6190 v5657 v5621 v4062 v3469 v1686 v323 v10085 v9492 v9147 v6952 v6202 v5625 v3470 v10081 v9513 v8576 v6954 v6283 v4857 v4462 v4067 v3465 v3038 v1684 v1523 v10093 v9509 v8580 v7610 v6960 v6282 v6040 v4858 v3232 v9560 v9508 v9149 v6956 v6041 v4070 v3463 v3314 v3234 v3041 v2794 v1529 v9150 v6968 v6042 v4068 v3318 v3240 v52 v9563 v8582 v7944 v6058 v3236 v51 v8583 v7943 v3248 v1008 v128 v10704 v9423 v6983 v6279 v3320 v1532 v1007 v129 v59 v9422 v3321 v130 v63 v8148 v7231 v6986 v1015 v146 v67 v8817 v7235 v1019 v66 v8838 v7940 v6777 v6378 v4227 v1023 v10032 v8834 v6776 v6382 v1022 v9419 v8833 v7237 v4233 v2147 -v1747 v1331 v7563 v7271 v7238 v5047 v7565 v5760 v5068 v4238 v2150 -v1753 v8317 v7571 v5762 v5064 v8391 v8319 v7567 v6773 v5063 v4241 v3589 v806 v8861 v8390 v8325 v7579 v5442 v4270 v4239 v3591 v3204 v810 v8863 v8321 v5756 v5443 v4269 v1756 v1598 v8869 v8333 v5444 v4941 v2290 v9096 v8865 v5757 v5460 v4277 v3585 v2291 v1601 v812 v122 v8877 v7540 v5234 v4281 v2292 v813 v124 v8387 v7541 v6423 v4285 v3586 v2308 v1994 v1774 v362 v7542 v4284 v2548 v1993 v1778 v366 v194 v10603 v9651 v7558 v7037 v6950 v6853 v6429 v2549 v193 v118 v10607 v10074 v8472 v6951 v2550 v9654 v9162 v8493 v6946 v6859 v6434 v6325 v5724 v5334 v3212 v2566 v1780 v201 v119 v9948 v9064 v8691 v8489 v6326 v5338 v1781 v205 v10609 v9950 v9168 v9085 v8488 v8263 v6944 v6864 v6437 v6321 v5538 v3218 v3087 v1990 v1927 v209 v10610 v9956 v9206 v9081 v8267 v6435 v5539 v5355 v1931 v208 v9952 v9208 v9173 v9080 v6867 v6319 v5534 v5376 v5340 v4695 v3632 v3178 v3093 v2235 v1230 v931 v9964 v9214 v6865 v5372 v5341 v4699 v3633 v3180 v2234 v1234 v9210 v9176 v8269 v5894 v5532 v5371 v3628 v3221 v2167 v1514 v9222 v9174 v8270 v5898 v2649 v1516 v1298 v3626 v3174 v3096 v2670 v2173 v1740 v1299 v2666 v1741 v1300 v1197 v7658 v3175 v2665 v2385 v2231 v2178 v1736 v1510 v1473 v1316 v4718 v2906 v2384 v10659 v7661 -v4739 v2181 v1734 v1511 v1479 v8939 v4735 v2179 v9263 v8960 v4734 v4607 v3757 v2994 v354 v9267 v8956 v3761 v3011 v353 v8955 v6478 v4613 v3405 v3012 v2381 v1482 v607 v3409 v3013 -v611 -v9269 v6481 v4618 v4526 v3027 v349 -v9270 v8854 v4530 v9442 -v8745 v3732 v2061 -v1279 v1074 v1069 v3736 v2065 v1283 v1068 v9447 v8748 v7701 v1287 v1222 v8135 v1286 v1223 v701 v9450 v6735 v6259 v3442 v1218 v1078 v702 v32 v9448 v6739 v6260 v3661 v3444 v703 -v36 v7849 v6255 v5000 v4675 v3662 v1216 v1065 v719 v6233 v5004 v3663 v7855 v7349 v7280 v6253 v5595 v3679 v3540 v3438 v7826 v7353 v7284 v3539 v2496 v8415 v7860 v7847 v5601 v3439 v2498 v655 v264 v8417 v7843 v7779 v2504 v268 v7863 v7842 v5887 v2500 v1255 v658 v7861 v5888 v2512 v10206 v8411 v6576 v5883 v5604 v3536 v1258 v310 v307 v10210 v10129 v6580 v3983 v308 v10482 v10130 v8640 v8412 v5881 v5662 v5495 v4181 v4004 v3566 v316 v303 v10486 v10131 v8642 v5661 v5499 v4845 v4000 v3567 v1348 v10147 v6582 v4844 v4187 v3999 v3562 v2020 v1689 v1349 v321 v301 v9137 v6583 v2524 v2021 v1688 v1350 v9136 v8636 v4852 v3560 v3468 v2545 v2016 v1366 v324 v8570 v6189 v4856 v4055 v3467 v2541 v322 v9510 v9144 v8637 v8569 v6210 v5658 v5620 v4860 v4458 v4190 v4057 v2540 v2014 v1519 v10080 v9512 v9148 v6206 v5624 v4859 v4063 v3308 v10101 v9833 v9152 v8577 v6205 v4461 v4059 v3307 v3037 v2790 v1685 v1525 v10097 v9151 v8581 v6955 v4071 v10096 v9559 v9506 v8585 v7416 v6976 v6061 v3464 v3315 v3043 v2793 v2466 v1530 v8584 v7420 v6972 v6062 v3319 v3235 v10700 v9565 v9507 v6971 v6057 v3323 v3256 v1533 v830 v7225 v3322 v3252 v1531 v834 v53 v10703 v8144 v7224 v6982 v6055 v3251 v3046 v149 v54 v1009 v150 v55 v9568 v8835 v8147 v7232 v6988 v6670 v1010 v145 v71 v8837 v7236 v1011 v7240 v6377 v1743 v1327 v1027 v143 v7239 v6381 v4226 v8831 v6991 v5065 v4228 v3338 v2146 -v1749 v1330 v5761 v5067 v4234 v3342 v800 v8832 v7953 v4230 v2152 -v1754 v799 v7957 v7566 v4242 v3590 v7587 v5671 v5061 v2919 v1757 v807 v8320 v7583 v5675 v1755 v811 v9092 v8341 v7582 v5463 v5062 v2155 v1597 v815 v8864 v8337 v5464 v4271 -v1768 v814 v123 v9095 v8885 v8336 v7180 v5459 v4272 v2311 -v1767 v1603 v10597 v8881 v7184 v4273 v2312 v10596 v8880 v7561 v7033 v6949 v5457 v4289 v2307 v1775 v364 v7562 v6948 v6422 v5328 v1779 v368 v10604 v9650 v8490 v7557 v7058 v7036 v6424 v6324 v5720 v5327 v3208 v2569 v2305 v1783 v1606 v10608 v8492 v8257 v7062 v6852 v6430 v6323 v2570 v1782 v195 v10612 v9656 v9082 v8256 v7555 v6854 v6426 v5723 v5537 v5335 v3214 v3083 v2565 v536 v370 v196 v10611 v9161 v9084 v6860 v6438 v5536 v5339 v371 v197 v9163 v8486 v8264 v6945 v6856 v5373 v5343 v3631 v3363 v3219 v3089 v2563 v1929 v927 v213 v9951 v9169 v8268 v6868 v5375 v5342 v3630 v3367 v3179 v1933 v9972 v9659 v9165 v9078 v8487 v8272 v6320 v4697 v4304 v3222 v3094 v1229 v930 v9968 v9209 v9177 v8271 v4701 v3220 v1515 v1233 v9967 v9230 v9079 -v5924 v5896 v5533 v5369 v3477 v3097 v2667 v1935 v1739 v9226 v5900 v3481 v3095 v2669 v2166 v1936 v1738 v9225 v5370 v4703 v3627 v2168 v1469 v1319 v4704 v2174 v1320 v10655 v7657 v5902 -v4736 v2663 v2412 v2170 v1957 v1475 v1315 v9257 v5903 -v4738 v2416 v2182 v10658 v9256 v8957 v7663 v2990 v2664 v1735 v1480 v1313 v8959 -v3399 v9264 v4732 v3756 -v3398 v2993 v1483 v9268 v4606 v3760 v1481 -v9272 v8953 v7666 v6477 v4802 v4733 v4608 v3406 v3030 v606 -v9271 -v4806 v4614 v3410 v3031 v610 v10041 v8954 v6483 v4610 v4528 v3411 v3026 v350 v10045 v4619 v4532 -v3412 -v9438 v8744 -v7697 v3731 v2063 -v1275 v1221 v1075 -v947 v9443 v3735 v2067 v1274 v1220 v951 v9439 v8750 v7700 v6258 v1291 v1079 v9451 v6257 v3443 v1077 v9804 v7159 v6737 v4671 v2069 v722 v31 v9808 v6741 v2070 v723 v35 v8753 v5591 v4999 v4674 v3682 v1217 v718 v7848 v5003 v3683 v7850 v7844 v7351 v7279 v6743 v6254 v5597 v3678 v716 v8416 v7856 v7846 v7355 v7283 v6744 v7852 v5886 v5602 v4487 v3676 v654 v266 v7864 v6570 v5885 v2499 v270 v10507 v7840 v7357 v6569 v5605 v3714 v2520 v1254 v660 v306 v10511 v7358 v5603 v2516 v305 v10208 v7841 v6577 v4177 v4001 v3565 v2515 v1260 v272 v10212 v8641 v6581 v4003 v3564 v309 v273 v10481 v10150 v6585 v5882 v5497 v4183 v2019 v663 v311 v10485 v10151 v6584 v5501 v2018 v317 v10214 v10146 v4188 v3997 v2542 v1369 v1263 v313 v302 v10215 v4846 v2544 v1370 v325 v10144 v6207 v5503 v4847 v4347 v4191 v3998 v3561 v1365 v9511 v9138 v6209 v5504 v4848 v4189 v10098 v9829 v9139 v5622 v4864 v4457 v3033 v2538 v2015 v1363 v10100 v9140 v8571 v5626 v4058 v1518 v10561 v9832 v9555 v9156 v8572 v6973 v6203 v6060 v4463 v4079 v3039 v2789 v2539 v2462 v1520 v8573 v6975 v6059 v4075 v3309 v1526 v10094 v9561 v8650 v8589 v7415 v6715 v6204 v5628 v4074 v3310 v3253 v3044 v2795 v2465 v1522 v8654 v7419 v5629 v3311 v3255 v1534 v10699 v10095 v9566 v6978 v6969 v4466 v3327 v3047 v829 v148 v3045 v833 v147 v10705 v9569 v9117 v8143 v6984 v6970 v6666 v6056 v5197 v3249 v2798 v74 v9567 v9121 v8836 v7226 v75 v8149 v7227 v6989 v6669 v3250 v1030 v70 v7228 v1031 v10708 v7244 v6992 v6379 v2142 v1326 v1026 v144 v68 v6990 v6383 v5066 v1742 v8152 v3337 v2148 v1744 v1332 v1024 v859 v4229 v3341 -v1750 v7952 v7584 v6385 v4250 v2915 v2153 v1746 v7956 v7586 v6386 v4246 v1758 v801 v9291 v8338 v5670 v5462 v4245 v2918 v2156 v1593 v1335 v802 v8340 v5674 v5461 v2154 v803 v9091 v8882 v7580 v2310 v1599 v819 v8884 v2309 v358 v9097 v8429 v8334 v7581 v7560 v7179 v5415 v4292 v1604 v357 v7559 v7183 v5419 v4293 -v1769 v9646 v8878 v8335 v7032 v5458 v4288 v2568 -v1770 v1607 v365 v10598 v8491 v2567 v1771 v1605 v369 v10599 v9652 v9100 v8879 v7057 v7038 v5719 v4286 v2306 v1787 v532 v373 v10600 v9083 v7061 v6425 v5329 v3207 v1923 v372 v10616 v9657 v7556 v6446 v5725 v5330 v3209 v1922 v780 v535 v216 v8258 v6855 v6442 v5374 v5331 v4691 v3215 v3082 v784 v217 v9969 v9660 v8259 v7041 v6876 v6441 v5347 v4690 v4300 v3362 v3211 v3084 v2564 v1930 v926 v212 v9971 v9658 v9164 v8260 v6872 v5890 v3366 v3223 v3090 v1934 v9227 v9185 v8276 v6871 v5920 v5889 v5728 v4698 v4303 v3086 v1938 v1231 v932 v210 v9229 v9181 v4702 v3098 v2668 v1937 v1235 v9965 v9180 v5923 v5897 v4706 v3476 v1318 v5901 v4705 v3480 v1317 v9966 v9223 v7653 v5905 v1953 v1237 v935 v5904 -v4737 v2169 v1468 v1238 v10654 v9224 v7659 v2411 v2190 v1956 v1470 v8958 v2415 v2186 v1476 v10660 v10186 v7664 v2989 v2185 v1472 v1314 v9258 v1484 v9259 v7667 v6473 v3758 v3029 v2995 v9260 v7665 v4522 v3762 -v3400 v3028 v10663 v9276 v6479 v5129 v4801 v4521 -v3401 v608 v4805 v4609 v3402 v612 v10040 v6484 v4627 v4529 v3764 v3416 v3024 v2998 v227 v10044 v4623 v4533 v3765 v8746 v7696 -v5287 v3733 v2064 v1294 v1076 v946 v9437 v6731 v5291 v3737 v2068 v1295 v1080 v950 v9459 v8751 v7702 v7155 v6730 v2072 v1290 v721 v9455 v2071 v720 v10532 v9803 v9454 v8754 v7158 v6738 v4670 v3739 v3681 v1288 v33 v10536 v9807 v8752 v7345 v6742 v3740 v3680 v37 v7705 v7344 v6746 v5001 v4676 v7845 v6745 v5590 v5005 v260 v7352 v7281 v5592 v4483 v717 v650 v259 v39 v7851 v7356 v7285 v5598 v40 v7872 v7482 v7360 v5594 v5007 v4679 v4486 v3710 v3677 v2517 v1250 v656 v267 v10202 v7868 v7486 v7359 v5606 v5008 v2519 v271 v10506 v10201 v7867 v7287 v3713 v2319 v1256 v661 v489 v275 v10510 v7288 v6571 v5491 v4002 v2323 v274 v10209 v10149 v6572 v5490 v2513 v1261 v664 v10213 v10148 v6573 v4176 v662 v10483 v10217 v6589 v5498 v4178 v2514 v1368 v1264 v10487 v10216 v5502 v4184 v2543 v1367 v1262 v312 v7375 v5506 v4343 v4180 v333 v7379 v6208 v5616 v5505 v4192 v329 v10489 v10145 v5615 v4867 v4453 v4346 v328 v10490 v10099 v4868 v10557 v9828 v9159 v5623 v4863 v4459 v4076 v2785 v1364 v9160 v6974 v5627 v4078 v3032 v10560 v9834 v9155 v8592 v6711 v5631 v4861 v4464 v3034 v2791 v2461 v9554 v8593 v5630 v3254 v3040 v1521 v10695 v9556 v9153 v8649 v8588 v7417 v6714 v4467 v4072 v3330 v3036 v2796 v2728 v2467 v1542 v9562 v8653 v7421 v4465 v3331 v3048 v1538 v10701 v9837 v9558 v8586 v8139 v5193 v4073 v3326 v2799 v1537 v831 v73 v9570 v6977 v2797 v835 v72 v10706 v9116 v8145 v7423 v6979 v6665 v5196 v3324 v2470 v1029 v9120 v7424 v6985 v6373 v1028 v10709 v8150 v7247 v6981 v6671 v6372 v3936 v1322 v837 v10707 v7248 v6993 v3940 v838 v8153 v7243 v6380 v1328 v906 v855 v69 v8151 v6384 v2141 v7241 v6674 v6388 v4247 v3339 v2965 v2143 v1333 v1025 v858 v7585 v6387 v4249 v3343 v2969 v2149 v1745 v9287 v7954 v2914 v2145 v1766 v1336 v8339 v7958 v2157 v1762 v1334 v9290 v9087 v5672 v4243 v3345 v2920 v1761 v822 v8883 v5676 v3346 v1592 v823 v9093 v8425 v7960 v7905 v4291 v4244 v1594 v818 v7961 v4290 v1600 v9098 v8428 v7181 v7028 v5678 v5414 v3644 v2923 v1596 v816 v7185 v5679 v5418 v1608 v359 v9101 v7034 v5715 v1790 v360 v9645 v9099 v1791 v361 v10619 v9647 v7187 v7059 v7039 v6443 v5721 v4287 v1786 v531 v377 v215 v10620 v9653 v7188 v7063 v6445 v214 v10615 v9649 v7042 v6873 v5726 v5350 v1784 v922 v779 v537 v388 v9970 v9661 v7040 v6875 v5351 v3210 v1924 v1225 v783 v392 v10613 v9182 v8279 v7065 v6439 v5729 v5346 v4299 v3364 v3231 v1925 v1224 v928 v9228 v9184 v8280 v7066 v5727 v4692 v3368 v3227 v3085 v1926 v8275 v6869 v6440 v5919 v5344 v4693 v4305 v3226 v3106 v1942 v1232 v933 v540 v211 v5891 v4694 v3102 v1236 v9178 v8273 v6870 v5925 v5892 v4710 v3478 v3370 v3101 v2631 v1240 v936 v5893 v3482 v3371 v1239 v934 v10650 v9179 v5909 v4308 v2187 v1952 v7652 v2189 v10656 v10182 v7654 v5928 -v4421 v3484 v2985 v2413 v1958 v7660 v3752 v3485 v2417 v1471 v10661 v10185 v7656 v3751 v2991 v2183 v1492 v7668 v1488 v602 v10664 v9279 v8177 v5125 v3759 v2996 v2419 v2184 v1961 v1487 v601 v10662 v9280 v8181 v6472 v3763 v2420 v9275 v6474 v5128 v4803 v4624 v3767 v3419 v2999 v609 v223 v6480 v4807 v4626 v4523 v3766 v3420 v2997 v613 v10042 v9273 v6476 v4524 v3415 -v3391 -v3025 v614 v226 v10046 -v6485 v4622 v4525 v615 v9456 -v8742 v7698 v5286 v3734 v2060 v1292 v1088 v948 v9458 v8747 v5290 v3738 v2059 v1084 v952 v27 v8743 v7703 v7154 v4666 v3742 v2076 v1083 v26 v8755 v6732 v4995 v3741 v10531 v9805 v9452 v7706 v7160 v6733 v4994 v4672 v1289 v954 v34 v10535 v9809 v7704 -v7275 v6734 v955 v38 v9453 v7274 v6750 v5002 v4677 v4015 v42 v7346 v5006 v41 v9811 v7869 v7347 v7282 v7163 v5010 v4680 v4482 v9812 v7871 v7348 v7286 v5593 v5009 v4678 v2518 v649 v261 v7481 v7364 v7290 v5614 v4488 v3709 v651 v485 v262 v7485 v7289 v5610 v1249 v657 v263 v10508 v7865 v5609 v3715 v2318 v1251 v653 v488 v279 v10512 v10477 v10203 v2322 v1257 v665 v10476 v10323 v10204 v7866 v6592 v4573 v4491 v1253 v10327 v10205 v6593 v5492 v1265 v10514 v10484 v10221 v6588 v5493 v3718 v330 v10515 v10488 v5494 v4179 v332 v10492 v7374 v6586 v5510 v4866 v4342 v4200 v10491 v7378 v4865 v4196 -v9824 v9158 v7792 v4348 v4195 v326 v9157 v5617 v4452 v4077 v10556 v9830 v8591 v5618 v4454 v2457 v327 v8590 v7411 v5619 v4460 v2784 v10562 v9835 v7410 v6710 v5635 v4862 v4746 v4456 v4351 v3329 v2786 v2724 v2463 v1539 v4750 v4468 v3328 v3035 v2792 v1541 v825 v9838 v9743 v9154 v8651 v7418 v6716 v3056 v2788 v2727 v2468 v824 v10694 v9836 v9747 v9557 v8655 v7422 v3052 v2800 v10696 v10565 v9578 v8587 v7426 v6833 v6661 v5192 v3051 v2471 v1535 v832 v10702 v9574 v8138 v7425 v6837 v2469 v836 v10698 v9573 v9118 v8657 v8140 v7246 v6719 v6667 v5198 v3325 v1536 v840 v10710 v9122 v8658 v8146 v7245 v6980 v839 v8142 v7001 v6672 v3935 v3878 v902 v8154 v6997 v6374 v3939 v3882 v3333 v1321 v9124 v6996 v6675 v6375 v5201 v3332 v1323 v905 v854 v9125 v7948 v6673 v6376 v4248 v1329 v7947 v7242 v6392 v3340 v2964 v2910 v2677 v1763 v1325 v860 v5666 v3344 v2968 v2681 v2144 v1765 v1337 v9286 v7955 v5665 v3348 v3067 v2916 v2165 v821 v7959 v3347 v2161 v820 v9292 v7963 v7901 v5673 v2921 v2160 v1759 v863 v9086 v7962 v7175 v5677 v9088 v8424 v7904 v7174 v5681 v3640 v2924 v1760 v9094 v5680 v2922 v1595 v9295 v9090 v8430 v7182 v5416 v3643 v1789 v1616 v817 v9102 v7186 v7053 v7027 v5420 v1788 v1612 v10618 v7190 v7052 v7029 v1611 v527 v380 v10617 v7189 v7035 v6444 v5714 v381 v8433 v7060 v7031 v5716 v5422 v5349 v533 v376 v9648 v7064 v7043 v6874 v5722 v5423 v5348 v3358 v9669 v9382 v8278 v7068 v5718 v4295 v3357 v3228 v1785 v781 v538 v387 v374 v9665 v9386 v9183 v8277 v7067 v5730 v3230 v921 v785 v391 v10614 v10410 v9664 v5915 v4301 v3365 v3103 v1945 v923 v541 v10414 v3472 v3369 v3105 v1946 v1226 v929 v539 v5921 v5345 v4713 v4306 v3471 v3373 v3224 v2627 v1941 v1227 v925 v787 v4714 v3372 v1228 v937 v788 v8274 v7445 v5926 v5912 v4709 v4309 v3479 v3225 v3099 v2630 v1948 v1939 v1244 v5913 v4307 v3483 v2407 v2188 v5929 v5908 v4707 v4417 v3487 v3100 v2406 v1954 v10649 v5927 v3486 v10651 v10181 v5906 -v4420 v2414 v1959 v1489 v10657 v7655 v2984 v2418 v1491 v10653 v10187 v9278 v7676 v2986 v2422 v1962 v10665 v9277 v7672 v4797 v3753 v2992 v2421 v1960 v9539 v8176 v7671 v5124 v4796 v3754 v3418 v2988 v1485 v10036 v9543 v8180 v4625 v3755 v3417 v3000 v603 v10190 v10035 v5130 v4804 v3771 v3387 v1486 v604 v222 v6475 v4808 v605 v10043 v9274 v6493 v4809 v4536 v3413 v3390 v619 v228 v10047 v6489 -v4810 v4620 v4537 v9457 v7694 v7150 v5288 -v3730 v2079 -v1293 v1087 v949 v9799 v8741 v7699 v5292 v3729 v2080 v953 v9798 v8763 v7695 v7156 v3746 v2075 v1081 v957 v8759 v7707 v4665 v956 v28 v10533 v9806 v8758 v7161 v6753 v5294 v4667 v4011 v2073 v1082 v29 v10537 v9810 v6754 v5295 v4996 v4673 v30 v9814 v7164 v6749 v4997 v4669 v4478 v4014 v46 v9813 v7870 v7276 v7162 v4998 v4681 v10539 v8237 v7367 v7277 v6747 v5611 v5014 v4484 v3705 v10540 v10502 v8241 v7368 v7278 v5613 v10501 v7483 v7363 v7294 v4489 v3711 v484 v282 v7487 v652 v283 v10509 v7361 v6591 v5607 v4569 v4492 v3716 v2320 v673 v490 v278 v10513 v6590 v4490 v2324 v1252 v669 v10517 v10322 v10224 v7489 v5608 v4572 v3719 v1273 v668 v276 v10516 v10478 v10326 v10225 v7490 v3717 v1269 v331 v10479 v10220 v5513 v4338 v4197 v2326 v1268 v493 v10480 v5514 v4199 v2327 v10496 v10218 -v7788 v7376 v6587 v5509 v4344 v7380 v10552 v7791 v5507 v4349 v4193 -v9823 v10558 -v9825 v7382 v6706 v5638 v4352 v4194 v9831 v8645 v7383 v5639 v4455 v4350 v2456 v1540 v10563 v9827 v8644 v6712 v5634 v4745 v4476 v3053 v2723 v2458 v9839 v7412 v4749 v4472 v3055 v2787 v2464 v10566 v9742 v9575 v8652 v7413 v6717 v5632 v5188 v4471 v2808 v2729 v2460 v10564 v9746 v9577 v9112 v8656 v7414 v2804 v2472 v826 v9111 v8660 v7430 v6832 v6720 v5194 v3049 v2803 v827 v10697 v8659 v6836 v6718 v6660 v828 v10718 v9571 v9119 v6998 v6662 v5199 v3050 v2732 v844 v10714 v9123 v8141 v7000 v6668 v10713 v9572 v9127 v8162 v6664 v5202 v3937 v3877 v901 v850 v9126 v8158 v6676 v5200 v3941 v3881 v8157 v6994 v6395 v907 v856 v6396 v3334 v1764 v1324 v9282 v6995 v6391 v3943 v3335 v3063 v2966 v2676 v2162 v1345 v861 v7949 v3944 v3336 v2970 v2909 v2680 v2164 v1341 v9288 v7950 v6389 v3352 v3066 v2911 v1340 v910 v864 v7951 v5667 v2917 v862 v9293 v8420 v7967 v7900 v5668 v2972 v2913 v2158 v5669 v5410 v2973 v2925 v9296 v8426 v7906 v5685 v5409 v3639 v2159 v1613 v9294 v9089 v7176 v1615 v9110 v8431 v7177 v5417 v3645 v379 v9106 v7178 v5421 v378 v9105 v8434 v7909 v7194 v5425 v1609 v8432 v7054 v7030 v5424 v775 v526 v9666 v7055 v7051 v3648 v1610 v774 v528 v9668 v7056 v7047 v5717 v3229 v534 v9381 v7072 v7046 v5738 v1944 v782 v530 v389 v375 v9385 v5734 v4294 v3359 v3104 v1943 v786 v542 v393 v10409 v9662 v5733 v4712 v4296 v3360 v790 v10413 v5914 v4711 v4302 v3361 v924 v789 v9663 v7441 v5916 v5911 v4298 v3377 v2626 v1247 v945 v395 v5922 v5910 v4310 v3473 v1248 v941 v396 v7444 v5918 v3474 v2632 v1940 v1243 v940 v5930 v3475 v1947 v10177 v4708 v4416 v3491 v1949 v1241 v2408 v1955 v1490 v10183 v8704 v7673 v5907 -v4422 v2635 v2409 v1951 v10652 v7675 v2410 v1963 v10673 v10188 v5120 v2426 v10669 v2987 v10668 v10191 v9538 v8178 v7669 v5126 v4425 v3774 v3008 v219 v10189 v9542 v8182 v4798 v3775 v3004 v7670 v6490 v5131 v4799 v4535 v3770 v3386 v3003 v622 v224 v10037 v6492 v4800 v4534 v623 v10038 v8184 -v5132 v4814 v3768 -v3414 v3392 v618 v229 v10039 v8185 v6488 -v5133 -v4621 v8760 v5289 v3749 v2077 v1085 -v10757 v10527 v8762 v7693 v7149 v5293 v3750 v10526 v7715 v7151 v6752 v5297 v3745 v961 v9800 v7711 v7157 v6751 v5296 v10534 v9801 v8756 v7710 v7153 v4010 v3743 v2074 v49 v10538 v9802 v7165 v4668 v50 v10542 v9818 v8757 v7366 v5017 v4689 v4016 v45 v10541 v7477 v7365 v5612 v5018 v4685 v4477 v8236 v7476 v7297 v6748 v5013 v4684 v4479 v1872 v480 v281 v43 v8240 v7298 v4485 v3704 v2314 v280 v7484 v7293 v5011 v4481 v4019 v3706 v2313 v670 v486 v10503 v7488 v4493 v3712 v672 v10504 v10223 v7492 v7362 v7291 v4568 v3708 v2321 v1270 v491 v10505 v10222 v7491 v3720 v2325 v1272 v10521 v10324 v5512 -v4775 v4574 v2329 v666 v494 v277 v10328 v7370 v5511 v4198 v2328 v492 v10499 v7369 v1266 v667 v10500 v4337 v10495 v10330 v10219 -v7787 v7377 v4577 v4339 v1267 v10331 v7381 v4345 v10493 v7793 v7385 -v5637 -v5508 v4341 v10551 v7384 v5636 v4353 v10553 v4473 v2719 v10559 -v9826 v6705 v4475 -v3054 v10555 v9847 v7796 v6707 v4747 v2805 v2725 v10567 v9843 -v9576 v8646 v6713 v4751 v2807 v2459 v9842 v9744 v8647 v7433 v6709 -v5633 v4469 v2730 v2480 v9748 v8648 v7434 v6721 v5187 v2476 v10715 v8664 v7429 v6834 v5189 -v4753 -v4470 v2801 v2733 v2475 v847 v10717 v9113 -v6999 v6838 v5195 -v4754 -v3931 v2731 v848 v9750 v9114 v8159 v7427 v5191 v3930 -v2802 -v897 v843 -v9751 v9115 v8161 v6663 v5203 v10711 v9131 v6840 v6684 -v6394 v3938 v3879 v903 v841 v6841 v6680 v6393 v3942 v3883 v2960 v849 -v10712 v8155 v6679 v5774 v3946 v2959 v1342 v908 v851 v3945 -v2163 v1344 v857 -v8156 v3885 v3355 v3062 v2967 v2678 v911 v853 v9281 v3886 v3356 v2971 v2682 v909 v865 v9283 v7970 v7896 -v6390 v3351 v3068 v2975 v1338 v9289 v7971 v2974 v2912 v9285 v7966 v7902 v5688 -v3635 v3349 v2933 v2684 -v1339 v9297 v8419 v5689 v2929 -v2685 v1614 v9107 v8421 v7964 v7907 v5684 v3641 -v3071 v2928 v9109 v8427 v5411 v8423 v7910 v7197 v5682 v5412 v4829 v3646 v8435 v7908 v7198 v5413 v9103 v7193 v7048 v5429 v3649 -v9667 v7050 v3647 v383 -v9104 v7191 v7075 v5735 v382 v7076 v5737 v776 v529 v9383 v7071 v7044 v777 v550 v390 v9387 v778 v546 v394 v10411 v7069 v7045 v5731 v3380 -v2622 -v1246 v942 v794 v545 v398 v10415 v4297 v3381 v1245 v944 v397 v9389 v7440 -v5732 v4318 v3376 v2628 -v9390 v5917 v4314 -v10585 v10417 v7446 v5938 v4412 v4313 v3494 v3374 v2633 v938 v10418 v5934 v3495 -v8700 v5933 v4418 v3490 v2636 -v1242 -v939 v10176 v7674 v2634 v1950 v10670 v10178 v8703 v7449 -v4423 v3488 v2429 v1971 v10672 v10184 v8172 v2430 v1967 v10180 v8171 v4426 v3773 v3005 v2425 v1966 v10192 v5119 v4424 v3772 v3007 v10666 v9540 v8179 v5121 -v3383 v2423 -v621 v9544 v8183 -v6491 v5127 v620 v218 v10667 v8187 v5123 v4817 v3388 v3001 v220 v8186 v5134 v4818 v225 v10050 v9546 v4813 -v3769 v3393 -v3002 v616 v10051 -v9547 v6486 -v10758 -v8761 v7712 -v10759 v3747 -v2078 -v1086 v7714 -v5301 v4006 v960 -v48 v10528 v7152 v47 v10529 v9821 v7708 v7173 v5016 v4686 v4012 v3744 v958 v10530 v9822 v7169 v5015 v4688 v10546 v9817 -v7709 v7296 v7168 v4017 v2865 v1868 v7295 v2869 v9815 v8238 v4682 v4020 v1871 -v44 v8242 v7478 v4480 v4018 v671 v479 -v8799 v7479 -v5012 -v4683 -v4564 v4501 v481 v10318 v7480 v4497 v3707 v2315 -v1271 v487 v10524 v10317 v8244 v7496 v7292 v4771 v4570 v4496 v3728 v2316 v483 v10525 v8245 v3724 v2317 v495 v10520 -v10498 v10325 -v4774 v4575 v3723 v2333 v10497 v10329 v10518 v10333 -v9676 v7783 v4578 v10332 -v9680 v7371 v4576 -v7789 -v7403 v7372 v7373 v4340 -v10494 v7794 -v7389 v4361 -v4741 -v4474 v4357 v9844 v7797 -v4740 v4356 v10554 v9846 -v9738 v7795 -v2806 v2718 v10575 v9737 -v7432 v4748 v2720 v2477 v10571 v7431 v6828 v6708 v4752 v2726 v2479 v10570 v9840 v9745 v8667 v6827 v6729 -v4756 v2722 -v846 -v10716 v9749 v8668 v6725 -v4755 v2734 v845 -v9841 v9753 v8663 v6835 v6724 v2473 v9752 v8160 v6839 v5190 v3873 v9134 v8661 -v7428 v6843 v6681 v5211 v3872 -v2474 v9135 v6842 v6683 v5207 v3932 v896 v9130 v5770 v5206 v3933 v3880 v898 -v842 v3934 v3884 v2672 -v1343 v904 v9128 v6677 v5773 v3950 v3888 -v3354 -v3058 v2671 v900 v3887 v3353 v2961 v912 v852 -v9606 -v7969 -v6678 v3064 v2962 v2679 v873 v9610 v7968 v2963 v2683 v869 v5687 v3069 v2979 v2930 v2687 v868 v9284 v7895 v5686 v2932 v2686 v9305 v7897 v3350 v3072 v9301 -v9108 v7903 v3634 v3070 v9300 -v7965 v7899 v7196 v4825 v3636 v2926 v8422 v7911 v7195 v3642 v8443 -v5683 v5432 v4828 v3638 -v2927 v8439 -v7049 v5433 v3650 v8438 v8032 -v7074 v5428 v9377 v7073 v5736 v9376 v7192 v5426 v547 -v10405 v549 v384 v10404 v9384 -v3379 v797 v385 v9388 v3378 -v943 v798 v386 v10412 v9392 v7436 -v7070 v4315 v793 v543 v402 v10416 v9391 v4317 v2621 v10581 v10420 v7442 v5935 -v3493 v2623 v791 v544 v10419 v5937 v3492 v2629 v10584 v7447 v4311 -v3375 v2625 v4411 v2637 v8699 v7450 v5931 v4413 -v4312 v2428 v1968 v10671 v7448 v4419 v2427 v1970 v8705 -v5932 v4415 v3489 v10179 v9535 v4427 -v3006 v10200 v9534 v1964 v10196 v8173 v10195 v9541 -v8708 v8174 -v4816 v2424 -v1965 v9545 v8175 v5122 v4815 v3382 -v10049 v9549 v8191 v5142 v3384 v10048 v9548 v5138 v3389 v221 v5137 v4811 -v617 v233 -v6487 -v10760 v7713 v3748 v9820 v7170 -v5300 v9819 v7172 v4687 v4005 v10549 -v5298 v4007 -v959 v10550 -v8232 v4013 v10545 v8231 v7166 v4009 v2864 v1867 v4021 v2868 v10543 -v9816 v8795 v8239 -v7167 v4498 v1873 v8243 v4500 -v10523 v8798 v8247 v7499 v3725 v10522 v8246 v7500 v4563 v3727 v482 v7495 v4770 v4565 v4494 v2336 v1876 v503 v10319 v4571 v2337 v499 v10320 v7493 -v4776 v4567 -v4495 v3721 v2332 v498 v10321 v4579 -v10519 v10337 v9675 v7399 -v3722 v2330 v9679 v7782 v7784 v7402 -v7392 v4779 v4358 -v7790 v7393 v4360 v7786 -v7388 -v9845 v7798 v10572 -v7386 v4354 v10574 -v4742 -v2478 -v8666 v6726 -v4743 -v4355 v9739 v8665 v6728 v4744 v2721 v10568 v9740 -v9630 v4760 v2742 v9741 v9634 v6829 v2738 v10569 v9757 -v9133 v6830 v6722 v5208 v2737 v9132 v6831 -v6682 v5210 v9706 -v9470 v8662 v6847 -v6723 v9474 v3874 v5769 v5204 v3953 v3875 v3954 v3876 v899 v9129 v5775 v5205 v3949 v3892 v920 v870 v3057 v2673 v916 v872 -v9605 v3947 v3059 v2982 v2674 v915 v9609 v3065 v2983 -v2931 v2675 v9302 -v5778 v5471 v3061 v2978 v2691 v866 v9304 v5475 v3073 v2976 -v867 v7898 v9298 v8440 v7919 -v5431 v4824 v8442 v7915 v5430 v3637 -v9299 -v8028 v7914 v4830 v3658 -v438 v3654 -v442 v8436 v8031 v3653 -v548 v8437 -v5427 v4833 v796 v9378 v795 -v9523 v9379 v405 v10406 v9380 -v4316 v406 v10407 v9396 v401 v10408 v7435 -v5936 v10580 v10424 -v7816 v7437 -v792 v399 v7443 v2624 v10586 -v8695 v7439 v2645 v7451 v2641 -v1969 v8701 v2640 v4414 -v10589 v10197 v8706 v4435 v10199 -v4431 v8709 -v4430 v9536 v8707 v10193 v9537 v8194 v5139 v8195 v5141 -v10194 v8190 v230 v3385 v232 v8188 v5135 -v4812 v3397 -v7171 v10548 v10547 v3832 -v5299 -v1863 v4008 -v4029 v2866 v1869 v8233 v4499 v4025 v2870 -v10544 v8794 v8234 -v7498 v4024 v1874 v8235 v7497 -v3726 v10393 v8800 v8251 v4766 v2872 v2335 v1877 v500 v10397 -v2873 v2334 v1875 v502 v9791 v4772 v4566 v10340 -v8803 v7494 -v4777 v4587 v496 v10341 v4583 v10336 v9677 v7398 -v7391 v4780 v4582 v2331 v497 v9681 -v7390 v4778 -v4359 v10334 v7404 v7785 v9683 v7806 -v1908 -v10573 -v9684 v7802 v1912 v7801 -v7387 v6727 v4763 v2739 v4764 v2741 -v10638 v9760 -v9629 v4759 v10642 v9761 v9633 -v5209 v9756 -v9702 v6850 v4757 v2735 v6851 v9754 v9705 v9469 v6846 v5765 -v3952 v2736 v9473 v3951 v6844 v5771 v3895 v917 v3896 v919 -v871 v5776 v3891 v2981 v2980 -v9607 -v8053 v5779 v3948 v3889 v2694 v913 v9611 v9303 v8057 v5777 v3060 v2695 v5470 v3081 v2690 v914 v5474 v3077 -v9613 v7916 -v4820 v3076 -v2977 v2688 -v1623 -v9614 v8441 v7918 v1627 v4826 v3655 v3657 -v8027 v7912 v4831 v437 v441 v8033 -v7913 v4834 v3651 v4832 v9519 -v3652 v404 v403 v9722 v9522 v9399 -v8036 v9726 v9400 v10577 v10427 v9395 v7812 v10428 v10582 v10423 v9393 -v7815 v2642 -v400 v7438 v2644 v10587 v10421 v7459 v8694 v7455 v10590 v8696 v7454 v4432 v2638 v10588 v10198 v8702 v4434 v8698 -v2639 v8710 v8193 -v4428 v8192 v5140 v9552 -v4429 -v182 v9553 v231 v3394 v3396 v8189 -v5136 v10761 v3831 -v2860 -v4026 v2859 -v4028 v1862 -v8790 v2867 v1864 v2871 v1870 v10753 v8796 v8254 v4022 v2875 v1866 v8255 v2874 v1878 -v501 v10392 -v9787 v8801 v8250 -v4023 v10396 v4765 -v10339 v9790 v8804 v8248 v4767 v4584 v10338 v9671 v8802 v4773 v4586 v9670 v7395 v4769 v4781 -v10679 v9678 v7400 v4580 v10683 v9682 v10335 v9686 v7803 v7405 -v4581 v9685 v7805 v1907 v1911 -v10379 v7799 -v4762 v10381 v4761 -v2740 -v9759 -v7800 v9758 v10637 -v9631 v6849 v10641 v9635 v6848 v9701 -v4758 v9755 v9707 v9637 v9471 -v7465 v3894 -v9638 v9475 v7469 v5764 v3893 -v918 -v6845 v5766 v9601 v5772 v9710 v9600 v9477 v5768 -v2693 -v9478 v5780 v2692 -v9608 v8052 v3890 v3078 v9612 v8056 v3080 -v9616 v5472 -v9615 v7917 v5476 v3074 -v2689 v1622 v4819 -v3656 v1626 v8077 -v8023 -v6295 v5478 v4821 v3075 v8081 v5479 v4827 -v8029 v4823 v439 v4835 v443 v8034 v9518 v9398 v8037 v445 v9397 v8035 v446 v10426 v9721 v9524 v10425 v9725 v7811 v10576 -v2643 v10578 v9527 -v9394 v7817 v7456 v10583 v7458 -v10422 v10591 -v4433 v10624 v10762 v7452 v10626 v8697 v8718 v7453 v8714 v9551 v8713 v4437 -v178 v9550 v4441 -v181 -v3395 v9461 -v4027 v3833 v2861 -v10749 v8253 v3835 v2862 v8789 v8252 v3836 v2863 v1865 v10752 v8791 v2879 v1886 v8797 v1882 v10394 v9786 v8793 v1881 v10398 v8805 -v4585 v9792 -v8249 v4768 v10400 -v4789 -v10401 v9672 v7394 v4785 v10678 v9795 v9673 v7396 v4784 v10682 v9674 -v7804 v7401 v9690 v1909 v1913 v10378 v10380 v9626 v9625 v1915 -v1916 v10639 -v9698 v9632 v10643 v9636 -v9465 v9703 v9640 v9464 v9639 v10645 v9708 v9472 -v7464 -v10646 v9476 v7468 v9711 v9480 v9709 v9479 v5767 v5788 v9602 v5784 v5466 -v3079 v9603 v8054 v5783 v5465 v9604 v8058 v9620 v8310 v5473 v5477 v8060 -v6291 v5481 v1624 -v8061 v5480 v1628 v433 v8076 v6294 v432 v8080 -v8022 v4822 -v8024 v4843 v1630 v440 -v8030 v4839 -v1631 v444 v9515 v8026 v4838 v448 v8038 v447 v9520 v9723 v9525 v7808 v9727 v10281 v9528 v7813 v9526 -v7457 v9729 v7818 v10579 -v9730 v10595 v10623 v8715 v10625 v8717 v8711 v4436 -v177 v4440 v8712 -v183 v7506 v2131 v9460 v3834 v5377 v3838 -v5378 v3837 v10748 v6108 v2882 v1883 -v10389 v2883 v1885 v10754 v10388 -v9783 v2878 v8792 v10395 v9788 v8813 -v2876 v1879 v10399 v8809 v10403 v9793 v8808 -v4786 -v1880 v10402 -v4788 v9796 v9794 v10680 v9693 v4782 v2023 v10684 v9694 v7397 -v2027 -v1904 v9689 -v7409 -v4783 v1903 v10686 v9687 v1910 -v10687 v1914 -v10634 v10382 v1917 v10633 v9627 v10640 v10384 v9628 v10644 -v10385 v9697 v10648 v9699 v9644 v10647 v9704 v9466 v9467 -v7466 v9712 v9468 v7470 v9484 v5785 v8048 v5787 v8047 v7472 -v7473 v9623 -v8306 v8055 v5781 v9624 v8059 v5467 -v1618 v9619 v8309 v8063 -v5782 v5468 v1617 v8062 v5469 v9617 v6290 v5485 v1625 v1629 v8078 v6296 v4840 v1633 v8082 v4842 v1632 v434 v435 -v8025 v436 v8084 v8046 v6299 v4836 v452 v9718 v9514 v8085 v8042 v9717 v9516 v8041 -v4837 v9521 -v10277 v9724 v9728 v9529 v7807 v10280 v9732 v7809 v9731 v7814 v10592 v10594 -v8716 v10627 v10763 -v8595 v174 v10629 v4438 -v179 v10630 v4442 -v10343 -v184 -v10347 v7505 -v4444 v2130 -v4445 -v8343 v9462 v5379 -v10745 -v6104 v3842 -v2881 v2880 -v1884 v10750 v6107 v10755 -v8810 v10390 -v9782 v8812 v10391 -v9784 -v2877 v9789 -v4787 -v8806 -v10675 v9797 -v10674 -v9692 -v8807 v9691 v10681 -v7406 -v5435 v2022 v10685 -v7408 -v5438 v2026 v10689 v10688 -v10376 v1905 v10375 -v9688 v1906 v10383 v10387 v10635 v10386 v10636 -v7461 v9643 v7460 v9700 v9641 v9487 -v7467 v9716 v9488 v7471 -v5786 v9715 v9483 v7475 v7474 v9622 v9481 v9621 v8049 -v8305 -v8222 v8050 v8226 v8051 v8311 -v8067 v6287 v5488 -v8073 v5489 v1619 -v9618 v8072 v6292 v5484 v1620 -v4841 v1621 -v8314 v8079 v6297 v5482 v1637 v8083 v8087 v8043 v6300 -v4794 v455 v8086 v8045 v6298 v456 v451 v8039 v449 v9719 v9517 v10276 v9720 -v8040 v9533 v10282 v9736 v9532 -v10593 v7810 v7822 v10622 v10621 -v10285 v10764 v10628 v10632 v8594 v10631 v173 v4439 v175 v4443 -v180 v10342 -v4447 -v2127 v10346 -v4446 v7507 v2132 v8342 -v10765 v5383 v3845 v9463 v3846 v6103 v3841 v10744 v10746 v6109 v3839 v10751 -v8811 v9785 v10676 -v7407 v10677 -v5434 v2024 v5437 v2028 v10693 -v2030 v1920 v10377 -v2031 v1921 -v9486 v9485 v7462 v9642 v7463 v9713 v10766 v9696 v9714 -v9482 -v8307 v8221 -v8070 v5487 v8225 -v8071 v5486 v8312 -v8066 v6286 v8315 -v8064 v6288 v1640 v8313 v8074 v6293 v1641 v8075 -v5483 -v4791 v1636 -v454 -v8044 v6301 v453 -v4793 v1634 v450 v10278 v10283 v9735 v9530 -v8164 v7819 v3898 v8168 v7821 v10286 v9733 -v9531 -v9434 v10284 v8596 -v7502 v176 v10344 -v9974 -v8599 v7501 v4451 v192 v10348 -v9978 v2126 v188 v7508 v2128 v187 v2133 v8344 -v3844 -v3843 -v5382 v6105 -v5380 v6110 -v3840 v10747 -v5436 v2025 v5439 v2029 v10692 v2033 -v1919 v2032 -v1918 v10690 -v7921 v9695 -v8069 -v8068 v8223 -v8308 v8227 -v1639 v8316 v1638 -v8229 -v8065 -v8230 v6289 v4790 v4795 -v1635 v10767 v10768 v10279 v7820 -v9430 -v8163 v3897 v10287 v8167 v9734 -v9433 -v10769 v8597 -v8600 -v189 -v8598 v191 v10345 -v9973 v4450 v10349 v9977 v7503 v7504 v4448 v185 v2129 v7512 v2140 -v186 -v5381 v6106 -v10691 v7920 v8224 v8228 v4792 v9429 v8165 v3899 v10291 v8169 v10290 v9435 v3902 -v8601 -v190 v9975 v9979 -v4449 v2137 v2139 v9981 v7511 v9982 v2136 -v9428 v9431 v8166 v3900 v8170 v10288 v9436 v3903 v3901 v10289 v9976 v9980 -v2138 v9984 v9983 v7509 v2134 -v9427 -v9426 v9432 v3904 -v10770 v10771 v7510 -v2135 one 
c Exit Code: 10
c Total time: 1175.26 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/55 6517
Raw data (stat): 6517 (runsolver) R 6516 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 756921325 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.87 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4428 0 0 0 981 15 0 0 25 0 1 0 756921325 21467136 4321 4294967295 134512640 134714508 3221221776 3221220512 134588450 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5241 4321 1111 63 0 5178 0
vsize: 20964
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4943 0 0 0 1979 17 0 0 25 0 1 0 756921325 23482368 4836 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4836 1111 63 0 5670 0
vsize: 22932
[startup+30.002 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4943 0 0 0 2979 17 0 0 25 0 1 0 756921325 23482368 4836 4294967295 134512640 134714508 3221221776 3221220448 134627125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4836 1111 63 0 5670 0
vsize: 22932
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4943 0 0 0 3979 17 0 0 25 0 1 0 756921325 23482368 4836 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4836 1111 63 0 5670 0
vsize: 22932
[startup+50.0034 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4943 0 0 0 4979 18 0 0 25 0 1 0 756921325 23482368 4836 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4836 1111 63 0 5670 0
vsize: 22932
[startup+60.0047 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 4943 0 0 0 5979 18 0 0 25 0 1 0 756921325 23482368 4836 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4836 1111 63 0 5670 0
vsize: 22932
[startup+70.0058 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 5369 0 0 0 6978 19 0 0 25 0 1 0 756921325 25329664 5262 4294967295 134512640 134714508 3221221776 3221220096 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6184 5262 1111 63 0 6121 0
vsize: 24736
[startup+80.0062 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 5526 0 0 0 7977 20 0 0 25 0 1 0 756921325 26009600 5419 4294967295 134512640 134714508 3221221776 3221220096 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6350 5419 1111 63 0 6287 0
vsize: 25400
[startup+90.0076 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 7556 0 0 0 8971 26 0 0 25 0 1 0 756921325 35454976 6814 4294967295 134512640 134714508 3221221776 3221217768 1074950204 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8656 6814 1111 63 0 8593 0
vsize: 34624
[startup+100.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 7805 0 0 0 9970 27 0 0 25 0 1 0 756921325 35454976 7063 4294967295 134512640 134714508 3221221776 3221218032 1075113502 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8656 7063 1111 63 0 8593 0
vsize: 34624
[startup+110.011 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 7854 0 0 0 10970 28 0 0 25 0 1 0 756921325 35454976 7112 4294967295 134512640 134714508 3221221776 3221217660 1074787622 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8656 7112 1111 63 0 8593 0
vsize: 34624
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8197 0 0 0 11968 29 0 0 25 0 1 0 756921325 34054144 7094 4294967295 134512640 134714508 3221221776 3221217824 1075561201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8314 7094 1111 63 0 8251 0
vsize: 33256
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8239 0 0 0 12968 29 0 0 25 0 1 0 756921325 34217984 7136 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8354 7136 1111 63 0 8291 0
vsize: 33416
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8279 0 0 0 13968 30 0 0 25 0 1 0 756921325 34381824 7176 4294967295 134512640 134714508 3221221776 3221217856 1074883509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8394 7176 1111 63 0 8331 0
vsize: 33576
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8323 0 0 0 14967 31 0 0 25 0 1 0 756921325 34562048 7220 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8438 7220 1111 63 0 8375 0
vsize: 33752
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8369 0 0 0 15967 31 0 0 25 0 1 0 756921325 34754560 7266 4294967295 134512640 134714508 3221221776 3221217740 1074873342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8485 7266 1111 63 0 8422 0
vsize: 33940
[startup+170.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8417 0 0 0 16967 32 0 0 25 0 1 0 756921325 34951168 7314 4294967295 134512640 134714508 3221221776 3221217740 1074873347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8533 7314 1111 63 0 8470 0
vsize: 34132
[startup+180.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8520 0 0 0 17966 32 0 0 25 0 1 0 756921325 35377152 7417 4294967295 134512640 134714508 3221221776 3221217936 1075115739 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8637 7417 1111 63 0 8574 0
vsize: 34548
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8574 0 0 0 18966 33 0 0 25 0 1 0 756921325 35606528 7471 4294967295 134512640 134714508 3221221776 3221217968 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8693 7471 1111 63 0 8630 0
vsize: 34772
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8636 0 0 0 19965 34 0 0 25 0 1 0 756921325 35852288 7533 4294967295 134512640 134714508 3221221776 3221217708 1074788915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7533 1111 63 0 8690 0
vsize: 35012
[startup+210.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8637 0 0 0 20965 34 0 0 25 0 1 0 756921325 35852288 7534 4294967295 134512640 134714508 3221221776 3221217924 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7534 1111 63 0 8690 0
vsize: 35012
[startup+220.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8660 0 0 0 21965 34 0 0 25 0 1 0 756921325 35852288 7535 4294967295 134512640 134714508 3221221776 3221217572 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7535 1111 63 0 8690 0
vsize: 35012
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8683 0 0 0 22965 34 0 0 25 0 1 0 756921325 35852288 7558 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7558 1111 63 0 8690 0
vsize: 35012
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8683 0 0 0 23964 35 0 0 25 0 1 0 756921325 35852288 7558 4294967295 134512640 134714508 3221221776 3221217708 1074788944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7558 1111 63 0 8690 0
vsize: 35012
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8683 0 0 0 24964 35 0 0 25 0 1 0 756921325 35852288 7558 4294967295 134512640 134714508 3221221776 3221217552 1074868672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7558 1111 63 0 8690 0
vsize: 35012
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8684 0 0 0 25964 35 0 0 25 0 1 0 756921325 35852288 7559 4294967295 134512640 134714508 3221221776 3221217760 1074881428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7559 1111 63 0 8690 0
vsize: 35012
[startup+270.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8684 0 0 0 26964 35 0 0 25 0 1 0 756921325 35852288 7559 4294967295 134512640 134714508 3221221776 3221217900 1075564167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7559 1111 63 0 8690 0
vsize: 35012
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 8684 0 0 0 27964 36 0 0 25 0 1 0 756921325 35852288 7559 4294967295 134512640 134714508 3221221776 3221218224 1075397144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 7559 1111 63 0 8690 0
vsize: 35012
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 11613 0 0 0 28956 44 0 0 25 0 1 0 756921325 28725248 6227 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7013 6227 1111 63 0 6950 0
vsize: 28052
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 12138 0 0 0 29954 46 0 0 25 0 1 0 756921325 28725248 6227 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7013 6227 1111 63 0 6950 0
vsize: 28052
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 12698 0 0 0 30951 49 0 0 25 0 1 0 756921325 28725248 6238 4294967295 134512640 134714508 3221221776 3221220176 1074031981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7013 6238 1111 63 0 6950 0
vsize: 28052
[startup+320.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 13347 0 0 0 31949 51 0 0 25 0 1 0 756921325 29114368 6332 4294967295 134512640 134714508 3221221776 3221220224 134648689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7108 6332 1111 63 0 7045 0
vsize: 28432
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 13872 0 0 0 32946 54 0 0 25 0 1 0 756921325 29114368 6332 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7108 6332 1111 63 0 7045 0
vsize: 28432
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 14400 0 0 0 33943 58 0 0 25 0 1 0 756921325 29114368 6332 4294967295 134512640 134714508 3221221776 3221220224 134647035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7108 6332 1111 63 0 7045 0
vsize: 28432
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 14928 0 0 0 34939 61 0 0 25 0 1 0 756921325 29114368 6332 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7108 6332 1111 63 0 7045 0
vsize: 28432
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 15500 0 0 0 35937 64 0 0 25 0 1 0 756921325 29241344 6364 4294967295 134512640 134714508 3221221776 3221220124 134554924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7139 6364 1111 63 0 7076 0
vsize: 28556
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 16435 0 0 0 36932 68 0 0 25 0 1 0 756921325 29278208 6373 4294967295 134512640 134714508 3221221776 3221219344 1074247419 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7148 6373 1111 63 0 7085 0
vsize: 28592
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 37923 77 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221219692 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 38923 78 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220200 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+400.077 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 6517
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 39927 78 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220284 134652062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+410.077 s]
Raw data (loadavg): 1.07 0.99 0.99 3/58 6558
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 40920 85 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+420.152 s]
Raw data (loadavg): 1.22 1.02 1.01 3/58 6565
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 41927 85 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221219848 1074950131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+430.152 s]
Raw data (loadavg): 1.26 1.04 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 42927 86 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220224 134647037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+440.151 s]
Raw data (loadavg): 1.29 1.05 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 43927 86 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220224 134647035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+450.195 s]
Raw data (loadavg): 1.25 1.05 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 44931 86 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+460.196 s]
Raw data (loadavg): 1.21 1.05 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 20585 0 0 0 45931 86 0 0 25 0 1 0 756921325 30380032 6631 4294967295 134512640 134714508 3221221776 3221220176 1074031955 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6631 1111 63 0 7354 0
vsize: 29668
[startup+470.196 s]
Raw data (loadavg): 1.17 1.04 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 21075 0 0 0 46929 88 0 0 25 0 1 0 756921325 30863360 6686 4294967295 134512640 134714508 3221221776 3221219692 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7535 6686 1111 63 0 7472 0
vsize: 30140
[startup+480.195 s]
Raw data (loadavg): 1.15 1.04 1.01 2/55 6570
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 21597 0 0 0 47925 93 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+490.196 s]
Raw data (loadavg): 1.12 1.04 1.01 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 22122 0 0 0 48922 97 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+500.196 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 22647 0 0 0 49919 99 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220212 134648465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+510.196 s]
Raw data (loadavg): 1.09 1.04 1.01 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 23172 0 0 0 50917 101 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220160 134606960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+520.197 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 23700 0 0 0 51915 104 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220224 134648208 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+530.197 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 24225 0 0 0 52911 107 0 0 25 0 1 0 756921325 30552064 6683 4294967295 134512640 134714508 3221221776 3221220192 134647105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7459 6683 1111 63 0 7396 0
vsize: 29836
[startup+540.198 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 26110 0 0 0 53907 112 0 0 25 0 1 0 756921325 39837696 7105 4294967295 134512640 134714508 3221221776 3221218228 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 7105 1111 63 0 9663 0
vsize: 38904
[startup+550.199 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 54901 119 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220200 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+560.199 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 55900 119 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219800 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+570.199 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 56900 119 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220160 134606960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+580.199 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 57900 120 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220192 134647111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+590.2 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 58900 120 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+600.201 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 59900 121 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219840 1074790215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+610.201 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 60899 121 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220192 134647111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+620.2 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 61899 121 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220192 134647111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+630.2 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 62899 121 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+640.201 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 63899 122 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220176 1074031972 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+650.201 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 64899 122 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220264 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+660.201 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 65899 122 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220200 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+670.202 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 66899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+680.202 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 67899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220200 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+690.202 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 68899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+700.202 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 69899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+710.202 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 70899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+720.203 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6572
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 71899 123 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219848 1074950105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+730.202 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 72899 124 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134647065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+740.203 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 73898 124 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+750.204 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 74898 125 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+760.203 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 75898 125 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+770.204 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 76898 126 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220136 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+780.204 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 77897 126 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219692 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+790.205 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 78897 126 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+800.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 79897 127 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220160 134607086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+810.205 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 80897 127 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+820.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 81896 128 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+830.206 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 82896 128 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220024 1077378259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+840.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29276 0 0 0 83896 128 0 0 25 0 1 0 756921325 30707712 6722 4294967295 134512640 134714508 3221221776 3221220224 134648414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7497 6722 1111 63 0 7434 0
vsize: 29988
[startup+850.207 s]
Raw data (loadavg): 1.00 1.00 1.00 3/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29277 0 0 0 84895 129 0 0 25 0 1 0 756921325 30703616 6722 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7496 6722 1111 63 0 7433 0
vsize: 29984
[startup+860.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29279 0 0 0 85895 129 0 0 25 0 1 0 756921325 30703616 6724 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6724 1111 63 0 7433 0
vsize: 29984
[startup+870.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29282 0 0 0 86895 129 0 0 25 0 1 0 756921325 30703616 6727 4294967295 134512640 134714508 3221221776 3221220548 134597630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6727 1111 63 0 7433 0
vsize: 29984
[startup+880.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 29288 0 0 0 87895 129 0 0 25 0 1 0 756921325 30703616 6733 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7496 6733 1111 63 0 7433 0
vsize: 29984
[startup+890.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 33617 0 0 0 88883 142 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+900.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 38621 0 0 0 89870 155 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+910.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 46754 0 0 0 90852 173 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+920.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 55901 0 0 0 91831 194 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+930.207 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 65164 0 0 0 92810 215 0 0 25 0 1 0 756921325 28585984 6220 4294967295 134512640 134714508 3221221776 3221220528 134652602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6979 6220 1111 63 0 6916 0
vsize: 27916
[startup+940.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 73438 0 0 0 93791 234 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+950.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 80259 0 0 0 94774 250 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+960.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 88375 0 0 0 95755 270 0 0 25 0 1 0 756921325 28585984 6220 4294967295 134512640 134714508 3221221776 3221220384 1077378571 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6979 6220 1111 63 0 6916 0
vsize: 27916
[startup+970.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 96598 0 0 0 96736 289 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+980.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 103118 0 0 0 97721 305 0 0 25 0 1 0 756921325 28602368 6199 4294967295 134512640 134714508 3221221776 3221220308 1077757726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6199 1111 63 0 6920 0
vsize: 27932
[startup+990.208 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 109536 0 0 0 98705 320 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1000.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 117070 0 0 0 99688 337 0 0 25 0 1 0 756921325 28602368 6224 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6224 1111 63 0 6920 0
vsize: 27932
[startup+1010.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 123236 0 0 0 100674 352 0 0 25 0 1 0 756921325 28602368 6224 4294967295 134512640 134714508 3221221776 3221220472 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6224 1111 63 0 6920 0
vsize: 27932
[startup+1020.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 129109 0 0 0 101658 368 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1030.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 134919 0 0 0 102643 383 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1040.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 140542 0 0 0 103629 397 0 0 25 0 1 0 756921325 28491776 6197 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6956 6197 1111 63 0 6893 0
vsize: 27824
[startup+1050.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 146706 0 0 0 104615 411 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1060.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 152902 0 0 0 105600 427 0 0 25 0 1 0 756921325 28602368 6224 4294967295 134512640 134714508 3221221776 3221220560 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6224 1111 63 0 6920 0
vsize: 27932
[startup+1070.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 159935 0 0 0 106581 445 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1080.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 167999 0 0 0 107563 463 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1090.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 177552 0 0 0 108538 489 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1100.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 187181 0 0 0 109519 508 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221219648 1074050884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1110.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 196797 0 0 0 110497 530 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1120.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 206401 0 0 0 111472 555 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1130.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 219829 0 0 0 112440 588 0 0 25 0 1 0 756921325 28479488 6194 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6953 6194 1111 63 0 6890 0
vsize: 27812
[startup+1140.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 237355 0 0 0 113401 626 0 0 25 0 1 0 756921325 28672000 6241 4294967295 134512640 134714508 3221221776 3221219776 1074056202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7000 6241 1111 63 0 6937 0
vsize: 28000
[startup+1150.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 254760 0 0 0 114362 666 0 0 25 0 1 0 756921325 29249536 6382 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7141 6382 1111 63 0 7078 0
vsize: 28564
[startup+1160.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 269808 0 0 0 115331 697 0 0 25 0 1 0 756921325 29839360 6485 4294967295 134512640 134714508 3221221776 3221219560 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7285 6491 1111 63 0 7222 0
vsize: 29140
[startup+1170.21 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 286217 0 0 0 116297 731 0 0 25 0 1 0 756921325 29839360 6526 4294967295 134512640 134714508 3221221776 3221219504 1075635973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7285 6526 1111 63 0 7222 0
vsize: 29140
[startup+1175.23 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 6574
Raw data (stat): 6517 (bsolo_lpr) R 6516 7876 7672 0 -1 0 286217 0 0 0 116297 731 0 0 25 0 1 0 756921325 29839360 6526 4294967295 134512640 134714508 3221221776 3221219504 1075635973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7285 6526 1111 63 0 7222 0
vsize: 0

Child status: 10
Real time (s): 1175.23
CPU time (s): 1175.3
CPU user time (s): 1167.89
CPU system time (s): 7.41887
CPU usage (%): 100.006
Max. virtual memory (Kb): 38904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	18304
#### END VERIFIER DATA ####