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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/logic-synthesis/normalized-exam.pi.opb
MD5SUM3e917561f3935db250fdeb1759fbe81d
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
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 numbers13
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.06784
Number of variables4676
Total number of constraints509
Number of constraints which are clauses509
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint166

Trace number 23480 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 02:33:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=610 boxname=wulflinc31 idbench=68 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3e917561f3935db250fdeb1759fbe81d  /oldhome/oroussel/tmp/wulflinc31/normalized-exam.pi.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-exam.pi.opb
IDLAUNCH: 610
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        915768 kB
Buffers:         41208 kB
Cached:          55224 kB
SwapCached:        944 kB
Active:          80536 kB
Inactive:        18420 kB
HighTotal:      131008 kB
HighFree:        74732 kB
LowTotal:       903652 kB
LowFree:        841036 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14328 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 02:53:14 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 610 0 1189.04 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/wulflinc31/normalized-exam.pi.opb
c #variables read: 4677 - #constraints read: 510
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
Raw data (loadavg): 0.92 0.98 0.99 2/54 8062
Raw data (stat): 8062 (runsolver) R 8061 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653829469 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 850 0 0 0 989 8 0 0 25 0 1 0 653829469 9293824 827 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2269 827 566 18 0 2251 0
vsize: 9076
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 1037 0 0 0 1984 12 0 0 25 0 1 0 653829469 10092544 1014 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2464 1014 566 18 0 2446 0
vsize: 9856
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 1107 0 0 0 2981 16 0 0 25 0 1 0 653829469 10379264 1084 4294967295 134512640 134581331 3221221792 3221220656 134528500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2534 1084 566 18 0 2516 0
vsize: 10136
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 1331 0 0 0 3978 19 0 0 25 0 1 0 653829469 11264000 1308 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2750 1308 566 18 0 2732 0
vsize: 11000
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 1595 0 0 0 4976 22 0 0 25 0 1 0 653829469 12279808 1572 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2998 1572 566 18 0 2980 0
vsize: 11992
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 1997 0 0 0 5974 23 0 0 25 0 1 0 653829469 13959168 1974 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 1974 566 18 0 3390 0
vsize: 13632
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 6973 25 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 7972 26 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 8970 28 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 9968 31 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 10966 32 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 11965 33 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 12965 34 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 13963 36 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220676 134557855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 14960 39 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 15958 41 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 16956 44 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134560320 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 17954 46 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220576 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 18953 47 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 19952 48 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 20951 49 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2011 0 0 0 21950 51 0 0 25 0 1 0 653829469 14061568 1988 4294967295 134512640 134581331 3221221792 3221220704 134527729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1988 566 18 0 3415 0
vsize: 13732
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2019 0 0 0 22948 53 0 0 25 0 1 0 653829469 14061568 1996 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3433 1996 566 18 0 3415 0
vsize: 13732
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2059 0 0 0 23947 54 0 0 25 0 1 0 653829469 14282752 2036 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2036 566 18 0 3469 0
vsize: 13948
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2064 0 0 0 24946 55 0 0 25 0 1 0 653829469 14282752 2041 4294967295 134512640 134581331 3221221792 3221220656 134528446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2041 566 18 0 3469 0
vsize: 13948
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 25946 56 0 0 25 0 1 0 653829469 14389248 2077 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3513 2077 566 18 0 3495 0
vsize: 14052
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 26944 58 0 0 25 0 1 0 653829469 14323712 2069 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2069 566 18 0 3479 0
vsize: 13988
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 27942 59 0 0 25 0 1 0 653829469 14323712 2069 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3497 2069 566 18 0 3479 0
vsize: 13988
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 28941 61 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 29939 63 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 30938 64 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220576 134528769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 31937 66 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 32935 68 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220612 134528700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 33934 69 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 34932 71 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 35930 73 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 36928 76 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 37926 78 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220656 134560242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 38924 80 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2100 0 0 0 39923 81 0 0 25 0 1 0 653829469 14319616 2068 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3496 2068 566 18 0 3478 0
vsize: 13984
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2320 0 0 0 40920 84 0 0 25 0 1 0 653829469 15314944 2288 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3739 2288 566 18 0 3721 0
vsize: 14956
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2498 0 0 0 41918 86 0 0 25 0 1 0 653829469 16019456 2466 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3911 2466 566 18 0 3893 0
vsize: 15644
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2534 0 0 0 42916 88 0 0 25 0 1 0 653829469 16113664 2502 4294967295 134512640 134581331 3221221792 3221220656 134528331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3934 2502 566 18 0 3916 0
vsize: 15736
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2539 0 0 0 43914 90 0 0 25 0 1 0 653829469 16113664 2507 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3934 2507 566 18 0 3916 0
vsize: 15736
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2539 0 0 0 44913 92 0 0 25 0 1 0 653829469 16113664 2507 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3934 2507 566 18 0 3916 0
vsize: 15736
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2539 0 0 0 45912 92 0 0 25 0 1 0 653829469 16113664 2507 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3934 2507 566 18 0 3916 0
vsize: 15736
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 46910 95 0 0 25 0 1 0 653829469 16801792 2649 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4102 2649 566 18 0 4084 0
vsize: 16408
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 47908 97 0 0 25 0 1 0 653829469 16797696 2649 4294967295 134512640 134581331 3221221792 3221220676 134557922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4101 2649 566 18 0 4083 0
vsize: 16404
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 48905 100 0 0 25 0 1 0 653829469 16740352 2649 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2649 566 18 0 4069 0
vsize: 16348
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 49903 102 0 0 25 0 1 0 653829469 16740352 2649 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4087 2649 566 18 0 4069 0
vsize: 16348
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 50899 106 0 0 25 0 1 0 653829469 16429056 2584 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4011 2584 566 18 0 3993 0
vsize: 16044
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 51897 109 0 0 25 0 1 0 653829469 16424960 2583 4294967295 134512640 134581331 3221221792 3221220676 134557928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4010 2583 566 18 0 3992 0
vsize: 16040
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 52895 111 0 0 25 0 1 0 653829469 16424960 2583 4294967295 134512640 134581331 3221221792 3221220576 134528743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4010 2583 566 18 0 3992 0
vsize: 16040
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 53893 114 0 0 25 0 1 0 653829469 16424960 2583 4294967295 134512640 134581331 3221221792 3221220488 1075291622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4010 2583 566 18 0 3992 0
vsize: 16040
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 54890 116 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 55888 118 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 56886 121 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 57884 123 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 58883 124 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 59880 127 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 60879 129 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 61876 132 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+630.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 62873 135 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220732 134559715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 63870 137 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 64868 140 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220688 134527747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 65865 143 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220736 134559200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 66863 145 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 67859 150 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+690.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 68857 152 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 69855 154 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 70853 156 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+720.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 71850 159 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220508 1075289306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+730.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 72847 162 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+740.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 73846 164 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+750.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 74843 166 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220688 134527747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+760.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 75841 169 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 76838 172 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220676 134557884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+780.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 77837 173 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 78835 175 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 79834 176 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+810.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 80832 179 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220736 134559676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 81831 180 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 82829 182 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 83827 184 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 84826 185 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+860.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 85824 188 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+870.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 86822 190 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+880.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 87820 192 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+890.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 88818 194 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+900.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 89817 196 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+910.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 90815 197 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+920.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 91813 200 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+930.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 92811 202 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+940.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 93808 206 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+950.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 94805 209 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 95803 211 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 96801 213 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 97799 215 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220676 134557861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 98797 217 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 99795 220 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 100793 221 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 101791 223 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134560225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 102790 224 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 103789 226 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220736 134559223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 104787 229 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 105785 230 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 106783 233 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 107780 236 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 108777 239 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 109775 241 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 110773 243 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 111772 245 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 112771 246 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 113769 248 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 114768 249 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 115766 251 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220576 134528824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 116765 252 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 117763 254 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 16036
[startup+1188.89 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 8062
Raw data (stat): 8062 (Pueblo) R 8061 7876 7672 0 -1 0 2681 0 0 0 117763 254 0 0 25 0 1 0 653829469 16420864 2582 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 2582 566 18 0 3991 0
vsize: 0

Child status: 10
Real time (s): 1188.89
CPU time (s): 1189.04
CPU user time (s): 1186.47
CPU system time (s): 2.56761
CPU usage (%): 100.013
Max. virtual memory (Kb): 16408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	136
#### END VERIFIER DATA ####