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/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 42240

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 04:04:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25458 boxname=wulflinc5 idbench=360 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 25458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        799952 kB
Buffers:         34424 kB
Cached:         177240 kB
SwapCached:        700 kB
Active:          73928 kB
Inactive:       139860 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799700 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15236 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 04:09:03 (client local time) WITH STATUS 10 IN 282.408 SECONDS
stats: 25458 0 282.408 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 7728/28428	Time: 37.2293/86400
c Decision: 7728/28428	Time: 42.8265/86400
c Decision: 7728/28428	Time: 47.5968/86400
c Decision: 7728/28428	Time: 53.2959/86400
c Decision: 7728/28428	Time: 58.7971/86400
c Decision: 7728/28428	Time: 64.7692/86400
c Decision: 7728/28428	Time: 71.3422/86400
c Decision: 7728/28428	Time: 77.4312/86400
c Decision: 7728/28428	Time: 82.9864/86400
c Decision: 7728/28428	Time: 88.5605/86400
c Decision: 7728/28428	Time: 94.4216/86400
c Decision: 7728/28428	Time: 100.656/86400
c Decision: 7728/28428	Time: 105.818/86400
c Decision: 7728/28428	Time: 110.611/86400
c Decision: 7728/28428	Time: 116.709/86400
c Decision: 7728/28428	Time: 122.285/86400
c Decision: 7728/28428	Time: 127.828/86400
c Decision: 7728/28428	Time: 135.637/86400
c Decision: 7728/28428	Time: 141.354/86400
c Decision: 7728/28428	Time: 148.604/86400
c Decision: 7728/28428	Time: 156.484/86400
c Decision: 7728/28428	Time: 163.133/86400
c Decision: 7728/28428	Time: 170.111/86400
c Decision: 7728/28428	Time: 176.796/86400
c Decision: 7728/28428	Time: 183.132/86400
c Decision: 7728/28428	Time: 190.136/86400
c Decision: 7728/28428	Time: 197.159/86400
c Decision: 7728/28428	Time: 203.858/86400
c Decision: 7728/28428	Time: 210.712/86400
c Decision: 7728/28428	Time: 218.781/86400
c Decision: 7728/28428	Time: 226.543/86400
c Decision: 7728/28428	Time: 234.017/86400
c Decision: 7728/28428	Time: 241.581/86400
c Decision: 7728/28428	Time: 248.611/86400
c Decision: 7728/28428	Time: 255.75/86400
c Decision: 7728/28428	Time: 262.413/86400
c Decision: 7728/28428	Time: 269.803/86400
c Decision: 7728/28428	Time: 275.534/86400
-1 
-10 
-396 
-6424 
-6425 
-6426 
6427 
-6428 
6429 
-6430 
-6431 
-6432 
-6433 
397 
-6434 
-6435 
-6436 
-6437 
-6438 
-6631 
-6632 
-6633 
-6634 
-6635 
-398 
-6636 
-6637 
-6638 
-6639 
-6640 
-6641 
-6642 
-6643 
-6644 
-6645 
-399 
-6646 
-6647 
-6648 
6649 
-6650 
-6651 
-6652 
-6653 
-6654 
6655 
-400 
-6656 
-6657 
-6658 
-6659 
-6832 
6833 
-6834 
-6835 
-6836 
-6837 
-401 
-6838 
-6839 
-6840 
-6841 
-6842 
-6843 
6844 
-6845 
-6846 
-6847 
-402 
-6848 
-6849 
-6850 
-6851 
-6852 
-6853 
-6854 
-6855 
-6856 
-6857 
-403 
-6858 
-6859 
-6860 
-7033 
-7034 
7035 
-7036 
7037 
-7038 
-7039 
-404 
-7040 
-7041 
7042 
-7043 
-7044 
-7045 
-7046 
-7047 
-7048 
-7049 
405 
-7050 
-7051 
-7052 
-7053 
-7054 
-7055 
-7056 
-7057 
-7058 
-7059 
11 
-406 
-7060 
-7061 
7234 
-7235 
-7236 
-7237 
-7238 
-7239 
-7240 
-7241 
-407 
-7242 
-7243 
-7244 
-7245 
-7246 
-7247 
-7248 
-7249 
7250 
-7251 
-408 
-7252 
-7253 
-7254 
-7255 
-7256 
7257 
-7258 
-7259 
-7260 
-7261 
-409 
-7262 
-7435 
-7436 
-7437 
7438 
-7439 
-7440 
-7441 
-7442 
7443 
-410 
-7444 
-7445 
-7446 
-7447 
-7448 
-7449 
-7450 
-7451 
-7452 
-7453 
-411 
-7454 
-7455 
-7456 
-7457 
-7458 
-7459 
-7460 
-7461 
7462 
-7463 
-412 
-7636 
-7637 
-7638 
-7639 
-7640 
-7641 
-7642 
-7643 
-7644 
-7645 
-413 
-7646 
-7647 
-7648 
-7649 
7650 
-7651 
-7652 
-7653 
-7654 
-7655 
-414 
-7656 
-7657 
-7658 
-7659 
-7660 
7661 
-7662 
-7663 
-7664 
7837 
-415 
7838 
-7839 
-7840 
-7841 
-7842 
-7843 
-7844 
-7845 
-7846 
-7847 
-12 
-416 
-7848 
-7849 
-7850 
-7851 
-7852 
-7853 
-7854 
-7855 
-7856 
-7857 
-491 
-7858 
-7859 
-7860 
-7861 
-7862 
-7863 
-7864 
-7865 
-8038 
-8039 
-492 
-8040 
-8041 
-8042 
-8043 
-8044 
-8045 
-8046 
-8047 
-8048 
-8049 
493 
-8050 
8051 
-8052 
8053 
-8054 
-8055 
-8056 
8057 
-8058 
-8059 
-494 
-8060 
-8061 
-8062 
-8063 
-8064 
-8065 
-8066 
-8239 
-8240 
-8241 
-495 
-8242 
-8243 
-8244 
-8245 
8246 
-8247 
-8248 
-8249 
-8250 
-8251 
-496 
-8252 
-8253 
-8254 
-8255 
-8256 
-8257 
-8258 
-8259 
-8260 
8261 
-497 
-8262 
-8263 
-8264 
-8265 
-8266 
-8267 
-8440 
-8441 
-8442 
-8443 
-498 
8444 
-8445 
8446 
-8447 
-8448 
-8449 
-8450 
-8451 
-8452 
-8453 
-499 
8454 
-8455 
-8456 
-8457 
-8458 
-8459 
-8460 
-8461 
-8462 
-8463 
-13 
-500 
-8464 
-8465 
-8466 
-8467 
-8468 
-8641 
-8642 
-8643 
-8644 
-8645 
-501 
-8646 
-8647 
-8648 
-8649 
-8650 
-8651 
-8652 
-8653 
-8654 
-8655 
-502 
-8656 
-8657 
-8658 
-8659 
-8660 
-8661 
-8662 
-8663 
-8664 
8665 
-503 
-8666 
8667 
-8668 
-8669 
-8842 
-8843 
-8844 
-8845 
-8846 
-8847 
-504 
-8848 
-8849 
-8850 
-8851 
-8852 
8853 
-8854 
-8855 
-8856 
-8857 
505 
8858 
-8859 
-8860 
-8861 
-8862 
-8863 
-8864 
-8865 
-8866 
-8867 
-506 
-8868 
8869 
-8870 
-9043 
-9044 
-9045 
-9046 
-9047 
-9048 
-9049 
-507 
-9050 
-9051 
-9052 
-9053 
-9054 
-9055 
-9056 
-9057 
-9058 
-9059 
-508 
-9060 
-9061 
-9062 
-9063 
-9064 
-9065 
-9066 
-9067 
9068 
-9069 
-509 
9070 
-9071 
9244 
-9245 
-9246 
-9247 
-9248 
-9249 
-9250 
-9251 
-14 
-510 
-9252 
-9253 
-9254 
-9255 
-9256 
-9257 
-9258 
-9259 
-9260 
-9261 
-511 
-9262 
-9263 
-9264 
-9265 
9266 
-9267 
-9268 
-9269 
-9270 
-9271 
-512 
-9272 
-9445 
-9446 
-9447 
-9448 
-9449 
-9450 
-9451 
-9452 
-9453 
-513 
-9454 
-9455 
-9456 
-9457 
-9458 
-9459 
-9460 
9461 
-9462 
-9463 
-514 
-9464 
9465 
-9466 
-9467 
-9468 
-9469 
-9470 
-9471 
-9472 
9473 
-589 
-9646 
-9647 
-9648 
-9649 
-9650 
9651 
-9652 
-9653 
-9654 
-9655 
-590 
9656 
-9657 
-9658 
-9659 
-9660 
-9661 
-9662 
-9663 
9664 
-9665 
-591 
-9666 
-9667 
-9668 
-9669 
-9670 
-9671 
-9672 
-9673 
-9674 
-9847 
-592 
-9848 
-9849 
-9850 
-9851 
-9852 
9853 
-9854 
-9855 
-9856 
-9857 
-593 
-9858 
-9859 
-9860 
-9861 
-9862 
-9863 
-9864 
-9865 
-9866 
-9867 
-15 
-594 
-9868 
-9869 
9870 
-9871 
-9872 
-9873 
-9874 
-9875 
-10048 
-10049 
-595 
-10050 
-10051 
-10052 
-10053 
-10054 
-10055 
-10056 
-10057 
-10058 
-10059 
-596 
-10060 
-10061 
-10062 
-10063 
-10064 
-10065 
-10066 
-10067 
-10068 
10069 
-597 
-10070 
-10071 
-10072 
-10073 
-10074 
-10075 
-10076 
-10249 
-10250 
-10251 
-598 
10252 
-10253 
-10254 
-10255 
-10256 
-10257 
-10258 
10259 
-10260 
-10261 
-599 
-10262 
-10263 
-10264 
-10265 
-10266 
-10267 
-10268 
-10269 
-10270 
-10271 
-600 
10272 
-10273 
-10274 
-10275 
-10276 
10277 
-10490 
-10491 
-10492 
-10493 
-601 
-10494 
-10495 
10496 
-10497 
-10498 
-10499 
-10500 
-10501 
-10502 
-10503 
-602 
-10504 
-10505 
10506 
-10507 
-10508 
-10509 
-10510 
-10511 
-10512 
-10513 
-603 
-10514 
10515 
-10516 
-10517 
-10518 
-10731 
-10732 
-10733 
-10734 
-10735 
-16 
-604 
-10736 
-10737 
-10738 
-10739 
-10740 
-10741 
-10742 
-10743 
-10744 
-10745 
605 
-10746 
-10747 
-10748 
-10749 
-10750 
-10751 
10752 
-10753 
-10754 
-10755 
-606 
-10756 
-10757 
10758 
-10759 
-10972 
10973 
-10974 
-10975 
-10976 
-10977 
-607 
-10978 
-10979 
-10980 
-10981 
-10982 
-10983 
-10984 
-10985 
-10986 
-10987 
-608 
-10988 
-10989 
-10990 
-10991 
-10992 
-10993 
-10994 
-10995 
-10996 
-10997 
-609 
10998 
-10999 
-11000 
-11213 
-11214 
-11215 
-11216 
-11217 
-11218 
-11219 
-610 
-11220 
-11221 
-11222 
-11223 
-11224 
-11225 
-11226 
-11227 
-11228 
-11229 
611 
11230 
11231 
-11232 
-11233 
-11234 
-11235 
-11236 
-11237 
-11238 
-11239 
-612 
-11240 
-11241 
-11454 
-11455 
-11456 
-11457 
-11458 
-11459 
-11460 
-11461 
-613 
-11462 
11463 
-11464 
-11465 
-11466 
11467 
-11468 
-11469 
-11470 
-11471 
-17 
-614 
-11472 
-11473 
11474 
-11475 
-11476 
-11477 
-11478 
-11479 
-11480 
-11481 
-615 
-11482 
-11695 
-11696 
-11697 
-11698 
-11699 
11700 
-11701 
-11702 
-11703 
-616 
11704 
-11705 
-11706 
-11707 
-11708 
-11709 
-11710 
-11711 
-11712 
-11713 
-617 
-11714 
-11715 
-11716 
-11717 
-11718 
-11719 
-11720 
11721 
-11722 
-11723 
-772 
-11936 
-11937 
-11938 
-11939 
-11940 
-11941 
-11942 
-11943 
-11944 
-11945 
-773 
-11946 
-11947 
-11948 
-11949 
11950 
-11951 
-11952 
-11953 
-11954 
-11955 
-774 
-11956 
11957 
-11958 
-11959 
-11960 
-11961 
-11962 
-11963 
-11964 
-12177 
-775 
-12178 
-12179 
-12180 
-12181 
-12182 
12183 
-12184 
-12185 
-12186 
12187 
-776 
-12188 
-12189 
-12190 
-12191 
-12192 
-12193 
12194 
-12195 
-12196 
-12197 
-777 
-12198 
-12199 
-12200 
-12201 
-12202 
-12203 
-12204 
-12205 
-12418 
-12419 
-18 
-778 
12420 
-12421 
-12422 
-12423 
-12424 
-12425 
-12426 
-12427 
-12428 
-12429 
779 
-12430 
-12431 
-12432 
-12433 
-12434 
-12435 
-12436 
-12437 
-12438 
-12439 
-780 
12440 
-12441 
-12442 
-12443 
-12444 
12445 
-12446 
-12659 
12660 
-12661 
-781 
-12662 
-12663 
-12664 
-12665 
-12666 
-12667 
-12668 
-12669 
-12670 
-12671 
-782 
-12672 
-12673 
12674 
-12675 
-12676 
-12677 
-12678 
-12679 
-12680 
-12681 
-783 
-12682 
-12683 
-12684 
-12685 
-12686 
12687 
-12900 
-12901 
-12902 
-12903 
-784 
-12904 
-12905 
-12906 
12907 
12908 
-12909 
-12910 
-12911 
12912 
-12913 
-785 
-12914 
-12915 
-12916 
-12917 
12918 
-12919 
-12920 
-12921 
-12922 
-12923 
-786 
-12924 
-12925 
-12926 
-12927 
-12928 
-13141 
-13142 
-13143 
-13144 
-13145 
-787 
-13146 
-13147 
-13148 
-13149 
-13150 
-13151 
-13152 
-13153 
-13154 
-13155 
-19 
-788 
-13156 
-13157 
13158 
-13159 
-13160 
-13161 
-13162 
-13163 
-13164 
-13239 
789 
-13240 
-13241 
-13242 
-13243 
-13244 
-13245 
-13246 
-13247 
-13248 
-13249 
-790 
-13250 
-13251 
-13252 
-13253 
-13254 
-13255 
-13256 
-13257 
-13258 
-13259 
-791 
-13260 
13261 
-13262 
-13337 
-13338 
-13339 
-13340 
-13341 
-13342 
-13343 
-792 
-13344 
-13345 
-13346 
-13347 
-13348 
-13349 
-13350 
-13351 
-13352 
-13353 
-793 
-13354 
-13355 
-13356 
-13357 
13358 
-13359 
-13360 
-13435 
-13436 
-13437 
-794 
-13438 
-13439 
-13440 
-13441 
-13442 
13443 
-13444 
-13445 
-13446 
-13447 
-795 
-13448 
-13449 
-13450 
-13451 
-13452 
-13453 
-13454 
-13455 
-13456 
-13457 
-796 
-13458 
-13533 
-13534 
-13535 
-13536 
-13537 
-13538 
13539 
-13540 
-13541 
-797 
-13542 
-13543 
-13544 
-13545 
-13546 
-13547 
13548 
-13549 
-13550 
-13551 
2 
-20 
-798 
-13552 
-13553 
-13554 
-13555 
-13556 
-13631 
-13632 
-13633 
13634 
-13635 
-799 
-13636 
-13637 
-13638 
-13639 
-13640 
-13641 
-13642 
-13643 
-13644 
-13645 
-800 
-13646 
-13647 
-13648 
-13649 
-13650 
-13651 
-13652 
-13653 
13654 
-13729 
955 
-13730 
-13731 
-13732 
-13733 
-13734 
13735 
-13736 
-13737 
-13738 
-13739 
-956 
-13740 
13741 
-13742 
-13743 
-13744 
-13745 
-13746 
-13747 
-13748 
-13749 
-957 
-13750 
-13751 
-13752 
-13827 
-13828 
-13829 
-13830 
-13831 
-13832 
-13833 
958 
-13834 
-13835 
-13836 
-13837 
-13838 
-13839 
-13840 
-13841 
-13842 
-13843 
-959 
-13844 
-13845 
13846 
-13847 
-13848 
-13849 
-13850 
-13925 
-13926 
-13927 
-960 
-13928 
13929 
-13930 
-13931 
-13932 
-13933 
-13934 
-13935 
-13936 
-13937 
-961 
13938 
-13939 
-13940 
-13941 
-13942 
-13943 
-13944 
-13945 
-13946 
-13947 
-21 
-962 
-13948 
-14023 
-14024 
-14025 
-14026 
-14027 
-14028 
-14029 
-14030 
-14031 
-963 
-14032 
-14033 
-14034 
-14035 
-14036 
-14037 
-14038 
-14039 
-14040 
-14041 
-964 
-14042 
14043 
-14044 
-14045 
-14046 
-14121 
-14122 
-14123 
-14124 
-14125 
-965 
-14126 
-14127 
-14128 
-14129 
-14130 
-14131 
-14132 
-14133 
-14134 
-14135 
-966 
-14136 
-14137 
-14138 
14139 
-14140 
-14141 
-14142 
-14143 
-14144 
14219 
967 
-14220 
-14221 
-14222 
-14223 
-14224 
-14225 
-14226 
-14227 
14228 
-14229 
-968 
-14230 
-14231 
-14232 
-14233 
-14234 
-14235 
-14236 
-14237 
-14238 
-14239 
-969 
-14240 
-14241 
-14242 
-21933 
-21934 
-21935 
21936 
-21937 
-21938 
-21939 
-970 
-21940 
21941 
-21942 
-21943 
-21944 
-21945 
21946 
-21947 
-21948 
-21949 
-971 
-21950 
21951 
-21952 
-21953 
-21954 
-21955 
-21956 
-21957 
-21958 
21959 
-22 
-972 
-21960 
-21961 
-21962 
-21963 
-21964 
-21965 
21966 
-21967 
-21968 
-21969 
-973 
-21970 
-21971 
-21972 
21973 
-21974 
-21975 
-21976 
21977 
-21978 
-21979 
-974 
-21980 
-21981 
-21982 
-21983 
-21984 
21985 
-21986 
-21987 
-21988 
-21989 
-975 
21990 
-21991 
-21992 
-21993 
-21994 
-21995 
21996 
-21997 
-21998 
-21999 
-976 
-22000 
-22001 
22002 
-22003 
-22004 
-22005 
22006 
-22007 
-22008 
-22009 
-977 
-22010 
22011 
-22012 
-22013 
-22014 
-22015 
-22016 
-22017 
-22018 
22019 
-978 
-22020 
-22021 
-22022 
-22023 
-22024 
-22025 
22026 
-22027 
-22028 
-22029 
-979 
-22030 
-22031 
-22032 
-22033 
22034 
-22035 
-22036 
-22037 
22038 
-22039 
-980 
-22040 
-22041 
-22042 
-22043 
22044 
-22045 
-22046 
-22047 
-22048 
-22049 
-981 
-22050 
-22051 
22052 
22053 
-22054 
-22055 
-22056 
-22057 
-22058 
-22059 
-23 
-982 
22060 
-22061 
-22062 
-22063 
-22064 
-22065 
-22066 
22067 
-22068 
-22069 
-983 
-22070 
-22071 
-22072 
-22073 
-22074 
22075 
-22076 
-22077 
-22078 
22079 
-1138 
-22080 
-22081 
-22082 
-22083 
-22084 
-22085 
22086 
-22087 
-22088 
-22089 
-1139 
-22090 
-22091 
22092 
-22093 
-22094 
-22095 
-22096 
-22097 
22098 
-22099 
-1140 
-22100 
-22101 
22102 
-22103 
-22104 
-22105 
-22106 
-22107 
-22108 
-22109 
-1141 
-22110 
-22111 
22112 
-22113 
-22114 
22115 
-22116 
-22117 
-22118 
-22119 
-1142 
-22120 
22121 
-22122 
-22123 
-22124 
-22125 
-22126 
-22127 
-22128 
22129 
-1143 
-22130 
-22131 
-22132 
-22133 
22134 
-22135 
-22136 
-22137 
-22138 
-22139 
-1144 
-22140 
-22141 
22142 
-22143 
-22144 
-22145 
22146 
-22147 
-22148 
-22149 
-1145 
-22150 
-22151 
22152 
-22153 
-22154 
-22155 
-22156 
-22157 
-22158 
22159 
-24 
1146 
-22160 
-22161 
-22162 
-22163 
22164 
-22165 
-22166 
-22167 
-22168 
22169 
-1147 
-22170 
-22171 
-22172 
-22173 
-22174 
22175 
-22176 
-22177 
-22178 
-22179 
-1148 
22180 
-22181 
-22182 
-22183 
-22184 
-22185 
-22186 
-22187 
-22188 
22189 
-1149 
-22190 
-22191 
-22192 
-22193 
22194 
-22195 
-22196 
-22197 
22198 
-22199 
-1150 
-22200 
-22201 
-22202 
-22203 
-22204 
-22205 
-22206 
22207 
-22208 
-22209 
-1151 
-22210 
-22211 
-22212 
-22213 
22214 
-22215 
-22216 
-22217 
-22218 
22219 
-1152 
-22220 
-22221 
-22222 
-22223 
22224 
-22225 
-22226 
-22227 
22228 
-22229 
-1153 
-22230 
-22231 
-22232 
-22233 
-22234 
-22235 
22236 
-22237 
-22238 
-22239 
-1154 
-22240 
-22241 
-22242 
-22243 
22244 
-22245 
-22246 
22247 
-22248 
-22249 
-1155 
-22250 
-22251 
-22252 
-22253 
22254 
-22255 
-22256 
-22257 
-22258 
-22259 
-99 
-1156 
22260 
-22261 
-22262 
-22263 
22264 
-22265 
-22266 
-22267 
-22268 
-22269 
-1157 
22270 
-22271 
-22272 
-22273 
-22274 
22275 
-22276 
-22277 
-22278 
-22279 
-1158 
-22280 
-22281 
22282 
-22283 
-22284 
-22285 
-22286 
-22287 
-22288 
22289 
-1159 
-22290 
-22291 
-22292 
-22293 
-22294 
-22295 
22296 
-22297 
-22298 
22299 
-1160 
-22300 
-22301 
-22302 
-22303 
-22304 
-22305 
-22306 
-22307 
-22308 
22309 
-1161 
-22310 
-22311 
22312 
-22313 
-22314 
-22315 
-22316 
-22317 
-22318 
22319 
-1162 
-22320 
-22321 
-22322 
-22323 
-22324 
22325 
-22326 
-22327 
-22328 
-22329 
1163 
-22330 
22331 
-22332 
-22333 
-22334 
-22335 
-22336 
22337 
-22338 
-22339 
-1164 
-22340 
-22341 
-22342 
22343 
-22344 
-22345 
-22346 
22347 
-22348 
-22349 
-1165 
-22350 
-22351 
-22352 
-22353 
-22354 
-22355 
-22356 
22357 
-22358 
-22359 
-100 
-1166 
-22360 
-22361 
22362 
-22363 
-22364 
-22365 
-22366 
22367 
-22368 
-22369 
-1321 
-22370 
-22371 
-22372 
-22373 
22374 
-22375 
-22376 
-22377 
-22378 
-22379 
-1322 
22380 
-22381 
-22382 
22383 
-22384 
-22385 
-22386 
-22387 
-22388 
-22389 
-1323 
-22390 
-22391 
22392 
-22393 
-22394 
-22395 
-22396 
-22397 
-22398 
22399 
-1324 
-22400 
-22401 
-22402 
-22403 
22404 
-22405 
-22406 
-22407 
-22408 
-22409 
-1325 
-22410 
22411 
-22412 
-22413 
-22414 
-22415 
22416 
-22417 
-22418 
-22419 
-1326 
-22420 
-22421 
-22422 
-22423 
22424 
-22425 
-22426 
-22427 
-22428 
22429 
-1327 
-22430 
-22431 
-22432 
-22433 
22434 
-22435 
-22436 
-22437 
22438 
-22439 
-1328 
-22440 
-22441 
-22442 
-22443 
-22444 
-22445 
22446 
-22447 
-22448 
-22449 
-1329 
-22450 
-22451 
-22452 
22453 
-22454 
-22455 
-22456 
-22457 
22458 
-22459 
-101 
-1330 
-22460 
-22461 
-22462 
22463 
-22464 
-22465 
-22466 
-22467 
-22468 
-22469 
-1331 
22470 
-22471 
-22472 
-22473 
-22474 
22475 
-22476 
-22477 
-22478 
-22479 
-1332 
22480 
-22481 
-22482 
-22483 
-22484 
-22485 
-22486 
22487 
-22488 
-22489 
-1333 
-22490 
-22491 
-22492 
-22493 
-22494 
22495 
-22496 
-22497 
-22498 
22499 
-1334 
-22500 
-22501 
-22502 
22503 
-22504 
-22505 
-22506 
-22507 
-22508 
-22509 
-1335 
-22510 
22511 
-22512 
-22513 
-22514 
-22515 
22516 
-22517 
-22518 
-22519 
-1336 
-22520 
-22521 
-22522 
-22523 
-22524 
22525 
-22526 
-22527 
-22528 
-22529 
-1337 
-22530 
22531 
-22532 
-22533 
-22534 
22535 
-22536 
-22537 
-22538 
-22539 
-1338 
-22540 
-22541 
-22542 
22543 
-22544 
22545 
-22546 
-22547 
-22548 
-22549 
-1339 
-22550 
-22551 
-22552 
22553 
-22554 
-22555 
-22556 
-22557 
-22558 
-22559 
-102 
-1340 
22560 
-22561 
-22562 
-22563 
-22564 
22565 
-22566 
-22567 
-22568 
-22569 
-1341 
-22570 
-22571 
22572 
-22573 
-22574 
-22575 
-22576 
22577 
-22578 
-22579 
1342 
-22580 
-22581 
-22582 
-22583 
-22584 
22585 
-22586 
-22587 
-22588 
-22589 
-1343 
22590 
-22591 
-22592 
-22593 
-22594 
-22595 
-22596 
-22597 
22598 
22599 
-1344 
-22600 
-22601 
-22602 
-22603 
-22604 
-22605 
-22606 
-22607 
22608 
-22609 
-1345 
-22610 
-22611 
-22612 
-22613 
22614 
-22615 
-22616 
-22617 
-22618 
-22619 
-1346 
-22620 
-22621 
22622 
-22623 
22624 
-22625 
-22626 
-22627 
-22628 
-22629 
-1347 
-22630 
-22631 
22632 
-22633 
-22634 
22635 
-22636 
-22637 
-22638 
-22639 
-1348 
-22640 
-22641 
-22642 
22643 
-22644 
-22645 
-22646 
-22647 
-22648 
22649 
-1349 
-22650 
-22651 
-22652 
-22653 
22654 
-22655 
-22656 
-22657 
-22658 
-22659 
-103 
-1504 
-22660 
-22661 
22662 
-22663 
-22664 
-22665 
-22666 
-22667 
22668 
-22669 
-1505 
-22670 
-22671 
-22672 
22673 
-22674 
-22675 
-22676 
-22677 
-22678 
22679 
-1506 
-22680 
-22681 
-22682 
-22683 
22684 
-22685 
-22686 
-22687 
-22688 
-22689 
-1507 
-22690 
-22691 
22692 
-22693 
-22694 
-22695 
22696 
-22697 
-22698 
-22699 
-1508 
-22700 
22701 
-22702 
-22703 
-22704 
-22705 
-22706 
-22707 
-22708 
-22709 
1509 
22710 
-22711 
-22712 
-22713 
-22714 
-22715 
-22716 
22717 
-22718 
-22719 
-1510 
-22720 
22721 
-22722 
-22723 
-22724 
-22725 
-22726 
-22727 
22728 
-22729 
-1511 
-22730 
-22731 
-22732 
22733 
-22734 
-22735 
-22736 
-22737 
-22738 
-22739 
-1512 
22740 
-22741 
-22742 
-22743 
-22744 
-22745 
22746 
-22747 
-22748 
-22749 
-1513 
-22750 
22751 
-22752 
-22753 
-22754 
-22755 
22756 
-22757 
-22758 
-22759 
-3 
-104 
-1514 
-22760 
-22761 
-22762 
-22763 
-22764 
22765 
-22766 
-22767 
-22768 
22769 
-1515 
-22770 
-22771 
-22772 
-22773 
-22774 
22775 
-22776 
-22777 
-22778 
-22779 
-1516 
-22780 
22781 
-22782 
-22783 
-22784 
-22785 
-22786 
22787 
-22788 
-22789 
-1517 
-22790 
-22791 
-22792 
22793 
-22794 
-22795 
-22796 
-22797 
-22798 
-22799 
-1518 
-22800 
-22801 
22802 
-22803 
-22804 
22805 
-22806 
-22807 
-22808 
-22809 
-1519 
-22810 
-22811 
22812 
-22813 
-22814 
-22815 
22816 
-22817 
-22818 
-22819 
-1520 
-22820 
-22821 
-22822 
-22823 
-22824 
-22825 
22826 
-22827 
-22828 
-22829 
-1521 
-22830 
-22831 
22832 
-22833 
-22834 
22835 
-22836 
-22837 
-22838 
-22839 
-1522 
-22840 
-22841 
22842 
-22843 
-22844 
-22845 
-22846 
-22847 
22848 
-22849 
-1523 
-22850 
-22851 
-22852 
-22853 
22854 
-22855 
-22856 
-22857 
-22858 
-22859 
-105 
-1524 
-22860 
22861 
-22862 
-22863 
-22864 
22865 
-22866 
-22867 
-22868 
-22869 
-1525 
-22870 
22871 
-22872 
-22873 
-22874 
-22875 
-22876 
22877 
-22878 
-22879 
-1526 
-22880 
-22881 
-22882 
-22883 
22884 
-22885 
-22886 
-22887 
-22888 
22889 
-1527 
-22890 
-22891 
-22892 
-22893 
-22894 
-22895 
-22896 
-22897 
22898 
-22899 
1528 
22900 
-22901 
-22902 
-22903 
-22904 
-22905 
-22906 
-22907 
-22908 
22909 
-1529 
-22910 
-22911 
-22912 
-22913 
22914 
-22915 
-22916 
-22917 
-22918 
-22919 
-1530 
-22920 
22921 
-22922 
-22923 
22924 
-22925 
-22926 
-22927 
-22928 
-22929 
-1531 
-22930 
22931 
-22932 
-22933 
-22934 
-22935 
-22936 
22937 
-22938 
-22939 
-1532 
-22940 
-22941 
-22942 
-22943 
22944 
-22945 
-22946 
-22947 
-22948 
-22949 
-1687 
22950 
-22951 
-22952 
-22953 
-22954 
-22955 
22956 
-22957 
-22958 
-22959 
-106 
-1688 
-22960 
22961 
-22962 
-22963 
-22964 
-22965 
22966 
-22967 
-22968 
-22969 
-1689 
-22970 
-22971 
-22972 
-22973 
-22974 
22975 
-22976 
-22977 
22978 
-22979 
-1690 
-22980 
-22981 
-22982 
-22983 
22984 
-22985 
-22986 
-22987 
-22988 
-22989 
1691 
-22990 
22991 
-22992 
-22993 
-22994 
22995 
-22996 
-22997 
-22998 
-22999 
-1692 
-23000 
-23001 
-23002 
-23003 
-23004 
23005 
-23006 
-23007 
-23008 
23009 
-1693 
-23010 
-23011 
-23012 
-23013 
-23014 
23015 
-23016 
-23017 
-23018 
23019 
-1694 
-23020 
-23021 
-23022 
-23023 
-23024 
-23025 
-23026 
-23027 
-23028 
-23029 
1695 
23030 
-23031 
23032 
-23033 
-23034 
-23035 
-23036 
-23037 
23038 
-23039 
-1696 
-23040 
-23041 
-23042 
-23043 
-23044 
-23045 
23046 
-23047 
-23048 
-23049 
-1697 
23050 
-23051 
-23052 
-23053 
-23054 
-23055 
-23056 
-23057 
-23058 
23059 
-107 
-1698 
-23060 
-23061 
-23062 
23063 
-23064 
-23065 
-23066 
-23067 
-23068 
-23069 
-1699 
-23070 
23071 
-23072 
-23073 
-23074 
-23075 
23076 
-23077 
-23078 
-23079 
-1700 
-23080 
-23081 
23082 
-23083 
-23084 
-23085 
-23086 
-23087 
23088 
-23089 
-1701 
-23090 
-23091 
-23092 
23093 
-23094 
-23095 
-23096 
-23097 
-23098 
-23099 
1702 
23100 
-23101 
-23102 
-23103 
-23104 
23105 
-23106 
-23107 
-23108 
-23109 
-1703 
23110 
-23111 
-23112 
-23113 
-23114 
-23115 
23116 
-23117 
-23118 
-23119 
-1704 
-23120 
-23121 
-23122 
-23123 
23124 
-23125 
-23126 
-23127 
-23128 
23129 
-1705 
-23130 
-23131 
-23132 
-23133 
-23134 
-23135 
-23136 
23137 
-23138 
-23139 
-1706 
-23140 
-23141 
-23142 
-23143 
23144 
-23145 
-23146 
-23147 
23148 
-23149 
-1707 
-23150 
23151 
-23152 
-23153 
-23154 
-23155 
-23156 
-23157 
-23158 
23159 
-108 
-1708 
-23160 
-23161 
-23162 
-23163 
-23164 
-23165 
-23166 
23167 
-23168 
-23169 
-1709 
-23170 
-23171 
-23172 
23173 
-23174 
-23175 
-23176 
-23177 
23178 
-23179 
-1710 
-23180 
-23181 
-23182 
-23183 
23184 
-23185 
-23186 
-23187 
-23188 
23189 
-1711 
-23190 
-23191 
-23192 
-23193 
-23194 
-23195 
23196 
-23197 
-23198 
-23199 
-1712 
23200 
-23201 
-23202 
-23203 
-23204 
-23205 
-23206 
23207 
-23208 
-23209 
-1713 
-23210 
-23211 
-23212 
-23213 
-23214 
-23215 
23216 
-23217 
-23218 
-23219 
-1714 
-23220 
-23221 
23222 
23223 
-23224 
-23225 
-23226 
-23227 
-23228 
-23229 
-1715 
-23230 
-23231 
23232 
-23233 
-23234 
-23235 
-23236 
-23237 
-23238 
23239 
-1888 
-23240 
-23241 
-23242 
23243 
-23244 
-23245 
-23246 
23247 
-23248 
-23249 
-1889 
-23250 
-23251 
-23252 
-23253 
-23254 
23255 
-23256 
-23257 
-23258 
-23259 
-109 
-1890 
-23260 
23261 
-23262 
-23263 
-23264 
-23265 
-23266 
-23267 
-23268 
23269 
-1891 
-23270 
-23271 
23272 
-23273 
-23274 
-23275 
-23276 
-23277 
-23278 
-23279 
-1892 
23280 
-23281 
-23282 
-23283 
-23284 
-23285 
23286 
-23287 
-23288 
-23289 
-1893 
23290 
-23291 
-23292 
-23293 
-23294 
-23295 
23296 
-23297 
-23298 
-23299 
-1894 
-23300 
-23301 
23302 
-23303 
-23304 
-23305 
-23306 
23307 
-23308 
-23309 
-1895 
-23310 
-23311 
-23312 
-23313 
-23314 
-23315 
-23316 
23317 
-23318 
-23319 
-1896 
-23320 
-23321 
23322 
-23323 
-23324 
-23325 
23326 
-23327 
-23328 
-23329 
1897 
-23330 
-23331 
-23332 
-23333 
23334 
-23335 
-23336 
-23337 
-23338 
23339 
-1898 
-23340 
-23341 
-23342 
-23343 
-23344 
-23345 
23346 
-23347 
-23348 
-23349 
-1899 
-23350 
23351 
-23352 
-23353 
-23354 
23355 
-23356 
-23357 
-23358 
-23359 
-110 
-1900 
-23360 
-23361 
-23362 
-23363 
-23364 
23365 
-23366 
-23367 
-23368 
-23369 
-1901 
-23370 
-23371 
23372 
-23373 
-23374 
-23375 
-23376 
23377 
-23378 
-23379 
-1902 
-23380 
23381 
-23382 
-23383 
-23384 
23385 
-23386 
-23387 
-23388 
-23389 
-1903 
-23390 
23391 
-23392 
-23393 
-23394 
-23395 
-23396 
-23397 
-23398 
23399 
-1904 
-23400 
-23401 
-23402 
-23403 
-23404 
-23405 
-23406 
-23407 
23408 
-23409 
-1905 
-23410 
23411 
-23412 
-23413 
-23414 
-23415 
-23416 
-23417 
23418 
-23419 
1906 
-23420 
-23421 
-23422 
-23423 
-23424 
-23425 
23426 
-23427 
-23428 
-23429 
-1907 
23430 
-23431 
-23432 
-23433 
-23434 
23435 
-23436 
-23437 
-23438 
23439 
-1908 
-23440 
-23441 
-23442 
-23443 
-23444 
-23445 
-23446 
-23447 
-23448 
23449 
-1909 
-23450 
-23451 
23452 
-23453 
-23454 
-23455 
-23456 
-23457 
23458 
-23459 
-111 
-1910 
-23460 
-23461 
-23462 
-23463 
-23464 
-23465 
23466 
-23467 
-23468 
-23469 
-1911 
23470 
-23471 
-23472 
-23473 
-23474 
-23475 
23476 
-23477 
-23478 
-23479 
-1912 
-23480 
-23481 
-23482 
-23483 
23484 
-23485 
-23486 
23487 
-23488 
-23489 
-1913 
-23490 
-23491 
-23492 
-23493 
-23494 
23495 
-23496 
-23497 
-23498 
-23499 
-1914 
-23500 
23501 
-23502 
-23503 
-23504 
-23505 
-23506 
-23507 
23508 
-23509 
-1915 
-23510 
-23511 
-23512 
23513 
-23514 
-23515 
-23516 
-23517 
-23518 
-23519 
-1916 
23520 
-23521 
-23522 
-23523 
-23524 
23525 
-23526 
-23527 
-23528 
-23529 
-2089 
23530 
-23531 
-23532 
-23533 
-23534 
-23535 
23536 
-23537 
-23538 
-23539 
-2090 
-23540 
-23541 
23542 
-23543 
-23544 
-23545 
-23546 
-23547 
-23548 
23549 
-2091 
-23550 
-23551 
-23552 
-23553 
23554 
-23555 
-23556 
-23557 
-23558 
-23559 
-112 
-2092 
-23560 
23561 
-23562 
-23563 
-23564 
-23565 
-23566 
-23567 
-23568 
23569 
-2093 
-23570 
-23571 
-23572 
23573 
-23574 
-23575 
-23576 
-23577 
-23578 
23579 
-2094 
-23580 
-23581 
-23582 
-23583 
-23584 
23585 
-23586 
-23587 
-23588 
-23589 
-2095 
-23590 
-23591 
-23592 
23593 
-23594 
-23595 
-23596 
-23597 
23598 
-23599 
-2096 
-23600 
-23601 
-23602 
23603 
-23604 
-23605 
-23606 
-23607 
-23608 
23609 
-2097 
-23610 
-23611 
-23612 
-23613 
-23614 
-23615 
-23616 
23617 
-23618 
23619 
-2098 
-23620 
-23621 
-23622 
-23623 
-23624 
-23625 
-23626 
-23627 
23628 
-23629 
-2099 
-23630 
-23631 
-23632 
23633 
-23634 
-23635 
-23636 
-23637 
23638 
-23639 
-2100 
-23640 
-23641 
-23642 
-23643 
23644 
-23645 
-23646 
-23647 
-23648 
-23649 
-2101 
-23650 
23651 
-23652 
-23653 
-23654 
-23655 
-23656 
-23657 
23658 
-23659 
-113 
-2102 
-23660 
-23661 
-23662 
-23663 
-23664 
23665 
-23666 
-23667 
-23668 
-23669 
-2103 
23670 
-23671 
-23672 
-23673 
-23674 
-23675 
23676 
-23677 
-23678 
-23679 
-2104 
-23680 
-23681 
23682 
-23683 
-23684 
-23685 
-23686 
23687 
-23688 
-23689 
-2105 
-23690 
-23691 
-23692 
23693 
-23694 
-23695 
-23696 
-23697 
-23698 
-23699 
-2106 
23700 
-23701 
-23702 
-23703 
-23704 
23705 
-23706 
-23707 
-23708 
-23709 
-2107 
-23710 
23711 
-23712 
-23713 
-23714 
-23715 
-23716 
23717 
-23718 
-23719 
2108 
-23720 
-23721 
-23722 
-23723 
23724 
-23725 
-23726 
-23727 
23728 
-23729 
-2109 
-23730 
-23731 
-23732 
-23733 
-23734 
23735 
-23736 
-23737 
-23738 
-23739 
-2110 
-23740 
-23741 
-23742 
-23743 
23744 
-23745 
-23746 
-23747 
-23748 
23749 
-2111 
-23750 
-23751 
-23752 
-23753 
23754 
-23755 
-23756 
-23757 
-23758 
23759 
-4 
-114 
-2112 
-23760 
-23761 
-23762 
-23763 
23764 
-23765 
-23766 
-23767 
-23768 
-23769 
2113 
-23770 
23771 
-23772 
-23773 
-23774 
-23775 
-23776 
-23777 
23778 
-23779 
-2114 
-23780 
-23781 
-23782 
-23783 
-23784 
23785 
-23786 
-23787 
23788 
-23789 
-2115 
-23790 
-23791 
-23792 
-23793 
-23794 
23795 
-23796 
-23797 
-23798 
-23799 
-2116 
-23800 
-23801 
-23802 
23803 
-23804 
-23805 
-23806 
-23807 
-23808 
23809 
-2117 
-23810 
-23811 
-23812 
-23813 
23814 
-23815 
-23816 
-23817 
-23818 
-23819 
-2290 
-23820 
23821 
-23822 
-23823 
-23824 
-23825 
-23826 
23827 
-23828 
-23829 
-2291 
23830 
-23831 
-23832 
-23833 
-23834 
-23835 
-23836 
-23837 
-23838 
23839 
-2292 
-23840 
-23841 
-23842 
-23843 
23844 
-23845 
-23846 
-23847 
-23848 
-23849 
-2293 
23850 
-23851 
-23852 
-23853 
-23854 
23855 
-23856 
-23857 
-23858 
-23859 
-115 
-2294 
-23860 
-23861 
23862 
-23863 
-23864 
-23865 
-23866 
-23867 
-23868 
23869 
-2295 
-23870 
-23871 
-23872 
-23873 
-23874 
23875 
-23876 
-23877 
-23878 
-23879 
-2296 
23880 
-23881 
-23882 
-23883 
-23884 
23885 
-23886 
-23887 
-23888 
-23889 
2297 
-23890 
23891 
-23892 
-23893 
-23894 
-23895 
23896 
-23897 
-23898 
-23899 
-2298 
-23900 
23901 
-23902 
-23903 
-23904 
-23905 
-23906 
23907 
-23908 
-23909 
-2299 
-23910 
-23911 
-23912 
-23913 
-23914 
-23915 
23916 
-23917 
-23918 
-23919 
-2300 
-23920 
23921 
-23922 
-23923 
-23924 
-23925 
-23926 
-23927 
-23928 
23929 
2301 
-23930 
-23931 
-23932 
-23933 
-23934 
23935 
-23936 
-23937 
-23938 
23939 
-2302 
-23940 
-23941 
-23942 
-23943 
-23944 
-23945 
23946 
-23947 
-23948 
-23949 
-2303 
-23950 
23951 
-23952 
-23953 
-23954 
-23955 
-23956 
-23957 
23958 
-23959 
-116 
-2304 
-23960 
-23961 
-23962 
23963 
-23964 
-23965 
-23966 
-23967 
-23968 
-23969 
-2305 
-23970 
-23971 
23972 
-23973 
-23974 
-23975 
23976 
-23977 
-23978 
-23979 
-2306 
-23980 
-23981 
23982 
-23983 
-23984 
-23985 
-23986 
-23987 
23988 
-23989 
-2307 
-23990 
-23991 
-23992 
-23993 
23994 
-23995 
-23996 
-23997 
-23998 
-23999 
-2308 
24000 
-24001 
-24002 
-24003 
24004 
-24005 
-24006 
-24007 
-24008 
-24009 
-2309 
-24010 
-24011 
24012 
-24013 
-24014 
-24015 
-24016 
-24017 
24018 
-24019 
2310 
-24020 
-24021 
-24022 
-24023 
24024 
-24025 
-24026 
-24027 
-24028 
-24029 
-2311 
24030 
-24031 
-24032 
-24033 
-24034 
-24035 
-24036 
24037 
-24038 
-24039 
-2312 
-24040 
-24041 
24042 
-24043 
-24044 
-24045 
24046 
-24047 
-24048 
-24049 
-2313 
-24050 
-24051 
-24052 
-24053 
-24054 
24055 
-24056 
-24057 
-24058 
-24059 
117 
-2314 
24060 
-24061 
-24062 
-24063 
-24064 
-24065 
-24066 
24067 
-24068 
-24069 
-2315 
-24070 
-24071 
-24072 
24073 
-24074 
-24075 
-24076 
-24077 
-24078 
24079 
-2316 
-24080 
-24081 
-24082 
-24083 
24084 
-24085 
-24086 
-24087 
-24088 
24089 
-2317 
-24090 
-24091 
-24092 
-24093 
-24094 
-24095 
24096 
-24097 
-24098 
-24099 
-2318 
-24100 
-24101 
-24102 
24103 
-24104 
-24105 
-24106 
-24107 
24108 
-24109 
-2491 
-24110 
-24111 
-24112 
-24113 
-24114 
24115 
-24116 
-24117 
-24118 
-24119 
-2492 
-24120 
24121 
-24122 
-24123 
-24124 
-24125 
24126 
-24127 
-24128 
-24129 
-2493 
-24130 
-24131 
-24132 
24133 
-24134 
-24135 
-24136 
24137 
-24138 
-24139 
-2494 
-24140 
-24141 
-24142 
24143 
-24144 
-24145 
-24146 
-24147 
-24148 
-24149 
-2495 
-24150 
-24151 
24152 
-24153 
-24154 
24155 
-24156 
-24157 
-24158 
-24159 
-118 
-2496 
-24160 
-24161 
-24162 
24163 
-24164 
-24165 
-24166 
-24167 
24168 
-24169 
-2497 
-24170 
-24171 
-24172 
24173 
-24174 
-24175 
-24176 
-24177 
-24178 
-24179 
-2498 
-24180 
24181 
-24182 
24183 
-24184 
-24185 
-24186 
-24187 
-24188 
-24189 
-2499 
-24190 
-24191 
-24192 
24193 
-24194 
-24195 
24196 
-24197 
-24198 
-24199 
-2500 
-24200 
-24201 
-24202 
-24203 
24204 
-24205 
-24206 
-24207 
-24208 
24209 
-2501 
-24210 
-24211 
-24212 
-24213 
-24214 
-24215 
-24216 
24217 
-24218 
-24219 
-2502 
-24220 
24221 
-24222 
-24223 
-24224 
-24225 
24226 
-24227 
-24228 
-24229 
2503 
-24230 
-24231 
-24232 
24233 
-24234 
-24235 
-24236 
-24237 
-24238 
24239 
-2504 
-24240 
-24241 
-24242 
-24243 
-24244 
-24245 
24246 
-24247 
-24248 
-24249 
-2505 
-24250 
-24251 
24252 
-24253 
-24254 
-24255 
-24256 
-24257 
24258 
-24259 
-119 
-2506 
-24260 
-24261 
-24262 
24263 
-24264 
-24265 
-24266 
-24267 
-24268 
-24269 
-2507 
24270 
-24271 
-24272 
-24273 
-24274 
-24275 
24276 
-24277 
-24278 
-24279 
-2508 
-24280 
-24281 
-24282 
24283 
-24284 
-24285 
-24286 
-24287 
24288 
-24289 
-2509 
-24290 
-24291 
24292 
-24293 
-24294 
-24295 
-24296 
-24297 
24298 
-24299 
-2510 
-24300 
-24301 
-24302 
-24303 
-24304 
24305 
-24306 
-24307 
-24308 
-24309 
-2511 
-24310 
-24311 
24312 
-24313 
-24314 
-24315 
-24316 
24317 
-24318 
-24319 
-2512 
-24320 
-24321 
-24322 
24323 
-24324 
-24325 
-24326 
-24327 
-24328 
-24329 
2513 
24330 
-24331 
-24332 
-24333 
24334 
-24335 
-24336 
-24337 
-24338 
-24339 
-2514 
-24340 
24341 
-24342 
-24343 
-24344 
-24345 
-24346 
24347 
-24348 
-24349 
-2515 
-24350 
-24351 
-24352 
24353 
-24354 
-24355 
-24356 
-24357 
-24358 
-24359 
-120 
-2516 
-24360 
-24361 
24362 
24363 
-24364 
-24365 
-24366 
-24367 
-24368 
-2517 
-2518 
-2519 
-2692 
-2693 
-2694 
-2695 
-2696 
-2697 
-121 
-2698 
-2699 
-2700 
-2701 
-2702 
-2703 
-2704 
-2705 
-2706 
-2707 
-122 
-2708 
-2709 
-2710 
-2711 
-2712 
-2713 
-2714 
2715 
-2716 
-2717 
-197 
2718 
-2719 
-2720 
-2893 
-2894 
-2895 
-2896 
-2897 
-2898 
-2899 
-5 
-198 
-2900 
-2901 
-2902 
-2903 
-2904 
-2905 
-2906 
2907 
-2908 
-2909 
-199 
2910 
-2911 
-2912 
-2913 
-2914 
-2915 
-2916 
-2917 
-2918 
-2919 
-200 
-2920 
-2921 
-3094 
-3095 
-3096 
3097 
3098 
3099 
-3100 
-3101 
-201 
-3102 
-3103 
-3104 
3105 
-3106 
-3107 
-3108 
-3109 
-3110 
-3111 
-202 
-3112 
-3113 
-3114 
-3115 
-3116 
-3117 
-3118 
-3119 
-3120 
-3121 
-203 
-3122 
-3295 
3296 
-3297 
-3298 
-3299 
-3300 
-3301 
-3302 
3303 
-204 
-3304 
-3305 
-3306 
-3307 
-3308 
-3309 
-3310 
-3311 
-3312 
-3313 
-205 
-3314 
-3315 
-3316 
-3317 
-3318 
-3319 
-3320 
-3321 
-3322 
-3323 
-206 
-3496 
-3497 
-3498 
-3499 
-3500 
-3501 
-3502 
-3503 
-3504 
-3505 
-207 
-3506 
-3507 
3508 
3509 
-3510 
-3511 
-3512 
-3513 
-3514 
-3515 
-6 
-208 
-3516 
-3517 
-3518 
-3519 
-3520 
-3521 
-3522 
-3523 
3524 
-3697 
-209 
-3698 
3699 
-3700 
-3701 
-3702 
-3703 
-3704 
-3705 
-3706 
3707 
-210 
-3708 
-3709 
-3710 
-3711 
-3712 
-3713 
-3714 
-3715 
3716 
-3717 
-211 
-3718 
-3719 
-3720 
-3721 
-3722 
-3723 
-3724 
-3725 
-3898 
-3899 
-212 
-3900 
-3901 
-3902 
-3903 
3904 
-3905 
-3906 
-3907 
-3908 
-3909 
-213 
-3910 
-3911 
-3912 
-3913 
-3914 
-3915 
-3916 
-3917 
-3918 
-3919 
-214 
3920 
-3921 
-3922 
-3923 
-3924 
-3925 
-3926 
-4099 
-4100 
-4101 
-215 
-4102 
-4103 
-4104 
-4105 
-4106 
-4107 
-4108 
-4109 
-4110 
-4111 
216 
-4112 
-4113 
-4114 
-4115 
-4116 
-4117 
-4118 
-4119 
4120 
-4121 
-217 
-4122 
-4123 
-4124 
-4125 
-4126 
-4127 
-4300 
-4301 
-4302 
-4303 
-7 
-218 
-4304 
-4305 
-4306 
-4307 
4308 
-4309 
4310 
-4311 
-4312 
-4313 
-219 
-4314 
-4315 
-4316 
-4317 
-4318 
-4319 
-4320 
-4321 
-4322 
-4323 
-220 
-4324 
-4325 
4326 
-4327 
-4328 
-4501 
-4502 
-4503 
-4504 
-4505 
-295 
-4506 
-4507 
-4508 
-4509 
-4510 
-4511 
-4512 
-4513 
-4514 
-4515 
-296 
4516 
-4517 
-4518 
-4519 
-4520 
-4521 
-4522 
-4523 
-4524 
-4525 
-297 
4526 
-4527 
-4528 
-4529 
-4702 
-4703 
-4704 
4705 
-4706 
-4707 
-298 
-4708 
-4709 
-4710 
-4711 
-4712 
-4713 
-4714 
-4715 
-4716 
-4717 
-299 
-4718 
4719 
-4720 
-4721 
-4722 
-4723 
-4724 
-4725 
-4726 
-4727 
-300 
-4728 
-4729 
-4730 
-4903 
-4904 
-4905 
-4906 
-4907 
-4908 
-4909 
-301 
-4910 
-4911 
4912 
-4913 
4914 
-4915 
-4916 
4917 
-4918 
-4919 
-8 
-302 
-4920 
-4921 
-4922 
-4923 
-4924 
-4925 
-4926 
-4927 
-4928 
-4929 
-303 
-4930 
-4931 
-5104 
5105 
5106 
-5107 
-5108 
-5109 
-5110 
-5111 
-304 
-5112 
-5113 
-5114 
-5115 
-5116 
-5117 
-5118 
-5119 
-5120 
-5121 
-305 
-5122 
-5123 
-5124 
-5125 
-5126 
-5127 
-5128 
-5129 
-5130 
-5131 
-306 
-5132 
-5305 
-5306 
-5307 
-5308 
-5309 
-5310 
5311 
-5312 
-5313 
-307 
-5314 
-5315 
-5316 
5317 
-5318 
-5319 
-5320 
-5321 
-5322 
-5323 
-308 
-5324 
5325 
-5326 
-5327 
-5328 
-5329 
-5330 
-5331 
-5332 
-5333 
-309 
-5526 
-5527 
5528 
-5529 
-5530 
-5531 
-5532 
-5533 
-5534 
-5535 
-310 
-5536 
-5537 
-5538 
-5539 
-5540 
-5541 
-5542 
-5543 
-5544 
-5545 
-311 
-5546 
-5547 
-5548 
-5549 
5550 
-5551 
-5552 
-5553 
5554 
-5747 
-9 
312 
-5748 
-5749 
-5750 
-5751 
-5752 
-5753 
-5754 
-5755 
-5756 
-5757 
-313 
5758 
-5759 
5760 
-5761 
-5762 
-5763 
-5764 
5765 
-5766 
-5767 
-314 
-5768 
-5769 
-5770 
-5771 
-5772 
-5773 
-5774 
-5775 
-5968 
-5969 
-315 
-5970 
-5971 
-5972 
-5973 
-5974 
-5975 
-5976 
-5977 
-5978 
-5979 
-316 
-5980 
-5981 
-5982 
5983 
-5984 
-5985 
-5986 
-5987 
-5988 
5989 
-317 
-5990 
-5991 
-5992 
-5993 
-5994 
-5995 
-5996 
6189 
-6190 
-6191 
-318 
-6192 
6193 
-6194 
-6195 
-6196 
-6197 
-6198 
-6199 
-6200 
-6201 
-393 
-6202 
-6203 
-6204 
-6205 
-6206 
-6207 
-6208 
-6209 
-6210 
-6211 
-394 
-6212 
-6213 
6214 
-6215 
-6216 
-6217 
-6410 
-6411 
-6412 
-6413 
-395 
-6414 
-6415 
-6416 
-6417 
-6418 
-6419 
-6420 
-6421 
-6422 
-6423 
s SATISFIABLE
v -v1 -v10 -v100 -v1000 -v1001 -v1002 v1003 -v1004 v1005 -v1006 -v1007 -v1008 -v1009 v101 -v1010 -v1011 -v1012 -v1013 -v1014 -v1015 -v1016 -v1017 -v1018 -v1019 -v102 -v1020 -v1021 -v1022 -v1023 -v1024 -v1025 -v1026 -v1027 -v1028 -v1029 -v103 -v1030 -v1031 -v1032 v1033 -v1034 -v1035 -v1036 -v1037 -v1038 v1039 -v104 -v1040 -v1041 -v1042 -v1043 -v1044 v1045 -v1046 -v1047 -v1048 -v1049 -v105 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 v1056 -v1057 -v1058 -v1059 -v106 -v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 -v1067 -v1068 -v1069 -v107 -v1070 -v1071 -v1072 -v1073 -v1074 v1075 -v1076 v1077 -v1078 -v1079 -v108 -v1080 -v1081 v1082 -v1083 -v1084 -v1085 -v1086 -v1087 -v1088 -v1089 v109 -v1090 -v1091 -v1092 -v1093 -v1094 -v1095 -v1096 -v1097 -v1098 -v1099 v11 -v110 -v1100 -v1101 v1102 -v1103 -v1104 -v1105 -v1106 -v1107 -v1108 -v1109 -v111 -v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 -v1117 v1118 -v1119 -v112 -v1120 -v1121 -v1122 -v1123 -v1124 v1125 -v1126 -v1127 -v1128 -v1129 -v113 -v1130 -v1131 -v1132 -v1133 v1134 -v1135 -v1136 -v1137 -v1138 v1139 -v114 -v1140 -v1141 -v1142 -v1143 -v1144 -v1145 -v1146 -v1147 -v1148 -v1149 -v115 -v1150 -v1151 -v1152 -v1153 -v1154 -v1155 -v1156 -v1157 v1158 -v1159 -v116 -v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 -v1169 -v117 -v1170 -v1171 -v1172 -v1173 v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v118 -v1180 -v1181 -v1182 -v1183 -v1184 v1185 -v1186 -v1187 -v1188 v1189 -v119 v1190 -v1191 -v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v12 -v120 -v1200 -v1201 -v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 -v1209 -v121 -v1210 -v1211 -v1212 -v1213 -v1214 -v1215 -v1216 -v1217 -v1218 -v1219 -v122 -v1220 -v1221 -v1222 -v1223 -v1224 -v1225 -v1226 -v1227 -v1228 -v1229 v123 -v1230 v1231 -v1232 v1233 -v1234 -v1235 -v1236 v1237 -v1238 -v1239 -v124 -v1240 -v1241 -v1242 -v1243 -v1244 -v1245 -v1246 -v1247 -v1248 -v1249 -v125 -v1250 -v1251 -v1252 -v1253 v1254 -v1255 -v1256 -v1257 -v1258 -v1259 -v126 -v1260 -v1261 -v1262 -v1263 -v1264 -v1265 -v1266 -v1267 -v1268 v1269 -v127 -v1270 -v1271 -v1272 -v1273 -v1274 -v1275 -v1276 -v1277 -v1278 -v1279 -v128 v1280 -v1281 v1282 -v1283 -v1284 -v1285 -v1286 -v1287 -v1288 -v1289 -v129 v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 -v1298 -v1299 -v13 -v130 -v1300 -v1301 -v1302 -v1303 -v1304 -v1305 -v1306 -v1307 -v1308 -v1309 -v131 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v132 -v1320 -v1321 -v1322 -v1323 -v1324 -v1325 -v1326 -v1327 -v1328 v1329 -v133 -v1330 v1331 -v1332 -v1333 -v1334 -v1335 -v1336 -v1337 -v1338 -v1339 -v134 -v1340 -v1341 -v1342 -v1343 -v1344 v1345 -v1346 -v1347 -v1348 -v1349 v135 v1350 -v1351 -v1352 -v1353 -v1354 -v1355 -v1356 -v1357 -v1358 -v1359 -v136 -v1360 v1361 -v1362 -v1363 -v1364 -v1365 -v1366 -v1367 -v1368 -v1369 -v137 -v1370 -v1371 -v1372 -v1373 -v1374 -v1375 -v1376 -v1377 -v1378 -v1379 -v138 -v1380 -v1381 -v1382 -v1383 -v1384 -v1385 -v1386 -v1387 v1388 -v1389 -v139 v1390 -v1391 v1392 -v1393 -v1394 -v1395 -v1396 -v1397 -v1398 -v1399 -v14 -v140 -v1400 -v1401 -v1402 -v1403 -v1404 -v1405 -v1406 -v1407 -v1408 -v1409 -v141 -v1410 -v1411 -v1412 -v1413 v1414 -v1415 -v1416 -v1417 -v1418 -v1419 -v142 -v1420 -v1421 -v1422 -v1423 -v1424 -v1425 -v1426 -v1427 -v1428 -v1429 -v143 -v1430 -v1431 -v1432 -v1433 -v1434 -v1435 -v1436 v1437 -v1438 -v1439 -v144 -v1440 v1441 -v1442 -v1443 -v1444 -v1445 -v1446 -v1447 -v1448 v1449 -v145 -v1450 -v1451 -v1452 -v1453 -v1454 v1455 -v1456 -v1457 -v1458 -v1459 -v146 v1460 -v1461 -v1462 -v1463 -v1464 -v1465 -v1466 -v1467 v1468 -v1469 -v147 -v1470 -v1471 -v1472 -v1473 -v1474 -v1475 -v1476 -v1477 -v1478 -v1479 -v148 -v1480 -v1481 -v1482 -v1483 -v1484 v1485 -v1486 -v1487 -v1488 -v1489 -v149 -v1490 -v1491 -v1492 -v1493 -v1494 -v1495 -v1496 -v1497 -v1498 -v1499 -v15 -v150 -v1500 -v1501 v1502 -v1503 -v1504 -v1505 -v1506 -v1507 -v1508 -v1509 -v151 -v1510 -v1511 -v1512 -v1513 -v1514 -v1515 -v1516 -v1517 -v1518 -v1519 -v152 -v1520 -v1521 -v1522 -v1523 -v1524 -v1525 -v1526 -v1527 -v1528 v1529 -v153 -v1530 -v1531 -v1532 -v1533 -v1534 -v1535 -v1536 -v1537 -v1538 -v1539 -v154 v1540 -v1541 -v1542 -v1543 -v1544 -v1545 -v1546 v1547 -v1548 -v1549 -v155 -v1550 -v1551 -v1552 -v1553 -v1554 -v1555 -v1556 -v1557 -v1558 -v1559 -v156 v1560 -v1561 -v1562 -v1563 -v1564 v1565 -v1566 -v1567 -v1568 -v1569 -v157 -v1570 -v1571 v1572 -v1573 -v1574 -v1575 -v1576 -v1577 -v1578 -v1579 -v158 -v1580 -v1581 v1582 -v1583 -v1584 -v1585 -v1586 -v1587 -v1588 -v1589 -v159 -v1590 v1591 -v1592 -v1593 -v1594 -v1595 -v1596 -v1597 -v1598 -v1599 -v16 -v160 -v1600 -v1601 -v1602 -v1603 -v1604 -v1605 -v1606 -v1607 -v1608 -v1609 v161 -v1610 -v1611 -v1612 -v1613 -v1614 -v1615 v1616 -v1617 -v1618 -v1619 -v162 -v1620 -v1621 v1622 -v1623 -v1624 v1625 -v1626 -v1627 -v1628 -v1629 -v163 -v1630 -v1631 -v1632 -v1633 -v1634 -v1635 -v1636 -v1637 -v1638 -v1639 -v164 -v1640 -v1641 -v1642 -v1643 -v1644 -v1645 -v1646 -v1647 -v1648 -v1649 -v165 v1650 -v1651 -v1652 -v1653 -v1654 -v1655 -v1656 -v1657 -v1658 -v1659 -v166 -v1660 -v1661 -v1662 -v1663 -v1664 -v1665 -v1666 -v1667 -v1668 -v1669 v167 v1670 v1671 -v1672 -v1673 -v1674 -v1675 -v1676 -v1677 -v1678 -v1679 -v168 -v1680 -v1681 -v1682 -v1683 -v1684 -v1685 -v1686 -v1687 -v1688 -v1689 -v169 -v1690 v1691 -v1692 -v1693 -v1694 v1695 -v1696 -v1697 -v1698 -v1699 -v17 -v170 -v1700 -v1701 v1702 -v1703 -v1704 -v1705 -v1706 -v1707 -v1708 -v1709 -v171 -v1710 -v1711 -v1712 -v1713 -v1714 -v1715 v1716 -v1717 -v1718 -v1719 -v172 v1720 -v1721 -v1722 -v1723 -v1724 -v1725 -v1726 -v1727 -v1728 -v1729 -v173 -v1730 -v1731 -v1732 -v1733 -v1734 -v1735 -v1736 v1737 -v1738 -v1739 -v174 -v1740 -v1741 -v1742 -v1743 -v1744 -v1745 -v1746 -v1747 -v1748 -v1749 -v175 -v1750 -v1751 -v1752 -v1753 v1754 -v1755 -v1756 -v1757 -v1758 -v1759 -v176 -v1760 v1761 -v1762 -v1763 -v1764 -v1765 -v1766 -v1767 -v1768 -v1769 -v177 -v1770 -v1771 -v1772 -v1773 -v1774 v1775 -v1776 -v1777 -v1778 v1779 -v178 -v1780 -v1781 -v1782 -v1783 -v1784 -v1785 v1786 -v1787 -v1788 -v1789 -v179 -v1790 -v1791 -v1792 -v1793 -v1794 -v1795 -v1796 -v1797 -v1798 -v1799 -v18 -v180 v1800 -v1801 -v1802 -v1803 -v1804 -v1805 -v1806 -v1807 -v1808 -v1809 v181 -v1810 -v1811 -v1812 -v1813 -v1814 -v1815 -v1816 -v1817 -v1818 -v1819 -v182 v1820 -v1821 -v1822 -v1823 -v1824 v1825 -v1826 -v1827 v1828 -v1829 -v183 -v1830 -v1831 -v1832 -v1833 -v1834 -v1835 -v1836 -v1837 -v1838 -v1839 -v184 -v1840 -v1841 v1842 -v1843 -v1844 -v1845 -v1846 -v1847 -v1848 -v1849 -v185 -v1850 -v1851 -v1852 -v1853 -v1854 v1855 -v1856 -v1857 -v1858 -v1859 -v186 -v1860 -v1861 -v1862 v1863 v1864 -v1865 -v1866 -v1867 v1868 -v1869 -v187 -v1870 -v1871 -v1872 -v1873 v1874 -v1875 -v1876 -v1877 -v1878 -v1879 -v188 -v1880 -v1881 -v1882 -v1883 -v1884 -v1885 -v1886 -v1887 -v1888 -v1889 -v189 -v1890 -v1891 -v1892 -v1893 -v1894 -v1895 -v1896 -v1897 -v1898 -v1899 -v19 -v190 -v1900 -v1901 v1902 -v1903 -v1904 -v1905 -v1906 -v1907 -v1908 -v1909 v191 -v1910 -v1911 -v1912 -v1913 -v1914 -v1915 -v1916 -v1917 -v1918 -v1919 -v192 -v1920 -v1921 -v1922 -v1923 -v1924 -v1925 -v1926 -v1927 -v1928 -v1929 -v193 -v1930 v1931 -v1932 -v1933 -v1934 -v1935 -v1936 -v1937 -v1938 -v1939 -v194 -v1940 -v1941 -v1942 -v1943 -v1944 -v1945 -v1946 -v1947 -v1948 -v1949 -v195 -v1950 -v1951 -v1952 -v1953 v1954 -v1955 -v1956 -v1957 -v1958 -v1959 -v196 -v1960 -v1961 -v1962 -v1963 -v1964 v1965 -v1966 -v1967 -v1968 -v1969 -v197 -v1970 -v1971 -v1972 -v1973 -v1974 -v1975 -v1976 -v1977 -v1978 -v1979 -v198 -v1980 -v1981 -v1982 -v1983 -v1984 -v1985 -v1986 v1987 -v1988 -v1989 -v199 -v1990 -v1991 -v1992 -v1993 -v1994 -v1995 v1996 -v1997 -v1998 -v1999 v2 -v20 -v200 -v2000 -v2001 -v2002 -v2003 -v2004 -v2005 -v2006 -v2007 v2008 -v2009 -v201 -v2010 -v2011 -v2012 -v2013 -v2014 -v2015 -v2016 -v2017 -v2018 -v2019 -v202 -v2020 -v2021 -v2022 -v2023 -v2024 -v2025 -v2026 -v2027 v2028 -v2029 v203 -v2030 -v2031 -v2032 -v2033 -v2034 v2035 -v2036 -v2037 -v2038 -v2039 -v204 -v2040 v2041 -v2042 -v2043 -v2044 -v2045 -v2046 -v2047 -v2048 -v2049 -v205 -v2050 -v2051 -v2052 -v2053 -v2054 -v2055 -v2056 -v2057 -v2058 -v2059 v206 -v2060 -v2061 -v2062 -v2063 -v2064 -v2065 -v2066 -v2067 -v2068 -v2069 -v207 -v2070 -v2071 v2072 -v2073 -v2074 -v2075 -v2076 -v2077 -v2078 -v2079 -v208 -v2080 v2081 -v2082 -v2083 -v2084 -v2085 -v2086 -v2087 -v2088 -v2089 -v209 v2090 -v2091 -v2092 -v2093 -v2094 -v2095 -v2096 -v2097 -v2098 -v2099 -v21 -v210 -v2100 -v2101 -v2102 -v2103 -v2104 -v2105 -v2106 -v2107 -v2108 -v2109 -v211 -v2110 -v2111 -v2112 -v2113 -v2114 -v2115 -v2116 -v2117 -v2118 -v2119 -v212 -v2120 v2121 -v2122 -v2123 -v2124 -v2125 -v2126 -v2127 -v2128 -v2129 -v213 -v2130 -v2131 -v2132 -v2133 -v2134 -v2135 -v2136 -v2137 -v2138 -v2139 -v214 -v2140 -v2141 -v2142 v2143 -v2144 -v2145 -v2146 -v2147 -v2148 v2149 v215 -v2150 -v2151 -v2152 -v2153 -v2154 -v2155 -v2156 -v2157 v2158 -v2159 -v216 -v2160 -v2161 -v2162 -v2163 -v2164 -v2165 -v2166 -v2167 -v2168 -v2169 -v217 -v2170 -v2171 -v2172 -v2173 -v2174 -v2175 v2176 -v2177 -v2178 -v2179 -v218 -v2180 v2181 -v2182 -v2183 -v2184 -v2185 v2186 -v2187 -v2188 -v2189 -v219 -v2190 v2191 -v2192 -v2193 -v2194 -v2195 -v2196 -v2197 -v2198 v2199 -v22 -v220 -v2200 -v2201 -v2202 -v2203 -v2204 -v2205 v2206 -v2207 -v2208 -v2209 -v221 -v2210 -v2211 -v2212 v2213 -v2214 -v2215 -v2216 v2217 -v2218 -v2219 -v222 -v2220 -v2221 -v2222 -v2223 -v2224 v2225 -v2226 -v2227 -v2228 -v2229 -v223 v2230 -v2231 -v2232 -v2233 -v2234 -v2235 v2236 -v2237 -v2238 -v2239 -v224 -v2240 -v2241 v2242 -v2243 -v2244 -v2245 v2246 -v2247 -v2248 -v2249 -v225 -v2250 v2251 -v2252 -v2253 -v2254 -v2255 -v2256 -v2257 -v2258 v2259 -v226 -v2260 -v2261 -v2262 -v2263 -v2264 -v2265 v2266 -v2267 -v2268 -v2269 -v227 -v2270 -v2271 -v2272 -v2273 v2274 -v2275 -v2276 -v2277 v2278 -v2279 -v228 -v2280 -v2281 -v2282 -v2283 v2284 -v2285 -v2286 -v2287 -v2288 -v2289 -v229 -v2290 -v2291 v2292 v2293 -v2294 -v2295 -v2296 -v2297 -v2298 -v2299 -v23 -v230 v2300 -v2301 -v2302 -v2303 -v2304 -v2305 -v2306 v2307 -v2308 -v2309 -v231 -v2310 -v2311 -v2312 -v2313 -v2314 v2315 -v2316 -v2317 -v2318 v2319 -v232 -v2320 -v2321 -v2322 -v2323 -v2324 -v2325 v2326 -v2327 -v2328 -v2329 -v233 -v2330 -v2331 v2332 -v2333 -v2334 -v2335 -v2336 -v2337 v2338 -v2339 -v234 -v2340 -v2341 v2342 -v2343 -v2344 -v2345 -v2346 -v2347 -v2348 -v2349 -v235 -v2350 -v2351 v2352 -v2353 -v2354 v2355 -v2356 -v2357 -v2358 -v2359 -v236 -v2360 v2361 -v2362 -v2363 -v2364 -v2365 -v2366 -v2367 -v2368 v2369 -v237 -v2370 -v2371 -v2372 -v2373 v2374 -v2375 -v2376 -v2377 -v2378 -v2379 -v238 -v2380 -v2381 v2382 -v2383 -v2384 -v2385 v2386 -v2387 -v2388 -v2389 -v239 -v2390 -v2391 v2392 -v2393 -v2394 -v2395 -v2396 -v2397 -v2398 v2399 -v24 v240 -v2400 -v2401 -v2402 -v2403 v2404 -v2405 -v2406 -v2407 -v2408 v2409 -v241 -v2410 -v2411 -v2412 -v2413 -v2414 v2415 -v2416 -v2417 -v2418 -v2419 -v242 v2420 -v2421 -v2422 -v2423 -v2424 -v2425 -v2426 -v2427 -v2428 v2429 -v243 -v2430 -v2431 -v2432 -v2433 v2434 -v2435 -v2436 -v2437 v2438 -v2439 -v244 -v2440 -v2441 -v2442 -v2443 -v2444 -v2445 -v2446 v2447 -v2448 -v2449 -v245 -v2450 -v2451 -v2452 -v2453 v2454 -v2455 -v2456 -v2457 -v2458 v2459 -v246 -v2460 -v2461 -v2462 -v2463 v2464 -v2465 -v2466 -v2467 v2468 -v2469 -v247 -v2470 -v2471 -v2472 -v2473 -v2474 -v2475 v2476 -v2477 -v2478 -v2479 -v248 -v2480 -v2481 -v2482 -v2483 v2484 -v2485 -v2486 v2487 -v2488 -v2489 -v249 -v2490 -v2491 -v2492 -v2493 v2494 -v2495 -v2496 -v2497 -v2498 -v2499 -v25 -v250 v2500 -v2501 -v2502 -v2503 v2504 -v2505 -v2506 -v2507 -v2508 -v2509 -v251 v2510 -v2511 -v2512 -v2513 -v2514 v2515 -v2516 -v2517 -v2518 -v2519 -v252 -v2520 -v2521 v2522 -v2523 -v2524 -v2525 -v2526 -v2527 -v2528 v2529 -v253 -v2530 -v2531 -v2532 -v2533 -v2534 -v2535 v2536 -v2537 -v2538 v2539 -v254 -v2540 -v2541 -v2542 -v2543 -v2544 -v2545 -v2546 -v2547 -v2548 v2549 -v255 -v2550 -v2551 v2552 -v2553 -v2554 -v2555 -v2556 -v2557 -v2558 v2559 -v256 -v2560 -v2561 -v2562 -v2563 -v2564 v2565 -v2566 -v2567 -v2568 -v2569 v257 -v2570 v2571 -v2572 -v2573 -v2574 -v2575 -v2576 v2577 -v2578 -v2579 -v258 -v2580 -v2581 -v2582 v2583 -v2584 -v2585 -v2586 v2587 -v2588 -v2589 -v259 -v2590 -v2591 -v2592 -v2593 -v2594 -v2595 -v2596 v2597 -v2598 -v2599 -v26 -v260 -v2600 -v2601 v2602 -v2603 -v2604 -v2605 -v2606 v2607 -v2608 -v2609 -v261 -v2610 -v2611 -v2612 -v2613 v2614 -v2615 -v2616 -v2617 -v2618 -v2619 -v262 v2620 -v2621 -v2622 v2623 -v2624 -v2625 -v2626 -v2627 -v2628 -v2629 -v263 -v2630 -v2631 v2632 -v2633 -v2634 -v2635 -v2636 -v2637 -v2638 v2639 -v264 -v2640 -v2641 -v2642 -v2643 v2644 -v2645 -v2646 -v2647 -v2648 -v2649 -v265 -v2650 v2651 -v2652 -v2653 -v2654 -v2655 v2656 -v2657 -v2658 -v2659 -v266 -v2660 -v2661 -v2662 -v2663 v2664 -v2665 -v2666 -v2667 -v2668 v2669 -v267 -v2670 -v2671 -v2672 -v2673 v2674 -v2675 -v2676 -v2677 v2678 -v2679 -v268 -v2680 -v2681 -v2682 -v2683 -v2684 -v2685 v2686 -v2687 -v2688 -v2689 -v269 -v2690 -v2691 -v2692 v2693 -v2694 -v2695 -v2696 -v2697 v2698 -v2699 -v27 -v270 -v2700 -v2701 -v2702 v2703 -v2704 -v2705 -v2706 -v2707 -v2708 -v2709 -v271 v2710 -v2711 -v2712 -v2713 -v2714 v2715 -v2716 -v2717 -v2718 -v2719 -v272 v2720 -v2721 -v2722 -v2723 -v2724 -v2725 -v2726 v2727 -v2728 -v2729 -v273 -v2730 -v2731 -v2732 -v2733 -v2734 v2735 -v2736 -v2737 -v2738 v2739 -v274 -v2740 -v2741 -v2742 v2743 -v2744 -v2745 -v2746 -v2747 -v2748 -v2749 -v275 -v2750 v2751 -v2752 -v2753 -v2754 -v2755 v2756 -v2757 -v2758 -v2759 -v276 -v2760 -v2761 -v2762 -v2763 -v2764 v2765 -v2766 -v2767 -v2768 -v2769 -v277 -v2770 v2771 -v2772 -v2773 -v2774 v2775 -v2776 -v2777 -v2778 -v2779 -v278 -v2780 -v2781 -v2782 v2783 -v2784 v2785 -v2786 -v2787 -v2788 -v2789 -v279 -v2790 -v2791 -v2792 v2793 -v2794 -v2795 -v2796 -v2797 -v2798 -v2799 -v28 -v280 v2800 -v2801 -v2802 -v2803 -v2804 v2805 -v2806 -v2807 -v2808 -v2809 -v281 -v2810 -v2811 v2812 -v2813 -v2814 -v2815 -v2816 v2817 -v2818 -v2819 v282 -v2820 -v2821 -v2822 -v2823 -v2824 v2825 -v2826 -v2827 -v2828 -v2829 -v283 v2830 -v2831 -v2832 -v2833 -v2834 -v2835 -v2836 -v2837 v2838 v2839 -v284 -v2840 -v2841 -v2842 -v2843 -v2844 -v2845 -v2846 -v2847 v2848 -v2849 -v285 -v2850 -v2851 -v2852 -v2853 v2854 -v2855 -v2856 -v2857 -v2858 -v2859 -v286 -v2860 -v2861 v2862 -v2863 v2864 -v2865 -v2866 -v2867 -v2868 -v2869 -v287 -v2870 -v2871 v2872 -v2873 -v2874 v2875 -v2876 -v2877 -v2878 -v2879 -v288 -v2880 -v2881 -v2882 v2883 -v2884 -v2885 -v2886 -v2887 -v2888 v2889 -v289 -v2890 -v2891 -v2892 -v2893 v2894 -v2895 -v2896 -v2897 -v2898 -v2899 -v29 -v290 -v2900 -v2901 v2902 -v2903 -v2904 -v2905 -v2906 -v2907 v2908 -v2909 -v291 -v2910 -v2911 -v2912 v2913 -v2914 -v2915 -v2916 -v2917 -v2918 v2919 -v292 -v2920 -v2921 -v2922 -v2923 v2924 -v2925 -v2926 -v2927 -v2928 -v2929 -v293 -v2930 -v2931 v2932 -v2933 -v2934 -v2935 v2936 -v2937 -v2938 -v2939 -v294 -v2940 v2941 -v2942 -v2943 -v2944 -v2945 -v2946 -v2947 -v2948 -v2949 v295 v2950 -v2951 -v2952 -v2953 -v2954 -v2955 -v2956 v2957 -v2958 -v2959 -v296 -v2960 v2961 -v2962 -v2963 -v2964 -v2965 -v2966 -v2967 v2968 -v2969 -v297 -v2970 -v2971 -v2972 v2973 -v2974 -v2975 -v2976 -v2977 -v2978 -v2979 -v298 v2980 -v2981 -v2982 -v2983 -v2984 -v2985 v2986 -v2987 -v2988 -v2989 -v299 -v2990 v2991 -v2992 -v2993 -v2994 -v2995 v2996 -v2997 -v2998 -v2999 -v3 -v30 -v300 -v3000 -v3001 -v3002 -v3003 -v3004 v3005 -v3006 -v3007 -v3008 v3009 -v301 -v3010 -v3011 -v3012 -v3013 -v3014 v3015 -v3016 -v3017 -v3018 -v3019 -v302 -v3020 v3021 -v3022 -v3023 -v3024 -v3025 -v3026 v3027 -v3028 -v3029 -v303 -v3030 -v3031 -v3032 v3033 -v3034 -v3035 -v3036 -v3037 -v3038 -v3039 -v304 -v3040 -v3041 v3042 -v3043 -v3044 v3045 -v3046 -v3047 -v3048 -v3049 -v305 -v3050 -v3051 v3052 -v3053 -v3054 -v3055 v3056 -v3057 -v3058 -v3059 -v306 -v3060 -v3061 -v3062 -v3063 -v3064 -v3065 v3066 -v3067 -v3068 -v3069 -v307 -v3070 -v3071 v3072 -v3073 -v3074 v3075 -v3076 -v3077 -v3078 -v3079 -v308 -v3080 -v3081 v3082 -v3083 -v3084 -v3085 -v3086 -v3087 v3088 -v3089 -v309 -v3090 -v3091 -v3092 -v3093 v3094 -v3095 -v3096 -v3097 -v3098 -v3099 -v31 -v310 -v3100 v3101 -v3102 -v3103 -v3104 v3105 -v3106 -v3107 -v3108 -v3109 -v311 -v3110 v3111 -v3112 -v3113 -v3114 -v3115 -v3116 v3117 -v3118 -v3119 -v312 -v3120 -v3121 -v3122 -v3123 v3124 -v3125 -v3126 -v3127 -v3128 v3129 -v313 -v3130 -v3131 -v3132 -v3133 -v3134 -v3135 -v3136 -v3137 v3138 -v3139 v314 v3140 -v3141 -v3142 -v3143 -v3144 -v3145 -v3146 -v3147 -v3148 v3149 -v315 -v3150 -v3151 -v3152 -v3153 v3154 -v3155 -v3156 -v3157 -v3158 -v3159 -v316 -v3160 v3161 -v3162 -v3163 v3164 -v3165 -v3166 -v3167 -v3168 -v3169 -v317 -v3170 v3171 -v3172 -v3173 -v3174 -v3175 -v3176 v3177 -v3178 -v3179 -v318 -v3180 -v3181 -v3182 -v3183 v3184 -v3185 -v3186 -v3187 -v3188 -v3189 -v319 v3190 -v3191 -v3192 -v3193 -v3194 -v3195 v3196 -v3197 -v3198 -v3199 -v32 -v320 -v3200 v3201 -v3202 -v3203 -v3204 -v3205 v3206 -v3207 -v3208 -v3209 -v321 -v3210 -v3211 -v3212 -v3213 -v3214 v3215 -v3216 -v3217 v3218 -v3219 -v322 -v3220 -v3221 -v3222 -v3223 v3224 -v3225 -v3226 -v3227 -v3228 -v3229 v323 -v3230 v3231 -v3232 -v3233 -v3234 v3235 -v3236 -v3237 -v3238 -v3239 -v324 -v3240 -v3241 -v3242 -v3243 -v3244 v3245 -v3246 -v3247 -v3248 v3249 -v325 -v3250 -v3251 -v3252 -v3253 -v3254 v3255 -v3256 -v3257 -v3258 v3259 -v326 -v3260 -v3261 -v3262 -v3263 -v3264 -v3265 -v3266 -v3267 -v3268 -v3269 v327 v3270 -v3271 v3272 -v3273 -v3274 -v3275 -v3276 -v3277 v3278 -v3279 -v328 -v3280 -v3281 -v3282 -v3283 -v3284 -v3285 v3286 -v3287 -v3288 -v3289 -v329 v3290 -v3291 -v3292 -v3293 -v3294 -v3295 -v3296 -v3297 -v3298 v3299 -v33 -v330 -v3300 -v3301 -v3302 v3303 -v3304 -v3305 -v3306 -v3307 -v3308 -v3309 -v331 -v3310 v3311 -v3312 -v3313 -v3314 -v3315 v3316 -v3317 -v3318 -v3319 -v332 -v3320 -v3321 v3322 -v3323 -v3324 -v3325 -v3326 -v3327 v3328 -v3329 -v333 -v3330 -v3331 -v3332 v3333 -v3334 -v3335 -v3336 -v3337 -v3338 -v3339 v334 v3340 -v3341 -v3342 -v3343 -v3344 v3345 -v3346 -v3347 -v3348 -v3349 -v335 v3350 -v3351 -v3352 -v3353 -v3354 -v3355 v3356 -v3357 -v3358 -v3359 -v336 -v3360 -v3361 -v3362 -v3363 v3364 -v3365 -v3366 -v3367 -v3368 v3369 -v337 -v3370 -v3371 -v3372 -v3373 -v3374 -v3375 -v3376 v3377 -v3378 -v3379 -v338 -v3380 -v3381 -v3382 -v3383 v3384 -v3385 -v3386 -v3387 v3388 -v3389 -v339 -v3390 v3391 -v3392 -v3393 -v3394 -v3395 -v3396 -v3397 -v3398 v3399 -v34 -v340 -v3400 -v3401 -v3402 -v3403 -v3404 -v3405 -v3406 v3407 -v3408 -v3409 -v341 -v3410 -v3411 -v3412 v3413 -v3414 -v3415 -v3416 -v3417 v3418 -v3419 -v342 -v3420 -v3421 -v3422 -v3423 v3424 -v3425 -v3426 -v3427 -v3428 v3429 -v343 -v3430 -v3431 -v3432 -v3433 -v3434 -v3435 v3436 -v3437 -v3438 -v3439 -v344 v3440 -v3441 -v3442 -v3443 -v3444 -v3445 -v3446 v3447 -v3448 -v3449 -v345 -v3450 -v3451 -v3452 -v3453 -v3454 -v3455 v3456 -v3457 -v3458 -v3459 -v346 -v3460 -v3461 v3462 v3463 -v3464 -v3465 -v3466 -v3467 -v3468 -v3469 -v347 -v3470 -v3471 v3472 -v3473 -v3474 -v3475 -v3476 -v3477 -v3478 v3479 -v348 -v3480 -v3481 -v3482 v3483 -v3484 -v3485 -v3486 v3487 -v3488 -v3489 -v349 -v3490 -v3491 -v3492 -v3493 -v3494 v3495 -v3496 -v3497 -v3498 -v3499 -v35 -v350 -v3500 v3501 -v3502 -v3503 -v3504 -v3505 -v3506 -v3507 -v3508 v3509 -v351 -v3510 -v3511 v3512 -v3513 -v3514 -v3515 -v3516 -v3517 -v3518 -v3519 -v352 v3520 -v3521 -v3522 -v3523 -v3524 -v3525 v3526 -v3527 -v3528 -v3529 -v353 v3530 -v3531 -v3532 -v3533 -v3534 -v3535 v3536 -v3537 -v3538 -v3539 -v354 -v3540 -v3541 v3542 -v3543 -v3544 -v3545 -v3546 v3547 -v3548 -v3549 -v355 -v3550 -v3551 -v3552 -v3553 -v3554 -v3555 -v3556 v3557 -v3558 -v3559 -v356 -v3560 -v3561 v3562 -v3563 -v3564 -v3565 v3566 -v3567 -v3568 -v3569 v357 -v3570 -v3571 -v3572 -v3573 v3574 -v3575 -v3576 -v3577 -v3578 v3579 -v358 -v3580 -v3581 -v3582 -v3583 -v3584 -v3585 v3586 -v3587 -v3588 -v3589 -v359 -v3590 v3591 -v3592 -v3593 -v3594 v3595 -v3596 -v3597 -v3598 -v3599 -v36 -v360 -v3600 -v3601 -v3602 -v3603 -v3604 v3605 -v3606 -v3607 -v3608 -v3609 -v361 -v3610 -v3611 v3612 -v3613 -v3614 -v3615 -v3616 v3617 -v3618 -v3619 -v362 -v3620 v3621 -v3622 -v3623 -v3624 v3625 -v3626 -v3627 -v3628 -v3629 -v363 -v3630 v3631 -v3632 -v3633 -v3634 -v3635 -v3636 -v3637 -v3638 v3639 -v364 -v3640 -v3641 -v3642 -v3643 -v3644 -v3645 -v3646 -v3647 v3648 -v3649 -v365 -v3650 v3651 -v3652 -v3653 -v3654 -v3655 -v3656 -v3657 v3658 -v3659 v366 -v3660 -v3661 -v3662 -v3663 -v3664 -v3665 v3666 -v3667 -v3668 -v3669 -v367 v3670 -v3671 -v3672 -v3673 -v3674 v3675 -v3676 -v3677 -v3678 v3679 -v368 -v3680 -v3681 -v3682 -v3683 -v3684 -v3685 -v3686 -v3687 -v3688 v3689 -v369 -v3690 -v3691 v3692 -v3693 -v3694 -v3695 -v3696 -v3697 v3698 -v3699 -v37 -v370 -v3700 -v3701 -v3702 -v3703 -v3704 -v3705 v3706 -v3707 -v3708 -v3709 -v371 v3710 -v3711 -v3712 -v3713 -v3714 -v3715 v3716 -v3717 -v3718 -v3719 -v372 -v3720 -v3721 -v3722 -v3723 v3724 -v3725 -v3726 v3727 -v3728 -v3729 -v373 -v3730 -v3731 -v3732 -v3733 -v3734 v3735 -v3736 -v3737 -v3738 -v3739 -v374 -v3740 v3741 -v3742 -v3743 -v3744 -v3745 -v3746 -v3747 v3748 -v3749 -v375 -v3750 -v3751 -v3752 v3753 -v3754 -v3755 -v3756 -v3757 -v3758 -v3759 -v376 v3760 -v3761 -v3762 -v3763 -v3764 v3765 -v3766 -v3767 -v3768 -v3769 -v377 v3770 -v3771 -v3772 -v3773 -v3774 -v3775 v3776 -v3777 -v3778 -v3779 -v378 -v3780 -v3781 v3782 -v3783 -v3784 -v3785 -v3786 -v3787 -v3788 v3789 -v379 -v3790 -v3791 -v3792 -v3793 v3794 -v3795 -v3796 -v3797 -v3798 -v3799 -v38 -v380 -v3800 v3801 -v3802 -v3803 -v3804 -v3805 -v3806 -v3807 -v3808 v3809 -v381 -v3810 -v3811 -v3812 v3813 -v3814 -v3815 -v3816 -v3817 -v3818 v3819 -v382 -v3820 -v3821 -v3822 -v3823 -v3824 v3825 -v3826 -v3827 -v3828 -v3829 -v383 -v3830 -v3831 -v3832 v3833 -v3834 -v3835 -v3836 -v3837 v3838 -v3839 -v384 -v3840 -v3841 -v3842 v3843 -v3844 -v3845 -v3846 -v3847 -v3848 v3849 -v385 -v3850 -v3851 -v3852 -v3853 -v3854 -v3855 -v3856 v3857 -v3858 v3859 -v386 -v3860 -v3861 -v3862 -v3863 -v3864 -v3865 -v3866 -v3867 v3868 -v3869 -v387 -v3870 -v3871 -v3872 v3873 -v3874 -v3875 -v3876 -v3877 v3878 -v3879 -v388 -v3880 -v3881 -v3882 -v3883 v3884 -v3885 -v3886 -v3887 -v3888 -v3889 -v389 -v3890 v3891 -v3892 -v3893 -v3894 -v3895 -v3896 -v3897 v3898 -v3899 -v39 -v390 -v3900 -v3901 -v3902 -v3903 -v3904 v3905 -v3906 -v3907 -v3908 -v3909 -v391 v3910 -v3911 -v3912 -v3913 -v3914 -v3915 v3916 -v3917 -v3918 -v3919 -v392 -v3920 -v3921 v3922 -v3923 -v3924 -v3925 -v3926 v3927 -v3928 -v3929 -v393 -v3930 -v3931 -v3932 v3933 -v3934 -v3935 -v3936 -v3937 -v3938 -v3939 -v394 v3940 -v3941 -v3942 -v3943 -v3944 v3945 -v3946 -v3947 -v3948 -v3949 -v395 -v3950 v3951 -v3952 -v3953 -v3954 -v3955 -v3956 v3957 -v3958 -v3959 v396 -v3960 -v3961 -v3962 -v3963 v3964 -v3965 -v3966 -v3967 v3968 -v3969 -v397 -v3970 -v3971 -v3972 -v3973 -v3974 v3975 -v3976 -v3977 -v3978 -v3979 -v398 -v3980 -v3981 -v3982 -v3983 v3984 -v3985 -v3986 -v3987 -v3988 v3989 -v399 -v3990 -v3991 -v3992 -v3993 v3994 -v3995 -v3996 -v3997 -v3998 v3999 -v4 -v40 -v400 -v4000 -v4001 -v4002 -v4003 v4004 -v4005 -v4006 -v4007 -v4008 -v4009 v401 -v4010 v4011 -v4012 -v4013 -v4014 -v4015 -v4016 -v4017 v4018 -v4019 -v402 -v4020 -v4021 -v4022 -v4023 -v4024 v4025 -v4026 -v4027 v4028 -v4029 -v403 -v4030 -v4031 -v4032 -v4033 -v4034 v4035 -v4036 -v4037 -v4038 -v4039 -v404 -v4040 -v4041 -v4042 v4043 -v4044 -v4045 -v4046 -v4047 -v4048 v4049 -v405 -v4050 -v4051 -v4052 -v4053 v4054 -v4055 -v4056 -v4057 -v4058 -v4059 -v406 -v4060 v4061 -v4062 -v4063 -v4064 -v4065 -v4066 v4067 -v4068 -v4069 -v407 v4070 -v4071 -v4072 -v4073 -v4074 -v4075 -v4076 -v4077 -v4078 v4079 -v408 -v4080 -v4081 -v4082 -v4083 v4084 -v4085 -v4086 -v4087 -v4088 -v4089 -v409 v4090 -v4091 -v4092 -v4093 -v4094 v4095 -v4096 -v4097 -v4098 -v4099 -v41 -v410 -v4100 -v4101 v4102 -v4103 -v4104 -v4105 -v4106 -v4107 -v4108 v4109 -v411 -v4110 -v4111 -v4112 -v4113 -v4114 v4115 -v4116 -v4117 -v4118 -v4119 -v412 v4120 -v4121 -v4122 -v4123 -v4124 v4125 -v4126 -v4127 -v4128 -v4129 v413 -v4130 v4131 -v4132 -v4133 -v4134 -v4135 v4136 -v4137 -v4138 -v4139 -v414 -v4140 v4141 -v4142 -v4143 -v4144 -v4145 -v4146 v4147 -v4148 -v4149 -v415 -v4150 -v4151 -v4152 -v4153 -v4154 -v4155 v4156 -v4157 -v4158 -v4159 -v416 -v4160 v4161 -v4162 -v4163 -v4164 -v4165 -v4166 -v4167 -v4168 v4169 v417 -v4170 -v4171 -v4172 -v4173 -v4174 v4175 -v4176 -v4177 -v4178 v4179 -v418 -v4180 -v4181 -v4182 -v4183 -v4184 -v4185 v4186 -v4187 -v4188 -v4189 -v419 -v4190 v4191 -v4192 -v4193 -v4194 -v4195 -v4196 -v4197 v4198 -v4199 -v42 -v420 -v4200 -v4201 -v4202 v4203 -v4204 -v4205 -v4206 -v4207 -v4208 -v4209 -v421 -v4210 -v4211 v4212 -v4213 -v4214 -v4215 v4216 -v4217 -v4218 -v4219 -v422 -v4220 -v4221 v4222 -v4223 -v4224 -v4225 -v4226 -v4227 v4228 -v4229 -v423 -v4230 -v4231 -v4232 -v4233 v4234 -v4235 -v4236 -v4237 -v4238 -v4239 -v424 v4240 -v4241 -v4242 -v4243 v4244 -v4245 -v4246 -v4247 -v4248 -v4249 -v425 -v4250 -v4251 v4252 -v4253 -v4254 -v4255 -v4256 -v4257 v4258 -v4259 v426 -v4260 -v4261 -v4262 -v4263 v4264 -v4265 -v4266 -v4267 -v4268 -v4269 -v427 v4270 -v4271 -v4272 -v4273 -v4274 -v4275 -v4276 v4277 -v4278 -v4279 -v428 -v4280 -v4281 v4282 -v4283 -v4284 -v4285 v4286 -v4287 -v4288 -v4289 -v429 -v4290 -v4291 -v4292 -v4293 -v4294 v4295 -v4296 -v4297 -v4298 -v4299 v43 -v430 v4300 -v4301 -v4302 -v4303 -v4304 -v4305 -v4306 v4307 -v4308 -v4309 -v431 -v4310 -v4311 -v4312 v4313 -v4314 -v4315 -v4316 -v4317 -v4318 v4319 -v432 -v4320 -v4321 -v4322 -v4323 v4324 -v4325 -v4326 -v4327 -v4328 v4329 -v433 -v4330 -v4331 -v4332 -v4333 -v4334 -v4335 v4336 -v4337 -v4338 -v4339 -v434 -v4340 -v4341 -v4342 v4343 -v4344 -v4345 -v4346 -v4347 v4348 -v4349 -v435 -v4350 -v4351 -v4352 -v4353 -v4354 v4355 -v4356 -v4357 -v4358 -v4359 -v436 -v4360 v4361 -v4362 -v4363 -v4364 -v4365 v4366 -v4367 -v4368 -v4369 -v437 -v4370 -v4371 -v4372 v4373 -v4374 -v4375 -v4376 v4377 -v4378 -v4379 -v438 -v4380 -v4381 -v4382 v4383 -v4384 -v4385 -v4386 -v4387 -v4388 -v4389 -v439 -v4390 -v4391 v4392 -v4393 -v4394 v4395 -v4396 -v4397 -v4398 -v4399 -v44 -v440 -v4400 -v4401 -v4402 v4403 -v4404 -v4405 -v4406 -v4407 v4408 -v4409 -v441 -v4410 -v4411 -v4412 v4413 -v4414 -v4415 -v4416 -v4417 -v4418 -v4419 -v442 -v4420 v4421 -v4422 v4423 -v4424 -v4425 -v4426 -v4427 -v4428 -v4429 -v443 -v4430 -v4431 -v4432 v4433 -v4434 -v4435 v4436 -v4437 -v4438 -v4439 -v444 -v4440 -v4441 -v4442 -v4443 v4444 -v4445 -v4446 -v4447 -v4448 v4449 -v445 -v4450 -v4451 -v4452 -v4453 -v4454 -v4455 -v4456 v4457 -v4458 -v4459 -v446 -v4460 v4461 -v4462 -v4463 -v4464 -v4465 v4466 -v4467 -v4468 -v4469 v447 -v4470 -v4471 -v4472 v4473 -v4474 -v4475 -v4476 -v4477 -v4478 v4479 -v448 -v4480 -v4481 -v4482 -v4483 -v4484 -v4485 v4486 -v4487 -v4488 -v4489 -v449 -v4490 -v4491 v4492 -v4493 -v4494 -v4495 -v4496 -v4497 v4498 -v4499 -v45 -v450 -v4500 -v4501 -v4502 v4503 -v4504 -v4505 -v4506 -v4507 -v4508 -v4509 -v451 v4510 -v4511 -v4512 -v4513 -v4514 -v4515 v4516 -v4517 -v4518 -v4519 -v452 -v4520 -v4521 -v4522 v4523 -v4524 -v4525 -v4526 -v4527 v4528 -v4529 -v453 -v4530 -v4531 v4532 -v4533 -v4534 -v4535 -v4536 -v4537 v4538 -v4539 -v454 -v4540 -v4541 -v4542 -v4543 -v4544 v4545 -v4546 -v4547 -v4548 -v4549 -v455 -v4550 -v4551 v4552 -v4553 -v4554 -v4555 -v4556 v4557 -v4558 -v4559 -v456 -v4560 -v4561 -v4562 v4563 -v4564 -v4565 -v4566 -v4567 -v4568 -v4569 v457 v4570 -v4571 -v4572 -v4573 v4574 -v4575 -v4576 -v4577 -v4578 -v4579 -v458 -v4580 v4581 -v4582 -v4583 -v4584 -v4585 -v4586 v4587 -v4588 -v4589 -v459 -v4590 -v4591 -v4592 v4593 -v4594 -v4595 -v4596 -v4597 -v4598 -v4599 -v46 -v460 -v4600 -v4601 v4602 v4603 -v4604 -v4605 -v4606 -v4607 -v4608 -v461 -v462 -v463 -v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 -v471 -v472 -v473 -v474 -v475 -v476 -v477 -v478 -v479 -v48 -v480 -v481 -v482 -v483 -v484 -v485 -v486 v487 -v488 -v489 -v49 v490 -v491 -v492 -v493 -v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 -v503 -v504 -v505 -v506 v507 -v508 -v509 -v51 v510 -v511 -v512 -v513 -v514 -v515 -v516 -v517 -v518 -v519 -v52 -v520 -v521 -v522 -v523 -v524 v525 v526 v527 -v528 -v529 -v53 -v530 -v531 -v532 v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 -v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 -v549 -v55 -v550 -v551 v552 -v553 -v554 -v555 -v556 -v557 -v558 v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 -v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 -v576 -v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 -v586 -v587 -v588 -v589 -v59 -v590 -v591 v592 v593 -v594 -v595 -v596 -v597 -v598 -v599 -v6 -v60 -v600 -v601 -v602 -v603 -v604 -v605 -v606 -v607 v608 -v609 -v61 -v610 v611 -v612 -v613 -v614 -v615 -v616 -v617 -v618 v619 -v62 -v620 -v621 -v622 -v623 -v624 -v625 -v626 -v627 v628 -v629 -v63 -v630 -v631 -v632 -v633 -v634 -v635 -v636 -v637 -v638 -v639 -v64 -v640 -v641 -v642 -v643 v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 -v652 -v653 -v654 -v655 -v656 -v657 -v658 -v659 -v66 v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 -v668 -v669 -v67 -v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 -v679 v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 -v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 v704 -v705 v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 -v713 -v714 -v715 -v716 -v717 -v718 -v719 -v72 -v720 -v721 v722 -v723 -v724 -v725 -v726 -v727 -v728 -v729 -v73 -v730 -v731 -v732 -v733 -v734 -v735 -v736 -v737 -v738 -v739 -v74 v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 -v748 -v749 -v75 v750 -v751 -v752 -v753 -v754 -v755 -v756 v757 -v758 -v759 -v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 -v767 -v768 -v769 -v77 -v770 v771 -v772 -v773 -v774 -v775 -v776 -v777 -v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 -v788 -v789 -v79 -v790 -v791 v792 -v793 v794 -v795 -v796 v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 -v805 -v806 -v807 -v808 -v809 -v81 -v810 -v811 -v812 v813 v814 -v815 -v816 -v817 -v818 -v819 -v82 -v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 -v83 -v830 -v831 -v832 -v833 -v834 -v835 -v836 -v837 -v838 -v839 -v84 -v840 -v841 -v842 -v843 -v844 -v845 -v846 v847 -v848 -v849 -v85 -v850 -v851 -v852 v853 -v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 v861 -v862 -v863 -v864 -v865 -v866 -v867 -v868 -v869 -v87 -v870 -v871 v872 -v873 -v874 -v875 -v876 -v877 -v878 -v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 -v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 v894 -v895 -v896 -v897 v898 -v899 -v9 v90 -v900 -v901 -v902 -v903 -v904 -v905 -v906 -v907 -v908 -v909 -v91 v910 -v911 v912 -v913 -v914 -v915 -v916 v917 -v918 -v919 -v92 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 -v93 -v930 -v931 -v932 -v933 -v934 -v935 -v936 -v937 -v938 -v939 -v94 -v940 -v941 -v942 v943 -v944 -v945 -v946 -v947 -v948 v949 -v95 -v950 -v951 -v952 -v953 -v954 -v955 -v956 v957 -v958 -v959 -v96 -v960 v961 -v962 -v963 -v964 -v965 -v966 -v967 -v968 -v969 -v97 -v970 -v971 -v972 -v973 -v974 -v975 -v976 -v977 -v978 -v979 -v98 -v980 -v981 v982 -v983 -v984 -v985 -v986 -v987 -v988 -v989 -v99 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 -v999 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.97 0.93 2/54 8092
Raw data (stat): 8092 (runsolver) R 8091 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967739644 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4196 0 0 0 985 13 0 0 25 0 1 0 967739644 13201408 2813 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3223 2813 301 301 0 2922 0
vsize: 12892
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4370 0 0 0 1977 20 0 0 25 0 1 0 967739644 15699968 2987 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3833 2987 301 301 0 3532 0
vsize: 15332
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4463 0 0 0 2971 26 0 0 25 0 1 0 967739644 15835136 3080 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3866 3080 301 301 0 3565 0
vsize: 15464
[startup+40.0019 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4551 0 0 0 3964 33 0 0 25 0 1 0 967739644 15970304 3168 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3899 3168 301 301 0 3598 0
vsize: 15596
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4736 0 0 0 4957 40 0 0 25 0 1 0 967739644 16105472 3241 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3932 3241 301 301 0 3631 0
vsize: 15728
[startup+60.0051 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 4940 0 0 0 5949 48 0 0 25 0 1 0 967739644 16240640 3333 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3965 3333 301 301 0 3664 0
vsize: 15860
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5125 0 0 0 6940 56 0 0 25 0 1 0 967739644 16375808 3406 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3998 3406 301 301 0 3697 0
vsize: 15992
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5218 0 0 0 7933 64 0 0 25 0 1 0 967739644 16510976 3443 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4031 3443 301 301 0 3730 0
vsize: 16124
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5358 0 0 0 8926 70 0 0 25 0 1 0 967739644 16646144 3471 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4064 3471 301 301 0 3763 0
vsize: 16256
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5498 0 0 0 9920 77 0 0 25 0 1 0 967739644 16646144 3499 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4064 3499 301 301 0 3763 0
vsize: 16256
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5640 0 0 0 10911 84 0 0 25 0 1 0 967739644 16777216 3529 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4096 3529 301 301 0 3795 0
vsize: 16384
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5740 0 0 0 11905 91 0 0 25 0 1 0 967739644 16912384 3573 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4129 3573 301 301 0 3828 0
vsize: 16516
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 5931 0 0 0 12900 96 0 0 25 0 1 0 967739644 17047552 3652 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4162 3652 301 301 0 3861 0
vsize: 16648
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 6860 0 0 0 13893 104 0 0 25 0 1 0 967739644 20328448 3700 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4963 3700 301 301 0 4662 0
vsize: 19852
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 6980 0 0 0 14886 110 0 0 25 0 1 0 967739644 20467712 3764 4294967295 134512640 135730672 3221224576 3221223184 134744447 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4997 3764 301 301 0 4696 0
vsize: 19988
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7084 0 0 0 15881 116 0 0 25 0 1 0 967739644 20467712 3812 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4997 3812 301 301 0 4696 0
vsize: 19988
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7216 0 0 0 16875 122 0 0 25 0 1 0 967739644 20602880 3832 4294967295 134512640 135730672 3221224576 3221222940 135291214 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5030 3832 301 301 0 4729 0
vsize: 20120
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7294 0 0 0 17870 127 0 0 25 0 1 0 967739644 20602880 3854 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5030 3854 301 301 0 4729 0
vsize: 20120
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7432 0 0 0 18864 134 0 0 25 0 1 0 967739644 20738048 3880 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5063 3880 301 301 0 4762 0
vsize: 20252
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7529 0 0 0 19858 140 0 0 25 0 1 0 967739644 20873216 3921 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5096 3921 301 301 0 4795 0
vsize: 20384
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7660 0 0 0 20853 145 0 0 25 0 1 0 967739644 20873216 3940 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5096 3940 301 301 0 4795 0
vsize: 20384
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7774 0 0 0 21848 150 0 0 25 0 1 0 967739644 21008384 3998 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5129 3998 301 301 0 4828 0
vsize: 20516
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 7889 0 0 0 22842 156 0 0 25 0 1 0 967739644 21008384 4057 4294967295 134512640 135730672 3221224576 3221223072 134747865 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5129 4057 301 301 0 4828 0
vsize: 20516
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8033 0 0 0 23839 159 0 0 25 0 1 0 967739644 21143552 4089 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5162 4089 301 301 0 4861 0
vsize: 20648
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8115 0 0 0 24833 165 0 0 25 0 1 0 967739644 21274624 4115 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5194 4115 301 301 0 4893 0
vsize: 20776
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8092
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8286 0 0 0 25828 171 0 0 25 0 1 0 967739644 21274624 4174 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5194 4174 301 301 0 4893 0
vsize: 20776
[startup+270.197 s]
Raw data (loadavg): 0.99 0.97 0.93 3/58 8137
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8394 0 0 0 26841 176 0 0 25 0 1 0 967739644 21409792 4226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5227 4226 301 301 0 4926 0
vsize: 20908
[startup+280.348 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 8145
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8529 0 0 0 27833 182 0 0 25 0 1 0 967739644 21409792 4249 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5227 4249 301 301 0 4926 0
vsize: 20908
[startup+282.651 s]
Raw data (loadavg): 1.06 0.99 0.93 1/53 8145
Raw data (stat): 8092 (pb2sat-v2) R 8091 7266 7265 0 -1 0 8529 0 0 0 27833 182 0 0 25 0 1 0 967739644 21409792 4249 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5227 4249 301 301 0 4926 0
vsize: 0

Child status: 10
Real time (s): 282.65
CPU time (s): 282.408
CPU user time (s): 280.528
CPU system time (s): 1.87971
CPU usage (%): 99.9143
Max. virtual memory (Kb): 20908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####