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 38633

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 15:21:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26663 boxname=wulflinc5 idbench=393 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc5/normalized-p2756.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-p2756.opb
IDLAUNCH: 26663
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        776728 kB
Buffers:         34860 kB
Cached:         200124 kB
SwapCached:        568 kB
Active:          26660 kB
Inactive:       210348 kB
HighTotal:      131008 kB
HighFree:        27972 kB
LowTotal:       903652 kB
LowFree:        748756 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15336 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 15:40:57 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26663 0 1189.01 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/wulflinc5/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 1/54 6159
Raw data (stat): 6159 (runsolver) R 6158 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850824701 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1232 0 0 0 993 5 0 0 25 0 1 0 850824701 10670080 1206 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2605 1206 566 18 0 2587 0
vsize: 10420
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1278 0 0 0 1991 8 0 0 25 0 1 0 850824701 10924032 1251 4294967295 134512640 134581267 3221224592 3221223456 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2667 1251 566 18 0 2649 0
vsize: 10668
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1370 0 0 0 2990 9 0 0 25 0 1 0 850824701 11317248 1343 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2763 1343 566 18 0 2745 0
vsize: 11052
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1396 0 0 0 3989 10 0 0 25 0 1 0 850824701 11448320 1369 4294967295 134512640 134581267 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2795 1369 566 18 0 2777 0
vsize: 11180
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1429 0 0 0 4987 12 0 0 25 0 1 0 850824701 11579392 1402 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2827 1402 566 18 0 2809 0
vsize: 11308
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1522 0 0 0 5987 13 0 0 25 0 1 0 850824701 11972608 1495 4294967295 134512640 134581267 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2923 1495 566 18 0 2905 0
vsize: 11692
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1522 0 0 0 6986 13 0 0 25 0 1 0 850824701 11763712 1474 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2872 1474 566 18 0 2854 0
vsize: 11488
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1571 0 0 0 7985 15 0 0 25 0 1 0 850824701 12025856 1523 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 1523 566 18 0 2918 0
vsize: 11744
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1578 0 0 0 8985 15 0 0 25 0 1 0 850824701 12025856 1530 4294967295 134512640 134581267 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 1530 566 18 0 2918 0
vsize: 11744
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1613 0 0 0 9984 16 0 0 25 0 1 0 850824701 12156928 1565 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2968 1565 566 18 0 2950 0
vsize: 11872
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1621 0 0 0 10983 17 0 0 25 0 1 0 850824701 12079104 1551 4294967295 134512640 134581267 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2949 1551 566 18 0 2931 0
vsize: 11796
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1623 0 0 0 11982 18 0 0 25 0 1 0 850824701 12206080 1552 4294967295 134512640 134581267 3221224592 3221223280 1075289393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2980 1552 566 18 0 2962 0
vsize: 11920
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1623 0 0 0 12981 20 0 0 25 0 1 0 850824701 12169216 1552 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2971 1552 566 18 0 2953 0
vsize: 11884
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1623 0 0 0 13979 22 0 0 25 0 1 0 850824701 12156928 1552 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2968 1552 566 18 0 2950 0
vsize: 11872
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1674 0 0 0 14978 23 0 0 25 0 1 0 850824701 12386304 1603 4294967295 134512640 134581267 3221224592 3221223488 134517792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 1603 566 18 0 3006 0
vsize: 12096
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1674 0 0 0 15975 27 0 0 25 0 1 0 850824701 12386304 1603 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 1603 566 18 0 3006 0
vsize: 12096
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1691 0 0 0 16972 29 0 0 25 0 1 0 850824701 12386304 1620 4294967295 134512640 134581267 3221224592 3221223456 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3024 1620 566 18 0 3006 0
vsize: 12096
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1701 0 0 0 17969 32 0 0 25 0 1 0 850824701 12517376 1630 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 1630 566 18 0 3038 0
vsize: 12224
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1713 0 0 0 18967 35 0 0 25 0 1 0 850824701 12517376 1642 4294967295 134512640 134581267 3221224592 3221223572 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 1642 566 18 0 3038 0
vsize: 12224
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1713 0 0 0 19964 38 0 0 25 0 1 0 850824701 12517376 1642 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 1642 566 18 0 3038 0
vsize: 12224
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1722 0 0 0 20962 41 0 0 25 0 1 0 850824701 12517376 1651 4294967295 134512640 134581267 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3056 1651 566 18 0 3038 0
vsize: 12224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1759 0 0 0 21959 44 0 0 25 0 1 0 850824701 12648448 1688 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3088 1688 566 18 0 3070 0
vsize: 12352
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1765 0 0 0 22955 47 0 0 25 0 1 0 850824701 12746752 1694 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3112 1694 566 18 0 3094 0
vsize: 12448
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1765 0 0 0 23952 51 0 0 25 0 1 0 850824701 12738560 1694 4294967295 134512640 134581267 3221224592 3221223504 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3110 1694 566 18 0 3092 0
vsize: 12440
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1765 0 0 0 24948 55 0 0 25 0 1 0 850824701 12734464 1694 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3109 1694 566 18 0 3091 0
vsize: 12436
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1765 0 0 0 25945 59 0 0 25 0 1 0 850824701 12734464 1694 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3109 1694 566 18 0 3091 0
vsize: 12436
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1776 0 0 0 26941 63 0 0 25 0 1 0 850824701 12734464 1705 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3109 1705 566 18 0 3091 0
vsize: 12436
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1798 0 0 0 27938 65 0 0 25 0 1 0 850824701 12865536 1727 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1727 566 18 0 3123 0
vsize: 12564
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1811 0 0 0 28935 69 0 0 25 0 1 0 850824701 12865536 1740 4294967295 134512640 134581267 3221224592 3221223500 1075289601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1740 566 18 0 3123 0
vsize: 12564
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1811 0 0 0 29932 72 0 0 25 0 1 0 850824701 12865536 1740 4294967295 134512640 134581267 3221224592 3221223288 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1740 566 18 0 3123 0
vsize: 12564
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1811 0 0 0 30929 76 0 0 25 0 1 0 850824701 12865536 1740 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1740 566 18 0 3123 0
vsize: 12564
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1811 0 0 0 31926 78 0 0 25 0 1 0 850824701 12865536 1740 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1740 566 18 0 3123 0
vsize: 12564
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1814 0 0 0 32924 81 0 0 25 0 1 0 850824701 12988416 1743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3171 1743 566 18 0 3153 0
vsize: 12684
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1814 0 0 0 33921 84 0 0 25 0 1 0 850824701 12939264 1743 4294967295 134512640 134581267 3221224592 3221223536 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 1743 566 18 0 3141 0
vsize: 12636
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1814 0 0 0 34919 86 0 0 25 0 1 0 850824701 12939264 1743 4294967295 134512640 134581267 3221224592 3221223280 1075288644 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3159 1743 566 18 0 3141 0
vsize: 12636
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1814 0 0 0 35916 89 0 0 25 0 1 0 850824701 12935168 1743 4294967295 134512640 134581267 3221224592 3221223504 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3158 1743 566 18 0 3140 0
vsize: 12632
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1814 0 0 0 36913 92 0 0 25 0 1 0 850824701 12935168 1743 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3158 1743 566 18 0 3140 0
vsize: 12632
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1872 0 0 0 37911 95 0 0 25 0 1 0 850824701 13189120 1801 4294967295 134512640 134581267 3221224592 3221223552 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1801 566 18 0 3202 0
vsize: 12880
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1872 0 0 0 38908 98 0 0 25 0 1 0 850824701 13189120 1801 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1801 566 18 0 3202 0
vsize: 12880
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1872 0 0 0 39906 100 0 0 25 0 1 0 850824701 13189120 1801 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1801 566 18 0 3202 0
vsize: 12880
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1872 0 0 0 40904 102 0 0 25 0 1 0 850824701 13189120 1801 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1801 566 18 0 3202 0
vsize: 12880
[startup+420.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1876 0 0 0 41901 105 0 0 25 0 1 0 850824701 13189120 1805 4294967295 134512640 134581267 3221224592 3221223368 1075285921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1805 566 18 0 3202 0
vsize: 12880
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1877 0 0 0 42899 108 0 0 25 0 1 0 850824701 13189120 1806 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1806 566 18 0 3202 0
vsize: 12880
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1878 0 0 0 43897 109 0 0 25 0 1 0 850824701 13189120 1807 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1807 566 18 0 3202 0
vsize: 12880
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1878 0 0 0 44895 112 0 0 25 0 1 0 850824701 13189120 1807 4294967295 134512640 134581267 3221224592 3221223488 134517743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1807 566 18 0 3202 0
vsize: 12880
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1878 0 0 0 45893 114 0 0 25 0 1 0 850824701 13189120 1807 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1807 566 18 0 3202 0
vsize: 12880
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1884 0 0 0 46890 117 0 0 25 0 1 0 850824701 13189120 1813 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1813 566 18 0 3202 0
vsize: 12880
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1884 0 0 0 47888 119 0 0 25 0 1 0 850824701 13189120 1813 4294967295 134512640 134581267 3221224592 3221223504 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1813 566 18 0 3202 0
vsize: 12880
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1884 0 0 0 48886 122 0 0 25 0 1 0 850824701 13189120 1813 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1813 566 18 0 3202 0
vsize: 12880
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1885 0 0 0 49883 125 0 0 25 0 1 0 850824701 13189120 1814 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1814 566 18 0 3202 0
vsize: 12880
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1885 0 0 0 50881 127 0 0 25 0 1 0 850824701 13189120 1814 4294967295 134512640 134581267 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3220 1814 566 18 0 3202 0
vsize: 12880
[startup+520.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1939 0 0 0 51879 129 0 0 25 0 1 0 850824701 13451264 1868 4294967295 134512640 134581267 3221224592 3221223272 1075289641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1868 566 18 0 3266 0
vsize: 13136
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1940 0 0 0 52875 133 0 0 25 0 1 0 850824701 13451264 1869 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1869 566 18 0 3266 0
vsize: 13136
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1941 0 0 0 53873 136 0 0 25 0 1 0 850824701 13451264 1870 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1870 566 18 0 3266 0
vsize: 13136
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1942 0 0 0 54870 138 0 0 25 0 1 0 850824701 13451264 1871 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1871 566 18 0 3266 0
vsize: 13136
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1942 0 0 0 55868 141 0 0 25 0 1 0 850824701 13451264 1871 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1871 566 18 0 3266 0
vsize: 13136
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 56864 145 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223456 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 57862 147 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 58860 150 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223504 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 59856 154 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+610.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 60853 157 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223456 134528312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 61849 161 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 62846 164 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223504 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1943 0 0 0 63844 167 0 0 25 0 1 0 850824701 13451264 1872 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1872 566 18 0 3266 0
vsize: 13136
[startup+650.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1945 0 0 0 64841 170 0 0 25 0 1 0 850824701 13451264 1874 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1874 566 18 0 3266 0
vsize: 13136
[startup+660.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1946 0 0 0 65838 173 0 0 25 0 1 0 850824701 13451264 1875 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1875 566 18 0 3266 0
vsize: 13136
[startup+670.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1947 0 0 0 66836 175 0 0 25 0 1 0 850824701 13451264 1876 4294967295 134512640 134581267 3221224592 3221223584 134560734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1876 566 18 0 3266 0
vsize: 13136
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 67834 178 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223552 134516745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+690.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 68831 180 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223456 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+700.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 69828 184 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 70824 188 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 71822 191 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223456 134528326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 1950 0 0 0 72819 194 0 0 25 0 1 0 850824701 13451264 1879 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3284 1879 566 18 0 3266 0
vsize: 13136
[startup+740.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2018 0 0 0 73816 197 0 0 25 0 1 0 850824701 13713408 1947 4294967295 134512640 134581267 3221224592 3221223664 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 1947 566 18 0 3330 0
vsize: 13392
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2019 0 0 0 74813 200 0 0 25 0 1 0 850824701 13713408 1948 4294967295 134512640 134581267 3221224592 3221223536 134558901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 1948 566 18 0 3330 0
vsize: 13392
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2020 0 0 0 75810 203 0 0 25 0 1 0 850824701 13713408 1949 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3348 1949 566 18 0 3330 0
vsize: 13392
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2028 0 0 0 76809 205 0 0 25 0 1 0 850824701 13844480 1957 4294967295 134512640 134581267 3221224592 3221223504 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 1957 566 18 0 3362 0
vsize: 13520
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2028 0 0 0 77805 208 0 0 25 0 1 0 850824701 13819904 1957 4294967295 134512640 134581267 3221224592 3221223536 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 1957 566 18 0 3356 0
vsize: 13496
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2028 0 0 0 78802 211 0 0 25 0 1 0 850824701 13819904 1957 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 1957 566 18 0 3356 0
vsize: 13496
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 79800 214 0 0 25 0 1 0 850824701 13819904 1959 4294967295 134512640 134581267 3221224592 3221223368 1075285778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3374 1959 566 18 0 3356 0
vsize: 13496
[startup+810.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 80798 216 0 0 25 0 1 0 850824701 13791232 1959 4294967295 134512640 134581267 3221224592 3221223456 134528380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1959 566 18 0 3349 0
vsize: 13468
[startup+820.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 81795 219 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223552 134516723 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+830.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 82793 221 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+840.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 83790 225 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+850.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 84787 228 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223456 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 85784 231 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223560 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 86782 234 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2030 0 0 0 87779 236 0 0 25 0 1 0 850824701 13758464 1959 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 1959 566 18 0 3341 0
vsize: 13436
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 88777 239 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 89774 241 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+910.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 90771 245 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+920.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 91768 248 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+930.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 92765 251 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+940.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 93764 253 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+950.025 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 94761 256 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+960.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 95759 259 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+970.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 96756 262 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+980.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 97754 264 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+990.027 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 98752 266 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1000.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 99749 269 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1010.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 100747 272 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1020.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 101744 275 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1030.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 102742 277 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1040.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 103740 279 0 0 25 0 1 0 850824701 13889536 1990 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3391 1990 566 18 0 3373 0
vsize: 13564
[startup+1050.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2061 0 0 0 104737 282 0 0 25 0 1 0 850824701 13885440 1990 4294967295 134512640 134581267 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3390 1990 566 18 0 3372 0
vsize: 13560
[startup+1060.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2108 0 0 0 105734 286 0 0 25 0 1 0 850824701 14147584 2037 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2037 566 18 0 3436 0
vsize: 13816
[startup+1070.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2108 0 0 0 106731 289 0 0 25 0 1 0 850824701 14139392 2037 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3452 2037 566 18 0 3434 0
vsize: 13808
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2124 0 0 0 107727 293 0 0 25 0 1 0 850824701 14139392 2053 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3452 2053 566 18 0 3434 0
vsize: 13808
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2124 0 0 0 108724 296 0 0 25 0 1 0 850824701 14139392 2053 4294967295 134512640 134581267 3221224592 3221223456 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3452 2053 566 18 0 3434 0
vsize: 13808
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2124 0 0 0 109721 299 0 0 25 0 1 0 850824701 14139392 2053 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3452 2053 566 18 0 3434 0
vsize: 13808
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2131 0 0 0 110718 303 0 0 25 0 1 0 850824701 14270464 2060 4294967295 134512640 134581267 3221224592 3221223456 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2060 566 18 0 3466 0
vsize: 13936
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2134 0 0 0 111715 305 0 0 25 0 1 0 850824701 14270464 2063 4294967295 134512640 134581267 3221224592 3221223504 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2063 566 18 0 3466 0
vsize: 13936
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2135 0 0 0 112712 309 0 0 25 0 1 0 850824701 14270464 2064 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2064 566 18 0 3466 0
vsize: 13936
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2135 0 0 0 113711 310 0 0 25 0 1 0 850824701 14270464 2064 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2064 566 18 0 3466 0
vsize: 13936
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2135 0 0 0 114708 313 0 0 25 0 1 0 850824701 14270464 2064 4294967295 134512640 134581267 3221224592 3221223456 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2064 566 18 0 3466 0
vsize: 13936
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2138 0 0 0 115707 315 0 0 25 0 1 0 850824701 14270464 2067 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2067 566 18 0 3466 0
vsize: 13936
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2138 0 0 0 116704 317 0 0 25 0 1 0 850824701 14270464 2067 4294967295 134512640 134581267 3221224592 3221223228 1075288779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2067 566 18 0 3466 0
vsize: 13936
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2138 0 0 0 117702 320 0 0 25 0 1 0 850824701 14270464 2067 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2067 566 18 0 3466 0
vsize: 13936
[startup+1188.82 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 6159
Raw data (stat): 6159 (Pueblo-v2) R 6158 7266 7265 0 -1 0 2138 0 0 0 117702 320 0 0 25 0 1 0 850824701 14270464 2067 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3484 2067 566 18 0 3466 0
vsize: 0

Child status: 10
Real time (s): 1188.82
CPU time (s): 1189.01
CPU user time (s): 1185.79
CPU system time (s): 3.22851
CPU usage (%): 100.016
Max. virtual memory (Kb): 13936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	9194
#### END VERIFIER DATA ####