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/web/uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
MD5SUM	e4be8a88d340bbbbfb27e034f74a6524
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	65
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	254
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	56.8973
Number of variables	40605
Total number of constraints	118930
Number of constraints which are clauses	117190
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1740
Minimum length of a constraint	1
Maximum length of a constraint	13
Trace number 24700

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 21:22:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2806 boxname=wulflinc31 idbench=312 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  e4be8a88d340bbbbfb27e034f74a6524  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag14.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag14.ucl.opb
IDLAUNCH: 2806
/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:        921216 kB
Buffers:          7372 kB
Cached:          84536 kB
SwapCached:       1932 kB
Active:          55736 kB
Inactive:        39356 kB
HighTotal:      131008 kB
HighFree:        45696 kB
LowTotal:       903652 kB
LowFree:        875520 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            12656 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 21:42:18 (client local time) WITH STATUS 20 IN 1171.18 SECONDS
stats: 2806 7 1171.18 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.tag14.ucl.opb
c #variables read: 40605 - #constraints read: 118929
s UNSATISFIABLE
#### 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.95 0.94 0.96 2/55 3460
Raw data (stat): 3460 (runsolver) R 3459 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 721093363 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.95 0.94 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 5374 0 0 0 982 14 0 0 25 0 1 0 721093363 29679616 5351 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7246 5351 566 18 0 7228 0
vsize: 28984
[startup+20.0001 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 5374 0 0 0 1982 14 0 0 25 0 1 0 721093363 29679616 5351 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7246 5351 566 18 0 7228 0
vsize: 28984
[startup+30.001 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 5414 0 0 0 2982 14 0 0 25 0 1 0 721093363 29941760 5391 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7310 5391 566 18 0 7292 0
vsize: 29240
[startup+40.0009 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 5486 0 0 0 3982 14 0 0 25 0 1 0 721093363 30212096 5463 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7376 5463 566 18 0 7358 0
vsize: 29504
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 5841 0 0 0 4982 15 0 0 25 0 1 0 721093363 31825920 5818 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7770 5818 566 18 0 7752 0
vsize: 31080
[startup+60.0018 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 6198 0 0 0 5981 16 0 0 25 0 1 0 721093363 33312768 6175 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8133 6175 566 18 0 8115 0
vsize: 32532
[startup+70.0017 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 6553 0 0 0 6980 17 0 0 25 0 1 0 721093363 34664448 6530 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8463 6530 566 18 0 8445 0
vsize: 33852
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 7979 18 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+90.0026 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 8979 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+100.004 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 9979 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+110.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 10980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+120.004 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 11980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220736 134559064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 12980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220756 134554656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 13980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 14980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 15980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 16980 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 17981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 18981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 19981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 20981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220672 134560462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 21981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220736 134559077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 22981 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220696 134560193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 23982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 24982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 25982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134560946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 26982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 27982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 28982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220700 134560192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7214 0 0 0 29982 19 0 0 25 0 1 0 721093363 37187584 7127 4294967295 134512640 134581331 3221221792 3221220688 134517885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9079 7127 566 18 0 9061 0
vsize: 36316
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7341 0 0 0 30982 20 0 0 25 0 1 0 721093363 37724160 7254 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9210 7254 566 18 0 9192 0
vsize: 36840
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7522 0 0 0 31981 20 0 0 25 0 1 0 721093363 38498304 7435 4294967295 134512640 134581331 3221221792 3221220676 134557784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9399 7435 566 18 0 9381 0
vsize: 37596
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7745 0 0 0 32981 21 0 0 25 0 1 0 721093363 39428096 7658 4294967295 134512640 134581331 3221221792 3221220736 134559377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9626 7658 566 18 0 9608 0
vsize: 38504
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7839 0 0 0 33980 22 0 0 25 0 1 0 721093363 39841792 7752 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9727 7752 566 18 0 9709 0
vsize: 38908
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 7967 0 0 0 34980 22 0 0 25 0 1 0 721093363 40374272 7880 4294967295 134512640 134581331 3221221792 3221220784 134560666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9857 7880 566 18 0 9839 0
vsize: 39428
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8139 0 0 0 35979 23 0 0 25 0 1 0 721093363 41050112 8052 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10022 8052 566 18 0 10004 0
vsize: 40088
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8299 0 0 0 36979 24 0 0 25 0 1 0 721093363 41709568 8212 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10183 8212 566 18 0 10165 0
vsize: 40732
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8440 0 0 0 37979 24 0 0 25 0 1 0 721093363 42266624 8353 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10319 8353 566 18 0 10301 0
vsize: 41276
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8657 0 0 0 38978 25 0 0 25 0 1 0 721093363 43196416 8570 4294967295 134512640 134581331 3221221792 3221220688 134560300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10546 8570 566 18 0 10528 0
vsize: 42184
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8815 0 0 0 39978 25 0 0 25 0 1 0 721093363 43864064 8728 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10709 8728 566 18 0 10691 0
vsize: 42836
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 8924 0 0 0 40978 25 0 0 25 0 1 0 721093363 44265472 8837 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10807 8837 566 18 0 10789 0
vsize: 43228
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 9078 0 0 0 41977 26 0 0 25 0 1 0 721093363 44929024 8991 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10969 8991 566 18 0 10951 0
vsize: 43876
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 9253 0 0 0 42977 26 0 0 25 0 1 0 721093363 45715456 9166 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11161 9166 566 18 0 11143 0
vsize: 44644
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 9448 0 0 0 43976 27 0 0 25 0 1 0 721093363 46501888 9361 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11353 9361 566 18 0 11335 0
vsize: 45412
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 9655 0 0 0 44976 28 0 0 25 0 1 0 721093363 47407104 9568 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11574 9568 566 18 0 11556 0
vsize: 46296
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 9872 0 0 0 45976 29 0 0 25 0 1 0 721093363 48345088 9785 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11803 9785 566 18 0 11785 0
vsize: 47212
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10075 0 0 0 46975 29 0 0 25 0 1 0 721093363 49135616 9988 4294967295 134512640 134581331 3221221792 3221220768 134561006 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11996 9988 566 18 0 11978 0
vsize: 47984
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10204 0 0 0 47975 30 0 0 25 0 1 0 721093363 49668096 10117 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12126 10117 566 18 0 12108 0
vsize: 48504
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10420 0 0 0 48974 31 0 0 25 0 1 0 721093363 50610176 10333 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12356 10333 566 18 0 12338 0
vsize: 49424
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10554 0 0 0 49973 31 0 0 25 0 1 0 721093363 51130368 10467 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12483 10467 566 18 0 12465 0
vsize: 49932
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10697 0 0 0 50973 32 0 0 25 0 1 0 721093363 51671040 10610 4294967295 134512640 134581331 3221221792 3221220676 134557830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12615 10610 566 18 0 12597 0
vsize: 50460
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 10896 0 0 0 51972 33 0 0 25 0 1 0 721093363 52477952 10809 4294967295 134512640 134581331 3221221792 3221220720 134519939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12812 10809 566 18 0 12794 0
vsize: 51248
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11097 0 0 0 52972 34 0 0 25 0 1 0 721093363 53280768 11010 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13008 11010 566 18 0 12990 0
vsize: 52032
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11214 0 0 0 53972 34 0 0 25 0 1 0 721093363 53817344 11127 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13139 11127 566 18 0 13121 0
vsize: 52556
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11400 0 0 0 54971 35 0 0 25 0 1 0 721093363 54497280 11313 4294967295 134512640 134581331 3221221792 3221220736 134559219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13305 11313 566 18 0 13287 0
vsize: 53220
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11526 0 0 0 55971 35 0 0 25 0 1 0 721093363 55189504 11439 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13474 11439 566 18 0 13456 0
vsize: 53896
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11690 0 0 0 56971 35 0 0 25 0 1 0 721093363 55848960 11603 4294967295 134512640 134581331 3221221792 3221220704 134531386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13635 11603 566 18 0 13617 0
vsize: 54540
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 11889 0 0 0 57970 36 0 0 25 0 1 0 721093363 56659968 11802 4294967295 134512640 134581331 3221221792 3221220704 134519975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13833 11802 566 18 0 13815 0
vsize: 55332
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 12148 0 0 0 58970 37 0 0 25 0 1 0 721093363 57597952 12061 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14062 12061 566 18 0 14044 0
vsize: 56248
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 12367 0 0 0 59969 37 0 0 25 0 1 0 721093363 58626048 12280 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14313 12280 566 18 0 14295 0
vsize: 57252
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 12547 0 0 0 60969 38 0 0 25 0 1 0 721093363 59305984 12460 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14479 12460 566 18 0 14461 0
vsize: 57916
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 12716 0 0 0 61968 39 0 0 25 0 1 0 721093363 59953152 12629 4294967295 134512640 134581331 3221221792 3221220676 134557951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12629 566 18 0 14619 0
vsize: 58548
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 12913 0 0 0 62968 39 0 0 25 0 1 0 721093363 60874752 12826 4294967295 134512640 134581331 3221221792 3221220676 134557799 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14862 12826 566 18 0 14844 0
vsize: 59448
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13212 0 0 0 63967 40 0 0 25 0 1 0 721093363 62070784 13125 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15154 13125 566 18 0 15136 0
vsize: 60616
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13340 0 0 0 64967 40 0 0 25 0 1 0 721093363 62623744 13253 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15289 13253 566 18 0 15271 0
vsize: 61156
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13402 0 0 0 65967 40 0 0 25 0 1 0 721093363 62877696 13315 4294967295 134512640 134581331 3221221792 3221220672 134558218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15351 13315 566 18 0 15333 0
vsize: 61404
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13511 0 0 0 66967 41 0 0 25 0 1 0 721093363 63270912 13424 4294967295 134512640 134581331 3221221792 3221220676 134557882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15447 13424 566 18 0 15429 0
vsize: 61788
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13614 0 0 0 67967 41 0 0 25 0 1 0 721093363 63688704 13527 4294967295 134512640 134581331 3221221792 3221220676 134557930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15549 13527 566 18 0 15531 0
vsize: 62196
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13738 0 0 0 68967 41 0 0 25 0 1 0 721093363 64212992 13651 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15677 13651 566 18 0 15659 0
vsize: 62708
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 13892 0 0 0 69966 42 0 0 25 0 1 0 721093363 64856064 13805 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15834 13805 566 18 0 15816 0
vsize: 63336
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14028 0 0 0 70966 42 0 0 25 0 1 0 721093363 65392640 13941 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15965 13941 566 18 0 15947 0
vsize: 63860
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14106 0 0 0 71966 43 0 0 25 0 1 0 721093363 65646592 14019 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16027 14019 566 18 0 16009 0
vsize: 64108
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14176 0 0 0 72966 43 0 0 25 0 1 0 721093363 66072576 14089 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16131 14089 566 18 0 16113 0
vsize: 64524
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14340 0 0 0 73966 43 0 0 25 0 1 0 721093363 66744320 14253 4294967295 134512640 134581331 3221221792 3221220768 134560737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16295 14253 566 18 0 16277 0
vsize: 65180
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14459 0 0 0 74966 44 0 0 25 0 1 0 721093363 67264512 14372 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16422 14372 566 18 0 16404 0
vsize: 65688
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14621 0 0 0 75965 44 0 0 25 0 1 0 721093363 67940352 14534 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16587 14534 566 18 0 16569 0
vsize: 66348
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14831 0 0 0 76965 45 0 0 25 0 1 0 721093363 68743168 14744 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16783 14744 566 18 0 16765 0
vsize: 67132
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 14945 0 0 0 77965 45 0 0 25 0 1 0 721093363 69177344 14858 4294967295 134512640 134581331 3221221792 3221220676 134557844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16889 14858 566 18 0 16871 0
vsize: 67556
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15034 0 0 0 78965 45 0 0 25 0 1 0 721093363 69566464 14947 4294967295 134512640 134581331 3221221792 3221220720 134519883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16984 14947 566 18 0 16966 0
vsize: 67936
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15143 0 0 0 79965 46 0 0 25 0 1 0 721093363 69963776 15056 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17081 15056 566 18 0 17063 0
vsize: 68324
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15192 0 0 0 80965 46 0 0 25 0 1 0 721093363 70238208 15105 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17148 15105 566 18 0 17130 0
vsize: 68592
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15314 0 0 0 81965 46 0 0 25 0 1 0 721093363 70647808 15227 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17248 15227 566 18 0 17230 0
vsize: 68992
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15387 0 0 0 82965 46 0 0 25 0 1 0 721093363 71061504 15300 4294967295 134512640 134581331 3221221792 3221220676 134557960 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17349 15300 566 18 0 17331 0
vsize: 69396
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15535 0 0 0 83964 47 0 0 25 0 1 0 721093363 71573504 15448 4294967295 134512640 134581331 3221221792 3221220748 134519782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17474 15448 566 18 0 17456 0
vsize: 69896
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15610 0 0 0 84964 47 0 0 25 0 1 0 721093363 71962624 15523 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17569 15523 566 18 0 17551 0
vsize: 70276
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15678 0 0 0 85965 47 0 0 25 0 1 0 721093363 72228864 15591 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17634 15591 566 18 0 17616 0
vsize: 70536
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15803 0 0 0 86964 47 0 0 25 0 1 0 721093363 72761344 15716 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17764 15716 566 18 0 17746 0
vsize: 71056
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 15824 0 0 0 87964 48 0 0 25 0 1 0 721093363 72761344 15737 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17764 15737 566 18 0 17746 0
vsize: 71056
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16016 0 0 0 88964 48 0 0 25 0 1 0 721093363 73555968 15929 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17958 15929 566 18 0 17940 0
vsize: 71832
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16179 0 0 0 89963 49 0 0 25 0 1 0 721093363 74485760 16092 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18185 16092 566 18 0 18167 0
vsize: 72740
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16370 0 0 0 90963 49 0 0 25 0 1 0 721093363 75276288 16283 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18378 16283 566 18 0 18360 0
vsize: 73512
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16533 0 0 0 91963 50 0 0 25 0 1 0 721093363 75935744 16446 4294967295 134512640 134581331 3221221792 3221220676 134557755 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 16446 566 18 0 18521 0
vsize: 74156
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16758 0 0 0 92962 51 0 0 25 0 1 0 721093363 76877824 16671 4294967295 134512640 134581331 3221221792 3221220736 134559090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18769 16671 566 18 0 18751 0
vsize: 75076
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16777 0 0 0 93962 51 0 0 25 0 1 0 721093363 76877824 16690 4294967295 134512640 134581331 3221221792 3221220736 134558847 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18769 16690 566 18 0 18751 0
vsize: 75076
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 94962 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220800 134560497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 95962 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 96962 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134560637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 97963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220736 134559459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 98963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 99963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 100963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 101963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 102963 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561073 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 103964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 104964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 105964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 106964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 107964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 108964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 109964 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 110965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 111965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 112965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 113965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220736 134559223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 114965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 115965 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220676 134557957 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 116966 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 75208
[startup+1171.03 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 3460
Raw data (stat): 3460 (Pueblo) R 3459 7876 7672 0 -1 0 16811 0 0 0 116966 51 0 0 25 0 1 0 721093363 77012992 16724 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18802 16724 566 18 0 18784 0
vsize: 0

Child status: 20
Real time (s): 1171.03
CPU time (s): 1171.18
CPU user time (s): 1170.63
CPU system time (s): 0.551916
CPU usage (%): 100.013
Max. virtual memory (Kb): 75208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####