PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	15
Trace number 23800

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889932 kB
Buffers:         44904 kB
Cached:          77028 kB
SwapCached:        944 kB
Active:         102252 kB
Inactive:        22152 kB
HighTotal:      131008 kB
HighFree:        53032 kB
LowTotal:       903652 kB
LowFree:        836900 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14700 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 00:46:29 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 1186 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.96 0.98 2/54 7428
Raw data (stat): 7428 (runsolver) R 7427 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 661708533 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.88 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 6787 0 0 0 975 21 0 0 25 0 1 0 661708533 33538048 6764 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8188 6764 566 18 0 8170 0
vsize: 32752
[startup+20.0001 s]
Raw data (loadavg): 0.90 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 6931 0 0 0 1975 22 0 0 25 0 1 0 661708533 33931264 6876 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8284 6876 566 18 0 8266 0
vsize: 33136
[startup+30.0001 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 7187 0 0 0 2974 22 0 0 25 0 1 0 661708533 35266560 7132 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8610 7132 566 18 0 8592 0
vsize: 34440
[startup+40.0001 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8005 0 0 0 3971 25 0 0 25 0 1 0 661708533 38375424 7950 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 7950 566 18 0 9351 0
vsize: 37476
[startup+50 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8013 0 0 0 4971 26 0 0 25 0 1 0 661708533 38375424 7958 4294967295 134512640 134581331 3221221792 3221220672 134520271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 7958 566 18 0 9351 0
vsize: 37476
[startup+59.9999 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8016 0 0 0 5970 26 0 0 25 0 1 0 661708533 38375424 7961 4294967295 134512640 134581331 3221221792 3221220688 134517612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 7961 566 18 0 9351 0
vsize: 37476
[startup+69.9999 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8018 0 0 0 6970 27 0 0 25 0 1 0 661708533 38375424 7963 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 7963 566 18 0 9351 0
vsize: 37476
[startup+79.9998 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8019 0 0 0 7970 27 0 0 25 0 1 0 661708533 38375424 7964 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9369 7964 566 18 0 9351 0
vsize: 37476
[startup+89.9999 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8021 0 0 0 8970 28 0 0 25 0 1 0 661708533 38375424 7966 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9369 7966 566 18 0 9351 0
vsize: 37476
[startup+99.9999 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8421 0 0 0 9969 29 0 0 25 0 1 0 661708533 40062976 8366 4294967295 134512640 134581331 3221221792 3221220736 134558874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9781 8366 566 18 0 9763 0
vsize: 39124
[startup+110.001 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 8988 0 0 0 10967 31 0 0 25 0 1 0 661708533 42491904 8933 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10374 8933 566 18 0 10356 0
vsize: 41496
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 9462 0 0 0 11966 32 0 0 25 0 1 0 661708533 44326912 9407 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10822 9407 566 18 0 10804 0
vsize: 43288
[startup+130.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10028 0 0 0 12965 33 0 0 25 0 1 0 661708533 46690304 9973 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11399 9973 566 18 0 11381 0
vsize: 45596
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10453 0 0 0 13963 35 0 0 25 0 1 0 661708533 48398336 10398 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11816 10398 566 18 0 11798 0
vsize: 47264
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 10997 0 0 0 14962 36 0 0 25 0 1 0 661708533 50622464 10942 4294967295 134512640 134581331 3221221792 3221220672 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12359 10942 566 18 0 12341 0
vsize: 49436
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 11376 0 0 0 15961 38 0 0 25 0 1 0 661708533 52211712 11321 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12747 11321 566 18 0 12729 0
vsize: 50988
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 11927 0 0 0 16960 38 0 0 25 0 1 0 661708533 54415360 11872 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13285 11872 566 18 0 13267 0
vsize: 53140
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 12642 0 0 0 17958 41 0 0 25 0 1 0 661708533 57356288 12587 4294967295 134512640 134581331 3221221792 3221220752 134554662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14003 12587 566 18 0 13985 0
vsize: 56012
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 13226 0 0 0 18956 43 0 0 25 0 1 0 661708533 59777024 13171 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14594 13171 566 18 0 14576 0
vsize: 58376
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 13961 0 0 0 19954 45 0 0 25 0 1 0 661708533 62881792 13906 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15352 13906 566 18 0 15334 0
vsize: 61408
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 14719 0 0 0 20953 46 0 0 25 0 1 0 661708533 65941504 14664 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16099 14664 566 18 0 16081 0
vsize: 64396
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 15397 0 0 0 21951 48 0 0 25 0 1 0 661708533 68743168 15342 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16783 15342 566 18 0 16765 0
vsize: 67132
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 16054 0 0 0 22949 51 0 0 25 0 1 0 661708533 71409664 15999 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17434 15999 566 18 0 17416 0
vsize: 69736
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 16630 0 0 0 23948 52 0 0 25 0 1 0 661708533 73764864 16575 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16575 566 18 0 17991 0
vsize: 72036
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 17235 0 0 0 24947 53 0 0 25 0 1 0 661708533 76288000 17180 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18625 17180 566 18 0 18607 0
vsize: 74500
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 17658 0 0 0 25946 54 0 0 25 0 1 0 661708533 77991936 17603 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19041 17603 566 18 0 19023 0
vsize: 76164
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18005 0 0 0 26945 55 0 0 25 0 1 0 661708533 79425536 17950 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19391 17950 566 18 0 19373 0
vsize: 77564
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18377 0 0 0 27943 57 0 0 25 0 1 0 661708533 80973824 18322 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19769 18322 566 18 0 19751 0
vsize: 79076
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 18803 0 0 0 28942 59 0 0 25 0 1 0 661708533 82669568 18748 4294967295 134512640 134581331 3221221792 3221220688 134517729 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20183 18748 566 18 0 20165 0
vsize: 80732
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 19313 0 0 0 29940 61 0 0 25 0 1 0 661708533 84762624 19258 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20694 19258 566 18 0 20676 0
vsize: 82776
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 19826 0 0 0 30938 62 0 0 25 0 1 0 661708533 86851584 19771 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21204 19771 566 18 0 21186 0
vsize: 84816
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 20314 0 0 0 31937 64 0 0 25 0 1 0 661708533 88940544 20259 4294967295 134512640 134581331 3221221792 3221220748 134519782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21714 20259 566 18 0 21696 0
vsize: 86856
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 20609 0 0 0 32937 64 0 0 25 0 1 0 661708533 90144768 20554 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22008 20554 566 18 0 21990 0
vsize: 88032
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21006 0 0 0 33935 66 0 0 25 0 1 0 661708533 91742208 20951 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22398 20951 566 18 0 22380 0
vsize: 89592
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21415 0 0 0 34934 68 0 0 25 0 1 0 661708533 93429760 21360 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22810 21360 566 18 0 22792 0
vsize: 91240
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 21786 0 0 0 35933 68 0 0 25 0 1 0 661708533 95010816 21731 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23196 21731 566 18 0 23178 0
vsize: 92784
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22202 0 0 0 36932 70 0 0 25 0 1 0 661708533 96706560 22147 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23610 22147 566 18 0 23592 0
vsize: 94440
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22570 0 0 0 37931 71 0 0 25 0 1 0 661708533 98152448 22515 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23963 22515 566 18 0 23945 0
vsize: 95852
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 22950 0 0 0 38930 72 0 0 25 0 1 0 661708533 99713024 22895 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24344 22895 566 18 0 24326 0
vsize: 97376
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 23236 0 0 0 39929 73 0 0 25 0 1 0 661708533 100904960 23181 4294967295 134512640 134581331 3221221792 3221220772 134560686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24635 23181 566 18 0 24617 0
vsize: 98540
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 23668 0 0 0 40928 74 0 0 25 0 1 0 661708533 102744064 23613 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25084 23613 566 18 0 25066 0
vsize: 100336
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24080 0 0 0 41926 76 0 0 25 0 1 0 661708533 104439808 24025 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25498 24025 566 18 0 25480 0
vsize: 101992
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24556 0 0 0 42924 78 0 0 25 0 1 0 661708533 106360832 24501 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25967 24501 566 18 0 25949 0
vsize: 103868
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 24995 0 0 0 43924 79 0 0 25 0 1 0 661708533 108158976 24940 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26406 24940 566 18 0 26388 0
vsize: 105624
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 25415 0 0 0 44923 80 0 0 25 0 1 0 661708533 109834240 25360 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26815 25360 566 18 0 26797 0
vsize: 107260
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 25859 0 0 0 45922 82 0 0 25 0 1 0 661708533 111902720 25804 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27320 25804 566 18 0 27302 0
vsize: 109280
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 26245 0 0 0 46921 83 0 0 25 0 1 0 661708533 113455104 26190 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27699 26190 566 18 0 27681 0
vsize: 110796
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 26621 0 0 0 47920 84 0 0 25 0 1 0 661708533 115023872 26566 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28082 26566 566 18 0 28064 0
vsize: 112328
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27031 0 0 0 48919 85 0 0 25 0 1 0 661708533 116690944 26976 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28489 26976 566 18 0 28471 0
vsize: 113956
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27493 0 0 0 49918 86 0 0 25 0 1 0 661708533 118644736 27438 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28966 27438 566 18 0 28948 0
vsize: 115864
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 27950 0 0 0 50917 87 0 0 25 0 1 0 661708533 120463360 27895 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29410 27895 566 18 0 29392 0
vsize: 117640
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 28385 0 0 0 51916 88 0 0 25 0 1 0 661708533 122281984 28330 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29854 28330 566 18 0 29836 0
vsize: 119416
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 28838 0 0 0 52916 89 0 0 25 0 1 0 661708533 124104704 28783 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30299 28783 566 18 0 30281 0
vsize: 121196
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29302 0 0 0 53915 90 0 0 25 0 1 0 661708533 126070784 29247 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30779 29247 566 18 0 30761 0
vsize: 123116
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29691 0 0 0 54914 91 0 0 25 0 1 0 661708533 127623168 29636 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31158 29636 566 18 0 31140 0
vsize: 124632
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 29972 0 0 0 55913 93 0 0 25 0 1 0 661708533 128708608 29917 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31423 29917 566 18 0 31405 0
vsize: 125692
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30288 0 0 0 56912 94 0 0 25 0 1 0 661708533 130060288 30233 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31753 30233 566 18 0 31735 0
vsize: 127012
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30601 0 0 0 57911 95 0 0 25 0 1 0 661708533 131354624 30546 4294967295 134512640 134581331 3221221792 3221220768 134560737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32069 30546 566 18 0 32051 0
vsize: 128276
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 30884 0 0 0 58911 96 0 0 25 0 1 0 661708533 132521984 30829 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32354 30829 566 18 0 32336 0
vsize: 129416
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31193 0 0 0 59909 97 0 0 25 0 1 0 661708533 133812224 31138 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32669 31138 566 18 0 32651 0
vsize: 130676
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31540 0 0 0 60909 98 0 0 25 0 1 0 661708533 135114752 31485 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32987 31485 566 18 0 32969 0
vsize: 131948
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 31921 0 0 0 61909 98 0 0 25 0 1 0 661708533 136798208 31866 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33398 31866 566 18 0 33380 0
vsize: 133592
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 32380 0 0 0 62908 99 0 0 25 0 1 0 661708533 138620928 32325 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33843 32325 566 18 0 33825 0
vsize: 135372
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 32793 0 0 0 63906 101 0 0 25 0 1 0 661708533 140308480 32738 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34255 32738 566 18 0 34237 0
vsize: 137020
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33160 0 0 0 64906 102 0 0 25 0 1 0 661708533 141889536 33105 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34641 33105 566 18 0 34623 0
vsize: 138564
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33517 0 0 0 65905 103 0 0 25 0 1 0 661708533 143339520 33462 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34995 33462 566 18 0 34977 0
vsize: 139980
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 33765 0 0 0 66905 103 0 0 25 0 1 0 661708533 144261120 33710 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35220 33710 566 18 0 35202 0
vsize: 140880
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34023 0 0 0 67904 104 0 0 25 0 1 0 661708533 145330176 33968 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35481 33968 566 18 0 35463 0
vsize: 141924
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34412 0 0 0 68903 105 0 0 25 0 1 0 661708533 146894848 34357 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35863 34357 566 18 0 35845 0
vsize: 143452
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 34860 0 0 0 69903 106 0 0 25 0 1 0 661708533 148733952 34805 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36312 34805 566 18 0 36294 0
vsize: 145248
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35224 0 0 0 70902 107 0 0 25 0 1 0 661708533 150302720 35169 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36695 35169 566 18 0 36677 0
vsize: 146780
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35535 0 0 0 71901 108 0 0 25 0 1 0 661708533 151609344 35480 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37014 35480 566 18 0 36996 0
vsize: 148056
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 35835 0 0 0 72900 109 0 0 25 0 1 0 661708533 152768512 35780 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37297 35780 566 18 0 37279 0
vsize: 149188
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 36171 0 0 0 73900 109 0 0 25 0 1 0 661708533 154210304 36116 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37649 36116 566 18 0 37631 0
vsize: 150596
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 36613 0 0 0 74898 111 0 0 25 0 1 0 661708533 155922432 36558 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38067 36558 566 18 0 38049 0
vsize: 152268
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37063 0 0 0 75897 113 0 0 25 0 1 0 661708533 157769728 37008 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38518 37008 566 18 0 38500 0
vsize: 154072
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37504 0 0 0 76895 115 0 0 25 0 1 0 661708533 159592448 37449 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38963 37449 566 18 0 38945 0
vsize: 155852
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 37900 0 0 0 77895 116 0 0 25 0 1 0 661708533 161263616 37845 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39371 37845 566 18 0 39353 0
vsize: 157484
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38204 0 0 0 78894 117 0 0 25 0 1 0 661708533 162455552 38149 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39662 38149 566 18 0 39644 0
vsize: 158648
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38541 0 0 0 79892 118 0 0 25 0 1 0 661708533 163880960 38486 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40010 38486 566 18 0 39992 0
vsize: 160040
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 38856 0 0 0 80892 119 0 0 25 0 1 0 661708533 165191680 38801 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40330 38801 566 18 0 40312 0
vsize: 161320
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39095 0 0 0 81891 120 0 0 25 0 1 0 661708533 166125568 39040 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40558 39040 566 18 0 40540 0
vsize: 162232
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39393 0 0 0 82891 120 0 0 25 0 1 0 661708533 167305216 39338 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40846 39338 566 18 0 40828 0
vsize: 163384
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39626 0 0 0 83890 121 0 0 25 0 1 0 661708533 168374272 39571 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41107 39571 566 18 0 41089 0
vsize: 164428
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 39826 0 0 0 84890 122 0 0 25 0 1 0 661708533 169168896 39771 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41301 39771 566 18 0 41283 0
vsize: 165204
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40054 0 0 0 85890 122 0 0 25 0 1 0 661708533 170070016 39999 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41521 39999 566 18 0 41503 0
vsize: 166084
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40243 0 0 0 86889 123 0 0 25 0 1 0 661708533 170860544 40188 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41714 40188 566 18 0 41696 0
vsize: 166856
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40462 0 0 0 87889 124 0 0 25 0 1 0 661708533 171814912 40407 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41947 40407 566 18 0 41929 0
vsize: 167788
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 40744 0 0 0 88889 124 0 0 25 0 1 0 661708533 172990464 40689 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42234 40689 566 18 0 42216 0
vsize: 168936
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41153 0 0 0 89888 125 0 0 25 0 1 0 661708533 174682112 41098 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42647 41098 566 18 0 42629 0
vsize: 170588
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41517 0 0 0 90887 126 0 0 25 0 1 0 661708533 176111616 41462 4294967295 134512640 134581331 3221221792 3221220764 134554712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42996 41462 566 18 0 42978 0
vsize: 171984
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 41913 0 0 0 91887 127 0 0 25 0 1 0 661708533 177815552 41858 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43412 41858 566 18 0 43394 0
vsize: 173648
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42326 0 0 0 92886 128 0 0 25 0 1 0 661708533 179490816 42271 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43821 42271 566 18 0 43803 0
vsize: 175284
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42623 0 0 0 93885 129 0 0 25 0 1 0 661708533 180662272 42568 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44107 42568 566 18 0 44089 0
vsize: 176428
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 42918 0 0 0 94884 130 0 0 25 0 1 0 661708533 181932032 42863 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44417 42863 566 18 0 44399 0
vsize: 177668
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43250 0 0 0 95884 130 0 0 25 0 1 0 661708533 183230464 43195 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44734 43195 566 18 0 44716 0
vsize: 178936
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43580 0 0 0 96883 132 0 0 25 0 1 0 661708533 184627200 43525 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45075 43525 566 18 0 45057 0
vsize: 180300
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 43944 0 0 0 97882 133 0 0 25 0 1 0 661708533 186048512 43889 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45422 43889 566 18 0 45404 0
vsize: 181688
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44308 0 0 0 98881 134 0 0 25 0 1 0 661708533 187584512 44253 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45797 44253 566 18 0 45779 0
vsize: 183188
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44647 0 0 0 99880 135 0 0 25 0 1 0 661708533 189009920 44592 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46145 44592 566 18 0 46127 0
vsize: 184580
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 44970 0 0 0 100879 136 0 0 25 0 1 0 661708533 190283776 44915 4294967295 134512640 134581331 3221221792 3221220764 134554652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46456 44915 566 18 0 46438 0
vsize: 185824
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45257 0 0 0 101878 137 0 0 25 0 1 0 661708533 191438848 45202 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46738 45202 566 18 0 46720 0
vsize: 186952
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45580 0 0 0 102878 138 0 0 25 0 1 0 661708533 192843776 45525 4294967295 134512640 134581331 3221221792 3221220848 134556137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47081 45525 566 18 0 47063 0
vsize: 188324
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 45891 0 0 0 103877 139 0 0 25 0 1 0 661708533 194072576 45836 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47381 45836 566 18 0 47363 0
vsize: 189524
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46124 0 0 0 104876 140 0 0 25 0 1 0 661708533 195129344 46069 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47639 46069 566 18 0 47621 0
vsize: 190556
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46342 0 0 0 105876 140 0 0 25 0 1 0 661708533 195964928 46287 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47843 46287 566 18 0 47825 0
vsize: 191372
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46631 0 0 0 106875 141 0 0 25 0 1 0 661708533 197267456 46576 4294967295 134512640 134581331 3221221792 3221220672 134560216 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48161 46576 566 18 0 48143 0
vsize: 192644
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 46983 0 0 0 107874 142 0 0 25 0 1 0 661708533 198709248 46928 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48513 46928 566 18 0 48495 0
vsize: 194052
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47375 0 0 0 108873 143 0 0 25 0 1 0 661708533 200278016 47320 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48896 47320 566 18 0 48878 0
vsize: 195584
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47694 0 0 0 109873 144 0 0 25 0 1 0 661708533 201576448 47639 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49213 47639 566 18 0 49195 0
vsize: 196852
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 47993 0 0 0 110872 145 0 0 25 0 1 0 661708533 202727424 47938 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49494 47938 566 18 0 49476 0
vsize: 197976
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 48422 0 0 0 111872 146 0 0 25 0 1 0 661708533 204521472 48367 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49932 48367 566 18 0 49914 0
vsize: 199728
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 48740 0 0 0 112871 147 0 0 25 0 1 0 661708533 205815808 48685 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50248 48685 566 18 0 50230 0
vsize: 200992
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49027 0 0 0 113870 148 0 0 25 0 1 0 661708533 207040512 48972 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50547 48972 566 18 0 50529 0
vsize: 202188
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49331 0 0 0 114870 148 0 0 25 0 1 0 661708533 208297984 49276 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50854 49276 566 18 0 50836 0
vsize: 203416
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 49710 0 0 0 115869 149 0 0 25 0 1 0 661708533 209784832 49655 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51217 49655 566 18 0 51199 0
vsize: 204868
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50084 0 0 0 116868 150 0 0 25 0 1 0 661708533 211398656 50029 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51611 50029 566 18 0 51593 0
vsize: 206444
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50459 0 0 0 117868 151 0 0 25 0 1 0 661708533 212914176 50404 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51981 50404 566 18 0 51963 0
vsize: 207924
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 50747 0 0 0 118867 151 0 0 25 0 1 0 661708533 214061056 50692 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52261 50692 566 18 0 52243 0
vsize: 209044
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7428
Raw data (stat): 7428 (Pueblo) R 7427 7876 7672 0 -1 0 51064 0 0 0 119867 152 0 0 25 0 1 0 661708533 215326720 51009 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52570 51009 566 18 0 52552 0
vsize: 210280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 7428
Raw data (stat): 7428 (Pueblo) Z 7427 7876 7672 0 -1 1036 51064 0 0 0 119867 161 0 0 25 0 1 0 661708533 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.3
CPU user time (s): 1198.68
CPU system time (s): 1.61975
CPU usage (%): 100.013
Max. virtual memory (Kb): 210280
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####