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-par32-2.opb
MD5SUM	48ed39004ec868a1cad026c865b17eb2
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	6352
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	6352
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	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13429
Number of constraints which are clauses	13429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 38410

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 09:11:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26476 boxname=wulflinc4 idbench=206 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  48ed39004ec868a1cad026c865b17eb2  /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-2.opb
IDLAUNCH: 26476
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        685112 kB
Buffers:         33960 kB
Cached:         293640 kB
SwapCached:        568 kB
Active:          53788 kB
Inactive:       275960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684860 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5312 kB
Slab:            14068 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:31:10 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26476 7 1200.23 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.97 1/54 7324
Raw data (stat): 7324 (runsolver) R 7323 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848595419 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1295 0 0 0 996 3 0 0 25 0 1 0 848595419 11055104 1269 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 1269 566 18 0 2681 0
vsize: 10796
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1301 0 0 0 1996 3 0 0 25 0 1 0 848595419 11055104 1275 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 1275 566 18 0 2681 0
vsize: 10796
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1304 0 0 0 2996 3 0 0 25 0 1 0 848595419 11055104 1278 4294967295 134512640 134581267 3221224592 3221223584 134561012 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2699 1278 566 18 0 2681 0
vsize: 10796
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1403 0 0 0 3996 3 0 0 25 0 1 0 848595419 11452416 1377 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2796 1377 566 18 0 2778 0
vsize: 11184
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1507 0 0 0 4997 3 0 0 25 0 1 0 848595419 11853824 1481 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2894 1481 566 18 0 2876 0
vsize: 11576
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1547 0 0 0 5997 3 0 0 25 0 1 0 848595419 11988992 1521 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2927 1521 566 18 0 2909 0
vsize: 11708
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1551 0 0 0 6997 3 0 0 25 0 1 0 848595419 12124160 1525 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2960 1525 566 18 0 2942 0
vsize: 11840
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1631 0 0 0 7997 3 0 0 25 0 1 0 848595419 12386304 1605 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1605 566 18 0 3006 0
vsize: 12096
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1631 0 0 0 8997 3 0 0 25 0 1 0 848595419 12386304 1605 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3024 1605 566 18 0 3006 0
vsize: 12096
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1699 0 0 0 9997 3 0 0 25 0 1 0 848595419 12652544 1673 4294967295 134512640 134581267 3221224592 3221223536 134559211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3089 1673 566 18 0 3071 0
vsize: 12356
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1770 0 0 0 10997 3 0 0 25 0 1 0 848595419 12918784 1744 4294967295 134512640 134581267 3221224592 3221223472 134560319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3154 1744 566 18 0 3136 0
vsize: 12616
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1770 0 0 0 11998 3 0 0 25 0 1 0 848595419 12918784 1744 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3154 1744 566 18 0 3136 0
vsize: 12616
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1822 0 0 0 12998 3 0 0 25 0 1 0 848595419 13189120 1796 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1796 566 18 0 3202 0
vsize: 12880
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1822 0 0 0 13998 3 0 0 25 0 1 0 848595419 13189120 1796 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1796 566 18 0 3202 0
vsize: 12880
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1826 0 0 0 14998 3 0 0 25 0 1 0 848595419 13189120 1800 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3220 1800 566 18 0 3202 0
vsize: 12880
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1917 0 0 0 15998 4 0 0 25 0 1 0 848595419 13639680 1891 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 1891 566 18 0 3312 0
vsize: 13320
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1922 0 0 0 16998 4 0 0 25 0 1 0 848595419 13639680 1896 4294967295 134512640 134581267 3221224592 3221223568 134560680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 1896 566 18 0 3312 0
vsize: 13320
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1924 0 0 0 17998 4 0 0 25 0 1 0 848595419 13639680 1898 4294967295 134512640 134581267 3221224592 3221223536 134559217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 1898 566 18 0 3312 0
vsize: 13320
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1996 0 0 0 18997 4 0 0 25 0 1 0 848595419 13905920 1970 4294967295 134512640 134581267 3221224592 3221223472 134520174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1970 566 18 0 3377 0
vsize: 13580
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 1996 0 0 0 19998 4 0 0 25 0 1 0 848595419 13905920 1970 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1970 566 18 0 3377 0
vsize: 13580
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2058 0 0 0 20998 4 0 0 25 0 1 0 848595419 14168064 2032 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2032 566 18 0 3441 0
vsize: 13836
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2243 0 0 0 21997 5 0 0 25 0 1 0 848595419 14970880 2217 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2217 566 18 0 3637 0
vsize: 14620
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2243 0 0 0 22997 5 0 0 25 0 1 0 848595419 14970880 2217 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2217 566 18 0 3637 0
vsize: 14620
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2248 0 0 0 23997 5 0 0 25 0 1 0 848595419 14970880 2222 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3655 2222 566 18 0 3637 0
vsize: 14620
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2281 0 0 0 24997 5 0 0 25 0 1 0 848595419 15101952 2255 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2255 566 18 0 3669 0
vsize: 14748
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2281 0 0 0 25998 5 0 0 25 0 1 0 848595419 15101952 2255 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2255 566 18 0 3669 0
vsize: 14748
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2288 0 0 0 26998 5 0 0 25 0 1 0 848595419 15101952 2262 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3687 2262 566 18 0 3669 0
vsize: 14748
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2293 0 0 0 27998 5 0 0 25 0 1 0 848595419 15233024 2267 4294967295 134512640 134581267 3221224592 3221223568 134560667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 2267 566 18 0 3701 0
vsize: 14876
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2293 0 0 0 28998 5 0 0 25 0 1 0 848595419 15233024 2267 4294967295 134512640 134581267 3221224592 3221223472 134520271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 2267 566 18 0 3701 0
vsize: 14876
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2304 0 0 0 29998 5 0 0 25 0 1 0 848595419 15233024 2278 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3719 2278 566 18 0 3701 0
vsize: 14876
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2380 0 0 0 30999 5 0 0 25 0 1 0 848595419 15499264 2354 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3784 2354 566 18 0 3766 0
vsize: 15136
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2483 0 0 0 31998 6 0 0 25 0 1 0 848595419 16027648 2457 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2457 566 18 0 3895 0
vsize: 15652
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2484 0 0 0 32998 6 0 0 25 0 1 0 848595419 16027648 2458 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2458 566 18 0 3895 0
vsize: 15652
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2489 0 0 0 33999 6 0 0 25 0 1 0 848595419 16027648 2463 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2463 566 18 0 3895 0
vsize: 15652
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2585 0 0 0 34998 6 0 0 25 0 1 0 848595419 16429056 2559 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2559 566 18 0 3993 0
vsize: 16044
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2585 0 0 0 35999 6 0 0 25 0 1 0 848595419 16429056 2559 4294967295 134512640 134581267 3221224592 3221223472 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2559 566 18 0 3993 0
vsize: 16044
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2586 0 0 0 36999 6 0 0 25 0 1 0 848595419 16429056 2560 4294967295 134512640 134581267 3221224592 3221223584 134561108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2560 566 18 0 3993 0
vsize: 16044
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2592 0 0 0 37998 6 0 0 25 0 1 0 848595419 16429056 2566 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2566 566 18 0 3993 0
vsize: 16044
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 38999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 39999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 40999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 41999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 42999 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223520 134519880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2593 0 0 0 44000 6 0 0 25 0 1 0 848595419 16429056 2567 4294967295 134512640 134581267 3221224592 3221223552 134554618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2567 566 18 0 3993 0
vsize: 16044
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2595 0 0 0 45000 6 0 0 25 0 1 0 848595419 16429056 2569 4294967295 134512640 134581267 3221224592 3221223536 134559165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2569 566 18 0 3993 0
vsize: 16044
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2596 0 0 0 46000 6 0 0 25 0 1 0 848595419 16429056 2570 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2570 566 18 0 3993 0
vsize: 16044
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2596 0 0 0 47000 6 0 0 25 0 1 0 848595419 16429056 2570 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2570 566 18 0 3993 0
vsize: 16044
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 48001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 49001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 50001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 51001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 52001 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 53002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 54002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 55002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 56002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2598 0 0 0 57002 6 0 0 25 0 1 0 848595419 16429056 2572 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2572 566 18 0 3993 0
vsize: 16044
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2604 0 0 0 58003 6 0 0 25 0 1 0 848595419 16429056 2578 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 2578 566 18 0 3993 0
vsize: 16044
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2609 0 0 0 59003 6 0 0 25 0 1 0 848595419 16592896 2583 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2583 566 18 0 4033 0
vsize: 16204
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2609 0 0 0 60003 6 0 0 25 0 1 0 848595419 16592896 2583 4294967295 134512640 134581267 3221224592 3221223472 134560456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2583 566 18 0 4033 0
vsize: 16204
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2616 0 0 0 61003 6 0 0 25 0 1 0 848595419 16592896 2590 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2590 566 18 0 4033 0
vsize: 16204
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 62003 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2592 566 18 0 4033 0
vsize: 16204
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 63003 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2592 566 18 0 4033 0
vsize: 16204
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 64004 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223504 134519975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2592 566 18 0 4033 0
vsize: 16204
[startup+650.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2618 0 0 0 65004 6 0 0 25 0 1 0 848595419 16592896 2592 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4051 2592 566 18 0 4033 0
vsize: 16204
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2719 0 0 0 66004 7 0 0 25 0 1 0 848595419 16998400 2693 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2693 566 18 0 4132 0
vsize: 16600
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2725 0 0 0 67004 7 0 0 25 0 1 0 848595419 16998400 2699 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2699 566 18 0 4132 0
vsize: 16600
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2727 0 0 0 68004 7 0 0 25 0 1 0 848595419 16998400 2701 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2701 566 18 0 4132 0
vsize: 16600
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2727 0 0 0 69004 7 0 0 25 0 1 0 848595419 16998400 2701 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4150 2701 566 18 0 4132 0
vsize: 16600
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 70004 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2768 566 18 0 4203 0
vsize: 16884
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 71005 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2768 566 18 0 4203 0
vsize: 16884
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2794 0 0 0 72005 7 0 0 25 0 1 0 848595419 17289216 2768 4294967295 134512640 134581267 3221224592 3221223472 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2768 566 18 0 4203 0
vsize: 16884
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2795 0 0 0 73005 7 0 0 25 0 1 0 848595419 17289216 2769 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2769 566 18 0 4203 0
vsize: 16884
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 74005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2783 566 18 0 4203 0
vsize: 16884
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 75005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223576 134560628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2783 566 18 0 4203 0
vsize: 16884
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2809 0 0 0 76005 7 0 0 25 0 1 0 848595419 17289216 2783 4294967295 134512640 134581267 3221224592 3221223536 134559384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2783 566 18 0 4203 0
vsize: 16884
[startup+770.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 77006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2784 566 18 0 4203 0
vsize: 16884
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 78006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2784 566 18 0 4203 0
vsize: 16884
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 79006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2784 566 18 0 4203 0
vsize: 16884
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 80006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2784 566 18 0 4203 0
vsize: 16884
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2810 0 0 0 81006 7 0 0 25 0 1 0 848595419 17289216 2784 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4221 2784 566 18 0 4203 0
vsize: 16884
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 82007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 83007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134560807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 84007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223536 134559023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 85007 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 86008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 87008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 88008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 89008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 90008 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+910.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 91009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 92009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2817 0 0 0 93009 7 0 0 25 0 1 0 848595419 17457152 2791 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2791 566 18 0 4244 0
vsize: 17048
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 94009 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2800 566 18 0 4244 0
vsize: 17048
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 95009 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2800 566 18 0 4244 0
vsize: 17048
[startup+960.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 96010 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2800 566 18 0 4244 0
vsize: 17048
[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2826 0 0 0 97010 7 0 0 25 0 1 0 848595419 17457152 2800 4294967295 134512640 134581267 3221224592 3221223472 134520182 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2800 566 18 0 4244 0
vsize: 17048
[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2831 0 0 0 98010 7 0 0 25 0 1 0 848595419 17457152 2805 4294967295 134512640 134581267 3221224592 3221223536 134559023 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4262 2805 566 18 0 4244 0
vsize: 17048
[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2898 0 0 0 99010 7 0 0 25 0 1 0 848595419 17723392 2872 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4327 2872 566 18 0 4309 0
vsize: 17308
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2898 0 0 0 100010 7 0 0 25 0 1 0 848595419 17723392 2872 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4327 2872 566 18 0 4309 0
vsize: 17308
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2906 0 0 0 101010 7 0 0 25 0 1 0 848595419 17862656 2880 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 2880 566 18 0 4343 0
vsize: 17444
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2908 0 0 0 102010 7 0 0 25 0 1 0 848595419 17862656 2882 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 2882 566 18 0 4343 0
vsize: 17444
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2959 0 0 0 103010 8 0 0 25 0 1 0 848595419 17993728 2933 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 2933 566 18 0 4375 0
vsize: 17572
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2966 0 0 0 104010 8 0 0 25 0 1 0 848595419 17993728 2940 4294967295 134512640 134581267 3221224592 3221223552 134519781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 2940 566 18 0 4375 0
vsize: 17572
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2967 0 0 0 105011 8 0 0 25 0 1 0 848595419 17993728 2941 4294967295 134512640 134581267 3221224592 3221223472 134560317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 2941 566 18 0 4375 0
vsize: 17572
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2968 0 0 0 106011 8 0 0 25 0 1 0 848595419 17993728 2942 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4393 2942 566 18 0 4375 0
vsize: 17572
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 2974 0 0 0 107011 8 0 0 25 0 1 0 848595419 18157568 2948 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 2948 566 18 0 4415 0
vsize: 17732
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 108011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223504 134531366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3061 566 18 0 4512 0
vsize: 18120
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 109011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3061 566 18 0 4512 0
vsize: 18120
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 110011 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3061 566 18 0 4512 0
vsize: 18120
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3087 0 0 0 111012 8 0 0 25 0 1 0 848595419 18554880 3061 4294967295 134512640 134581267 3221224592 3221223472 134560322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3061 566 18 0 4512 0
vsize: 18120
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3093 0 0 0 112012 8 0 0 25 0 1 0 848595419 18554880 3067 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4530 3067 566 18 0 4512 0
vsize: 18120
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 113012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 114012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 115012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223472 134560529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 116012 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 117013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223552 134516740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 118013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223584 134561087 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 119013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223472 134560418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 7324
Raw data (stat): 7324 (Pueblo-v2) R 7323 21152 21151 0 -1 0 3133 0 0 0 120013 8 0 0 25 0 1 0 848595419 18821120 3107 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4595 3107 566 18 0 4577 0
vsize: 18380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.97 1/54 7324
Raw data (stat): 7324 (Pueblo-v2) Z 7323 21152 21151 0 -1 1036 3133 0 0 0 120013 9 0 0 25 0 1 0 848595419 0 0 4294967295 0 0 0 0 0 0 0 7 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.23
CPU user time (s): 1200.14
CPU system time (s): 0.093985
CPU usage (%): 100.015
Max. virtual memory (Kb): 18380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####