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-bench1.pi.opb
MD5SUM	773129c71f80eff294fafd0a8a5769cd
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	121
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
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	4677
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	1.72874
Number of variables	4676
Total number of constraints	398
Number of constraints which are clauses	398
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	2
Maximum length of a constraint	80
Trace number 38267

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-02 06:01:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26333 boxname=wulflinc3 idbench=63 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  773129c71f80eff294fafd0a8a5769cd  /oldhome/oroussel/tmp/wulflinc3/normalized-bench1.pi.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-bench1.pi.opb
IDLAUNCH: 26333
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        735044 kB
Buffers:         33440 kB
Cached:         244316 kB
SwapCached:        228 kB
Active:          60368 kB
Inactive:       220020 kB
HighTotal:      131008 kB
HighFree:          448 kB
LowTotal:       903652 kB
LowFree:        734596 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6328 kB
Slab:            13676 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 06:21:23 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 26333 0 1189.03 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/wulflinc3/normalized-bench1.pi.opb
c #variables read: 4677 - #constraints read: 399
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 
#### 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): 1.01 1.01 0.93 2/54 3186
Raw data (stat): 3186 (runsolver) R 3185 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847458847 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.0008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 944 0 0 0 990 8 0 0 25 0 1 0 847458847 9682944 918 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2364 918 566 18 0 2346 0
vsize: 9456
[startup+20.0009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 1176 0 0 0 1987 12 0 0 25 0 1 0 847458847 10604544 1150 4294967295 134512640 134581267 3221224592 3221223504 134527689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2589 1150 566 18 0 2571 0
vsize: 10356
[startup+30.0018 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 1459 0 0 0 2984 15 0 0 25 0 1 0 847458847 11796480 1433 4294967295 134512640 134581267 3221224592 3221223456 134528318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2880 1433 566 18 0 2862 0
vsize: 11520
[startup+40.0013 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 1822 0 0 0 3980 19 0 0 25 0 1 0 847458847 13262848 1796 4294967295 134512640 134581267 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1796 566 18 0 3220 0
vsize: 12952
[startup+50.0015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2018 0 0 0 4977 22 0 0 25 0 1 0 847458847 14053376 1992 4294967295 134512640 134581267 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3431 1992 566 18 0 3413 0
vsize: 13724
[startup+60.0023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2018 0 0 0 5975 24 0 0 25 0 1 0 847458847 14028800 1992 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 1992 566 18 0 3407 0
vsize: 13700
[startup+70.0018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2105 0 0 0 6973 26 0 0 25 0 1 0 847458847 14430208 2079 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2079 566 18 0 3505 0
vsize: 14092
[startup+80.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2112 0 0 0 7971 28 0 0 25 0 1 0 847458847 14430208 2086 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2086 566 18 0 3505 0
vsize: 14092
[startup+90.0028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2112 0 0 0 8968 31 0 0 25 0 1 0 847458847 14430208 2086 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3523 2086 566 18 0 3505 0
vsize: 14092
[startup+100.002 s]
Raw data (loadavg): 1.00 1.00 0.93 3/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2155 0 0 0 9965 35 0 0 25 0 1 0 847458847 14565376 2129 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2129 566 18 0 3538 0
vsize: 14224
[startup+110.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2178 0 0 0 10963 37 0 0 25 0 1 0 847458847 14696448 2152 4294967295 134512640 134581267 3221224592 3221223536 134559248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2152 566 18 0 3570 0
vsize: 14352
[startup+120.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2230 0 0 0 11960 40 0 0 25 0 1 0 847458847 14962688 2204 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2204 566 18 0 3635 0
vsize: 14612
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2278 0 0 0 12958 42 0 0 25 0 1 0 847458847 15093760 2252 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3685 2252 566 18 0 3667 0
vsize: 14740
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2308 0 0 0 13955 46 0 0 25 0 1 0 847458847 15224832 2282 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2282 566 18 0 3699 0
vsize: 14868
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2318 0 0 0 14953 48 0 0 25 0 1 0 847458847 15224832 2292 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3717 2292 566 18 0 3699 0
vsize: 14868
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2371 0 0 0 15952 49 0 0 25 0 1 0 847458847 15507456 2345 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2345 566 18 0 3768 0
vsize: 15144
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2371 0 0 0 16952 50 0 0 25 0 1 0 847458847 15507456 2345 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 2345 566 18 0 3768 0
vsize: 15144
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2419 0 0 0 17951 51 0 0 25 0 1 0 847458847 15642624 2393 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3819 2393 566 18 0 3801 0
vsize: 15276
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2429 0 0 0 18949 52 0 0 25 0 1 0 847458847 15773696 2403 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2403 566 18 0 3833 0
vsize: 15404
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2431 0 0 0 19947 55 0 0 25 0 1 0 847458847 15773696 2405 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2405 566 18 0 3833 0
vsize: 15404
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2456 0 0 0 20945 57 0 0 25 0 1 0 847458847 15908864 2430 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2430 566 18 0 3866 0
vsize: 15536
[startup+220.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2456 0 0 0 21944 59 0 0 25 0 1 0 847458847 15908864 2430 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2430 566 18 0 3866 0
vsize: 15536
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3188
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 22942 61 0 0 25 0 1 0 847458847 15908864 2435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2435 566 18 0 3866 0
vsize: 15536
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 23940 63 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+250.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 24937 66 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+260.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 25934 69 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223456 134560433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 26931 72 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 27928 76 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 28926 78 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+300.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 29923 81 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223520 134519867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+310.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 30919 85 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+320.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 31918 87 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223268 1075289606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+330.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 32916 89 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 33914 91 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+350.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 34910 95 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223472 134520258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 35905 100 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 36900 105 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223536 134559264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 37892 114 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223480 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 38886 119 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223504 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2461 0 0 0 39880 126 0 0 25 0 1 0 847458847 15884288 2435 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2435 566 18 0 3860 0
vsize: 15512
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2470 0 0 0 40874 132 0 0 25 0 1 0 847458847 15884288 2444 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2444 566 18 0 3860 0
vsize: 15512
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2470 0 0 0 41870 136 0 0 25 0 1 0 847458847 15884288 2444 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3878 2444 566 18 0 3860 0
vsize: 15512
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2488 0 0 0 42865 141 0 0 25 0 1 0 847458847 16015360 2462 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3910 2462 566 18 0 3892 0
vsize: 15640
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2492 0 0 0 43860 146 0 0 25 0 1 0 847458847 16015360 2466 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3910 2466 566 18 0 3892 0
vsize: 15640
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2513 0 0 0 44856 150 0 0 25 0 1 0 847458847 16150528 2487 4294967295 134512640 134581267 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3943 2487 566 18 0 3925 0
vsize: 15772
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2514 0 0 0 45851 156 0 0 25 0 1 0 847458847 15921152 2463 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3887 2463 566 18 0 3869 0
vsize: 15548
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2610 0 0 0 46847 160 0 0 25 0 1 0 847458847 16318464 2559 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3984 2559 566 18 0 3966 0
vsize: 15936
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2659 0 0 0 47845 163 0 0 25 0 1 0 847458847 16588800 2608 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4050 2608 566 18 0 4032 0
vsize: 16200
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2700 0 0 0 48843 164 0 0 25 0 1 0 847458847 16723968 2649 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 2649 566 18 0 4065 0
vsize: 16332
[startup+500.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2700 0 0 0 49844 165 0 0 25 0 1 0 847458847 16723968 2649 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4083 2649 566 18 0 4065 0
vsize: 16332
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 50844 166 0 0 25 0 1 0 847458847 16859136 2677 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 2677 566 18 0 4098 0
vsize: 16464
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 51843 168 0 0 25 0 1 0 847458847 16859136 2677 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 2677 566 18 0 4098 0
vsize: 16464
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 52842 169 0 0 25 0 1 0 847458847 16859136 2677 4294967295 134512640 134581267 3221224592 3221223456 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4116 2677 566 18 0 4098 0
vsize: 16464
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 53841 170 0 0 25 0 1 0 847458847 16850944 2677 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2677 566 18 0 4096 0
vsize: 16456
[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 54840 171 0 0 25 0 1 0 847458847 16850944 2677 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 2677 566 18 0 4096 0
vsize: 16456
[startup+560.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 55839 172 0 0 25 0 1 0 847458847 16818176 2677 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2677 566 18 0 4088 0
vsize: 16424
[startup+570.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 56839 173 0 0 25 0 1 0 847458847 16818176 2677 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2677 566 18 0 4088 0
vsize: 16424
[startup+580.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2728 0 0 0 57838 174 0 0 25 0 1 0 847458847 16818176 2677 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2677 566 18 0 4088 0
vsize: 16424
[startup+590.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2754 0 0 0 58837 175 0 0 25 0 1 0 847458847 16953344 2703 4294967295 134512640 134581267 3221224592 3221223504 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4139 2703 566 18 0 4121 0
vsize: 16556
[startup+600.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2774 0 0 0 59836 176 0 0 25 0 1 0 847458847 17088512 2723 4294967295 134512640 134581267 3221224592 3221223264 1074910624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2723 566 18 0 4154 0
vsize: 16688
[startup+610.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2774 0 0 0 60835 177 0 0 25 0 1 0 847458847 17088512 2723 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2723 566 18 0 4154 0
vsize: 16688
[startup+620.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2774 0 0 0 61834 179 0 0 25 0 1 0 847458847 17088512 2723 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2723 566 18 0 4154 0
vsize: 16688
[startup+630.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2774 0 0 0 62832 180 0 0 25 0 1 0 847458847 17088512 2723 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2723 566 18 0 4154 0
vsize: 16688
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2799 0 0 0 63831 182 0 0 25 0 1 0 847458847 17088512 2748 4294967295 134512640 134581267 3221224592 3221223456 134528293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 2748 566 18 0 4154 0
vsize: 16688
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 64831 182 0 0 25 0 1 0 847458847 17223680 2759 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2759 566 18 0 4187 0
vsize: 16820
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 65829 184 0 0 25 0 1 0 847458847 17223680 2759 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4205 2759 566 18 0 4187 0
vsize: 16820
[startup+670.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 66828 186 0 0 25 0 1 0 847458847 17104896 2752 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 2752 566 18 0 4158 0
vsize: 16704
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 67827 187 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223504 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 68825 188 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 69824 190 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 70822 192 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+720.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 71820 194 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223504 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+730.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2810 0 0 0 72819 196 0 0 25 0 1 0 847458847 17063936 2742 4294967295 134512640 134581267 3221224592 3221223456 134528249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4166 2742 566 18 0 4148 0
vsize: 16664
[startup+740.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2821 0 0 0 73817 197 0 0 25 0 1 0 847458847 17199104 2753 4294967295 134512640 134581267 3221224592 3221223536 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4199 2753 566 18 0 4181 0
vsize: 16796
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 74816 198 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+760.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 75815 200 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223488 134527747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 76813 202 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 77811 204 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 78809 206 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 79808 208 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 80806 210 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 81803 213 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223500 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 82800 216 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 83797 219 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223456 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+850.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 84795 222 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+860.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 85793 224 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 86791 226 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223504 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2860 0 0 0 87788 229 0 0 25 0 1 0 847458847 17330176 2792 4294967295 134512640 134581267 3221224592 3221223456 134560415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2792 566 18 0 4213 0
vsize: 16924
[startup+890.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 88785 232 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 89783 235 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 90778 239 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 91775 243 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 92773 245 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134560322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+940.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 93770 249 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 94765 253 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 95762 256 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223440 134566325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 96758 260 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 97756 263 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 98752 267 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 99751 268 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 100750 270 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 101746 274 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 102742 278 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 103739 281 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528238 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 104735 285 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 105731 289 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 106727 293 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 107724 296 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223536 134559241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 108721 300 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 109718 303 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 110715 306 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 111712 310 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223456 134560409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2867 0 0 0 112712 310 0 0 25 0 1 0 847458847 17330176 2799 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4231 2799 566 18 0 4213 0
vsize: 16924
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2907 0 0 0 113711 311 0 0 25 0 1 0 847458847 17596416 2839 4294967295 134512640 134581267 3221224592 3221223568 134560667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2839 566 18 0 4278 0
vsize: 17184
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2918 0 0 0 114711 311 0 0 25 0 1 0 847458847 17596416 2850 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2850 566 18 0 4278 0
vsize: 17184
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2918 0 0 0 115710 312 0 0 25 0 1 0 847458847 17596416 2850 4294967295 134512640 134581267 3221224592 3221223504 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2850 566 18 0 4278 0
vsize: 17184
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2918 0 0 0 116709 313 0 0 25 0 1 0 847458847 17596416 2850 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2850 566 18 0 4278 0
vsize: 17184
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2918 0 0 0 117708 315 0 0 25 0 1 0 847458847 17444864 2834 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2834 566 18 0 4241 0
vsize: 17036
[startup+1188.85 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3190
Raw data (stat): 3186 (Pueblo-v2) R 3185 20224 20223 0 -1 0 2918 0 0 0 117708 315 0 0 25 0 1 0 847458847 17444864 2834 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2834 566 18 0 4241 0
vsize: 0

Child status: 10
Real time (s): 1188.85
CPU time (s): 1189.03
CPU user time (s): 1185.86
CPU system time (s): 3.16552
CPU usage (%): 100.015
Max. virtual memory (Kb): 17184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	209
#### END VERIFIER DATA ####