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-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
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	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
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	3
Trace number 23785

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 19:22:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1159 boxname=wulflinc31 idbench=129 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
IDLAUNCH: 1159
/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:        905784 kB
Buffers:         44660 kB
Cached:          61972 kB
SwapCached:        944 kB
Active:          87064 kB
Inactive:        21996 kB
HighTotal:      131008 kB
HighFree:        68068 kB
LowTotal:       903652 kB
LowFree:        837716 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14240 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 19:42:38 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 1159 7 1200.2 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.85 0.97 0.98 2/54 5731
Raw data (stat): 5731 (runsolver) R 5730 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659885250 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 624 0 0 0 994 3 0 0 25 0 1 0 659885250 8237056 601 4294967295 134512640 134581331 3221221808 3221220740 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2011 601 566 18 0 1993 0
vsize: 8044
[startup+20.0026 s]
Raw data (loadavg): 0.89 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 691 0 0 0 1993 4 0 0 25 0 1 0 659885250 8503296 668 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2076 668 566 18 0 2058 0
vsize: 8304
[startup+30.0038 s]
Raw data (loadavg): 0.91 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 747 0 0 0 2993 4 0 0 25 0 1 0 659885250 8765440 724 4294967295 134512640 134581331 3221221808 3221220800 134560970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2140 724 566 18 0 2122 0
vsize: 8560
[startup+40.0037 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 799 0 0 0 3992 5 0 0 25 0 1 0 659885250 8896512 776 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2172 776 566 18 0 2154 0
vsize: 8688
[startup+50.0047 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 818 0 0 0 4992 6 0 0 25 0 1 0 659885250 9031680 795 4294967295 134512640 134581331 3221221808 3221220716 134560303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 795 566 18 0 2187 0
vsize: 8820
[startup+60.0054 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 831 0 0 0 5992 6 0 0 25 0 1 0 659885250 9031680 808 4294967295 134512640 134581331 3221221808 3221220784 134560721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2205 808 566 18 0 2187 0
vsize: 8820
[startup+70.0053 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 881 0 0 0 6992 6 0 0 25 0 1 0 659885250 9302016 858 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2271 858 566 18 0 2253 0
vsize: 9084
[startup+80.0069 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 920 0 0 0 7992 6 0 0 25 0 1 0 659885250 9433088 897 4294967295 134512640 134581331 3221221808 3221220736 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2303 897 566 18 0 2285 0
vsize: 9212
[startup+90.0072 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 936 0 0 0 8992 6 0 0 25 0 1 0 659885250 9564160 913 4294967295 134512640 134581331 3221221808 3221220752 134559074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2335 913 566 18 0 2317 0
vsize: 9340
[startup+100.007 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 936 0 0 0 9992 6 0 0 25 0 1 0 659885250 9564160 913 4294967295 134512640 134581331 3221221808 3221220584 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2335 913 566 18 0 2317 0
vsize: 9340
[startup+110.008 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 971 0 0 0 10992 6 0 0 25 0 1 0 659885250 9699328 948 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2368 948 566 18 0 2350 0
vsize: 9472
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1001 0 0 0 11992 7 0 0 25 0 1 0 659885250 9834496 978 4294967295 134512640 134581331 3221221808 3221220768 134554662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2401 978 566 18 0 2383 0
vsize: 9604
[startup+130.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1001 0 0 0 12992 7 0 0 25 0 1 0 659885250 9834496 978 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2401 978 566 18 0 2383 0
vsize: 9604
[startup+140.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1015 0 0 0 13992 7 0 0 25 0 1 0 659885250 9834496 992 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2401 992 566 18 0 2383 0
vsize: 9604
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1025 0 0 0 14993 7 0 0 25 0 1 0 659885250 9834496 1002 4294967295 134512640 134581331 3221221808 3221220736 134519955 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2401 1002 566 18 0 2383 0
vsize: 9604
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1043 0 0 0 15993 7 0 0 25 0 1 0 659885250 9965568 1020 4294967295 134512640 134581331 3221221808 3221220784 134561104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2433 1020 566 18 0 2415 0
vsize: 9732
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1080 0 0 0 16993 7 0 0 25 0 1 0 659885250 10096640 1057 4294967295 134512640 134581331 3221221808 3221220752 134558844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2465 1057 566 18 0 2447 0
vsize: 9860
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1115 0 0 0 17993 7 0 0 25 0 1 0 659885250 10227712 1092 4294967295 134512640 134581331 3221221808 3221220780 134519895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2497 1092 566 18 0 2479 0
vsize: 9988
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1137 0 0 0 18993 7 0 0 25 0 1 0 659885250 10358784 1114 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2529 1114 566 18 0 2511 0
vsize: 10116
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1142 0 0 0 19993 7 0 0 25 0 1 0 659885250 10358784 1119 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2529 1119 566 18 0 2511 0
vsize: 10116
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1151 0 0 0 20993 7 0 0 25 0 1 0 659885250 10358784 1128 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2529 1128 566 18 0 2511 0
vsize: 10116
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1165 0 0 0 21993 7 0 0 25 0 1 0 659885250 10493952 1142 4294967295 134512640 134581331 3221221808 3221220704 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2562 1142 566 18 0 2544 0
vsize: 10248
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1177 0 0 0 22993 8 0 0 25 0 1 0 659885250 10493952 1154 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2562 1154 566 18 0 2544 0
vsize: 10248
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1180 0 0 0 23993 8 0 0 25 0 1 0 659885250 10493952 1157 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2562 1157 566 18 0 2544 0
vsize: 10248
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1212 0 0 0 24993 8 0 0 25 0 1 0 659885250 10633216 1189 4294967295 134512640 134581331 3221221808 3221220800 134561122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2596 1189 566 18 0 2578 0
vsize: 10384
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1237 0 0 0 25993 8 0 0 25 0 1 0 659885250 10768384 1214 4294967295 134512640 134581331 3221221808 3221220752 134559087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1214 566 18 0 2611 0
vsize: 10516
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1247 0 0 0 26993 8 0 0 25 0 1 0 659885250 10768384 1224 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2629 1224 566 18 0 2611 0
vsize: 10516
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1273 0 0 0 27993 8 0 0 25 0 1 0 659885250 10899456 1250 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1250 566 18 0 2643 0
vsize: 10644
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1281 0 0 0 28993 8 0 0 25 0 1 0 659885250 10899456 1258 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2661 1258 566 18 0 2643 0
vsize: 10644
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1296 0 0 0 29993 8 0 0 25 0 1 0 659885250 11038720 1273 4294967295 134512640 134581331 3221221808 3221220736 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2695 1273 566 18 0 2677 0
vsize: 10780
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1298 0 0 0 30993 9 0 0 25 0 1 0 659885250 11038720 1275 4294967295 134512640 134581331 3221221808 3221220800 134561080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2695 1275 566 18 0 2677 0
vsize: 10780
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1298 0 0 0 31994 9 0 0 25 0 1 0 659885250 11038720 1275 4294967295 134512640 134581331 3221221808 3221220736 134520015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2695 1275 566 18 0 2677 0
vsize: 10780
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1318 0 0 0 32994 9 0 0 25 0 1 0 659885250 11038720 1295 4294967295 134512640 134581331 3221221808 3221220800 134561155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2695 1295 566 18 0 2677 0
vsize: 10780
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1326 0 0 0 33994 9 0 0 25 0 1 0 659885250 11169792 1303 4294967295 134512640 134581331 3221221808 3221220704 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1303 566 18 0 2709 0
vsize: 10908
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1326 0 0 0 34994 9 0 0 25 0 1 0 659885250 11169792 1303 4294967295 134512640 134581331 3221221808 3221220664 1075285673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1303 566 18 0 2709 0
vsize: 10908
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1326 0 0 0 35994 9 0 0 25 0 1 0 659885250 11169792 1303 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1303 566 18 0 2709 0
vsize: 10908
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1336 0 0 0 36994 9 0 0 25 0 1 0 659885250 11169792 1313 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1313 566 18 0 2709 0
vsize: 10908
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1348 0 0 0 37994 9 0 0 25 0 1 0 659885250 11169792 1325 4294967295 134512640 134581331 3221221808 3221220688 134560500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2727 1325 566 18 0 2709 0
vsize: 10908
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1361 0 0 0 38995 9 0 0 25 0 1 0 659885250 11309056 1338 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2761 1338 566 18 0 2743 0
vsize: 11044
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1408 0 0 0 39994 9 0 0 25 0 1 0 659885250 11440128 1385 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2793 1385 566 18 0 2775 0
vsize: 11172
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1430 0 0 0 40994 10 0 0 25 0 1 0 659885250 11579392 1407 4294967295 134512640 134581331 3221221808 3221220740 134558768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1407 566 18 0 2809 0
vsize: 11308
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1441 0 0 0 41995 10 0 0 25 0 1 0 659885250 11579392 1418 4294967295 134512640 134581331 3221221808 3221220592 134566395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1418 566 18 0 2809 0
vsize: 11308
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1443 0 0 0 42995 10 0 0 25 0 1 0 659885250 11579392 1420 4294967295 134512640 134581331 3221221808 3221220736 134519965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1420 566 18 0 2809 0
vsize: 11308
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1445 0 0 0 43995 10 0 0 25 0 1 0 659885250 11579392 1422 4294967295 134512640 134581331 3221221808 3221220656 1075288176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1422 566 18 0 2809 0
vsize: 11308
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1455 0 0 0 44995 10 0 0 25 0 1 0 659885250 11579392 1432 4294967295 134512640 134581331 3221221808 3221220752 134558842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2827 1432 566 18 0 2809 0
vsize: 11308
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1469 0 0 0 45995 10 0 0 25 0 1 0 659885250 11714560 1446 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1446 566 18 0 2842 0
vsize: 11440
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1480 0 0 0 46995 10 0 0 25 0 1 0 659885250 11714560 1457 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1457 566 18 0 2842 0
vsize: 11440
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1480 0 0 0 47995 10 0 0 25 0 1 0 659885250 11714560 1457 4294967295 134512640 134581331 3221221808 3221220736 134519817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1457 566 18 0 2842 0
vsize: 11440
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1480 0 0 0 48995 10 0 0 25 0 1 0 659885250 11714560 1457 4294967295 134512640 134581331 3221221808 3221219776 134566843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1457 566 18 0 2842 0
vsize: 11440
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1482 0 0 0 49995 10 0 0 25 0 1 0 659885250 11714560 1459 4294967295 134512640 134581331 3221221808 3221220800 134560979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2860 1459 566 18 0 2842 0
vsize: 11440
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1507 0 0 0 50995 10 0 0 25 0 1 0 659885250 11849728 1484 4294967295 134512640 134581331 3221221808 3221220788 134561096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1484 566 18 0 2875 0
vsize: 11572
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1511 0 0 0 51995 10 0 0 25 0 1 0 659885250 11849728 1488 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1488 566 18 0 2875 0
vsize: 11572
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1511 0 0 0 52996 10 0 0 25 0 1 0 659885250 11849728 1488 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1488 566 18 0 2875 0
vsize: 11572
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1511 0 0 0 53996 10 0 0 25 0 1 0 659885250 11849728 1488 4294967295 134512640 134581331 3221221808 3221220688 134520297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1488 566 18 0 2875 0
vsize: 11572
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1511 0 0 0 54996 10 0 0 25 0 1 0 659885250 11849728 1488 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1488 566 18 0 2875 0
vsize: 11572
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1515 0 0 0 55996 10 0 0 25 0 1 0 659885250 11849728 1492 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1492 566 18 0 2875 0
vsize: 11572
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1519 0 0 0 56996 10 0 0 25 0 1 0 659885250 11849728 1496 4294967295 134512640 134581331 3221221808 3221220752 134558922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2893 1496 566 18 0 2875 0
vsize: 11572
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1528 0 0 0 57997 10 0 0 25 0 1 0 659885250 11984896 1505 4294967295 134512640 134581331 3221221808 3221220688 134520302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2926 1505 566 18 0 2908 0
vsize: 11704
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1557 0 0 0 58997 10 0 0 25 0 1 0 659885250 12115968 1534 4294967295 134512640 134581331 3221221808 3221220768 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 1534 566 18 0 2940 0
vsize: 11832
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1557 0 0 0 59997 10 0 0 25 0 1 0 659885250 12115968 1534 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 1534 566 18 0 2940 0
vsize: 11832
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1560 0 0 0 60997 10 0 0 25 0 1 0 659885250 12115968 1537 4294967295 134512640 134581331 3221221808 3221220736 134519855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 1537 566 18 0 2940 0
vsize: 11832
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1573 0 0 0 61997 10 0 0 25 0 1 0 659885250 12115968 1550 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2958 1550 566 18 0 2940 0
vsize: 11832
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1606 0 0 0 62998 10 0 0 25 0 1 0 659885250 12251136 1583 4294967295 134512640 134581331 3221221808 3221220800 134561128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 1583 566 18 0 2973 0
vsize: 11964
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1609 0 0 0 63998 10 0 0 25 0 1 0 659885250 12251136 1586 4294967295 134512640 134581331 3221221808 3221220688 134560328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 1586 566 18 0 2973 0
vsize: 11964
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1611 0 0 0 64998 10 0 0 25 0 1 0 659885250 12251136 1588 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 1588 566 18 0 2973 0
vsize: 11964
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1614 0 0 0 65998 10 0 0 25 0 1 0 659885250 12251136 1591 4294967295 134512640 134581331 3221221808 3221220768 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 1591 566 18 0 2973 0
vsize: 11964
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1615 0 0 0 66998 10 0 0 25 0 1 0 659885250 12251136 1592 4294967295 134512640 134581331 3221221808 3221220736 134519899 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2991 1592 566 18 0 2973 0
vsize: 11964
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1626 0 0 0 67998 10 0 0 25 0 1 0 659885250 12386304 1603 4294967295 134512640 134581331 3221221808 3221220736 134519817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1603 566 18 0 3006 0
vsize: 12096
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1629 0 0 0 68999 10 0 0 25 0 1 0 659885250 12386304 1606 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1606 566 18 0 3006 0
vsize: 12096
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1642 0 0 0 69999 11 0 0 25 0 1 0 659885250 12386304 1619 4294967295 134512640 134581331 3221221808 3221220716 134560303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1619 566 18 0 3006 0
vsize: 12096
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1645 0 0 0 70999 11 0 0 25 0 1 0 659885250 12386304 1622 4294967295 134512640 134581331 3221221808 3221220800 134561145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1622 566 18 0 3006 0
vsize: 12096
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1680 0 0 0 71999 11 0 0 25 0 1 0 659885250 12517376 1657 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 1657 566 18 0 3038 0
vsize: 12224
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1696 0 0 0 72999 11 0 0 25 0 1 0 659885250 12656640 1673 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1673 566 18 0 3072 0
vsize: 12360
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1696 0 0 0 73999 11 0 0 25 0 1 0 659885250 12656640 1673 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1673 566 18 0 3072 0
vsize: 12360
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 74999 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220752 134558916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 75999 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220688 134520345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 76999 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220800 134561131 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 78000 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220880 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 79000 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 80000 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1699 0 0 0 81000 11 0 0 25 0 1 0 659885250 12656640 1676 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3090 1676 566 18 0 3072 0
vsize: 12360
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 82000 11 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 83000 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220800 134561137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 84000 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 85000 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220512 1075288289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 86001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 87001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220736 134520034 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 88001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 89001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 90001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 91001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220780 134519776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1738 0 0 0 92001 12 0 0 25 0 1 0 659885250 12791808 1715 4294967295 134512640 134581331 3221221808 3221220736 134520041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1715 566 18 0 3105 0
vsize: 12492
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1740 0 0 0 93002 12 0 0 25 0 1 0 659885250 12791808 1717 4294967295 134512640 134581331 3221221808 3221220800 134561140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1717 566 18 0 3105 0
vsize: 12492
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1743 0 0 0 94002 12 0 0 25 0 1 0 659885250 12791808 1720 4294967295 134512640 134581331 3221221808 3221220688 134520448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3123 1720 566 18 0 3105 0
vsize: 12492
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1780 0 0 0 95002 12 0 0 25 0 1 0 659885250 12980224 1757 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3169 1757 566 18 0 3151 0
vsize: 12676
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1784 0 0 0 96002 13 0 0 25 0 1 0 659885250 12980224 1761 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3169 1761 566 18 0 3151 0
vsize: 12676
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1794 0 0 0 97002 13 0 0 25 0 1 0 659885250 13123584 1771 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1771 566 18 0 3186 0
vsize: 12816
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1794 0 0 0 98002 13 0 0 25 0 1 0 659885250 13123584 1771 4294967295 134512640 134581331 3221221808 3221220780 134519776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1771 566 18 0 3186 0
vsize: 12816
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1802 0 0 0 99002 13 0 0 25 0 1 0 659885250 13123584 1779 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1779 566 18 0 3186 0
vsize: 12816
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1802 0 0 0 100002 13 0 0 25 0 1 0 659885250 13123584 1779 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1779 566 18 0 3186 0
vsize: 12816
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1807 0 0 0 101002 13 0 0 25 0 1 0 659885250 13123584 1784 4294967295 134512640 134581331 3221221808 3221220784 134560755 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1784 566 18 0 3186 0
vsize: 12816
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1809 0 0 0 102002 13 0 0 25 0 1 0 659885250 13123584 1786 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3204 1786 566 18 0 3186 0
vsize: 12816
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 103003 13 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220768 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 104002 13 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220736 134520034 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 105003 13 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220716 134560192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 106003 13 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220736 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 107003 13 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 108003 14 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220768 134554660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1855 0 0 0 109003 14 0 0 25 0 1 0 659885250 13389824 1832 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1832 566 18 0 3251 0
vsize: 13076
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1863 0 0 0 110003 14 0 0 25 0 1 0 659885250 13389824 1840 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1840 566 18 0 3251 0
vsize: 13076
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1863 0 0 0 111003 14 0 0 25 0 1 0 659885250 13389824 1840 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1840 566 18 0 3251 0
vsize: 13076
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1863 0 0 0 112003 14 0 0 25 0 1 0 659885250 13389824 1840 4294967295 134512640 134581331 3221221808 3221220768 134519781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1840 566 18 0 3251 0
vsize: 13076
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1867 0 0 0 113004 14 0 0 25 0 1 0 659885250 13389824 1844 4294967295 134512640 134581331 3221221808 3221220688 134560495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3269 1844 566 18 0 3251 0
vsize: 13076
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1908 0 0 0 114004 14 0 0 25 0 1 0 659885250 13524992 1885 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1885 566 18 0 3284 0
vsize: 13208
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 115004 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 116004 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 117004 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220704 134517912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 118004 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 119005 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220736 134519880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 5731
Raw data (stat): 5731 (Pueblo) R 5730 7876 7672 0 -1 0 1909 0 0 0 120005 14 0 0 25 0 1 0 659885250 13524992 1886 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3302 1886 566 18 0 3284 0
vsize: 13208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 5731
Raw data (stat): 5731 (Pueblo) Z 5730 7876 7672 0 -1 1036 1909 0 0 0 120005 14 0 0 25 0 1 0 659885250 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.05
CPU time (s): 1200.2
CPU user time (s): 1200.05
CPU system time (s): 0.148977
CPU usage (%): 100.012
Max. virtual memory (Kb): 13208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####