PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-ex5.pi.opb
MD5SUM	ebc55cfc194a279163f52418008eccf2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65
Optimality of the best value was proved	NO
Number of terms in the objective function	2460
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	2460
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2460
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.11783
Number of variables	2459
Total number of constraints	873
Number of constraints which are clauses	873
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	146
Trace number 23475

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 00:37:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=601 boxname=wulflinc31 idbench=67 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ebc55cfc194a279163f52418008eccf2  /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ex5.pi.opb
IDLAUNCH: 601
/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:        916672 kB
Buffers:         41068 kB
Cached:          54752 kB
SwapCached:        944 kB
Active:          80260 kB
Inactive:        18076 kB
HighTotal:      131008 kB
HighFree:        75236 kB
LowTotal:       903652 kB
LowFree:        841436 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14224 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 00:57:17 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 601 0 1189.02 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-ex5.pi.opb
c #variables read: 2460 - #constraints read: 846
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 
#### 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.91 0.96 0.98 2/54 7471
Raw data (stat): 7471 (runsolver) R 7470 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653133692 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.0007 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 748 0 0 0 989 7 0 0 25 0 1 0 653133692 8826880 725 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2155 725 566 18 0 2137 0
vsize: 8620
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 856 0 0 0 1986 10 0 0 25 0 1 0 653133692 9216000 833 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2250 833 566 18 0 2232 0
vsize: 9000
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 879 0 0 0 2981 15 0 0 25 0 1 0 653133692 9326592 856 4294967295 134512640 134581331 3221221808 3221220628 134528700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2277 856 566 18 0 2259 0
vsize: 9108
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 961 0 0 0 3978 18 0 0 25 0 1 0 653133692 9678848 938 4294967295 134512640 134581331 3221221808 3221220672 134528516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2363 938 566 18 0 2345 0
vsize: 9452
[startup+50.003 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 961 0 0 0 4974 23 0 0 25 0 1 0 653133692 9666560 938 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2360 938 566 18 0 2342 0
vsize: 9440
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 990 0 0 0 5972 25 0 0 25 0 1 0 653133692 9777152 967 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2387 967 566 18 0 2369 0
vsize: 9548
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 990 0 0 0 6970 27 0 0 25 0 1 0 653133692 9777152 967 4294967295 134512640 134581331 3221221808 3221220672 134528336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2387 967 566 18 0 2369 0
vsize: 9548
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1015 0 0 0 7969 28 0 0 25 0 1 0 653133692 9895936 992 4294967295 134512640 134581331 3221221808 3221220692 134557809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 992 566 18 0 2398 0
vsize: 9664
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1031 0 0 0 8968 30 0 0 25 0 1 0 653133692 9895936 1008 4294967295 134512640 134581331 3221221808 3221220720 134527778 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1008 566 18 0 2398 0
vsize: 9664
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1034 0 0 0 9967 30 0 0 25 0 1 0 653133692 9895936 1011 4294967295 134512640 134581331 3221221808 3221220672 134528272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1011 566 18 0 2398 0
vsize: 9664
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1055 0 0 0 10966 32 0 0 25 0 1 0 653133692 10027008 1032 4294967295 134512640 134581331 3221221808 3221220672 134528350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1032 566 18 0 2430 0
vsize: 9792
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1055 0 0 0 11964 34 0 0 25 0 1 0 653133692 10027008 1032 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1032 566 18 0 2430 0
vsize: 9792
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1055 0 0 0 12962 36 0 0 25 0 1 0 653133692 10027008 1032 4294967295 134512640 134581331 3221221808 3221220504 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1032 566 18 0 2430 0
vsize: 9792
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1063 0 0 0 13961 37 0 0 25 0 1 0 653133692 10027008 1040 4294967295 134512640 134581331 3221221808 3221220592 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1040 566 18 0 2430 0
vsize: 9792
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1063 0 0 0 14959 39 0 0 25 0 1 0 653133692 10027008 1040 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1040 566 18 0 2430 0
vsize: 9792
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1063 0 0 0 15958 41 0 0 25 0 1 0 653133692 10027008 1040 4294967295 134512640 134581331 3221221808 3221220672 134528267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1040 566 18 0 2430 0
vsize: 9792
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1068 0 0 0 16956 43 0 0 25 0 1 0 653133692 10027008 1045 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1045 566 18 0 2430 0
vsize: 9792
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1117 0 0 0 17954 45 0 0 25 0 1 0 653133692 10293248 1094 4294967295 134512640 134581331 3221221808 3221220592 134528883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1094 566 18 0 2495 0
vsize: 10052
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1140 0 0 0 18953 46 0 0 25 0 1 0 653133692 10428416 1117 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2546 1117 566 18 0 2528 0
vsize: 10184
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1140 0 0 0 19952 47 0 0 25 0 1 0 653133692 10424320 1117 4294967295 134512640 134581331 3221221808 3221220584 1075285701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2545 1117 566 18 0 2527 0
vsize: 10180
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1140 0 0 0 20951 48 0 0 25 0 1 0 653133692 10387456 1117 4294967295 134512640 134581331 3221221808 3221220688 134520219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2536 1117 566 18 0 2518 0
vsize: 10144
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1140 0 0 0 21951 49 0 0 25 0 1 0 653133692 10375168 1117 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2533 1117 566 18 0 2515 0
vsize: 10132
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1140 0 0 0 22950 50 0 0 25 0 1 0 653133692 10366976 1117 4294967295 134512640 134581331 3221221808 3221220672 134528331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2531 1117 566 18 0 2513 0
vsize: 10124
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 23947 53 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 24945 55 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528378 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 25944 57 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220692 134557819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 26942 59 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 27940 61 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 28938 63 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 29937 64 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 30935 66 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 31935 67 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 32934 68 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 33933 69 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 34931 71 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 35930 73 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 36928 75 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134558842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 37927 76 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 38925 77 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134559219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 39924 79 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134560320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 40923 80 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134559377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 41922 82 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 42921 83 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 43920 84 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 44919 85 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220620 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 45918 86 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 46917 87 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 47916 88 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 48914 91 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 49912 93 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 50909 96 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220692 134557809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 51907 98 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 52906 100 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220692 134557932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 53905 101 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220632 134528850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 54903 103 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 55901 105 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134560416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 56899 108 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 57896 110 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220704 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 58895 112 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 59894 113 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 60892 115 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220656 134528554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 61890 117 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 62888 119 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 63887 121 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 64885 123 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 65882 127 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527687 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 66879 129 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 67876 132 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134559117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 68875 134 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134560242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 69871 138 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220584 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 70867 142 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 71865 144 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220692 134557957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 72862 147 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 73859 151 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 74857 153 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 75856 154 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 76854 156 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 77851 159 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220632 134528850 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 78849 161 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 79847 164 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220768 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 80845 166 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 81843 168 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 82841 171 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 83835 176 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220524 1075288331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 84835 177 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 85834 178 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 86831 181 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 87831 182 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134558842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 88829 184 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528323 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 89828 184 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134560477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 90827 185 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220788 134560991 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 91826 187 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 92825 189 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220688 134558100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 93823 190 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 94821 191 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 95820 192 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220592 134528820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 96819 192 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 97819 193 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 98818 195 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 99817 196 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528287 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 100815 197 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 101815 198 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 102814 199 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220720 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 103813 200 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 104811 202 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 105810 203 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 106809 205 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 107808 206 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220672 134528437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 108807 207 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1673 0 0 0 109806 208 0 0 25 0 1 0 653133692 12541952 1650 4294967295 134512640 134581331 3221221808 3221220752 134559362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3062 1650 566 18 0 3044 0
vsize: 12248
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 1876 0 0 0 110806 208 0 0 25 0 1 0 653133692 13344768 1853 4294967295 134512640 134581331 3221221808 3221220640 134528569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3258 1853 566 18 0 3240 0
vsize: 13032
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 111803 211 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220692 134557775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 112801 214 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220672 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 113798 216 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220872 1075514893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 114797 218 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220652 134528557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 115795 220 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220692 134557874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 116794 221 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220720 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 117793 223 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220592 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 13932
[startup+1188.9 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 7471
Raw data (stat): 7471 (Pueblo) R 7470 7876 7672 0 -1 0 2103 0 0 0 117793 223 0 0 25 0 1 0 653133692 14266368 2080 4294967295 134512640 134581331 3221221808 3221220592 134528721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3483 2080 566 18 0 3465 0
vsize: 0

Child status: 10
Real time (s): 1188.9
CPU time (s): 1189.02
CPU user time (s): 1186.78
CPU system time (s): 2.24766
CPU usage (%): 100.01
Max. virtual memory (Kb): 13932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	99
#### END VERIFIER DATA ####