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/submitted/manquinho/logic-synthesis/normalized-test4.pi.opb
MD5SUM	09c7b63b87fdc5a38ccb26d9b87fe2d9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	119
Optimality of the best value was proved	NO
Number of terms in the objective function	6140
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	6140
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6140
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.07
Number of variables	6139
Total number of constraints	1437
Number of constraints which are clauses	1437
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	172
Trace number 39495

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 10:26:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27516 boxname=wulflinc4 idbench=74 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  09c7b63b87fdc5a38ccb26d9b87fe2d9  /oldhome/oroussel/tmp/wulflinc4/normalized-test4.pi.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-test4.pi.opb
IDLAUNCH: 27516
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        400816 kB
Buffers:         34480 kB
Cached:         575592 kB
SwapCached:        568 kB
Active:          58084 kB
Inactive:       554156 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        400564 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15988 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:46:10 (client local time) WITH STATUS 10 IN 1175.13 SECONDS
stats: 27516 0 1175.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6140 variables and 1437 constraints.
c After prepocess the problem consists of 6140 variables and 1435 constraints.
c preprocess terminated 15.482 s
c Initial Lower Bound: 80
c Lower Bound Elapsed time: 24.0392
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 207 @ 112.873
c NEW SOLUTION FOUND: 206 @ 112.968
c NEW SOLUTION FOUND: 205 @ 113.018
c NEW SOLUTION FOUND: 204 @ 113.069
c NEW SOLUTION FOUND: 203 @ 113.119
c NEW SOLUTION FOUND: 202 @ 113.169
c NEW SOLUTION FOUND: 201 @ 113.22
c NEW SOLUTION FOUND: 200 @ 113.27
c NEW SOLUTION FOUND: 199 @ 113.32
c NEW SOLUTION FOUND: 198 @ 113.419
c NEW SOLUTION FOUND: 197 @ 113.47
c NEW SOLUTION FOUND: 196 @ 113.521
c NEW SOLUTION FOUND: 195 @ 113.573
c NEW SOLUTION FOUND: 194 @ 113.624
c NEW SOLUTION FOUND: 193 @ 113.675
c NEW SOLUTION FOUND: 192 @ 113.726
c NEW SOLUTION FOUND: 191 @ 113.842
c NEW SOLUTION FOUND: 190 @ 113.902
c NEW SOLUTION FOUND: 189 @ 113.963
c NEW SOLUTION FOUND: 188 @ 114.083
c NEW SOLUTION FOUND: 187 @ 114.146
c NEW SOLUTION FOUND: 186 @ 114.272
c NEW SOLUTION FOUND: 185 @ 114.339
c NEW SOLUTION FOUND: 184 @ 114.407
c NEW SOLUTION FOUND: 183 @ 114.474
c NEW SOLUTION FOUND: 182 @ 114.542
c NEW SOLUTION FOUND: 181 @ 114.612
c NEW SOLUTION FOUND: 180 @ 114.683
c NEW SOLUTION FOUND: 179 @ 114.754
c NEW SOLUTION FOUND: 178 @ 114.825
c NEW SOLUTION FOUND: 177 @ 114.895
c NEW SOLUTION FOUND: 176 @ 114.966
c NEW SOLUTION FOUND: 175 @ 115.037
c NEW SOLUTION FOUND: 174 @ 115.107
c NEW SOLUTION FOUND: 173 @ 115.178
c NEW SOLUTION FOUND: 172 @ 115.248
c NEW SOLUTION FOUND: 171 @ 115.321
c NEW SOLUTION FOUND: 170 @ 115.394
c NEW SOLUTION FOUND: 169 @ 115.467
c NEW SOLUTION FOUND: 168 @ 115.611
c NEW SOLUTION FOUND: 167 @ 115.686
c NEW SOLUTION FOUND: 166 @ 115.761
c NEW SOLUTION FOUND: 165 @ 115.835
c NEW SOLUTION FOUND: 164 @ 115.985
c NEW SOLUTION FOUND: 163 @ 116.062
c NEW SOLUTION FOUND: 162 @ 116.138
c NEW SOLUTION FOUND: 161 @ 116.215
c NEW SOLUTION FOUND: 160 @ 116.292
c NEW SOLUTION FOUND: 159 @ 116.369
c NEW SOLUTION FOUND: 158 @ 116.525
c NEW SOLUTION FOUND: 157 @ 116.678
c NEW SOLUTION FOUND: 156 @ 116.764
c NEW SOLUTION FOUND: 155 @ 117.022
c NEW SOLUTION FOUND: 154 @ 117.199
c NEW SOLUTION FOUND: 153 @ 117.291
c NEW SOLUTION FOUND: 152 @ 117.382
c NEW SOLUTION FOUND: 151 @ 117.472
c NEW SOLUTION FOUND: 150 @ 117.567
c NEW SOLUTION FOUND: 149 @ 117.95
c NEW SOLUTION FOUND: 148 @ 118.423
c NEW SOLUTION FOUND: 147 @ 118.903
c NEW SOLUTION FOUND: 146 @ 119.198
c NEW SOLUTION FOUND: 145 @ 119.536
c NEW SOLUTION FOUND: 144 @ 120.097
c NEW SOLUTION FOUND: 143 @ 120.771
c NEW SOLUTION FOUND: 142 @ 121.121
c NEW SOLUTION FOUND: 141 @ 121.251
c NEW SOLUTION FOUND: 140 @ 121.384
c NEW SOLUTION FOUND: 139 @ 122.064
c NEW SOLUTION FOUND: 138 @ 123.228
c NEW SOLUTION FOUND: 137 @ 124.185
c NEW SOLUTION FOUND: 136 @ 125.362
c NEW SOLUTION FOUND: 135 @ 126.686
c NEW SOLUTION FOUND: 134 @ 127.997
c NEW SOLUTION FOUND: 133 @ 129.182
c NEW SOLUTION FOUND: 132 @ 130.235
c NEW SOLUTION FOUND: 131 @ 131.317
c NEW SOLUTION FOUND: 130 @ 132.559
c NEW SOLUTION FOUND: 129 @ 134.729
c NEW SOLUTION FOUND: 128 @ 153.914
c NEW SOLUTION FOUND: 127 @ 155.744
c NEW SOLUTION FOUND: 126 @ 192.316
c NEW SOLUTION FOUND: 125 @ 205.942
c NEW SOLUTION FOUND: 124 @ 210.891
c NEW SOLUTION FOUND: 123 @ 215.639
c NEW SOLUTION FOUND: 122 @ 219.719
c NEW SOLUTION FOUND: 121 @ 227.111
c NEW SOLUTION FOUND: 120 @ 247.489
c NEW SOLUTION FOUND: 119 @ 761.523
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 x1058 -x1059 -x1060 -x1061 -x1062 x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 x2909 -x2910 -x2911 -x2912 -x2913 -x2914 x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 x3504 -x3505 -x3506 x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 x3929 x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 -x4088 -x4089 -x4090 -x4091 -x4092 x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 x4525 -x4526 -x4527 -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 x5528 -x5529 -x5530 -x5531 -x5532 x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 
c Exit Code: 10
c Total time: 1175.12 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.88 0.95 0.90 2/54 12766
Raw data (stat): 12766 (runsolver) R 12765 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892253591 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.90 0.95 0.90 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 3726 0 0 0 989 7 0 0 25 0 1 0 892253591 18546688 3631 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3631 1111 63 0 4465 0
vsize: 18112
[startup+20.0021 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 4471 0 0 0 1986 10 0 0 25 0 1 0 892253591 21217280 4326 4294967295 134512640 134716908 3221224576 3221222048 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5180 4326 1111 63 0 5117 0
vsize: 20720
[startup+30.0019 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6715 0 0 0 2981 15 0 0 25 0 1 0 892253591 25292800 5384 4294967295 134512640 134716908 3221224576 3221220484 1074875775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6175 5384 1111 63 0 6112 0
vsize: 24700
[startup+40.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6781 0 0 0 3981 15 0 0 25 0 1 0 892253591 25407488 5438 4294967295 134512640 134716908 3221224576 3221220544 1074881413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6203 5438 1111 63 0 6140 0
vsize: 24812
[startup+50.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6894 0 0 0 4981 16 0 0 25 0 1 0 892253591 25997312 5551 4294967295 134512640 134716908 3221224576 3221220336 1074868363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5551 1111 63 0 6284 0
vsize: 25388
[startup+60.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6901 0 0 0 5981 16 0 0 25 0 1 0 892253591 25997312 5558 4294967295 134512640 134716908 3221224576 3221220336 1074867692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5558 1111 63 0 6284 0
vsize: 25388
[startup+70.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6909 0 0 0 6981 16 0 0 25 0 1 0 892253591 25997312 5566 4294967295 134512640 134716908 3221224576 3221220384 1074786854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5566 1111 63 0 6284 0
vsize: 25388
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6909 0 0 0 7981 16 0 0 25 0 1 0 892253591 25997312 5566 4294967295 134512640 134716908 3221224576 3221220312 1074789232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5566 1111 63 0 6284 0
vsize: 25388
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6909 0 0 0 8982 16 0 0 25 0 1 0 892253591 25997312 5566 4294967295 134512640 134716908 3221224576 3221220692 1075117424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5566 1111 63 0 6284 0
vsize: 25388
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 6909 0 0 0 9982 16 0 0 25 0 1 0 892253591 25997312 5566 4294967295 134512640 134716908 3221224576 3221220336 1074868498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5566 1111 63 0 6284 0
vsize: 25388
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 13785 0 0 0 10967 31 0 0 25 0 1 0 892253591 24866816 5336 4294967295 134512640 134716908 3221224576 3221221584 1074138752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6071 5336 1111 63 0 6008 0
vsize: 24284
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 23598 0 0 0 11940 58 0 0 25 0 1 0 892253591 20471808 4262 4294967295 134512640 134716908 3221224576 3221222320 1075646682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4998 4262 1111 63 0 4935 0
vsize: 19992
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 30710 0 0 0 12921 77 0 0 25 0 1 0 892253591 20414464 4257 4294967295 134512640 134716908 3221224576 3221221880 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4257 1111 63 0 4921 0
vsize: 19936
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 38166 0 0 0 13902 95 0 0 25 0 1 0 892253591 20471808 4271 4294967295 134512640 134716908 3221224576 3221221680 1074139130 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4998 4271 1111 63 0 4935 0
vsize: 19992
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 45238 0 0 0 14884 113 0 0 25 0 1 0 892253591 20414464 4260 4294967295 134512640 134716908 3221224576 3221222016 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4260 1111 63 0 4921 0
vsize: 19936
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 52769 0 0 0 15866 132 0 0 25 0 1 0 892253591 22331392 4415 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4415 1111 63 0 5389 0
vsize: 21808
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 60282 0 0 0 16849 149 0 0 25 0 1 0 892253591 20414464 4260 4294967295 134512640 134716908 3221224576 3221221568 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4260 1111 63 0 4921 0
vsize: 19936
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 68158 0 0 0 17829 169 0 0 25 0 1 0 892253591 22360064 4383 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5459 4383 1111 63 0 5396 0
vsize: 21836
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 76461 0 0 0 18810 188 0 0 25 0 1 0 892253591 20414464 4260 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4260 1111 63 0 4921 0
vsize: 19936
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 84275 0 0 0 19792 206 0 0 25 0 1 0 892253591 22429696 4411 4294967295 134512640 134716908 3221224576 3221220540 1074860640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4411 1111 63 0 5413 0
vsize: 21904
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 91653 0 0 0 20776 222 0 0 25 0 1 0 892253591 22499328 4463 4294967295 134512640 134716908 3221224576 3221221616 1075971441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5493 4463 1111 63 0 5430 0
vsize: 21972
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 98730 0 0 0 21760 238 0 0 25 0 1 0 892253591 22536192 4476 4294967295 134512640 134716908 3221224576 3221220736 1074794649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4476 1111 63 0 5439 0
vsize: 22008
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 104301 0 0 0 22746 252 0 0 25 0 1 0 892253591 22634496 4502 4294967295 134512640 134716908 3221224576 3221220560 1074875042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5526 4502 1111 63 0 5463 0
vsize: 22104
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 109153 0 0 0 23736 262 0 0 25 0 1 0 892253591 22548480 4496 4294967295 134512640 134716908 3221224576 3221220560 1074875127 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5505 4496 1111 63 0 5442 0
vsize: 22020
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 115216 0 0 0 24721 278 0 0 25 0 1 0 892253591 22568960 4503 4294967295 134512640 134716908 3221224576 3221220560 1074875068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 4503 1111 63 0 5447 0
vsize: 22040
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 119148 0 0 0 25711 287 0 0 25 0 1 0 892253591 21176320 4343 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5170 4343 1111 63 0 5107 0
vsize: 20680
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 123244 0 0 0 26700 298 0 0 25 0 1 0 892253591 22638592 4519 4294967295 134512640 134716908 3221224576 3221221616 1075971444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4520 1111 63 0 5464 0
vsize: 22108
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 128265 0 0 0 27690 309 0 0 25 0 1 0 892253591 20414464 4260 4294967295 134512640 134716908 3221224576 3221222016 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4260 1111 63 0 4921 0
vsize: 19936
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 133092 0 0 0 28677 322 0 0 25 0 1 0 892253591 22712320 4513 4294967295 134512640 134716908 3221224576 3221221152 1076047459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 4513 1111 63 0 5482 0
vsize: 22180
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 138317 0 0 0 29664 334 0 0 25 0 1 0 892253591 22679552 4529 4294967295 134512640 134716908 3221224576 3221220560 1074875068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5537 4529 1111 63 0 5474 0
vsize: 22148
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 143464 0 0 0 30652 347 0 0 25 0 1 0 892253591 22622208 4523 4294967295 134512640 134716908 3221224576 3221220560 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 4523 1111 63 0 5460 0
vsize: 22092
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 148839 0 0 0 31639 360 0 0 25 0 1 0 892253591 21053440 4337 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 4337 1111 63 0 5077 0
vsize: 20560
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 154042 0 0 0 32627 372 0 0 25 0 1 0 892253591 22634496 4525 4294967295 134512640 134716908 3221224576 3221220560 1074875034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5526 4525 1111 63 0 5463 0
vsize: 22104
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 159717 0 0 0 33615 385 0 0 25 0 1 0 892253591 22597632 4480 4294967295 134512640 134716908 3221224576 3221221608 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5517 4480 1111 63 0 5454 0
vsize: 22068
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 164736 0 0 0 34604 396 0 0 25 0 1 0 892253591 22646784 4534 4294967295 134512640 134716908 3221224576 3221220620 1074873543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5529 4534 1111 63 0 5466 0
vsize: 22116
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 170785 0 0 0 35590 409 0 0 25 0 1 0 892253591 22650880 4536 4294967295 134512640 134716908 3221224576 3221221232 1075969308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5530 4536 1111 63 0 5467 0
vsize: 22120
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 175738 0 0 0 36579 421 0 0 25 0 1 0 892253591 22659072 4542 4294967295 134512640 134716908 3221224576 3221220560 1074875105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5532 4542 1111 63 0 5469 0
vsize: 22128
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 180783 0 0 0 37568 433 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221221728 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+390.008 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 186307 0 0 0 38555 446 0 0 25 0 1 0 892253591 22675456 4536 4294967295 134512640 134716908 3221224576 3221220560 1074875101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5536 4536 1111 63 0 5473 0
vsize: 22144
[startup+400.009 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 191197 0 0 0 39544 457 0 0 25 0 1 0 892253591 22626304 4523 4294967295 134512640 134716908 3221224576 3221221616 1075859942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5524 4523 1111 63 0 5461 0
vsize: 22096
[startup+410.009 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 195947 0 0 0 40533 468 0 0 25 0 1 0 892253591 22265856 4367 4294967295 134512640 134716908 3221224576 3221221520 1074620186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5436 4367 1111 63 0 5373 0
vsize: 21744
[startup+420.008 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 200920 0 0 0 41522 479 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221222016 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+430.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 206369 0 0 0 42509 492 0 0 25 0 1 0 892253591 22646784 4530 4294967295 134512640 134716908 3221224576 3221220560 1074875083 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5529 4530 1111 63 0 5466 0
vsize: 22116
[startup+440.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 211392 0 0 0 43497 504 0 0 25 0 1 0 892253591 22687744 4546 4294967295 134512640 134716908 3221224576 3221220960 1075114323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5539 4546 1111 63 0 5476 0
vsize: 22156
[startup+450.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 217247 0 0 0 44484 517 0 0 25 0 1 0 892253591 22757376 4532 4294967295 134512640 134716908 3221224576 3221220560 1074875105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5556 4532 1111 63 0 5493 0
vsize: 22224
[startup+460.008 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 222968 0 0 0 45471 530 0 0 25 0 1 0 892253591 22609920 4467 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5520 4468 1111 63 0 5457 0
vsize: 22080
[startup+470.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 228097 0 0 0 46459 543 0 0 25 0 1 0 892253591 22638592 4534 4294967295 134512640 134716908 3221224576 3221220888 1074960597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4534 1111 63 0 5464 0
vsize: 22108
[startup+480.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 233530 0 0 0 47447 555 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221222048 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+490.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 239687 0 0 0 48433 570 0 0 25 0 1 0 892253591 21032960 4340 4294967295 134512640 134716908 3221224576 3221222304 1075828215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5135 4340 1111 63 0 5072 0
vsize: 20540
[startup+500.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 245802 0 0 0 49419 583 0 0 25 0 1 0 892253591 21196800 4355 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5175 4355 1111 63 0 5112 0
vsize: 20700
[startup+510.009 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 251770 0 0 0 50405 598 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221221728 1074153690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+520.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 257762 0 0 0 51391 611 0 0 25 0 1 0 892253591 22601728 4520 4294967295 134512640 134716908 3221224576 3221220736 1074795069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4520 1111 63 0 5455 0
vsize: 22072
[startup+530.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 263913 0 0 0 52378 625 0 0 25 0 1 0 892253591 22605824 4521 4294967295 134512640 134716908 3221224576 3221220804 1075115095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5519 4521 1111 63 0 5456 0
vsize: 22076
[startup+540.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 270004 0 0 0 53364 638 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221221920 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+550.009 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 275869 0 0 0 54351 652 0 0 25 0 1 0 892253591 22638592 4525 4294967295 134512640 134716908 3221224576 3221220560 1074875131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5527 4525 1111 63 0 5464 0
vsize: 22108
[startup+560.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 281296 0 0 0 55341 662 0 0 25 0 1 0 892253591 20774912 4324 4294967295 134512640 134716908 3221224576 3221222576 1074916565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5072 4324 1111 63 0 5009 0
vsize: 20288
[startup+570.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 287036 0 0 0 56328 676 0 0 25 0 1 0 892253591 22704128 4541 4294967295 134512640 134716908 3221224576 3221220560 1074875019 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4541 1111 63 0 5480 0
vsize: 22172
[startup+580.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 291978 0 0 0 57316 688 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221222336 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+590.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 297515 0 0 0 58303 700 0 0 25 0 1 0 892253591 22687744 4542 4294967295 134512640 134716908 3221224576 3221220860 1075115854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5539 4542 1111 63 0 5476 0
vsize: 22156
[startup+600.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 303189 0 0 0 59289 715 0 0 25 0 1 0 892253591 20803584 4363 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5079 4363 1111 63 0 5016 0
vsize: 20316
[startup+610.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 309213 0 0 0 60276 728 0 0 25 0 1 0 892253591 22708224 4544 4294967295 134512640 134716908 3221224576 3221221028 1074944200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5544 4544 1111 63 0 5481 0
vsize: 22176
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 314824 0 0 0 61262 742 0 0 25 0 1 0 892253591 22851584 4557 4294967295 134512640 134716908 3221224576 3221221544 1075112613 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5579 4557 1111 63 0 5516 0
vsize: 22316
[startup+630.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 320837 0 0 0 62248 757 0 0 25 0 1 0 892253591 22679552 4544 4294967295 134512640 134716908 3221224576 3221220648 1074950220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5537 4544 1111 63 0 5474 0
vsize: 22148
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 327666 0 0 0 63230 775 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221221968 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 335259 0 0 0 64212 794 0 0 25 0 1 0 892253591 21180416 4351 4294967295 134512640 134716908 3221224576 3221222496 1075799697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5171 4351 1111 63 0 5108 0
vsize: 20684
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 342569 0 0 0 65197 808 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221222536 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 348937 0 0 0 66181 825 0 0 25 0 1 0 892253591 20836352 4371 4294967295 134512640 134716908 3221224576 3221222488 1074138333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5087 4371 1111 63 0 5024 0
vsize: 20348
[startup+680.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 354337 0 0 0 67171 835 0 0 25 0 1 0 892253591 22769664 4560 4294967295 134512640 134716908 3221224576 3221221616 1075860117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5559 4560 1111 63 0 5496 0
vsize: 22236
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 360254 0 0 0 68157 849 0 0 25 0 1 0 892253591 22802432 4553 4294967295 134512640 134716908 3221224576 3221221696 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 4553 1111 63 0 5504 0
vsize: 22268
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 365315 0 0 0 69146 861 0 0 25 0 1 0 892253591 20955136 4361 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4370 1111 63 0 5053 0
vsize: 20464
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 371089 0 0 0 70131 876 0 0 25 0 1 0 892253591 22794240 4567 4294967295 134512640 134716908 3221224576 3221221664 1074207737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4567 1111 63 0 5502 0
vsize: 22260
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 376331 0 0 0 71119 888 0 0 25 0 1 0 892253591 22794240 4575 4294967295 134512640 134716908 3221224576 3221220720 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5565 4575 1111 63 0 5502 0
vsize: 22260
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 382040 0 0 0 72107 900 0 0 25 0 1 0 892253591 22802432 4576 4294967295 134512640 134716908 3221224576 3221220560 1074875034 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 4576 1111 63 0 5504 0
vsize: 22268
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 386391 0 0 0 73099 908 0 0 25 0 1 0 892253591 22745088 4556 4294967295 134512640 134716908 3221224576 3221220648 1074950227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5553 4556 1111 63 0 5490 0
vsize: 22212
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 390673 0 0 0 74088 919 0 0 25 0 1 0 892253591 20414464 4268 4294967295 134512640 134716908 3221224576 3221222400 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4984 4268 1111 63 0 4921 0
vsize: 19936
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 395293 0 0 0 75078 930 0 0 25 0 1 0 892253591 22769664 4558 4294967295 134512640 134716908 3221224576 3221220952 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5559 4558 1111 63 0 5496 0
vsize: 22236
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 400275 0 0 0 76066 941 0 0 25 0 1 0 892253591 22966272 4589 4294967295 134512640 134716908 3221224576 3221220516 1074786531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5607 4589 1111 63 0 5544 0
vsize: 22428
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 403708 0 0 0 77058 949 0 0 25 0 1 0 892253591 22966272 4631 4294967295 134512640 134716908 3221224576 3221220432 1074868932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5607 4631 1111 63 0 5544 0
vsize: 22428
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 407444 0 0 0 78050 957 0 0 25 0 1 0 892253591 22945792 4614 4294967295 134512640 134716908 3221224576 3221220560 1074875045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4614 1111 63 0 5539 0
vsize: 22408
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 411155 0 0 0 79043 965 0 0 25 0 1 0 892253591 23138304 4629 4294967295 134512640 134716908 3221224576 3221221152 1076047591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5649 4629 1111 63 0 5586 0
vsize: 22596
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 414994 0 0 0 80033 975 0 0 25 0 1 0 892253591 23166976 4633 4294967295 134512640 134716908 3221224576 3221220668 1075663510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5656 4633 1111 63 0 5593 0
vsize: 22624
[startup+820.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 418558 0 0 0 81027 982 0 0 25 0 1 0 892253591 20643840 4324 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5040 4324 1111 63 0 4977 0
vsize: 20160
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 422066 0 0 0 82019 990 0 0 25 0 1 0 892253591 20582400 4309 4294967295 134512640 134716908 3221224576 3221222096 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5025 4309 1111 63 0 4962 0
vsize: 20100
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 425955 0 0 0 83009 999 0 0 25 0 1 0 892253591 21090304 4433 4294967295 134512640 134716908 3221224576 3221223040 1074121015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5149 4433 1111 63 0 5086 0
vsize: 20596
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 429899 0 0 0 84000 1009 0 0 25 0 1 0 892253591 23117824 4654 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5644 4654 1111 63 0 5581 0
vsize: 22576
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 434236 0 0 0 84991 1018 0 0 25 0 1 0 892253591 23134208 4555 4294967295 134512640 134716908 3221224576 3221221644 1074831198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5648 4555 1111 63 0 5585 0
vsize: 22592
[startup+870.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 437822 0 0 0 85983 1026 0 0 25 0 1 0 892253591 23187456 4675 4294967295 134512640 134716908 3221224576 3221220648 1074950207 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5661 4675 1111 63 0 5598 0
vsize: 22644
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 441570 0 0 0 86976 1033 0 0 25 0 1 0 892253591 23326720 4674 4294967295 134512640 134716908 3221224576 3221220796 1074883396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5695 4674 1111 63 0 5632 0
vsize: 22780
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 445858 0 0 0 87968 1042 0 0 25 0 1 0 892253591 23322624 4671 4294967295 134512640 134716908 3221224576 3221220560 1074875081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5694 4671 1111 63 0 5631 0
vsize: 22776
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 449957 0 0 0 88957 1052 0 0 25 0 1 0 892253591 21344256 4490 4294967295 134512640 134716908 3221224576 3221222576 1074918192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5211 4490 1111 63 0 5148 0
vsize: 20844
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 453894 0 0 0 89950 1060 0 0 25 0 1 0 892253591 23277568 4703 4294967295 134512640 134716908 3221224576 3221220432 1074868806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5683 4703 1111 63 0 5620 0
vsize: 22732
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 457859 0 0 0 90941 1069 0 0 25 0 1 0 892253591 23437312 4714 4294967295 134512640 134716908 3221224576 3221220432 1074867710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4714 1111 63 0 5659 0
vsize: 22888
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 461457 0 0 0 91933 1077 0 0 25 0 1 0 892253591 23359488 4729 4294967295 134512640 134716908 3221224576 3221220780 1075564297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4729 1111 63 0 5640 0
vsize: 22812
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 465395 0 0 0 92924 1087 0 0 25 0 1 0 892253591 21782528 4524 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5318 4524 1111 63 0 5255 0
vsize: 21272
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 468937 0 0 0 93917 1094 0 0 25 0 1 0 892253591 23367680 4724 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4724 1111 63 0 5642 0
vsize: 22820
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 472958 0 0 0 94908 1103 0 0 25 0 1 0 892253591 20914176 4360 4294967295 134512640 134716908 3221224576 3221222000 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5106 4360 1111 63 0 5043 0
vsize: 20424
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 477089 0 0 0 95898 1113 0 0 25 0 1 0 892253591 23457792 4702 4294967295 134512640 134716908 3221224576 3221221116 1076045742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4702 1111 63 0 5664 0
vsize: 22908
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 480562 0 0 0 96891 1120 0 0 25 0 1 0 892253591 20901888 4366 4294967295 134512640 134716908 3221224576 3221222216 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5103 4366 1111 63 0 5040 0
vsize: 20412
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 485197 0 0 0 97881 1131 0 0 25 0 1 0 892253591 23330816 4706 4294967295 134512640 134716908 3221224576 3221220672 1074877652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5696 4706 1111 63 0 5633 0
vsize: 22784
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 488620 0 0 0 98873 1138 0 0 25 0 1 0 892253591 23351296 4716 4294967295 134512640 134716908 3221224576 3221220560 1074875169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5701 4716 1111 63 0 5638 0
vsize: 22804
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 492643 0 0 0 99863 1149 0 0 25 0 1 0 892253591 21061632 4403 4294967295 134512640 134716908 3221224576 3221222120 1074138300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5142 4403 1111 63 0 5079 0
vsize: 20568
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 496396 0 0 0 100853 1158 0 0 25 0 1 0 892253591 23449600 4739 4294967295 134512640 134716908 3221224576 3221220516 1074786562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5725 4739 1111 63 0 5662 0
vsize: 22900
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 499801 0 0 0 101846 1166 0 0 25 0 1 0 892253591 23613440 4751 4294967295 134512640 134716908 3221224576 3221220544 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5765 4751 1111 63 0 5702 0
vsize: 23060
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 503596 0 0 0 102835 1177 0 0 25 0 1 0 892253591 23568384 4770 4294967295 134512640 134716908 3221224576 3221220908 1076111473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5754 4770 1111 63 0 5691 0
vsize: 23016
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 507066 0 0 0 103828 1185 0 0 25 0 1 0 892253591 23715840 4778 4294967295 134512640 134716908 3221224576 3221220560 1074875025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 4778 1111 63 0 5727 0
vsize: 23160
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 510510 0 0 0 104818 1194 0 0 25 0 1 0 892253591 23605248 4774 4294967295 134512640 134716908 3221224576 3221220560 1074875065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5763 4775 1111 63 0 5700 0
vsize: 23052
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 514172 0 0 0 105809 1204 0 0 25 0 1 0 892253591 23609344 4780 4294967295 134512640 134716908 3221224576 3221221496 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5764 4780 1111 63 0 5701 0
vsize: 23056
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 517642 0 0 0 106801 1212 0 0 25 0 1 0 892253591 23654400 4790 4294967295 134512640 134716908 3221224576 3221220704 1075561212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4790 1111 63 0 5712 0
vsize: 23100
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 520848 0 0 0 107793 1220 0 0 25 0 1 0 892253591 23654400 4791 4294967295 134512640 134716908 3221224576 3221220572 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 4791 1111 63 0 5712 0
vsize: 23100
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 524291 0 0 0 108784 1229 0 0 25 0 1 0 892253591 21168128 4440 4294967295 134512640 134716908 3221224576 3221222336 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5168 4440 1111 63 0 5105 0
vsize: 20672
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 528151 0 0 0 109776 1238 0 0 25 0 1 0 892253591 23793664 4795 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5809 4795 1111 63 0 5746 0
vsize: 23236
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 531638 0 0 0 110768 1246 0 0 25 0 1 0 892253591 23781376 4789 4294967295 134512640 134716908 3221224576 3221220560 1074875150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5806 4789 1111 63 0 5743 0
vsize: 23224
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 535000 0 0 0 111761 1252 0 0 25 0 1 0 892253591 21020672 4416 4294967295 134512640 134716908 3221224576 3221222352 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5132 4416 1111 63 0 5069 0
vsize: 20528
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 539078 0 0 0 112752 1262 0 0 25 0 1 0 892253591 23912448 4827 4294967295 134512640 134716908 3221224576 3221221520 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5838 4827 1111 63 0 5775 0
vsize: 23352
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 542034 0 0 0 113746 1268 0 0 25 0 1 0 892253591 23916544 4835 4294967295 134512640 134716908 3221224576 3221220800 1074801664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5839 4835 1111 63 0 5776 0
vsize: 23356
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 545064 0 0 0 114740 1274 0 0 25 0 1 0 892253591 23764992 4813 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5802 4813 1111 63 0 5739 0
vsize: 23208
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 548052 0 0 0 115734 1281 0 0 25 0 1 0 892253591 23715840 4808 4294967295 134512640 134716908 3221224576 3221220432 1074867700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 4808 1111 63 0 5727 0
vsize: 23160
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 12766
Raw data (stat): 12766 (bsolo_lpr-v2) R 12765 21152 21151 0 -1 0 548052 0 0 0 115734 1281 0 0 25 0 1 0 892253591 23715840 4808 4294967295 134512640 134716908 3221224576 3221220432 1074867700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5790 4808 1111 63 0 5727 0
vsize: 0

Child status: 10
Real time (s): 1175.01
CPU time (s): 1175.13
CPU user time (s): 1162.27
CPU system time (s): 12.864
CPU usage (%): 100.01
Max. virtual memory (Kb): 25388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	119
#### END VERIFIER DATA ####