PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/een/normalized-p2756.opb
MD5SUM	f3d955cf36894e7107b7f25ccaa97360
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7463
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	2734
Total number of constraints	738
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	220
Number of constraints which are nor clauses,nor cardinality constraints	386
Minimum length of a constraint	2
Maximum length of a constraint	535
Trace number 25105

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 19:48:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5103 boxname=wulflinc31 idbench=393 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc31/normalized-p2756.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-p2756.opb
IDLAUNCH: 5103
/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:        776780 kB
Buffers:         49716 kB
Cached:         185924 kB
SwapCached:       1952 kB
Active:         194720 kB
Inactive:        44136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776528 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13312 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 20:07:57 (client local time) WITH STATUS 10 IN 1189.03 SECONDS
stats: 5103 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/wulflinc31/normalized-p2756.opb
c #variables read: 2741 - #constraints read: 739
s SATISFIABLE
v -x0 -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 x534 -x535 -x536 -x537 x538 x539 x540 -x541 -x542 -x543 -x544 x545 x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 x949 -x950 x951 -x952 x953 x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 -x1351 -x1352 x1353 x1354 x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 -x1370 x1371 x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 x1436 x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 x1686 x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 x1828 x1829 -x1830 -x1831 -x1832 -x1833 -x1834 x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 x1871 x1872 -x1873 -x1874 x1875 x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 x1895 -x1896 -x1897 x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 x1940 x1941 -x1942 -x1943 -x1944 -x1945 x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 -x2133 -x2134 -x2135 x2136 x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2643 -x2644 -x2640 -x2641 -x2635 x2636 -x2632 -x2633 -x2629 -x2630 -x2626 -x2627 -x2623 -x2624 -x2618 -x2619 -x2614 -x2615 -x2611 x2612 -x2608 -x2609 -x2477 -x2478 -x2474 -x2475 -x2471 -x2472 -x2467 x2468 -x2463 -x2464 -x2555 x2556 -x2560 -x2561 -x2564 x2565 -x2568 -x2569 -x2572 -x2573 -x2583 -x2584 -x2587 -x2588 -x2590 x2591 -x2593 x2594 -x2597 -x2598 -x2604 -x2605 -x2507 x2508 -x2504 -x2505 -x2501 -x2502 -x2498 x2499 -x2494 -x2495 -x2490 -x2491 -x2485 x2486 -x2480 -x2481 -x2458 x2459 -x2453 -x2454 -x2448 -x2449 -x2444 -x2445 -x2437 -x2438 -x2432 x2433 -x2425 -x2426 -x2419 x2420 -x2413 -x2414 -x2405 -x2406 -x2399 x2400 -x2378 -x2379 -x2371 x2372 -x2366 x2367 -x2363 x2364 -x2360 -x2361 -x2357 -x2358 -x2352 -x2353 -x2348 -x2349 -x2345 x2346 -x2342 x2343 -x2331 x2332 -x2328 x2329 -x2325 -x2326 -x2322 -x2323 -x2175 x2176 -x2171 -x2172 -x2250 -x2251 -x2263 -x2264 -x2266 x2267 -x2269 x2270 -x2272 -x2273 -x2276 -x2277 -x2284 x2285 -x2287 x2288 -x2290 -x2291 -x2293 -x2294 -x2296 -x2297 -x2307 x2308 -x2310 -x2311 -x2313 -x2314 -x2317 -x2318 -x2392 -x2393 -x2386 -x2387 -x2235 -x2236 -x2231 -x2232 -x2227 -x2228 -x2223 x2224 -x2219 -x2220 -x2214 -x2215 -x2202 -x2203 -x2198 -x2199 -x2194 x2195 -x2191 x2192 -x2187 x2188 -x2183 -x2184 -x2179 -x2180 -x2166 x2167 -x2246 -x2247 -x2242 x2243 -x2239 x2240 -x2578 -x2404 x2258 x2208 -x2647 -x2256 -x2257 -x2212 -x2190 x2193 -x2390 -x2435 x2752 x2753 -x2301 -x2170 -x2169 -x2173 -x2174 -x2218 -x2217 -x2221 -x2222 x2238 x2241 -x2336 -x2305 -x2648 -x2649 x2340 -x2337 -x2302 -x2754 -x2750 -x2751 x2245 -x2237 -x2216 -x2197 -x2189 -x2168 -x2391 -x2389 -x2394 -x2397 -x2395 -x2396 -x2398 -x2376 -x2375 -x2377 -x2374 -x2380 -x2384 -x2382 -x2383 -x2381 -x2385 -x2338 -x2339 -x2303 -x2304 -x2559 -x2558 -x2562 -x2563 -x2225 x2226 -x2177 -x2178 -x2607 -x2610 -x2628 -x2586 -x2589 -x2489 -x2488 -x2492 -x2493 -x2462 -x2461 -x2465 -x2466 -x2452 -x2455 -x2436 -x2439 -x2442 -x2440 -x2441 -x2443 -x2424 -x2423 -x2422 -x2427 -x2430 -x2428 -x2429 -x2431 -x2412 -x2415 -x2416 -x2204 -x2205 -x2233 -x2234 -x2298 -x2185 -x2186 -x2252 -x2253 x2456 x2457 x2417 x2418 -x2275 -x2278 -x2279 -x2702 x2703 x2704 -x2292 x2320 x2321 -x2295 x2566 x2658 x2659 -x2660 -x2663 -x2662 -x2661 -x2664 -x2403 -x2407 -x2410 -x2408 -x2409 -x2402 -x2411 -x2631 -x2280 -x2282 -x2281 -x2283 -x2274 x2271 -x2670 -x2669 -x2672 -x2671 -x2673 -x2674 -x2675 -x2676 -x2679 -x2678 -x2677 -x2680 -x2312 -x2685 -x2686 -x2687 -x2362 x2592 -x2369 -x2370 x2613 -x2700 -x2701 x2355 x2356 -x2654 -x2653 -x2656 -x2655 -x2657 x2543 x2544 -x2447 -x2450 -x2451 -x2697 x2698 x2699 -x2551 -x2552 -x2710 -x2709 -x2712 -x2711 -x2713 -x2726 -x2725 -x2728 -x2727 -x2729 x2347 -x2690 x2691 x2692 x2688 x2689 -x2716 -x2718 -x2717 -x2719 x2714 x2715 -x2732 -x2734 -x2733 -x2735 x2299 x2300 -x2327 -x2334 -x2335 -x2730 -x2731 -x2341 x2344 -x2681 -x2682 x2373 -x2683 -x2684 -x2359 -x2606 x2651 x2652 -x2625 x2388 -x2693 -x2694 -x2720 -x2721 -x2722 x2401 -x2324 x2309 -x2665 -x2666 x2421 -x2667 -x2668 x2557 x2434 -x2446 x2289 -x2695 -x2696 x2268 -x2723 -x2724 -x2645 -x2736 -x2737 -x2201 -x2513 -x2705 -x2706 -x2249 -x2585 x2707 x2708 -x2210 -x2254 -x2260 -x2206 -x2181 -x2229 -x2230 -x2571 -x2575 -x2574 -x2576 -x2596 x2599 -x2600 -x2514 -x2182 -x2637 -x2482 x2286 -x2617 -x2620 -x2262 -x2265 -x2509 -x2740 -x2741 x2746 x2747 -x2567 -x2570 -x2316 -x2319 -x2333 -x2351 -x2354 -x2638 -x2639 -x2368 -x2634 -x2621 -x2622 -x2601 -x2602 -x2603 -x2595 -x2616 -x2577 -x2581 -x2580 -x2579 -x2582 -x2315 -x2642 -x2365 -x2534 -x2535 -x2536 -x2521 -x2525 -x2523 -x2524 -x2522 -x2526 -x2350 x2515 -x2330 -x2512 x2744 -x2745 -x2738 -x2739 x2547 x2548 -x2549 -x2550 x2553 -x2554 -x2742 -x2743 -x2748 -x2749 x2460 x2469 x2487 -x2496 -x2545 -x2546 x2541 x2542 -x2539 -x2540 x2537 -x2538 x2532 x2533 x2530 x2531 -x2527 -x2528 -x2529 x2519 x2520 -x2516 -x2517 -x2518 -x2497 x2500 -x2470 -x2473 -x2510 -x2511 x2483 x2484 -x2506 -x2479 -x2503 -x2476 
#### 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.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (runsolver) R 16591 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763730392 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1035 0 0 0 992 4 0 0 25 0 1 0 763730392 9969664 1012 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2434 1012 566 18 0 2416 0
vsize: 9736
[startup+20.0001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1092 0 0 0 1991 5 0 0 25 0 1 0 763730392 10223616 1069 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2496 1069 566 18 0 2478 0
vsize: 9984
[startup+30.0015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1202 0 0 0 2991 6 0 0 25 0 1 0 763730392 10596352 1179 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2587 1179 566 18 0 2569 0
vsize: 10348
[startup+40.002 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1253 0 0 0 3990 7 0 0 25 0 1 0 763730392 10858496 1230 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2651 1230 566 18 0 2633 0
vsize: 10604
[startup+50.003 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1253 0 0 0 4990 7 0 0 25 0 1 0 763730392 10858496 1230 4294967295 134512640 134581331 3221221808 3221220672 134528381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2651 1230 566 18 0 2633 0
vsize: 10604
[startup+60.0033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1254 0 0 0 5989 8 0 0 25 0 1 0 763730392 10858496 1231 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2651 1231 566 18 0 2633 0
vsize: 10604
[startup+70.0038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1256 0 0 0 6989 8 0 0 25 0 1 0 763730392 10858496 1233 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2651 1233 566 18 0 2633 0
vsize: 10604
[startup+80.0048 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1274 0 0 0 7989 9 0 0 25 0 1 0 763730392 10858496 1251 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2651 1251 566 18 0 2633 0
vsize: 10604
[startup+90.0051 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1281 0 0 0 8988 9 0 0 25 0 1 0 763730392 10989568 1258 4294967295 134512640 134581331 3221221808 3221220592 134528826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2683 1258 566 18 0 2665 0
vsize: 10732
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1282 0 0 0 9988 10 0 0 25 0 1 0 763730392 10989568 1259 4294967295 134512640 134581331 3221221808 3221220672 134528334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2683 1259 566 18 0 2665 0
vsize: 10732
[startup+110.006 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1309 0 0 0 10987 11 0 0 25 0 1 0 763730392 11112448 1286 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2713 1286 566 18 0 2695 0
vsize: 10852
[startup+120.006 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1309 0 0 0 11986 12 0 0 25 0 1 0 763730392 11108352 1286 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2712 1286 566 18 0 2694 0
vsize: 10848
[startup+130.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1309 0 0 0 12985 13 0 0 25 0 1 0 763730392 11104256 1286 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2711 1286 566 18 0 2693 0
vsize: 10844
[startup+140.006 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1309 0 0 0 13985 13 0 0 25 0 1 0 763730392 11051008 1286 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1286 566 18 0 2680 0
vsize: 10792
[startup+150.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1309 0 0 0 14984 14 0 0 25 0 1 0 763730392 11051008 1286 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1286 566 18 0 2680 0
vsize: 10792
[startup+160.006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1318 0 0 0 15984 15 0 0 25 0 1 0 763730392 11051008 1295 4294967295 134512640 134581331 3221221808 3221220720 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2698 1295 566 18 0 2680 0
vsize: 10792
[startup+170.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1334 0 0 0 16984 15 0 0 25 0 1 0 763730392 11186176 1311 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2731 1311 566 18 0 2713 0
vsize: 10924
[startup+180.008 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1362 0 0 0 17983 15 0 0 25 0 1 0 763730392 11321344 1339 4294967295 134512640 134581331 3221221808 3221220720 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2764 1339 566 18 0 2746 0
vsize: 11056
[startup+190.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 18982 17 0 0 25 0 1 0 763730392 11436032 1367 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2792 1367 566 18 0 2774 0
vsize: 11168
[startup+200.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 19981 17 0 0 25 0 1 0 763730392 11436032 1367 4294967295 134512640 134581331 3221221808 3221220720 134527987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2792 1367 566 18 0 2774 0
vsize: 11168
[startup+210.008 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 20981 18 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+220.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 21981 18 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+230.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 22981 19 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 23980 19 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 24980 20 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1390 0 0 0 25980 20 0 0 25 0 1 0 763730392 11366400 1367 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2775 1367 566 18 0 2757 0
vsize: 11100
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1403 0 0 0 26979 21 0 0 25 0 1 0 763730392 11497472 1380 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2807 1380 566 18 0 2789 0
vsize: 11228
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1486 0 0 0 27978 22 0 0 25 0 1 0 763730392 11747328 1463 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2868 1463 566 18 0 2850 0
vsize: 11472
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1486 0 0 0 28978 23 0 0 25 0 1 0 763730392 11747328 1463 4294967295 134512640 134581331 3221221808 3221220784 134560724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2868 1463 566 18 0 2850 0
vsize: 11472
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1486 0 0 0 29976 24 0 0 25 0 1 0 763730392 11747328 1463 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2868 1463 566 18 0 2850 0
vsize: 11472
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1486 0 0 0 30976 24 0 0 25 0 1 0 763730392 11747328 1463 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2868 1463 566 18 0 2850 0
vsize: 11472
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1573 0 0 0 31975 25 0 0 25 0 1 0 763730392 12132352 1550 4294967295 134512640 134581331 3221221808 3221220720 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1550 566 18 0 2944 0
vsize: 11848
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1574 0 0 0 32975 26 0 0 25 0 1 0 763730392 12132352 1551 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1551 566 18 0 2944 0
vsize: 11848
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1574 0 0 0 33974 26 0 0 25 0 1 0 763730392 12132352 1551 4294967295 134512640 134581331 3221221808 3221220720 134527955 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1551 566 18 0 2944 0
vsize: 11848
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1574 0 0 0 34973 28 0 0 25 0 1 0 763730392 12132352 1551 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1551 566 18 0 2944 0
vsize: 11848
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1574 0 0 0 35973 28 0 0 25 0 1 0 763730392 12132352 1551 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2962 1551 566 18 0 2944 0
vsize: 11848
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 36972 29 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 37972 29 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 38972 30 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 39971 30 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220752 134559093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 40970 32 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220592 134528804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 41969 33 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220672 134528437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+430.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 42968 34 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 43968 35 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 44967 36 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220672 134527168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 45965 37 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 46965 37 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1716 0 0 0 47965 38 0 0 25 0 1 0 763730392 12767232 1693 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3117 1693 566 18 0 3099 0
vsize: 12468
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1863 0 0 0 48964 39 0 0 25 0 1 0 763730392 13365248 1840 4294967295 134512640 134581331 3221221808 3221220720 134527481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3263 1840 566 18 0 3245 0
vsize: 13052
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1874 0 0 0 49963 39 0 0 25 0 1 0 763730392 13365248 1851 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3263 1851 566 18 0 3245 0
vsize: 13052
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1937 0 0 0 50963 40 0 0 25 0 1 0 763730392 13611008 1914 4294967295 134512640 134581331 3221221808 3221220720 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3323 1914 566 18 0 3305 0
vsize: 13292
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1980 0 0 0 51962 41 0 0 25 0 1 0 763730392 13852672 1957 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3382 1957 566 18 0 3364 0
vsize: 13528
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 1996 0 0 0 52962 42 0 0 25 0 1 0 763730392 13852672 1973 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3382 1973 566 18 0 3364 0
vsize: 13528
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 53961 42 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+550.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 54960 43 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220704 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 55959 45 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 56958 45 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 57957 46 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 58957 47 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 59956 48 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 60956 48 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2030 0 0 0 61955 49 0 0 25 0 1 0 763730392 13967360 2007 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3410 2007 566 18 0 3392 0
vsize: 13640
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2054 0 0 0 62954 51 0 0 25 0 1 0 763730392 14098432 2031 4294967295 134512640 134581331 3221221808 3221220720 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3442 2031 566 18 0 3424 0
vsize: 13768
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2138 0 0 0 63953 51 0 0 25 0 1 0 763730392 14462976 2115 4294967295 134512640 134581331 3221221808 3221220720 134527639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3531 2115 566 18 0 3513 0
vsize: 14124
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 64953 52 0 0 25 0 1 0 763730392 14594048 2135 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2135 566 18 0 3545 0
vsize: 14252
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 65953 52 0 0 25 0 1 0 763730392 14594048 2135 4294967295 134512640 134581331 3221221808 3221220688 134520244 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2135 566 18 0 3545 0
vsize: 14252
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 66952 53 0 0 25 0 1 0 763730392 14594048 2135 4294967295 134512640 134581331 3221221808 3221220720 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2135 566 18 0 3545 0
vsize: 14252
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 67951 54 0 0 25 0 1 0 763730392 14594048 2135 4294967295 134512640 134581331 3221221808 3221220720 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2135 566 18 0 3545 0
vsize: 14252
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 68951 55 0 0 25 0 1 0 763730392 14594048 2135 4294967295 134512640 134581331 3221221808 3221220720 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3563 2135 566 18 0 3545 0
vsize: 14252
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 69949 56 0 0 25 0 1 0 763730392 14589952 2135 4294967295 134512640 134581331 3221221808 3221220720 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3562 2135 566 18 0 3544 0
vsize: 14248
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 16592
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 70948 57 0 0 25 0 1 0 763730392 14581760 2135 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2135 566 18 0 3542 0
vsize: 14240
[startup+720.492 s]
Raw data (loadavg): 1.08 1.02 1.01 2/57 16600
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 71989 62 0 0 25 0 1 0 763730392 14577664 2135 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3559 2135 566 18 0 3541 0
vsize: 14236
[startup+730.776 s]
Raw data (loadavg): 1.22 1.05 1.02 3/58 16636
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 73015 64 0 0 25 0 1 0 763730392 14577664 2135 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2135 566 18 0 3541 0
vsize: 14236
[startup+740.777 s]
Raw data (loadavg): 1.33 1.08 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 74015 65 0 0 25 0 1 0 763730392 14577664 2135 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2135 566 18 0 3541 0
vsize: 14236
[startup+750.777 s]
Raw data (loadavg): 1.28 1.08 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 75015 65 0 0 25 0 1 0 763730392 14565376 2135 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2135 566 18 0 3538 0
vsize: 14224
[startup+760.777 s]
Raw data (loadavg): 1.24 1.07 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2158 0 0 0 76014 65 0 0 25 0 1 0 763730392 14565376 2135 4294967295 134512640 134581331 3221221808 3221220720 134527709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2135 566 18 0 3538 0
vsize: 14224
[startup+770.777 s]
Raw data (loadavg): 1.20 1.07 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2166 0 0 0 77014 66 0 0 25 0 1 0 763730392 14565376 2143 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2143 566 18 0 3538 0
vsize: 14224
[startup+780.778 s]
Raw data (loadavg): 1.17 1.07 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2166 0 0 0 78014 66 0 0 25 0 1 0 763730392 14565376 2143 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2143 566 18 0 3538 0
vsize: 14224
[startup+790.778 s]
Raw data (loadavg): 1.14 1.06 1.02 2/55 16645
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2166 0 0 0 79014 67 0 0 25 0 1 0 763730392 14565376 2143 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2143 566 18 0 3538 0
vsize: 14224
[startup+800.778 s]
Raw data (loadavg): 1.12 1.06 1.02 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2166 0 0 0 80014 67 0 0 25 0 1 0 763730392 14565376 2143 4294967295 134512640 134581331 3221221808 3221220720 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2143 566 18 0 3538 0
vsize: 14224
[startup+810.779 s]
Raw data (loadavg): 1.10 1.06 1.02 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2166 0 0 0 81013 68 0 0 25 0 1 0 763730392 14565376 2143 4294967295 134512640 134581331 3221221808 3221220720 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2143 566 18 0 3538 0
vsize: 14224
[startup+820.779 s]
Raw data (loadavg): 1.09 1.06 1.02 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 82013 68 0 0 25 0 1 0 763730392 14680064 2157 4294967295 134512640 134581331 3221221808 3221220720 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2157 566 18 0 3566 0
vsize: 14336
[startup+830.78 s]
Raw data (loadavg): 1.07 1.05 1.02 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 83013 68 0 0 25 0 1 0 763730392 14651392 2157 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2157 566 18 0 3559 0
vsize: 14308
[startup+840.78 s]
Raw data (loadavg): 1.06 1.05 1.02 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 84013 68 0 0 25 0 1 0 763730392 14651392 2157 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3577 2157 566 18 0 3559 0
vsize: 14308
[startup+850.781 s]
Raw data (loadavg): 1.05 1.05 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 85013 69 0 0 25 0 1 0 763730392 14647296 2157 4294967295 134512640 134581331 3221221808 3221220720 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2157 566 18 0 3558 0
vsize: 14304
[startup+860.782 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 86013 69 0 0 25 0 1 0 763730392 14647296 2157 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2157 566 18 0 3558 0
vsize: 14304
[startup+870.781 s]
Raw data (loadavg): 1.04 1.05 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 87013 69 0 0 25 0 1 0 763730392 14647296 2157 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2157 566 18 0 3558 0
vsize: 14304
[startup+880.783 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2180 0 0 0 88013 70 0 0 25 0 1 0 763730392 14647296 2157 4294967295 134512640 134581331 3221221808 3221220720 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2157 566 18 0 3558 0
vsize: 14304
[startup+890.782 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 89013 70 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220776 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+900.782 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 90013 70 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+910.783 s]
Raw data (loadavg): 1.02 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 91013 70 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+920.783 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 92013 70 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+930.783 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 93013 70 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+940.783 s]
Raw data (loadavg): 1.01 1.03 1.01 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 94013 71 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+950.783 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 95012 71 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+960.784 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 96013 71 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+970.784 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 97012 71 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+980.784 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 98012 72 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+990.784 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 99012 72 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220624 134528701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1000.78 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 100012 72 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1010.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 101011 73 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1020.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 102011 74 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1030.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16647
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 103011 74 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220672 134528344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1040.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 104011 74 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1050.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 105010 75 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1060.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 106010 75 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1070.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 107010 75 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1080.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 108010 76 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1090.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 109010 76 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1100.79 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 110010 76 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1110.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2186 0 0 0 111010 76 0 0 25 0 1 0 763730392 14647296 2163 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2163 566 18 0 3558 0
vsize: 14304
[startup+1120.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2205 0 0 0 112010 77 0 0 25 0 1 0 763730392 14770176 2182 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3606 2182 566 18 0 3588 0
vsize: 14424
[startup+1130.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2233 0 0 0 113010 77 0 0 25 0 1 0 763730392 14893056 2210 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2210 566 18 0 3618 0
vsize: 14544
[startup+1140.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2243 0 0 0 114010 77 0 0 25 0 1 0 763730392 14893056 2220 4294967295 134512640 134581331 3221221808 3221220720 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2220 566 18 0 3618 0
vsize: 14544
[startup+1150.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2258 0 0 0 115010 77 0 0 25 0 1 0 763730392 14893056 2235 4294967295 134512640 134581331 3221221808 3221220736 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2235 566 18 0 3618 0
vsize: 14544
[startup+1160.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2258 0 0 0 116009 78 0 0 25 0 1 0 763730392 14893056 2235 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2235 566 18 0 3618 0
vsize: 14544
[startup+1170.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2258 0 0 0 117009 78 0 0 25 0 1 0 763730392 14893056 2235 4294967295 134512640 134581331 3221221808 3221220720 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2235 566 18 0 3618 0
vsize: 14544
[startup+1180.79 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2258 0 0 0 118009 79 0 0 25 0 1 0 763730392 14893056 2235 4294967295 134512640 134581331 3221221808 3221220704 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2235 566 18 0 3618 0
vsize: 14544
[startup+1188.93 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 16649
Raw data (stat): 16592 (Pueblo) R 16591 7876 7672 0 -1 0 2258 0 0 0 118009 79 0 0 25 0 1 0 763730392 14893056 2235 4294967295 134512640 134581331 3221221808 3221220704 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3636 2235 566 18 0 3618 0
vsize: 0

Child status: 10
Real time (s): 1188.93
CPU time (s): 1189.03
CPU user time (s): 1188.23
CPU system time (s): 0.799878
CPU usage (%): 100.008
Max. virtual memory (Kb): 14544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7463
#### END VERIFIER DATA ####