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 38334

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        778156 kB
Buffers:         33068 kB
Cached:         202476 kB
SwapCached:        552 kB
Active:          55672 kB
Inactive:       182004 kB
HighTotal:      131008 kB
HighFree:        48048 kB
LowTotal:       903652 kB
LowFree:        730108 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13072 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:06:38 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 26399 7 1200.67 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.86 0.97 0.93 2/54 12935
Raw data (stat): 12935 (runsolver) R 12934 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847736202 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 627 0 0 0 998 1 0 0 25 0 1 0 847736202 8171520 601 4294967295 134512640 134581267 3221224592 3221223568 134560956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1995 601 566 18 0 1977 0
vsize: 7980
[startup+20.0009 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 694 0 0 0 1998 1 0 0 25 0 1 0 847736202 8564736 668 4294967295 134512640 134581267 3221224592 3221223472 134560447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2091 668 566 18 0 2073 0
vsize: 8364
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 749 0 0 0 2998 1 0 0 25 0 1 0 847736202 8695808 723 4294967295 134512640 134581267 3221224592 3221223536 134559341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2123 723 566 18 0 2105 0
vsize: 8492
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 803 0 0 0 3999 1 0 0 25 0 1 0 847736202 8962048 777 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2188 777 566 18 0 2170 0
vsize: 8752
[startup+50.0014 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 828 0 0 0 4999 1 0 0 25 0 1 0 847736202 9097216 802 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 802 566 18 0 2203 0
vsize: 8884
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 845 0 0 0 5999 1 0 0 25 0 1 0 847736202 9097216 819 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2221 819 566 18 0 2203 0
vsize: 8884
[startup+70.0013 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 889 0 0 0 6999 2 0 0 25 0 1 0 847736202 9363456 863 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2286 863 566 18 0 2268 0
vsize: 9144
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 925 0 0 0 7999 2 0 0 25 0 1 0 847736202 9494528 899 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2318 899 566 18 0 2300 0
vsize: 9272
[startup+90.0016 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 937 0 0 0 9000 2 0 0 25 0 1 0 847736202 9494528 911 4294967295 134512640 134581267 3221224592 3221223520 134520039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2318 911 566 18 0 2300 0
vsize: 9272
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 950 0 0 0 10000 2 0 0 25 0 1 0 847736202 9629696 924 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2351 924 566 18 0 2333 0
vsize: 9404
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 976 0 0 0 11000 2 0 0 25 0 1 0 847736202 9629696 950 4294967295 134512640 134581267 3221224592 3221223600 134560453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2351 950 566 18 0 2333 0
vsize: 9404
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1005 0 0 0 12000 2 0 0 25 0 1 0 847736202 9760768 979 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 979 566 18 0 2365 0
vsize: 9532
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1011 0 0 0 13001 2 0 0 25 0 1 0 847736202 9760768 985 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2383 985 566 18 0 2365 0
vsize: 9532
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1018 0 0 0 14001 2 0 0 25 0 1 0 847736202 9891840 992 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2415 992 566 18 0 2397 0
vsize: 9660
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1031 0 0 0 15001 2 0 0 25 0 1 0 847736202 9891840 1005 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2415 1005 566 18 0 2397 0
vsize: 9660
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1067 0 0 0 16001 2 0 0 25 0 1 0 847736202 10027008 1041 4294967295 134512640 134581267 3221224592 3221223244 1075288811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1041 566 18 0 2430 0
vsize: 9792
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1113 0 0 0 17001 3 0 0 25 0 1 0 847736202 10162176 1087 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2481 1087 566 18 0 2463 0
vsize: 9924
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1126 0 0 0 18002 3 0 0 25 0 1 0 847736202 10301440 1100 4294967295 134512640 134581267 3221224592 3221223472 134560345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1100 566 18 0 2497 0
vsize: 10060
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1139 0 0 0 19002 3 0 0 25 0 1 0 847736202 10301440 1113 4294967295 134512640 134581267 3221224592 3221223496 134560258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1113 566 18 0 2497 0
vsize: 10060
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1148 0 0 0 20002 3 0 0 25 0 1 0 847736202 10440704 1122 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2549 1122 566 18 0 2531 0
vsize: 10196
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1154 0 0 0 21003 3 0 0 25 0 1 0 847736202 10440704 1128 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2549 1128 566 18 0 2531 0
vsize: 10196
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1182 0 0 0 22003 3 0 0 25 0 1 0 847736202 10575872 1156 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2582 1156 566 18 0 2564 0
vsize: 10328
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1182 0 0 0 23003 3 0 0 25 0 1 0 847736202 10575872 1156 4294967295 134512640 134581267 3221224592 3221223536 134558832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2582 1156 566 18 0 2564 0
vsize: 10328
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1192 0 0 0 24003 3 0 0 25 0 1 0 847736202 10575872 1166 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2582 1166 566 18 0 2564 0
vsize: 10328
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1233 0 0 0 25003 4 0 0 25 0 1 0 847736202 10711040 1207 4294967295 134512640 134581267 3221224592 3221223536 134558821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2615 1207 566 18 0 2597 0
vsize: 10460
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1247 0 0 0 26003 4 0 0 25 0 1 0 847736202 10711040 1221 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2615 1221 566 18 0 2597 0
vsize: 10460
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1278 0 0 0 27003 4 0 0 25 0 1 0 847736202 10842112 1252 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2647 1252 566 18 0 2629 0
vsize: 10588
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1282 0 0 0 28004 5 0 0 25 0 1 0 847736202 10977280 1256 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1256 566 18 0 2662 0
vsize: 10720
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1300 0 0 0 29004 5 0 0 25 0 1 0 847736202 10977280 1274 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1274 566 18 0 2662 0
vsize: 10720
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1308 0 0 0 30004 5 0 0 25 0 1 0 847736202 10977280 1282 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1282 566 18 0 2662 0
vsize: 10720
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1310 0 0 0 31004 5 0 0 25 0 1 0 847736202 10977280 1284 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1284 566 18 0 2662 0
vsize: 10720
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1322 0 0 0 32005 5 0 0 25 0 1 0 847736202 11116544 1296 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 1296 566 18 0 2696 0
vsize: 10856
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1333 0 0 0 33005 5 0 0 25 0 1 0 847736202 11116544 1307 4294967295 134512640 134581267 3221224592 3221223536 134559228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 1307 566 18 0 2696 0
vsize: 10856
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1333 0 0 0 34005 5 0 0 25 0 1 0 847736202 11116544 1307 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 1307 566 18 0 2696 0
vsize: 10856
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1333 0 0 0 35006 5 0 0 25 0 1 0 847736202 11116544 1307 4294967295 134512640 134581267 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 1307 566 18 0 2696 0
vsize: 10856
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1341 0 0 0 36006 5 0 0 25 0 1 0 847736202 11116544 1315 4294967295 134512640 134581267 3221224592 3221223552 134516701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2714 1315 566 18 0 2696 0
vsize: 10856
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1353 0 0 0 37006 5 0 0 25 0 1 0 847736202 11251712 1327 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2747 1327 566 18 0 2729 0
vsize: 10988
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1363 0 0 0 38006 5 0 0 25 0 1 0 847736202 11251712 1337 4294967295 134512640 134581267 3221224592 3221223520 134519901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2747 1337 566 18 0 2729 0
vsize: 10988
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1412 0 0 0 39007 5 0 0 25 0 1 0 847736202 11513856 1386 4294967295 134512640 134581267 3221224592 3221223472 134560354 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1386 566 18 0 2793 0
vsize: 11244
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1433 0 0 0 40007 6 0 0 25 0 1 0 847736202 11513856 1407 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1407 566 18 0 2793 0
vsize: 11244
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1446 0 0 0 41007 6 0 0 25 0 1 0 847736202 11649024 1420 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1420 566 18 0 2826 0
vsize: 11376
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1448 0 0 0 42007 6 0 0 25 0 1 0 847736202 11649024 1422 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1422 566 18 0 2826 0
vsize: 11376
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1450 0 0 0 43008 6 0 0 25 0 1 0 847736202 11649024 1424 4294967295 134512640 134581267 3221224592 3221223584 134560935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1424 566 18 0 2826 0
vsize: 11376
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1457 0 0 0 44008 6 0 0 25 0 1 0 847736202 11649024 1431 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2844 1431 566 18 0 2826 0
vsize: 11376
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1482 0 0 0 45008 6 0 0 25 0 1 0 847736202 11784192 1456 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1456 566 18 0 2859 0
vsize: 11508
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1482 0 0 0 46009 6 0 0 25 0 1 0 847736202 11784192 1456 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1456 566 18 0 2859 0
vsize: 11508
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1482 0 0 0 47009 6 0 0 25 0 1 0 847736202 11784192 1456 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1456 566 18 0 2859 0
vsize: 11508
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1483 0 0 0 48009 6 0 0 25 0 1 0 847736202 11784192 1457 4294967295 134512640 134581267 3221224592 3221223536 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1457 566 18 0 2859 0
vsize: 11508
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1485 0 0 0 49010 6 0 0 25 0 1 0 847736202 11784192 1459 4294967295 134512640 134581267 3221224592 3221223244 1075288331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1459 566 18 0 2859 0
vsize: 11508
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1514 0 0 0 50010 6 0 0 25 0 1 0 847736202 11919360 1488 4294967295 134512640 134581267 3221224592 3221223536 134559568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1488 566 18 0 2892 0
vsize: 11640
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1514 0 0 0 51010 6 0 0 25 0 1 0 847736202 11919360 1488 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1488 566 18 0 2892 0
vsize: 11640
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1514 0 0 0 52010 6 0 0 25 0 1 0 847736202 11919360 1488 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1488 566 18 0 2892 0
vsize: 11640
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1516 0 0 0 53011 6 0 0 25 0 1 0 847736202 11919360 1490 4294967295 134512640 134581267 3221224592 3221223556 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1516 0 0 0 54011 6 0 0 25 0 1 0 847736202 11919360 1490 4294967295 134512640 134581267 3221224592 3221223520 134519826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1490 566 18 0 2892 0
vsize: 11640
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1526 0 0 0 55011 6 0 0 25 0 1 0 847736202 11919360 1500 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1500 566 18 0 2892 0
vsize: 11640
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1529 0 0 0 56012 6 0 0 25 0 1 0 847736202 11919360 1503 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 1503 566 18 0 2892 0
vsize: 11640
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1561 0 0 0 57012 6 0 0 25 0 1 0 847736202 12050432 1535 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2942 1535 566 18 0 2924 0
vsize: 11768
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1561 0 0 0 58012 6 0 0 25 0 1 0 847736202 12050432 1535 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2942 1535 566 18 0 2924 0
vsize: 11768
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1561 0 0 0 59012 6 0 0 25 0 1 0 847736202 12050432 1535 4294967295 134512640 134581267 3221224592 3221223520 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2942 1535 566 18 0 2924 0
vsize: 11768
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1578 0 0 0 60013 7 0 0 25 0 1 0 847736202 12181504 1552 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2974 1552 566 18 0 2956 0
vsize: 11896
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1610 0 0 0 61013 7 0 0 25 0 1 0 847736202 12316672 1584 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1584 566 18 0 2989 0
vsize: 12028
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1613 0 0 0 62013 7 0 0 25 0 1 0 847736202 12316672 1587 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1587 566 18 0 2989 0
vsize: 12028
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1613 0 0 0 63013 7 0 0 25 0 1 0 847736202 12316672 1587 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1587 566 18 0 2989 0
vsize: 12028
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1620 0 0 0 64014 7 0 0 25 0 1 0 847736202 12316672 1594 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1594 566 18 0 2989 0
vsize: 12028
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1620 0 0 0 65014 7 0 0 25 0 1 0 847736202 12316672 1594 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1594 566 18 0 2989 0
vsize: 12028
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1629 0 0 0 66014 7 0 0 25 0 1 0 847736202 12316672 1603 4294967295 134512640 134581267 3221224592 3221223208 1075289808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1603 566 18 0 2989 0
vsize: 12028
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1632 0 0 0 67015 7 0 0 25 0 1 0 847736202 12316672 1606 4294967295 134512640 134581267 3221224592 3221223504 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1606 566 18 0 2989 0
vsize: 12028
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1648 0 0 0 68015 7 0 0 25 0 1 0 847736202 12451840 1622 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1622 566 18 0 3022 0
vsize: 12160
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1656 0 0 0 69015 7 0 0 25 0 1 0 847736202 12451840 1630 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1630 566 18 0 3022 0
vsize: 12160
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1685 0 0 0 70016 7 0 0 25 0 1 0 847736202 12587008 1659 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1659 566 18 0 3055 0
vsize: 12292
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 71016 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223472 134520164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 72016 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 73017 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223584 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 74017 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 75017 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 76018 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223472 134560198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 77018 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1700 0 0 0 78018 7 0 0 25 0 1 0 847736202 12587008 1674 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3073 1674 566 18 0 3055 0
vsize: 12292
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1714 0 0 0 79019 7 0 0 25 0 1 0 847736202 12718080 1688 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3105 1688 566 18 0 3087 0
vsize: 12420
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 80019 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 12935
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 81019 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223536 134559333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+820.013 s]
Raw data (loadavg): 1.15 1.00 0.94 2/58 12978
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 82020 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+830.264 s]
Raw data (loadavg): 1.28 1.04 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 83045 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+840.264 s]
Raw data (loadavg): 1.24 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 84045 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+850.264 s]
Raw data (loadavg): 1.20 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 85046 7 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+860.264 s]
Raw data (loadavg): 1.17 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 86045 8 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223584 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+870.264 s]
Raw data (loadavg): 1.14 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 87046 8 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223520 134519965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+880.264 s]
Raw data (loadavg): 1.12 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 88046 8 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+890.264 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 12988
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1743 0 0 0 89046 8 0 0 25 0 1 0 847736202 12849152 1717 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1717 566 18 0 3119 0
vsize: 12548
[startup+900.265 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1746 0 0 0 90046 8 0 0 25 0 1 0 847736202 12849152 1720 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1720 566 18 0 3119 0
vsize: 12548
[startup+910.265 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1748 0 0 0 91047 8 0 0 25 0 1 0 847736202 12849152 1722 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3137 1722 566 18 0 3119 0
vsize: 12548
[startup+920.265 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1786 0 0 0 92047 8 0 0 25 0 1 0 847736202 12980224 1760 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 1760 566 18 0 3151 0
vsize: 12676
[startup+930.265 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1792 0 0 0 93047 8 0 0 25 0 1 0 847736202 12980224 1766 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3169 1766 566 18 0 3151 0
vsize: 12676
[startup+940.265 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1795 0 0 0 94048 9 0 0 25 0 1 0 847736202 13127680 1769 4294967295 134512640 134581267 3221224592 3221223584 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1769 566 18 0 3187 0
vsize: 12820
[startup+950.265 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1797 0 0 0 95048 9 0 0 25 0 1 0 847736202 13127680 1771 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1771 566 18 0 3187 0
vsize: 12820
[startup+960.266 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1807 0 0 0 96048 9 0 0 25 0 1 0 847736202 13127680 1781 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1781 566 18 0 3187 0
vsize: 12820
[startup+970.267 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1807 0 0 0 97049 9 0 0 25 0 1 0 847736202 13127680 1781 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1781 566 18 0 3187 0
vsize: 12820
[startup+980.267 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1813 0 0 0 98049 9 0 0 25 0 1 0 847736202 13127680 1787 4294967295 134512640 134581267 3221224592 3221223572 134561056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1787 566 18 0 3187 0
vsize: 12820
[startup+990.267 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1816 0 0 0 99049 9 0 0 25 0 1 0 847736202 13127680 1790 4294967295 134512640 134581267 3221224592 3221223568 134560686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 1790 566 18 0 3187 0
vsize: 12820
[startup+1000.27 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1860 0 0 0 100049 9 0 0 25 0 1 0 847736202 13389824 1834 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 1834 566 18 0 3251 0
vsize: 13076
[startup+1010.27 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1860 0 0 0 101050 9 0 0 25 0 1 0 847736202 13389824 1834 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3269 1834 566 18 0 3251 0
vsize: 13076
[startup+1020.27 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1860 0 0 0 102050 9 0 0 25 0 1 0 847736202 13377536 1834 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3266 1834 566 18 0 3248 0
vsize: 13064
[startup+1030.27 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1860 0 0 0 103050 9 0 0 25 0 1 0 847736202 13377536 1834 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3266 1834 566 18 0 3248 0
vsize: 13064
[startup+1040.27 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1860 0 0 0 104051 9 0 0 25 0 1 0 847736202 13365248 1834 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1834 566 18 0 3245 0
vsize: 13052
[startup+1050.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1861 0 0 0 105051 9 0 0 25 0 1 0 847736202 13365248 1835 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1835 566 18 0 3245 0
vsize: 13052
[startup+1060.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1862 0 0 0 106051 9 0 0 25 0 1 0 847736202 13365248 1836 4294967295 134512640 134581267 3221224592 3221223584 134561027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1836 566 18 0 3245 0
vsize: 13052
[startup+1070.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1869 0 0 0 107052 9 0 0 25 0 1 0 847736202 13365248 1843 4294967295 134512640 134581267 3221224592 3221223556 134554612 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1843 566 18 0 3245 0
vsize: 13052
[startup+1080.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1869 0 0 0 108052 9 0 0 25 0 1 0 847736202 13365248 1843 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1843 566 18 0 3245 0
vsize: 13052
[startup+1090.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1869 0 0 0 109052 9 0 0 25 0 1 0 847736202 13365248 1843 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1843 566 18 0 3245 0
vsize: 13052
[startup+1100.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1881 0 0 0 110053 9 0 0 25 0 1 0 847736202 13365248 1855 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3263 1855 566 18 0 3245 0
vsize: 13052
[startup+1110.27 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 111053 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1120.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 112053 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1130.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 113054 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1140.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 114054 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1150.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 115055 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 116055 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 117055 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 118056 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223520 134520092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1190.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12990
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 119056 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223536 134559568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 12992
Raw data (stat): 12935 (Pueblo-v2) R 12934 25568 25567 0 -1 0 1916 0 0 0 120056 9 0 0 25 0 1 0 847736202 13631488 1890 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 1890 566 18 0 3310 0
vsize: 13312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 12992
Raw data (stat): 12935 (Pueblo-v2) Z 12934 25568 25567 0 -1 1036 1916 0 0 0 120056 10 0 0 25 0 1 0 847736202 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.28
CPU time (s): 1200.67
CPU user time (s): 1200.56
CPU system time (s): 0.103984
CPU usage (%): 100.032
Max. virtual memory (Kb): 13312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####