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/een/normalized-cap6000.opb
MD5SUM	e584a5264af1e9b64f6a152de988bbbe
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-1384839
Optimality of the best value was proved	NO
Number of terms in the objective function	5995
Biggest coefficient in the objective function	91110
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	12969603
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	800000
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	28761906
Number of bits of the biggest sum of numbers	25
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	6000
Total number of constraints	2294
Number of constraints which are clauses	421
Number of constraints which are cardinality constraints (but not clauses)	1871
Number of constraints which are nor clauses,nor cardinality constraints	2
Minimum length of a constraint	2
Maximum length of a constraint	5998
Trace number 38631

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 15:19:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26661 boxname=wulflinc2 idbench=391 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  e584a5264af1e9b64f6a152de988bbbe  /oldhome/oroussel/tmp/wulflinc2/normalized-cap6000.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-cap6000.opb
IDLAUNCH: 26661
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        910604 kB
Buffers:         20864 kB
Cached:          81064 kB
SwapCached:       1160 kB
Active:          21876 kB
Inactive:        82576 kB
HighTotal:      131008 kB
HighFree:        46928 kB
LowTotal:       903652 kB
LowFree:        863676 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            13784 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:39:26 (client local time) WITH STATUS 10 IN 1189.13 SECONDS
stats: 26661 0 1189.13 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-cap6000.opb
c #variables read: 6000 - #constraints read: 2295
s SATISFIABLE
v -x0 -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 -x5997 -x5995 -x5996 -x5998 -x5999 
#### 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.77 0.95 0.91 2/54 23933
Raw data (stat): 23933 (runsolver) R 23932 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850819059 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0003 s]
Raw data (loadavg): 0.80 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 996 2 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+20.0134 s]
Raw data (loadavg): 0.83 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 1997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+30.014 s]
Raw data (loadavg): 0.86 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 2997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+40.0143 s]
Raw data (loadavg): 0.88 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 3997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134529936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+50.015 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 4997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+60.0151 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 5997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+70.0154 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 6997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+80.0151 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 7997 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+90.0162 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 8998 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+100.016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 9998 3 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+110.015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1019 0 0 0 10998 4 0 0 25 0 1 0 850819059 9818112 993 4294967295 134512640 134581267 3221224592 3221223600 134529978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2397 993 566 18 0 2379 0
vsize: 9588
[startup+120.016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1123 0 0 0 11997 4 0 0 25 0 1 0 850819059 10260480 1097 4294967295 134512640 134581267 3221224592 3221223600 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2505 1097 566 18 0 2487 0
vsize: 10020
[startup+130.016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1300 0 0 0 12997 5 0 0 25 0 1 0 850819059 10993664 1274 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2684 1274 566 18 0 2666 0
vsize: 10736
[startup+140.017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1476 0 0 0 13996 6 0 0 25 0 1 0 850819059 11706368 1450 4294967295 134512640 134581267 3221224592 3221223600 134529978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2858 1450 566 18 0 2840 0
vsize: 11432
[startup+150.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1609 0 0 0 14996 6 0 0 25 0 1 0 850819059 12251136 1583 4294967295 134512640 134581267 3221224592 3221223600 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2991 1583 566 18 0 2973 0
vsize: 11964
[startup+160.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1745 0 0 0 15996 7 0 0 25 0 1 0 850819059 12808192 1719 4294967295 134512640 134581267 3221224592 3221223600 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3127 1719 566 18 0 3109 0
vsize: 12508
[startup+170.017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 1878 0 0 0 16996 7 0 0 25 0 1 0 850819059 13352960 1852 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 1852 566 18 0 3242 0
vsize: 13040
[startup+180.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2031 0 0 0 17996 7 0 0 25 0 1 0 850819059 13967360 2005 4294967295 134512640 134581267 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3410 2005 566 18 0 3392 0
vsize: 13640
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2207 0 0 0 18996 7 0 0 25 0 1 0 850819059 14708736 2181 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3591 2181 566 18 0 3573 0
vsize: 14364
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2369 0 0 0 19995 8 0 0 25 0 1 0 850819059 15347712 2343 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3747 2343 566 18 0 3729 0
vsize: 14988
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2498 0 0 0 20995 8 0 0 25 0 1 0 850819059 15925248 2472 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3888 2472 566 18 0 3870 0
vsize: 15552
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2619 0 0 0 21995 8 0 0 25 0 1 0 850819059 16375808 2593 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3998 2593 566 18 0 3980 0
vsize: 15992
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2718 0 0 0 22995 8 0 0 25 0 1 0 850819059 16826368 2692 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4108 2692 566 18 0 4090 0
vsize: 16432
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2829 0 0 0 23995 9 0 0 25 0 1 0 850819059 17260544 2803 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4214 2803 566 18 0 4196 0
vsize: 16856
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 2947 0 0 0 24995 9 0 0 25 0 1 0 850819059 17731584 2921 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 2921 566 18 0 4311 0
vsize: 17316
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3074 0 0 0 25995 9 0 0 25 0 1 0 850819059 18251776 3048 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3048 566 18 0 4438 0
vsize: 17824
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3207 0 0 0 26995 9 0 0 25 0 1 0 850819059 18796544 3181 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4589 3181 566 18 0 4571 0
vsize: 18356
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3340 0 0 0 27995 10 0 0 25 0 1 0 850819059 19341312 3314 4294967295 134512640 134581267 3221224592 3221223600 134529974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3314 566 18 0 4704 0
vsize: 18888
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3473 0 0 0 28995 10 0 0 25 0 1 0 850819059 19886080 3447 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4855 3447 566 18 0 4837 0
vsize: 19420
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3546 0 0 0 29995 10 0 0 25 0 1 0 850819059 20172800 3520 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4925 3520 566 18 0 4907 0
vsize: 19700
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3606 0 0 0 30994 11 0 0 25 0 1 0 850819059 20430848 3580 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3580 566 18 0 4970 0
vsize: 19952
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3739 0 0 0 31994 11 0 0 25 0 1 0 850819059 20975616 3713 4294967295 134512640 134581267 3221224592 3221223600 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5121 3713 566 18 0 5103 0
vsize: 20484
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3884 0 0 0 32994 11 0 0 25 0 1 0 850819059 21549056 3858 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5261 3858 566 18 0 5243 0
vsize: 21044
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 3912 0 0 0 33994 11 0 0 25 0 1 0 850819059 21737472 3886 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5307 3886 566 18 0 5289 0
vsize: 21228
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4059 0 0 0 34994 12 0 0 25 0 1 0 850819059 22249472 4033 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 4033 566 18 0 5414 0
vsize: 21728
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4203 0 0 0 35994 13 0 0 25 0 1 0 850819059 22876160 4177 4294967295 134512640 134581267 3221224592 3221223600 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4177 566 18 0 5567 0
vsize: 22340
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4242 0 0 0 36993 13 0 0 25 0 1 0 850819059 23064576 4216 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5631 4216 566 18 0 5613 0
vsize: 22524
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4336 0 0 0 37993 13 0 0 25 0 1 0 850819059 23420928 4310 4294967295 134512640 134581267 3221224592 3221223600 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5718 4310 566 18 0 5700 0
vsize: 22872
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4480 0 0 0 38993 13 0 0 25 0 1 0 850819059 23990272 4454 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4454 566 18 0 5839 0
vsize: 23428
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4495 0 0 0 39994 13 0 0 25 0 1 0 850819059 24084480 4469 4294967295 134512640 134581267 3221224592 3221223504 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5880 4469 566 18 0 5862 0
vsize: 23520
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4613 0 0 0 40994 14 0 0 25 0 1 0 850819059 24555520 4587 4294967295 134512640 134581267 3221224592 3221223600 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5995 4587 566 18 0 5977 0
vsize: 23980
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4758 0 0 0 41994 14 0 0 25 0 1 0 850819059 25124864 4732 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6134 4732 566 18 0 6116 0
vsize: 24536
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4758 0 0 0 42994 14 0 0 25 0 1 0 850819059 25124864 4732 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6134 4732 566 18 0 6116 0
vsize: 24536
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4890 0 0 0 43994 14 0 0 25 0 1 0 850819059 25690112 4864 4294967295 134512640 134581267 3221224592 3221223600 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6272 4864 566 18 0 6254 0
vsize: 25088
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 4975 0 0 0 44993 15 0 0 25 0 1 0 850819059 26021888 4949 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6353 4949 566 18 0 6335 0
vsize: 25412
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5035 0 0 0 45994 15 0 0 25 0 1 0 850819059 26284032 5009 4294967295 134512640 134581267 3221224592 3221223600 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6417 5009 566 18 0 6399 0
vsize: 25668
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5154 0 0 0 46994 15 0 0 25 0 1 0 850819059 26755072 5128 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6532 5128 566 18 0 6514 0
vsize: 26128
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5167 0 0 0 47994 15 0 0 25 0 1 0 850819059 26828800 5141 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6550 5141 566 18 0 6532 0
vsize: 26200
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5314 0 0 0 48994 15 0 0 25 0 1 0 850819059 27418624 5288 4294967295 134512640 134581267 3221224592 3221223600 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6694 5288 566 18 0 6676 0
vsize: 26776
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5318 0 0 0 49994 15 0 0 25 0 1 0 850819059 27418624 5292 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6694 5292 566 18 0 6676 0
vsize: 26776
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5456 0 0 0 50994 16 0 0 25 0 1 0 850819059 28008448 5430 4294967295 134512640 134581267 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 5430 566 18 0 6820 0
vsize: 27352
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5501 0 0 0 51994 16 0 0 25 0 1 0 850819059 28246016 5475 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 5475 566 18 0 6878 0
vsize: 27584
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5600 0 0 0 52994 16 0 0 25 0 1 0 850819059 28598272 5574 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6982 5574 566 18 0 6964 0
vsize: 27928
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5627 0 0 0 53994 16 0 0 25 0 1 0 850819059 28692480 5601 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7005 5601 566 18 0 6987 0
vsize: 28020
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5733 0 0 0 54994 16 0 0 25 0 1 0 850819059 29143040 5707 4294967295 134512640 134581267 3221224592 3221223504 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7115 5707 566 18 0 7097 0
vsize: 28460
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5819 0 0 0 55994 16 0 0 25 0 1 0 850819059 29528064 5793 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7209 5793 566 18 0 7191 0
vsize: 28836
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5885 0 0 0 56994 17 0 0 25 0 1 0 850819059 29765632 5859 4294967295 134512640 134581267 3221224592 3221223600 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7267 5859 566 18 0 7249 0
vsize: 29068
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 5952 0 0 0 57994 17 0 0 25 0 1 0 850819059 30048256 5926 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7336 5926 566 18 0 7318 0
vsize: 29344
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6018 0 0 0 58994 17 0 0 25 0 1 0 850819059 30310400 5992 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7400 5992 566 18 0 7382 0
vsize: 29600
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6085 0 0 0 59994 17 0 0 25 0 1 0 850819059 30638080 6059 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7480 6059 566 18 0 7462 0
vsize: 29920
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6162 0 0 0 60994 17 0 0 25 0 1 0 850819059 30900224 6136 4294967295 134512640 134581267 3221224592 3221223600 134529936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7544 6136 566 18 0 7526 0
vsize: 30176
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6200 0 0 0 61994 18 0 0 25 0 1 0 850819059 31088640 6174 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7590 6174 566 18 0 7572 0
vsize: 30360
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6295 0 0 0 62994 18 0 0 25 0 1 0 850819059 31444992 6269 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7677 6269 566 18 0 7659 0
vsize: 30708
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6321 0 0 0 63994 18 0 0 25 0 1 0 850819059 31584256 6295 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 6295 566 18 0 7693 0
vsize: 30844
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6439 0 0 0 64994 18 0 0 25 0 1 0 850819059 32034816 6413 4294967295 134512640 134581267 3221224592 3221223600 134529989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6413 566 18 0 7803 0
vsize: 31284
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6439 0 0 0 65994 18 0 0 25 0 1 0 850819059 32034816 6413 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6413 566 18 0 7803 0
vsize: 31284
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6573 0 0 0 66994 18 0 0 25 0 1 0 850819059 32579584 6547 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 6547 566 18 0 7936 0
vsize: 31816
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6573 0 0 0 67994 19 0 0 25 0 1 0 850819059 32579584 6547 4294967295 134512640 134581267 3221224592 3221223504 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7954 6547 566 18 0 7936 0
vsize: 31816
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6718 0 0 0 68994 19 0 0 25 0 1 0 850819059 33247232 6692 4294967295 134512640 134581267 3221224592 3221223600 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8117 6692 566 18 0 8099 0
vsize: 32468
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6718 0 0 0 69994 19 0 0 25 0 1 0 850819059 33177600 6692 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8100 6692 566 18 0 8082 0
vsize: 32400
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6807 0 0 0 70994 19 0 0 25 0 1 0 850819059 33554432 6781 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8192 6781 566 18 0 8174 0
vsize: 32768
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6852 0 0 0 71994 19 0 0 25 0 1 0 850819059 33718272 6826 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8232 6826 566 18 0 8214 0
vsize: 32928
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6904 0 0 0 72994 20 0 0 25 0 1 0 850819059 33972224 6878 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8294 6878 566 18 0 8276 0
vsize: 33176
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 6998 0 0 0 73994 20 0 0 25 0 1 0 850819059 34324480 6972 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8380 6972 566 18 0 8362 0
vsize: 33520
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7079 0 0 0 74994 20 0 0 25 0 1 0 850819059 34676736 7053 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8466 7053 566 18 0 8448 0
vsize: 33864
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7207 0 0 0 75994 20 0 0 25 0 1 0 850819059 35160064 7181 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8584 7181 566 18 0 8566 0
vsize: 34336
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7209 0 0 0 76994 20 0 0 25 0 1 0 850819059 35160064 7183 4294967295 134512640 134581267 3221224592 3221223504 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8584 7183 566 18 0 8566 0
vsize: 34336
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7293 0 0 0 77994 21 0 0 25 0 1 0 850819059 35520512 7267 4294967295 134512640 134581267 3221224592 3221223504 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8672 7267 566 18 0 8654 0
vsize: 34688
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7355 0 0 0 78994 21 0 0 25 0 1 0 850819059 35782656 7329 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8736 7329 566 18 0 8718 0
vsize: 34944
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7371 0 0 0 79994 21 0 0 25 0 1 0 850819059 35885056 7345 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8761 7345 566 18 0 8743 0
vsize: 35044
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7488 0 0 0 80994 21 0 0 25 0 1 0 850819059 36331520 7462 4294967295 134512640 134581267 3221224592 3221223600 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8870 7462 566 18 0 8852 0
vsize: 35480
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7490 0 0 0 81994 21 0 0 25 0 1 0 850819059 36331520 7464 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8870 7464 566 18 0 8852 0
vsize: 35480
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7574 0 0 0 82994 22 0 0 25 0 1 0 850819059 36671488 7548 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8953 7548 566 18 0 8935 0
vsize: 35812
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7634 0 0 0 83994 22 0 0 25 0 1 0 850819059 36929536 7608 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9016 7608 566 18 0 8998 0
vsize: 36064
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7634 0 0 0 84994 22 0 0 25 0 1 0 850819059 36929536 7608 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9016 7608 566 18 0 8998 0
vsize: 36064
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7767 0 0 0 85994 23 0 0 25 0 1 0 850819059 37474304 7741 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 7741 566 18 0 9131 0
vsize: 36596
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7769 0 0 0 86994 23 0 0 25 0 1 0 850819059 37474304 7743 4294967295 134512640 134581267 3221224592 3221223600 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 7743 566 18 0 9131 0
vsize: 36596
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7795 0 0 0 87994 23 0 0 25 0 1 0 850819059 37576704 7769 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9174 7769 566 18 0 9156 0
vsize: 36696
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7924 0 0 0 88994 23 0 0 25 0 1 0 850819059 38117376 7898 4294967295 134512640 134581267 3221224592 3221223600 134529978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9306 7898 566 18 0 9288 0
vsize: 37224
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7924 0 0 0 89994 23 0 0 25 0 1 0 850819059 38117376 7898 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9306 7898 566 18 0 9288 0
vsize: 37224
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 7991 0 0 0 90994 23 0 0 25 0 1 0 850819059 38404096 7965 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9376 7965 566 18 0 9358 0
vsize: 37504
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8057 0 0 0 91994 24 0 0 25 0 1 0 850819059 38662144 8031 4294967295 134512640 134581267 3221224592 3221223600 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9439 8031 566 18 0 9421 0
vsize: 37756
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8086 0 0 0 92994 24 0 0 25 0 1 0 850819059 38756352 8060 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 8060 566 18 0 9444 0
vsize: 37848
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8147 0 0 0 93994 24 0 0 25 0 1 0 850819059 39014400 8121 4294967295 134512640 134581267 3221224592 3221223504 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9525 8121 566 18 0 9507 0
vsize: 38100
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8203 0 0 0 94994 24 0 0 25 0 1 0 850819059 39251968 8177 4294967295 134512640 134581267 3221224592 3221223600 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9583 8177 566 18 0 9565 0
vsize: 38332
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8203 0 0 0 95994 24 0 0 25 0 1 0 850819059 39251968 8177 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9583 8177 566 18 0 9565 0
vsize: 38332
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8316 0 0 0 96994 24 0 0 25 0 1 0 850819059 39731200 8290 4294967295 134512640 134581267 3221224592 3221223504 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9700 8290 566 18 0 9682 0
vsize: 38800
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8335 0 0 0 97994 24 0 0 25 0 1 0 850819059 39804928 8309 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 8309 566 18 0 9700 0
vsize: 38872
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8366 0 0 0 98995 24 0 0 25 0 1 0 850819059 39899136 8340 4294967295 134512640 134581267 3221224592 3221223600 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9741 8340 566 18 0 9723 0
vsize: 38964
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8462 0 0 0 99995 25 0 0 25 0 1 0 850819059 40353792 8436 4294967295 134512640 134581267 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9852 8436 566 18 0 9834 0
vsize: 39408
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8481 0 0 0 100995 25 0 0 25 0 1 0 850819059 40402944 8455 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9864 8455 566 18 0 9846 0
vsize: 39456
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8481 0 0 0 101995 25 0 0 25 0 1 0 850819059 40402944 8455 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9864 8455 566 18 0 9846 0
vsize: 39456
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8600 0 0 0 102995 26 0 0 25 0 1 0 850819059 40873984 8574 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9979 8574 566 18 0 9961 0
vsize: 39916
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8616 0 0 0 103995 26 0 0 25 0 1 0 850819059 40943616 8590 4294967295 134512640 134581267 3221224592 3221223600 134529976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9996 8590 566 18 0 9978 0
vsize: 39984
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8645 0 0 0 104995 26 0 0 25 0 1 0 850819059 41046016 8619 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10021 8619 566 18 0 10003 0
vsize: 40084
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8736 0 0 0 105995 26 0 0 25 0 1 0 850819059 41496576 8710 4294967295 134512640 134581267 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10131 8710 566 18 0 10113 0
vsize: 40524
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8760 0 0 0 106995 26 0 0 25 0 1 0 850819059 41541632 8734 4294967295 134512640 134581267 3221224592 3221223600 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10142 8734 566 18 0 10124 0
vsize: 40568
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8760 0 0 0 107995 26 0 0 25 0 1 0 850819059 41541632 8734 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10142 8734 566 18 0 10124 0
vsize: 40568
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8856 0 0 0 108995 27 0 0 25 0 1 0 850819059 41918464 8830 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10234 8830 566 18 0 10216 0
vsize: 40936
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8894 0 0 0 109995 27 0 0 25 0 1 0 850819059 42086400 8868 4294967295 134512640 134581267 3221224592 3221223600 134529936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10275 8868 566 18 0 10257 0
vsize: 41100
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8940 0 0 0 110995 27 0 0 25 0 1 0 850819059 42283008 8914 4294967295 134512640 134581267 3221224592 3221223600 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10323 8914 566 18 0 10305 0
vsize: 41292
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 8951 0 0 0 111996 27 0 0 25 0 1 0 850819059 42377216 8925 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10346 8925 566 18 0 10328 0
vsize: 41384
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9056 0 0 0 112995 28 0 0 25 0 1 0 850819059 42754048 9030 4294967295 134512640 134581267 3221224592 3221223504 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10438 9030 566 18 0 10420 0
vsize: 41752
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9056 0 0 0 113995 28 0 0 25 0 1 0 850819059 42754048 9030 4294967295 134512640 134581267 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10438 9030 566 18 0 10420 0
vsize: 41752
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9061 0 0 0 114995 28 0 0 25 0 1 0 850819059 42754048 9035 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10438 9035 566 18 0 10420 0
vsize: 41752
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9190 0 0 0 115995 28 0 0 25 0 1 0 850819059 43372544 9164 4294967295 134512640 134581267 3221224592 3221223600 134529989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10589 9164 566 18 0 10571 0
vsize: 42356
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9190 0 0 0 116995 28 0 0 25 0 1 0 850819059 43302912 9164 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10572 9164 566 18 0 10554 0
vsize: 42288
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9236 0 0 0 117995 28 0 0 25 0 1 0 850819059 43491328 9210 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9210 566 18 0 10600 0
vsize: 42472
[startup+1188.94 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23933
Raw data (stat): 23933 (Pueblo-v2) R 23932 31399 31398 0 -1 0 9236 0 0 0 117995 28 0 0 25 0 1 0 850819059 43491328 9210 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10618 9210 566 18 0 10600 0
vsize: 0

Child status: 10
Real time (s): 1188.94
CPU time (s): 1189.13
CPU user time (s): 1188.83
CPU system time (s): 0.306953
CPU usage (%): 100.016
Max. virtual memory (Kb): 42472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7851
#### END VERIFIER DATA ####