Some explanations

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

General information on the benchmark

Namesubmitted/manquinho/ttp/normalized-circ8_3.opb
MD5SUM2ea3853c4fb57dccc00d289069858df9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 170
Optimality of the best value was proved NO
Number of terms in the objective function 448
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 1024
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 1024
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.08
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28

Trace number 7807

Launcher Data

LAUNCH ON wulflinc20 THE 2005-09-20 14:13:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=4946 boxname=wulflinc20 idbench=258 idsolver=5 numberseed=0
MD5SUM SOLVER: 104a539e9cf344a86ca96d2c957e7d7f  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc20/normalized-circ8_3.opb
REAL COMMAND:  Pueblo
IDLAUNCH: 4946
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        866468 kB
Buffers:         31888 kB
Cached:         106948 kB
SwapCached:        904 kB
Active:          69868 kB
Inactive:        71748 kB
HighTotal:      131008 kB
HighFree:        21420 kB
LowTotal:       903652 kB
LowFree:        845048 kB
SwapTotal:     2097892 kB
SwapFree:      2096536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            20924 kB
Committed_AS:    64144 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-20 14:33:37 (client local time) WITH STATUS 10 IN 1189.04 SECONDS
stats: 4946 0 1189.04 10

Solver Data

c Pueblo version 1.3 (July 2005)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c starting to Solve
c #variables read: 1344 - #constraints read: 16377
c total time              : 1189 s
s SATISFIABLE
v -v897 v898 v899 -v900 -v901 -v902 v903 -v904 -v905 -v906 -v907 v908 -v909 -v910 -v911 -v912 -v913 v914 -v915 -v916 -v917 v918 -v919 -v920 -v921 -v922 -v923 -v924 -v925 -v926 -v927 -v928 -v929 v930 -v931 v932 -v933 -v934 -v935 -v936 -v937 -v938 v939 -v940 -v941 -v942 -v943 -v944 -v945 -v946 v947 -v948 -v949 -v950 -v951 -v952 v953 -v954 -v955 -v956 -v957 -v958 -v959 v960 -v961 v962 -v963 v964 v965 -v966 -v967 v968 -v969 -v970 -v971 -v972 -v973 -v974 -v975 -v976 -v977 -v978 -v979 v980 -v981 v982 -v983 -v984 -v985 -v986 -v987 -v988 -v989 -v990 -v991 v992 -v993 -v994 -v995 v996 -v997 -v998 -v999 -v1000 -v1001 -v1002 -v1003 v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v1010 -v1011 -v1012 -v1013 -v1014 v1015 -v1016 v1017 -v1018 -v1019 -v1020 -v1021 -v1022 v1023 v1024 v1025 v1026 -v1027 -v1028 -v1029 -v1030 -v1031 v1032 -v1033 -v1034 -v1035 -v1036 -v1037 -v1038 -v1039 -v1040 -v1041 v1042 -v1043 -v1044 -v1045 v1046 -v1047 -v1048 -v1049 -v1050 -v1051 -v1052 -v1053 -v1054 -v1055 v1056 -v1057 -v1058 -v1059 v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 v1067 -v1068 -v1069 -v1070 -v1071 -v1072 v1073 -v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v1080 -v1081 v1082 -v1083 -v1084 -v1085 v1086 v1087 -v1088 -v1089 v1090 -v1091 -v1092 -v1093 -v1094 -v1095 v1096 -v1097 -v1098 -v1099 -v1100 -v1101 -v1102 -v1103 -v1104 v1105 -v1106 -v1107 -v1108 -v1109 -v1110 -v1111 -v1112 v1113 -v1114 -v1115 -v1116 v1117 -v1118 -v1119 -v1120 -v1121 -v1122 -v1123 v1124 -v1125 -v1126 -v1127 -v1128 -v1129 -v1130 v1131 -v1132 -v1133 -v1134 v1135 -v1136 -v1137 -v1138 -v1139 -v1140 -v1141 -v1142 -v1143 -v1144 v1145 -v1146 -v1147 -v1148 -v1149 -v1150 v1151 v1152 v1153 v1154 -v1155 -v1156 -v1157 -v1158 -v1159 v1160 -v1161 -v1162 -v1163 -v1164 -v1165 -v1166 -v1167 -v1168 v1169 -v1170 v1171 -v1172 -v1173 -v1174 -v1175 -v1176 -v1177 -v1178 -v1179 -v1180 -v1181 -v1182 v1183 -v1184 -v1185 -v1186 -v1187 v1188 -v1189 -v1190 -v1191 v1192 -v1193 -v1194 -v1195 -v1196 -v1197 -v1198 -v1199 -v1200 -v1201 v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 v1209 -v1210 -v1211 v1212 -v1213 v1214 v1215 v1216 -v1217 -v1218 -v1219 -v1220 -v1221 -v1222 -v1223 v1224 -v1225 -v1226 -v1227 -v1228 -v1229 -v1230 -v1231 v1232 -v1233 -v1234 v1235 -v1236 -v1237 -v1238 -v1239 -v1240 -v1241 -v1242 -v1243 -v1244 v1245 -v1246 -v1247 -v1248 -v1249 -v1250 v1251 -v1252 -v1253 -v1254 v1255 -v1256 -v1257 -v1258 -v1259 -v1260 -v1261 -v1262 v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v1270 -v1271 -v1272 v1273 -v1274 v1275 -v1276 -v1277 -v1278 v1279 -v1280 v1281 -v1282 -v1283 -v1284 -v1285 -v1286 -v1287 v1288 -v1289 -v1290 -v1291 -v1292 -v1293 -v1294 v1295 -v1296 -v1297 -v1298 -v1299 -v1300 -v1301 v1302 v1303 -v1304 -v1305 -v1306 -v1307 -v1308 -v1309 -v1310 -v1311 -v1312 v1313 -v1314 -v1315 -v1316 -v1317 -v1318 -v1319 -v1320 -v1321 -v1322 v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 v1330 -v1331 -v1332 -v1333 -v1334 -v1335 -v1336 v1337 -v1338 v1339 v1340 v1341 -v1342 v1343 v1344 -v2 -v66 -v130 -v194 -v258 -v322 -v386 -v450 v514 -v578 -v642 -v706 -v770 -v834 -v3 -v67 v131 -v195 -v259 -v323 -v387 -v451 -v515 -v579 -v643 -v707 -v771 -v835 -v4 -v68 -v132 -v196 -v260 -v324 -v388 -v452 -v516 -v580 -v644 -v708 -v772 v836 -v5 -v69 -v133 v197 -v261 -v325 -v389 -v453 -v517 -v581 -v645 -v709 -v773 -v837 -v6 -v70 -v134 -v198 -v262 -v326 -v390 -v454 -v518 v582 -v646 -v710 -v774 -v838 -v7 -v71 -v135 -v199 v263 -v327 -v391 -v455 -v519 -v583 -v647 -v711 -v775 -v839 -v8 -v72 -v136 -v200 -v264 -v328 -v392 v456 -v520 -v584 -v648 -v712 -v776 -v840 -v9 -v73 -v137 -v201 -v265 -v329 v393 -v457 -v521 -v585 -v649 -v713 -v777 -v841 -v11 -v75 -v139 -v203 -v267 -v331 -v395 -v459 -v523 -v587 -v651 v715 -v779 -v843 -v12 -v76 -v140 -v204 -v268 -v332 -v396 -v460 -v524 v588 -v652 -v716 -v780 -v844 -v13 -v77 -v141 -v205 v269 -v333 -v397 -v461 -v525 -v589 -v653 -v717 -v781 -v845 -v14 -v78 -v142 v206 -v270 -v334 -v398 -v462 -v526 -v590 -v654 -v718 -v782 -v846 -v15 v79 -v143 -v207 -v271 -v335 -v399 -v463 -v527 -v591 -v655 -v719 -v783 -v847 -v16 -v80 -v144 -v208 -v272 -v336 -v400 -v464 -v528 -v592 v656 -v720 -v784 -v848 -v17 -v81 -v145 -v209 -v273 -v337 -v401 -v465 -v529 -v593 -v657 -v721 v785 -v849 -v18 -v82 -v146 -v210 -v274 v338 -v402 -v466 -v530 -v594 -v658 -v722 -v786 -v850 -v20 -v84 -v148 v212 -v276 -v340 -v404 -v468 -v532 -v596 -v660 -v724 -v788 -v852 -v21 -v85 -v149 -v213 -v277 -v341 -v405 -v469 v533 -v597 -v661 -v725 -v789 -v853 -v22 -v86 -v150 -v214 -v278 -v342 -v406 -v470 -v534 -v598 v662 -v726 -v790 -v854 -v23 -v87 -v151 -v215 -v279 -v343 -v407 -v471 -v535 v599 -v663 -v727 -v791 -v855 -v24 -v88 -v152 -v216 -v280 -v344 -v408 -v472 -v536 -v600 -v664 -v728 -v792 v856 -v25 -v89 -v153 -v217 -v281 -v345 -v409 -v473 -v537 -v601 v665 -v729 -v793 -v857 v26 -v90 -v154 -v218 -v282 -v346 -v410 -v474 -v538 -v602 -v666 -v730 -v794 -v858 -v27 v91 -v155 -v219 -v283 -v347 -v411 -v475 -v539 -v603 -v667 -v731 -v795 -v859 -v29 -v93 v157 -v221 -v285 -v349 -v413 -v477 -v541 -v605 -v669 -v733 -v797 -v861 -v30 -v94 -v158 -v222 v286 -v350 -v414 -v478 -v542 -v606 -v670 -v734 -v798 -v862 -v31 -v95 -v159 -v223 -v287 v351 -v415 -v479 -v543 -v607 -v671 -v735 -v799 -v863 -v32 -v96 -v160 -v224 -v288 -v352 v416 -v480 -v544 -v608 -v672 -v736 -v800 -v864 -v33 v97 -v161 -v225 -v289 -v353 -v417 -v481 -v545 -v609 -v673 -v737 -v801 -v865 -v34 -v98 -v162 -v226 -v290 -v354 -v418 -v482 -v546 -v610 -v674 -v738 v802 -v866 v35 -v99 -v163 -v227 -v291 -v355 -v419 -v483 -v547 -v611 -v675 -v739 -v803 -v867 -v36 -v100 -v164 -v228 -v292 -v356 -v420 v484 -v548 -v612 -v676 -v740 -v804 -v868 -v38 -v102 -v166 -v230 -v294 v358 -v422 -v486 -v550 -v614 -v678 -v742 -v806 -v870 -v39 -v103 -v167 -v231 -v295 -v359 -v423 -v487 -v551 -v615 v679 -v743 -v807 -v871 -v40 -v104 -v168 -v232 -v296 -v360 -v424 -v488 -v552 -v616 -v680 v744 -v808 -v872 v41 -v105 -v169 -v233 -v297 -v361 -v425 -v489 -v553 -v617 -v681 -v745 -v809 -v873 -v42 -v106 -v170 -v234 -v298 -v362 -v426 v490 -v554 -v618 -v682 -v746 -v810 -v874 -v43 -v107 -v171 -v235 -v299 -v363 v427 -v491 -v555 -v619 -v683 -v747 -v811 -v875 -v44 -v108 -v172 -v236 -v300 -v364 -v428 -v492 -v556 -v620 -v684 v748 -v812 -v876 -v45 -v109 -v173 -v237 -v301 -v365 -v429 -v493 -v557 -v621 -v685 -v749 -v813 v877 -v47 -v111 v175 -v239 -v303 -v367 -v431 -v495 -v559 -v623 -v687 -v751 -v815 -v879 -v48 v112 -v176 -v240 -v304 -v368 -v432 -v496 -v560 -v624 -v688 -v752 -v816 -v880 -v49 -v113 -v177 -v241 -v305 -v369 -v433 -v497 -v561 -v625 -v689 v753 -v817 -v881 -v50 -v114 -v178 -v242 -v306 -v370 -v434 -v498 -v562 -v626 -v690 -v754 -v818 v882 -v51 -v115 -v179 -v243 -v307 -v371 -v435 v499 -v563 -v627 -v691 -v755 -v819 -v883 -v52 -v116 -v180 -v244 -v308 -v372 -v436 -v500 -v564 -v628 -v692 -v756 v820 -v884 -v53 -v117 -v181 -v245 -v309 -v373 v437 -v501 -v565 -v629 -v693 -v757 -v821 -v885 -v54 -v118 -v182 -v246 -v310 -v374 -v438 -v502 v566 -v630 -v694 -v758 -v822 -v886 -v56 -v120 -v184 v248 -v312 -v376 -v440 -v504 -v568 -v632 -v696 -v760 -v824 -v888 -v57 -v121 -v185 -v249 -v313 v377 -v441 -v505 -v569 -v633 -v697 -v761 -v825 -v889 -v58 -v122 v186 -v250 -v314 -v378 -v442 -v506 -v570 -v634 -v698 -v762 -v826 -v890 -v59 -v123 -v187 -v251 v315 -v379 -v443 -v507 -v571 -v635 -v699 -v763 -v827 -v891 -v60 -v124 -v188 -v252 -v316 -v380 -v444 -v508 v572 -v636 -v700 -v764 -v828 -v892 -v61 -v125 -v189 -v253 -v317 -v381 -v445 -v509 -v573 v637 -v701 -v765 -v829 -v893 -v62 -v126 -v190 -v254 -v318 -v382 -v446 -v510 -v574 -v638 -v702 -v766 v830 -v894 v63 -v127 -v191 -v255 -v319 -v383 -v447 -v511 -v575 -v639 -v703 -v767 -v831 -v895 v10 -v74 v138 -v202 -v266 v330 -v394 v458 v522 -v586 -v650 -v714 v778 v842 v19 v83 v147 -v211 v275 -v339 v403 v467 -v531 -v595 -v659 v723 -v787 -v851 -v28 -v92 -v156 v220 -v284 -v348 -v412 v476 v540 v604 -v668 v732 v796 v860 -v37 -v101 v165 v229 v293 -v357 v421 -v485 v549 v613 -v677 -v741 -v805 v869 -v46 -v110 -v174 v238 v302 v366 -v430 -v494 v558 v622 v686 -v750 v814 -v878 v55 v119 v183 -v247 v311 v375 -v439 -v503 -v567 v631 v695 -v759 -v823 -v887 -v64 v128 -v192 v256 -v320 -v384 v448 v512 -v576 -v640 v704 v768 -v832 v896 v1 v65 -v129 -v193 -v257 v321 v385 -v449 -v513 -v577 v641 v705 v769 -v833 

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1859169553 167936 3 4294967295 134512640 134578447 3221224624 3221224624 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 41 3 40 18 0 23 0
[pid=1884] vsize: 164
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libstdc++.so.5
open syscall for file tls/i686/libstdc++.so.5
open syscall for file tls/mmx/libstdc++.so.5
open syscall for file tls/libstdc++.so.5
open syscall for file i686/mmx/libstdc++.so.5
open syscall for file i686/libstdc++.so.5
open syscall for file mmx/libstdc++.so.5
open syscall for file libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/tls/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/i686/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/mmx/libstdc++.so.5
open syscall for file /oldhome/oroussel/lib/libstdc++.so.5
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++.so.5
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6

[startup+10.0043 s]
Raw data (loadavg): 0.87 0.97 0.89 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 1736 0 0 0 932 23 0 0 25 0 1 0 1859169553 8761344 1702 4294967295 134512640 134578447 3221224624 3221223572 134558732 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 2139 1702 566 18 0 2121 0
[pid=1884] vsize: 8556
Current children cumulated CPU time (s) 9.55
Current children cumulated vsize (Kb) 8556

[startup+20.005 s]
Raw data (loadavg): 0.89 0.97 0.89 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 2384 0 0 0 1904 32 0 0 25 0 1 0 1859169553 11448320 2350 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 2795 2350 566 18 0 2777 0
[pid=1884] vsize: 11180
Current children cumulated CPU time (s) 19.36
Current children cumulated vsize (Kb) 11180

[startup+30.0057 s]
Raw data (loadavg): 0.91 0.97 0.89 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 2958 0 0 0 2857 50 0 0 25 0 1 0 1859169553 13742080 2924 4294967295 134512640 134578447 3221224624 3221223472 134558360 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 3355 2924 566 18 0 3337 0
[pid=1884] vsize: 13420
Current children cumulated CPU time (s) 29.07
Current children cumulated vsize (Kb) 13420

[startup+40.0064 s]
Raw data (loadavg): 0.92 0.97 0.89 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 3537 0 0 0 3830 59 0 0 25 0 1 0 1859169553 16166912 3503 4294967295 134512640 134578447 3221224624 3221223520 134519879 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 3947 3503 566 18 0 3929 0
[pid=1884] vsize: 15788
Current children cumulated CPU time (s) 38.89
Current children cumulated vsize (Kb) 15788

[startup+50.0071 s]
Raw data (loadavg): 0.93 0.97 0.89 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 4144 0 0 0 4797 72 0 0 25 0 1 0 1859169553 18583552 4110 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1884/statm): 4537 4110 566 18 0 4519 0
[pid=1884] vsize: 18148
Current children cumulated CPU time (s) 48.69
Current children cumulated vsize (Kb) 18148

[startup+60.0079 s]
Raw data (loadavg): 0.94 0.97 0.90 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 4513 0 0 0 5775 80 0 0 25 0 1 0 1859169553 20062208 4479 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 4898 4479 566 18 0 4880 0
[pid=1884] vsize: 19592
Current children cumulated CPU time (s) 58.55
Current children cumulated vsize (Kb) 19592

[startup+70.0086 s]
Raw data (loadavg): 0.95 0.97 0.90 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 4513 0 0 0 6748 90 0 0 20 0 1 0 1859169553 20062208 4479 4294967295 134512640 134578447 3221224624 3221223456 134558200 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 4898 4479 566 18 0 4880 0
[pid=1884] vsize: 19592
Current children cumulated CPU time (s) 68.38
Current children cumulated vsize (Kb) 19592

[startup+80.0093 s]
Raw data (loadavg): 1.03 0.99 0.90 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 4513 0 0 0 7734 94 0 0 25 0 1 0 1859169553 20062208 4479 4294967295 134512640 134578447 3221224624 3221223504 134527538 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 4898 4479 566 18 0 4880 0
[pid=1884] vsize: 19592
Current children cumulated CPU time (s) 78.28
Current children cumulated vsize (Kb) 19592

[startup+90.01 s]
Raw data (loadavg): 1.03 0.99 0.90 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 5009 0 0 0 8717 101 0 0 25 0 1 0 1859169553 22089728 4975 4294967295 134512640 134578447 3221224624 3221223504 134527728 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 5393 4975 566 18 0 5375 0
[pid=1884] vsize: 21572
Current children cumulated CPU time (s) 88.18
Current children cumulated vsize (Kb) 21572

[startup+100.011 s]
Raw data (loadavg): 1.02 0.99 0.90 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 5515 0 0 0 9703 108 0 0 25 0 1 0 1859169553 24252416 5481 4294967295 134512640 134578447 3221224624 3221223504 134518932 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 5921 5481 566 18 0 5903 0
[pid=1884] vsize: 23684
Current children cumulated CPU time (s) 98.11
Current children cumulated vsize (Kb) 23684

[startup+110.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 5993 0 0 0 10689 112 0 0 25 0 1 0 1859169553 26238976 5959 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 6406 5959 566 18 0 6388 0
[pid=1884] vsize: 25624
Current children cumulated CPU time (s) 108.01
Current children cumulated vsize (Kb) 25624

[startup+120.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6086 0 0 0 11680 116 0 0 25 0 1 0 1859169553 26558464 6052 4294967295 134512640 134578447 3221224624 3221223504 134527621 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 6484 6052 566 18 0 6466 0
[pid=1884] vsize: 25936
Current children cumulated CPU time (s) 117.96
Current children cumulated vsize (Kb) 25936

[startup+130.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6086 0 0 0 12671 119 0 0 25 0 1 0 1859169553 26558464 6052 4294967295 134512640 134578447 3221224624 3221223504 134527543 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 6484 6052 566 18 0 6466 0
[pid=1884] vsize: 25936
Current children cumulated CPU time (s) 127.9
Current children cumulated vsize (Kb) 25936

[startup+140.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6086 0 0 0 13662 122 0 0 25 0 1 0 1859169553 26558464 6052 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 6484 6052 566 18 0 6466 0
[pid=1884] vsize: 25936
Current children cumulated CPU time (s) 137.84
Current children cumulated vsize (Kb) 25936

[startup+150.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6086 0 0 0 14646 127 0 0 25 0 1 0 1859169553 26558464 6052 4294967295 134512640 134578447 3221224624 3221223504 134518988 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 6484 6052 566 18 0 6466 0
[pid=1884] vsize: 25936
Current children cumulated CPU time (s) 147.73
Current children cumulated vsize (Kb) 25936

[startup+160.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6269 0 0 0 15622 135 0 0 25 0 1 0 1859169553 27389952 6235 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 6687 6235 566 18 0 6669 0
[pid=1884] vsize: 26748
Current children cumulated CPU time (s) 157.57
Current children cumulated vsize (Kb) 26748

[startup+170.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 6769 0 0 0 16602 142 0 0 25 0 1 0 1859169553 29433856 6735 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7186 6735 566 18 0 7168 0
[pid=1884] vsize: 28744
Current children cumulated CPU time (s) 167.44
Current children cumulated vsize (Kb) 28744

[startup+180.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7269 0 0 0 17573 152 0 0 25 0 1 0 1859169553 31449088 7235 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7678 7235 566 18 0 7660 0
[pid=1884] vsize: 30712
Current children cumulated CPU time (s) 177.25
Current children cumulated vsize (Kb) 30712

[startup+190.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 18555 158 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223296 134522554 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 187.13
Current children cumulated vsize (Kb) 31364

[startup+200.015 s]
Raw data (loadavg): 1.08 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 19539 163 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223584 134558919 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 197.02
Current children cumulated vsize (Kb) 31364

[startup+210.016 s]
Raw data (loadavg): 1.06 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 20523 169 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 206.92
Current children cumulated vsize (Kb) 31364

[startup+220.016 s]
Raw data (loadavg): 1.05 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 21504 176 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221221200 134532420 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 216.8
Current children cumulated vsize (Kb) 31364

[startup+230.016 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 22492 180 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 226.72
Current children cumulated vsize (Kb) 31364

[startup+240.017 s]
Raw data (loadavg): 1.04 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 23480 185 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223504 134518953 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 236.65
Current children cumulated vsize (Kb) 31364

[startup+250.018 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 24467 189 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223488 134517838 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 246.56
Current children cumulated vsize (Kb) 31364

[startup+260.018 s]
Raw data (loadavg): 1.03 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 25446 197 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 256.43
Current children cumulated vsize (Kb) 31364

[startup+270.019 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 26430 203 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 266.33
Current children cumulated vsize (Kb) 31364

[startup+280.02 s]
Raw data (loadavg): 1.02 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 27415 208 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223556 134519716 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 276.23
Current children cumulated vsize (Kb) 31364

[startup+290.02 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7424 0 0 0 28397 214 0 0 25 0 1 0 1859169553 32116736 7390 4294967295 134512640 134578447 3221224624 3221223476 134555913 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 7841 7390 566 18 0 7823 0
[pid=1884] vsize: 31364
Current children cumulated CPU time (s) 286.11
Current children cumulated vsize (Kb) 31364

[startup+300.021 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7840 0 0 0 29384 219 0 0 25 0 1 0 1859169553 33738752 7806 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8237 7806 566 18 0 8219 0
[pid=1884] vsize: 32948
Current children cumulated CPU time (s) 296.03
Current children cumulated vsize (Kb) 32948

[startup+310.023 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 30369 225 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223488 134517807 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 305.94
Current children cumulated vsize (Kb) 33608

[startup+320.024 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 31354 231 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223504 134527535 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 315.85
Current children cumulated vsize (Kb) 33608

[startup+330.024 s]
Raw data (loadavg): 1.01 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 32339 235 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223412 1075289714 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 325.74
Current children cumulated vsize (Kb) 33608

[startup+340.025 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 33321 241 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223296 134522529 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 335.62
Current children cumulated vsize (Kb) 33608

[startup+350.025 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 34305 247 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 345.52
Current children cumulated vsize (Kb) 33608

[startup+360.026 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 35294 252 0 0 25 0 1 0 1859169553 34414592 7948 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8402 7948 566 18 0 8384 0
[pid=1884] vsize: 33608
Current children cumulated CPU time (s) 355.46
Current children cumulated vsize (Kb) 33608

[startup+370.027 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 36276 258 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 365.34
Current children cumulated vsize (Kb) 33604

[startup+380.027 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 7982 0 0 0 37259 263 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 375.22
Current children cumulated vsize (Kb) 33604

[startup+390.028 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 7982 0 0 0 38242 271 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 385.13
Current children cumulated vsize (Kb) 33604

[startup+400.03 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 39229 277 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 395.06
Current children cumulated vsize (Kb) 33604

[startup+410.031 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7982 0 0 0 40215 280 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 404.95
Current children cumulated vsize (Kb) 33604

[startup+420.032 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 7982 0 0 0 41205 284 0 0 25 0 1 0 1859169553 34410496 7948 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7948 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 414.89
Current children cumulated vsize (Kb) 33604

[startup+430.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7983 0 0 0 42197 287 0 0 25 0 1 0 1859169553 34410496 7949 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8401 7949 566 18 0 8383 0
[pid=1884] vsize: 33604
Current children cumulated CPU time (s) 424.84
Current children cumulated vsize (Kb) 33604

[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7984 0 0 0 43187 290 0 0 25 0 1 0 1859169553 34398208 7950 4294967295 134512640 134578447 3221224624 3221223456 134528407 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8398 7950 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 434.77
Current children cumulated vsize (Kb) 33592

[startup+450.034 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7984 0 0 0 44176 295 0 0 25 0 1 0 1859169553 34398208 7950 4294967295 134512640 134578447 3221224624 3221223504 134527428 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8398 7950 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 444.71
Current children cumulated vsize (Kb) 33592

[startup+460.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7984 0 0 0 45164 298 0 0 25 0 1 0 1859169553 34398208 7950 4294967295 134512640 134578447 3221224624 3221223296 134522559 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8398 7950 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 454.62
Current children cumulated vsize (Kb) 33592

[startup+470.034 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7984 0 0 0 46154 302 0 0 25 0 1 0 1859169553 34398208 7950 4294967295 134512640 134578447 3221224624 3221223520 134519885 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 8398 7950 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 464.56
Current children cumulated vsize (Kb) 33592

[startup+480.034 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7984 0 0 0 47145 305 0 0 25 0 1 0 1859169553 34398208 7950 4294967295 134512640 134578447 3221224624 3221223520 134519872 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8398 7950 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 474.5
Current children cumulated vsize (Kb) 33592

[startup+490.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 7990 0 0 0 48135 309 0 0 25 0 1 0 1859169553 34398208 7956 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8398 7956 566 18 0 8380 0
[pid=1884] vsize: 33592
Current children cumulated CPU time (s) 484.44
Current children cumulated vsize (Kb) 33592

[startup+500.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 8508 0 0 0 49123 314 0 0 25 0 1 0 1859169553 36569088 8474 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 8928 8474 566 18 0 8910 0
[pid=1884] vsize: 35712
Current children cumulated CPU time (s) 494.37
Current children cumulated vsize (Kb) 35712

[startup+510.035 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9009 0 0 0 50113 318 0 0 25 0 1 0 1859169553 38612992 8975 4294967295 134512640 134578447 3221224624 3221223488 134517809 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 9427 8975 566 18 0 9409 0
[pid=1884] vsize: 37708
Current children cumulated CPU time (s) 504.31
Current children cumulated vsize (Kb) 37708

[startup+520.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9367 0 0 0 51101 323 0 0 25 0 1 0 1859169553 40112128 9333 4294967295 134512640 134578447 3221224624 3221223476 134555811 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 9793 9333 566 18 0 9775 0
[pid=1884] vsize: 39172
Current children cumulated CPU time (s) 514.24
Current children cumulated vsize (Kb) 39172

[startup+530.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 52090 328 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223296 134524463 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 524.18
Current children cumulated vsize (Kb) 40600

[startup+540.036 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 53081 332 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 534.13
Current children cumulated vsize (Kb) 40600

[startup+550.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 54070 336 0 0 21 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 544.06
Current children cumulated vsize (Kb) 40600

[startup+560.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 55060 340 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 554
Current children cumulated vsize (Kb) 40600

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 56049 343 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221222976 134532475 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 563.92
Current children cumulated vsize (Kb) 40600

[startup+580.037 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 57037 347 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223504 134527488 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 573.84
Current children cumulated vsize (Kb) 40600

[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 58024 352 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223556 134527371 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 583.76
Current children cumulated vsize (Kb) 40600

[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 59010 357 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 593.67
Current children cumulated vsize (Kb) 40600

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 59999 362 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223504 134527516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 603.61
Current children cumulated vsize (Kb) 40600

[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 9737 0 0 0 60986 367 0 0 25 0 1 0 1859169553 41574400 9703 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10150 9703 566 18 0 10132 0
[pid=1884] vsize: 40600
Current children cumulated CPU time (s) 613.53
Current children cumulated vsize (Kb) 40600

[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 61971 372 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223340 1075285210 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 623.43
Current children cumulated vsize (Kb) 40596

[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 62957 377 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 633.34
Current children cumulated vsize (Kb) 40596

[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 63942 381 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223584 134559024 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 643.23
Current children cumulated vsize (Kb) 40596

[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 64934 383 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223248 134532012 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 653.17
Current children cumulated vsize (Kb) 40596

[startup+670.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 65924 387 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223296 134524472 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 663.11
Current children cumulated vsize (Kb) 40596

[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 66911 392 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221221776 134532439 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 673.03
Current children cumulated vsize (Kb) 40596

[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 67898 396 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221222400 134532391 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 682.94
Current children cumulated vsize (Kb) 40596

[startup+700.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 68890 399 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223584 134558754 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 692.89
Current children cumulated vsize (Kb) 40596

[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 69881 402 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221220992 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 702.83
Current children cumulated vsize (Kb) 40596

[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 70872 406 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223488 134517811 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 712.78
Current children cumulated vsize (Kb) 40596

[startup+730.041 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 71862 409 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223488 134517830 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 722.71
Current children cumulated vsize (Kb) 40596

[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 72844 415 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223504 134527491 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 732.59
Current children cumulated vsize (Kb) 40596

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9737 0 0 0 73814 426 0 0 25 0 1 0 1859169553 41570304 9703 4294967295 134512640 134578447 3221224624 3221223472 134558453 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10149 9703 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 742.4
Current children cumulated vsize (Kb) 40596

[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.91 1/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) T 1883 1884 2660 0 -1 0 9738 0 0 0 74791 434 0 0 25 0 1 0 1859169553 41570304 9704 4294967295 134512640 134578447 3221224624 3221223656 1075514893 0 0 5 0 3222434794 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10149 9704 566 18 0 10131 0
[pid=1884] vsize: 40596
Current children cumulated CPU time (s) 752.25
Current children cumulated vsize (Kb) 40596

[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 75778 439 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223488 134517860 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (Kb) 40592

[startup+780.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 76764 445 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 772.09
Current children cumulated vsize (Kb) 40592

[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 77749 450 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 781.99
Current children cumulated vsize (Kb) 40592

[startup+800.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 78735 455 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221220720 134533053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 791.9
Current children cumulated vsize (Kb) 40592

[startup+810.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 79723 459 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 801.82
Current children cumulated vsize (Kb) 40592

[startup+820.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 80712 464 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223472 134520206 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 811.76
Current children cumulated vsize (Kb) 40592

[startup+830.042 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 81703 467 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 821.7
Current children cumulated vsize (Kb) 40592

[startup+840.043 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 82695 470 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223520 134519944 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 831.65
Current children cumulated vsize (Kb) 40592

[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9739 0 0 0 83685 474 0 0 25 0 1 0 1859169553 41566208 9705 4294967295 134512640 134578447 3221224624 3221223476 134555907 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10148 9705 566 18 0 10130 0
[pid=1884] vsize: 40592
Current children cumulated CPU time (s) 841.59
Current children cumulated vsize (Kb) 40592

[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9864 0 0 0 84674 479 0 0 25 0 1 0 1859169553 42106880 9830 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10280 9830 566 18 0 10262 0
[pid=1884] vsize: 41120
Current children cumulated CPU time (s) 851.53
Current children cumulated vsize (Kb) 41120

[startup+870.044 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 85663 483 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223504 134518939 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 861.46
Current children cumulated vsize (Kb) 41512

[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 86651 487 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223296 134522516 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 871.38
Current children cumulated vsize (Kb) 41512

[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 87640 491 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 881.31
Current children cumulated vsize (Kb) 41512

[startup+900.045 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 88631 494 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223520 134520053 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 891.25
Current children cumulated vsize (Kb) 41512

[startup+910.046 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 89617 498 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223296 134523205 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 901.15
Current children cumulated vsize (Kb) 41512

[startup+920.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 90605 502 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223376 134528924 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 911.07
Current children cumulated vsize (Kb) 41512

[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 9979 0 0 0 91597 504 0 0 25 0 1 0 1859169553 42508288 9945 4294967295 134512640 134578447 3221224624 3221223504 134518959 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 10378 9945 566 18 0 10360 0
[pid=1884] vsize: 41512
Current children cumulated CPU time (s) 921.01
Current children cumulated vsize (Kb) 41512

[startup+940.047 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 10041 0 0 0 92587 508 0 0 25 0 1 0 1859169553 42790912 10007 4294967295 134512640 134578447 3221224624 3221223520 134519731 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10447 10007 566 18 0 10429 0
[pid=1884] vsize: 41788
Current children cumulated CPU time (s) 930.95
Current children cumulated vsize (Kb) 41788

[startup+950.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 10401 0 0 0 93574 513 0 0 25 0 1 0 1859169553 44326912 10367 4294967295 134512640 134578447 3221224624 3221223520 134519757 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 10822 10367 566 18 0 10804 0
[pid=1884] vsize: 43288
Current children cumulated CPU time (s) 940.87
Current children cumulated vsize (Kb) 43288

[startup+960.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 10813 0 0 0 94563 517 0 0 25 0 1 0 1859169553 45953024 10779 4294967295 134512640 134578447 3221224624 3221223296 134522561 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11219 10779 566 18 0 11201 0
[pid=1884] vsize: 44876
Current children cumulated CPU time (s) 950.8
Current children cumulated vsize (Kb) 44876

[startup+970.048 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 95554 521 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223476 134555884 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 960.75
Current children cumulated vsize (Kb) 46224

[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 96545 525 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223580 134558755 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 970.7
Current children cumulated vsize (Kb) 46224

[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 97533 531 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223520 134519900 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 980.64
Current children cumulated vsize (Kb) 46224

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 98521 537 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223504 134527494 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 990.58
Current children cumulated vsize (Kb) 46224

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 99511 540 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1000.51
Current children cumulated vsize (Kb) 46224

[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 100502 544 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223504 134518976 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1010.46
Current children cumulated vsize (Kb) 46224

[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 101493 548 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223584 134559029 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1020.41
Current children cumulated vsize (Kb) 46224

[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 102484 551 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1030.35
Current children cumulated vsize (Kb) 46224

[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 103473 555 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223476 134555857 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1040.28
Current children cumulated vsize (Kb) 46224

[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 104464 558 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223296 134524465 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1050.22
Current children cumulated vsize (Kb) 46224

[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11161 0 0 0 105457 560 0 0 25 0 1 0 1859169553 47333376 11127 4294967295 134512640 134578447 3221224624 3221223520 134519887 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 11556 11127 566 18 0 11538 0
[pid=1884] vsize: 46224
Current children cumulated CPU time (s) 1060.17
Current children cumulated vsize (Kb) 46224

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11191 0 0 0 106450 563 0 0 25 0 1 0 1859169553 47460352 11157 4294967295 134512640 134578447 3221224624 3221223488 134517780 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11587 11157 566 18 0 11569 0
[pid=1884] vsize: 46348
Current children cumulated CPU time (s) 1070.13
Current children cumulated vsize (Kb) 46348

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11586 0 0 0 107442 567 0 0 25 0 1 0 1859169553 49102848 11552 4294967295 134512640 134578447 3221224624 3221223296 134522572 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 11988 11552 566 18 0 11970 0
[pid=1884] vsize: 47952
Current children cumulated CPU time (s) 1080.09
Current children cumulated vsize (Kb) 47952

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 108433 570 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223504 134527513 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1090.03
Current children cumulated vsize (Kb) 48356

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 109425 573 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223488 134517836 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1099.98
Current children cumulated vsize (Kb) 48356

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 110418 576 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223520 134519876 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1109.94
Current children cumulated vsize (Kb) 48356

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 111401 582 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223384 1075289104 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1119.83
Current children cumulated vsize (Kb) 48356

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 112385 587 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223424 134532085 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1129.72
Current children cumulated vsize (Kb) 48356

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 113369 592 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223412 1075289793 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1139.61
Current children cumulated vsize (Kb) 48356

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 114351 599 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223504 134527588 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1149.5
Current children cumulated vsize (Kb) 48356

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11689 0 0 0 115335 604 0 0 25 0 1 0 1859169553 49516544 11655 4294967295 134512640 134578447 3221224624 3221223504 134528169 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11655 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1159.39
Current children cumulated vsize (Kb) 48356

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11690 0 0 0 116320 608 0 0 25 0 1 0 1859169553 49516544 11656 4294967295 134512640 134578447 3221224624 3221223504 134518963 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11656 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1169.28
Current children cumulated vsize (Kb) 48356

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.91 2/56 1884
Raw data (/proc/1884/stat): 1884 (Pueblo) R 1883 1884 2660 0 -1 0 11691 0 0 0 117307 613 0 0 25 0 1 0 1859169553 49516544 11657 4294967295 134512640 134578447 3221224624 3221223504 134527502 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/1884/statm): 12089 11657 566 18 0 12071 0
[pid=1884] vsize: 48356
Current children cumulated CPU time (s) 1179.2
Current children cumulated vsize (Kb) 48356
One traced child (pid=1884) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1199.98
CPU time (s): 1189.04
CPU user time (s): 1182.85
CPU system time (s): 6.19306
CPU usage (%): 99.0886
Max. virtual memory (cumulated for all children) (Kb): 48356

Verifier Data

Verifier:	OK	172