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-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
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	2678
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	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
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 24195

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 02:38:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1897 boxname=wulflinc31 idbench=211 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-5-c.opb
IDLAUNCH: 1897
/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:        135680 kB
Buffers:         42724 kB
Cached:         821864 kB
SwapCached:        644 kB
Active:         495516 kB
Inactive:       371396 kB
HighTotal:      131008 kB
HighFree:          476 kB
LowTotal:       903652 kB
LowFree:        135204 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26536 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 02:58:42 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 1897 7 1200.21 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.91 0.97 0.92 1/54 19145
Raw data (stat): 19145 (runsolver) R 19144 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 697065849 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99969 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 748 0 0 0 993 3 0 0 25 0 1 0 697065849 8835072 725 4294967295 134512640 134581331 3221221792 3221220736 134559459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2157 725 566 18 0 2139 0
vsize: 8628
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 827 0 0 0 1992 4 0 0 25 0 1 0 697065849 9097216 804 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2221 804 566 18 0 2203 0
vsize: 8884
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 923 0 0 0 2992 5 0 0 25 0 1 0 697065849 9494528 900 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2318 900 566 18 0 2300 0
vsize: 9272
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1017 0 0 0 3992 5 0 0 25 0 1 0 697065849 9895936 994 4294967295 134512640 134581331 3221221792 3221220720 134520099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 994 566 18 0 2398 0
vsize: 9664
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1069 0 0 0 4991 7 0 0 25 0 1 0 697065849 10027008 1046 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1046 566 18 0 2430 0
vsize: 9792
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1076 0 0 0 5990 7 0 0 25 0 1 0 697065849 10166272 1053 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2482 1053 566 18 0 2464 0
vsize: 9928
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1128 0 0 0 6990 8 0 0 25 0 1 0 697065849 10297344 1105 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2514 1105 566 18 0 2496 0
vsize: 10056
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1136 0 0 0 7990 8 0 0 25 0 1 0 697065849 10432512 1113 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2547 1113 566 18 0 2529 0
vsize: 10188
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1143 0 0 0 8990 8 0 0 25 0 1 0 697065849 10432512 1120 4294967295 134512640 134581331 3221221792 3221220672 134520322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2547 1120 566 18 0 2529 0
vsize: 10188
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1179 0 0 0 9990 8 0 0 25 0 1 0 697065849 10588160 1156 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2585 1156 566 18 0 2567 0
vsize: 10340
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1205 0 0 0 10990 8 0 0 25 0 1 0 697065849 10719232 1182 4294967295 134512640 134581331 3221221792 3221220784 134560963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2617 1182 566 18 0 2599 0
vsize: 10468
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1262 0 0 0 11990 8 0 0 25 0 1 0 697065849 10866688 1239 4294967295 134512640 134581331 3221221792 3221220672 134520309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1239 566 18 0 2635 0
vsize: 10612
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1262 0 0 0 12991 8 0 0 25 0 1 0 697065849 10866688 1239 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1239 566 18 0 2635 0
vsize: 10612
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1262 0 0 0 13991 8 0 0 25 0 1 0 697065849 10866688 1239 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1239 566 18 0 2635 0
vsize: 10612
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1291 0 0 0 14991 8 0 0 25 0 1 0 697065849 11001856 1268 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1268 566 18 0 2668 0
vsize: 10744
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1296 0 0 0 15991 8 0 0 25 0 1 0 697065849 11001856 1273 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1273 566 18 0 2668 0
vsize: 10744
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1365 0 0 0 16991 9 0 0 25 0 1 0 697065849 11399168 1342 4294967295 134512640 134581331 3221221792 3221220784 134561128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2783 1342 566 18 0 2765 0
vsize: 11132
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1396 0 0 0 17991 9 0 0 25 0 1 0 697065849 11513856 1373 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1373 566 18 0 2793 0
vsize: 11244
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1396 0 0 0 18991 9 0 0 25 0 1 0 697065849 11513856 1373 4294967295 134512640 134581331 3221221792 3221220768 134560716 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1373 566 18 0 2793 0
vsize: 11244
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1396 0 0 0 19991 9 0 0 25 0 1 0 697065849 11513856 1373 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1373 566 18 0 2793 0
vsize: 11244
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1416 0 0 0 20991 9 0 0 25 0 1 0 697065849 11513856 1393 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2811 1393 566 18 0 2793 0
vsize: 11244
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1460 0 0 0 21991 9 0 0 25 0 1 0 697065849 11776000 1437 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2875 1437 566 18 0 2857 0
vsize: 11500
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1489 0 0 0 22992 9 0 0 25 0 1 0 697065849 11907072 1466 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1466 566 18 0 2889 0
vsize: 11628
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1493 0 0 0 23992 9 0 0 25 0 1 0 697065849 11907072 1470 4294967295 134512640 134581331 3221221792 3221220648 1075285824 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1470 566 18 0 2889 0
vsize: 11628
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1493 0 0 0 24992 9 0 0 25 0 1 0 697065849 11907072 1470 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1470 566 18 0 2889 0
vsize: 11628
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1494 0 0 0 25992 9 0 0 25 0 1 0 697065849 11907072 1471 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1471 566 18 0 2889 0
vsize: 11628
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1494 0 0 0 26992 9 0 0 25 0 1 0 697065849 11907072 1471 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1471 566 18 0 2889 0
vsize: 11628
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1495 0 0 0 27992 9 0 0 25 0 1 0 697065849 11907072 1472 4294967295 134512640 134581331 3221221792 3221220672 134560474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1472 566 18 0 2889 0
vsize: 11628
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1495 0 0 0 28993 9 0 0 25 0 1 0 697065849 11907072 1472 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1472 566 18 0 2889 0
vsize: 11628
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1495 0 0 0 29993 9 0 0 25 0 1 0 697065849 11907072 1472 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1472 566 18 0 2889 0
vsize: 11628
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1495 0 0 0 30993 9 0 0 25 0 1 0 697065849 11907072 1472 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1472 566 18 0 2889 0
vsize: 11628
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1495 0 0 0 31993 9 0 0 25 0 1 0 697065849 11907072 1472 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1472 566 18 0 2889 0
vsize: 11628
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1516 0 0 0 32993 9 0 0 25 0 1 0 697065849 11907072 1493 4294967295 134512640 134581331 3221221792 3221220736 134558835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2907 1493 566 18 0 2889 0
vsize: 11628
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1521 0 0 0 33993 9 0 0 25 0 1 0 697065849 12054528 1498 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1498 566 18 0 2925 0
vsize: 11772
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1521 0 0 0 34993 9 0 0 25 0 1 0 697065849 12054528 1498 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1498 566 18 0 2925 0
vsize: 11772
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1525 0 0 0 35994 9 0 0 25 0 1 0 697065849 12054528 1502 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1502 566 18 0 2925 0
vsize: 11772
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1526 0 0 0 36994 9 0 0 25 0 1 0 697065849 12054528 1503 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1503 566 18 0 2925 0
vsize: 11772
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1530 0 0 0 37994 9 0 0 25 0 1 0 697065849 12054528 1507 4294967295 134512640 134581331 3221221792 3221220764 134554652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1507 566 18 0 2925 0
vsize: 11772
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1546 0 0 0 38994 9 0 0 25 0 1 0 697065849 12054528 1523 4294967295 134512640 134581331 3221221792 3221220784 134561142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2943 1523 566 18 0 2925 0
vsize: 11772
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1593 0 0 0 39994 9 0 0 25 0 1 0 697065849 12316672 1570 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1570 566 18 0 2989 0
vsize: 12028
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1613 0 0 0 40994 10 0 0 25 0 1 0 697065849 12316672 1590 4294967295 134512640 134581331 3221221792 3221220700 134560192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3007 1590 566 18 0 2989 0
vsize: 12028
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1622 0 0 0 41995 10 0 0 25 0 1 0 697065849 12451840 1599 4294967295 134512640 134581331 3221221792 3221220784 134560879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1599 566 18 0 3022 0
vsize: 12160
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1623 0 0 0 42995 10 0 0 25 0 1 0 697065849 12451840 1600 4294967295 134512640 134581331 3221221792 3221220752 134516723 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1600 566 18 0 3022 0
vsize: 12160
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1624 0 0 0 43995 10 0 0 25 0 1 0 697065849 12451840 1601 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1601 566 18 0 3022 0
vsize: 12160
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1624 0 0 0 44995 10 0 0 25 0 1 0 697065849 12451840 1601 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1601 566 18 0 3022 0
vsize: 12160
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1628 0 0 0 45995 10 0 0 25 0 1 0 697065849 12451840 1605 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1605 566 18 0 3022 0
vsize: 12160
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1628 0 0 0 46996 10 0 0 25 0 1 0 697065849 12451840 1605 4294967295 134512640 134581331 3221221792 3221220772 134561096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1605 566 18 0 3022 0
vsize: 12160
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1628 0 0 0 47996 10 0 0 25 0 1 0 697065849 12451840 1605 4294967295 134512640 134581331 3221221792 3221220736 134559090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1605 566 18 0 3022 0
vsize: 12160
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1628 0 0 0 48996 10 0 0 25 0 1 0 697065849 12451840 1605 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1605 566 18 0 3022 0
vsize: 12160
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1630 0 0 0 49996 10 0 0 25 0 1 0 697065849 12451840 1607 4294967295 134512640 134581331 3221221792 3221220720 134520092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3040 1607 566 18 0 3022 0
vsize: 12160
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1677 0 0 0 50996 10 0 0 25 0 1 0 697065849 12582912 1654 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3072 1654 566 18 0 3054 0
vsize: 12288
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1683 0 0 0 51996 10 0 0 25 0 1 0 697065849 12582912 1660 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3072 1660 566 18 0 3054 0
vsize: 12288
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1702 0 0 0 52997 10 0 0 25 0 1 0 697065849 12713984 1679 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3104 1679 566 18 0 3086 0
vsize: 12416
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1733 0 0 0 53997 10 0 0 25 0 1 0 697065849 12845056 1710 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3136 1710 566 18 0 3118 0
vsize: 12544
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1758 0 0 0 54997 10 0 0 25 0 1 0 697065849 12976128 1735 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3168 1735 566 18 0 3150 0
vsize: 12672
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1760 0 0 0 55997 10 0 0 25 0 1 0 697065849 12976128 1737 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3168 1737 566 18 0 3150 0
vsize: 12672
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1819 0 0 0 56997 10 0 0 25 0 1 0 697065849 13242368 1796 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 1796 566 18 0 3215 0
vsize: 12932
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1819 0 0 0 57997 10 0 0 25 0 1 0 697065849 13242368 1796 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 1796 566 18 0 3215 0
vsize: 12932
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1838 0 0 0 58997 11 0 0 25 0 1 0 697065849 13242368 1815 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 1815 566 18 0 3215 0
vsize: 12932
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1838 0 0 0 59997 11 0 0 25 0 1 0 697065849 13242368 1815 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 1815 566 18 0 3215 0
vsize: 12932
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1838 0 0 0 60997 11 0 0 25 0 1 0 697065849 13242368 1815 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3233 1815 566 18 0 3215 0
vsize: 12932
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1847 0 0 0 61997 11 0 0 25 0 1 0 697065849 13373440 1824 4294967295 134512640 134581331 3221221792 3221220672 134560238 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 1824 566 18 0 3247 0
vsize: 13060
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1867 0 0 0 62997 11 0 0 25 0 1 0 697065849 13373440 1844 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 1844 566 18 0 3247 0
vsize: 13060
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1869 0 0 0 63997 11 0 0 25 0 1 0 697065849 13373440 1846 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 1846 566 18 0 3247 0
vsize: 13060
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1869 0 0 0 64997 12 0 0 25 0 1 0 697065849 13373440 1846 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 1846 566 18 0 3247 0
vsize: 13060
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 65997 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 66997 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 67998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220784 134560761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 68998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 69998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 70998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220672 134560495 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 71998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 72998 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 73999 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220784 134561071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 74999 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 75999 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 76999 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220672 134520356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1896 0 0 0 77999 12 0 0 25 0 1 0 697065849 13504512 1873 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3297 1873 566 18 0 3279 0
vsize: 13188
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1948 0 0 0 79000 12 0 0 25 0 1 0 697065849 13766656 1925 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1925 566 18 0 3343 0
vsize: 13444
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1955 0 0 0 80000 12 0 0 25 0 1 0 697065849 13766656 1932 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1932 566 18 0 3343 0
vsize: 13444
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1955 0 0 0 81000 12 0 0 25 0 1 0 697065849 13766656 1932 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1932 566 18 0 3343 0
vsize: 13444
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1959 0 0 0 82000 12 0 0 25 0 1 0 697065849 13766656 1936 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1936 566 18 0 3343 0
vsize: 13444
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1960 0 0 0 83000 12 0 0 25 0 1 0 697065849 13766656 1937 4294967295 134512640 134581331 3221221792 3221220672 134560416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1937 566 18 0 3343 0
vsize: 13444
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1960 0 0 0 84000 12 0 0 25 0 1 0 697065849 13766656 1937 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3361 1937 566 18 0 3343 0
vsize: 13444
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 85001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 86001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220672 134560398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 87001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220784 134561140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 88001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 89001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220772 134561096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1984 0 0 0 90001 12 0 0 25 0 1 0 697065849 13897728 1961 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1961 566 18 0 3375 0
vsize: 13572
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1990 0 0 0 91001 12 0 0 25 0 1 0 697065849 13897728 1967 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1967 566 18 0 3375 0
vsize: 13572
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 92002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 93002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 94002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 95002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 96002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 97002 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 98003 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220720 134519880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 99003 12 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 100003 13 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 101003 13 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220672 134560389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 102003 13 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220736 134559272 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 103003 13 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 1996 0 0 0 104004 13 0 0 25 0 1 0 697065849 13897728 1973 4294967295 134512640 134581331 3221221792 3221220720 134519996 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3393 1973 566 18 0 3375 0
vsize: 13572
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 105004 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 106004 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 107004 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220672 134560372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 108004 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 109004 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2003 0 0 0 110005 13 0 0 25 0 1 0 697065849 14036992 1980 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1980 566 18 0 3409 0
vsize: 13708
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2004 0 0 0 111005 13 0 0 25 0 1 0 697065849 14036992 1981 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1981 566 18 0 3409 0
vsize: 13708
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2019 0 0 0 112005 13 0 0 25 0 1 0 697065849 14036992 1996 4294967295 134512640 134581331 3221221792 3221220784 134561071 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1996 566 18 0 3409 0
vsize: 13708
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2019 0 0 0 113005 13 0 0 25 0 1 0 697065849 14036992 1996 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3427 1996 566 18 0 3409 0
vsize: 13708
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2041 0 0 0 114005 13 0 0 25 0 1 0 697065849 14168064 2018 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3459 2018 566 18 0 3441 0
vsize: 13836
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2042 0 0 0 115006 13 0 0 25 0 1 0 697065849 14163968 2019 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2019 566 18 0 3440 0
vsize: 13832
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2043 0 0 0 116006 13 0 0 25 0 1 0 697065849 14163968 2020 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2020 566 18 0 3440 0
vsize: 13832
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2043 0 0 0 117006 13 0 0 25 0 1 0 697065849 14163968 2020 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2020 566 18 0 3440 0
vsize: 13832
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2043 0 0 0 118006 13 0 0 25 0 1 0 697065849 14163968 2020 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2020 566 18 0 3440 0
vsize: 13832
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2077 0 0 0 119005 14 0 0 25 0 1 0 697065849 14299136 2054 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2054 566 18 0 3473 0
vsize: 13964
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 19145
Raw data (stat): 19145 (Pueblo) R 19144 7876 7672 0 -1 0 2077 0 0 0 120005 14 0 0 25 0 1 0 697065849 14299136 2054 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2054 566 18 0 3473 0
vsize: 13964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 19145
Raw data (stat): 19145 (Pueblo) Z 19144 7876 7672 0 -1 1036 2077 0 0 0 120005 14 0 0 25 0 1 0 697065849 0 0 4294967295 0 0 0 0 0 0 0 1 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.05
CPU time (s): 1200.21
CPU user time (s): 1200.06
CPU system time (s): 0.146977
CPU usage (%): 100.013
Max. virtual memory (Kb): 13964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####