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.ex.mem.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 24655

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 14:54:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2725 boxname=wulflinc31 idbench=303 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 2725
/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:        919720 kB
Buffers:          1292 kB
Cached:          89128 kB
SwapCached:       4372 kB
Active:          62204 kB
Inactive:        33976 kB
HighTotal:      131008 kB
HighFree:        42364 kB
LowTotal:       903652 kB
LowFree:        877356 kB
SwapTotal:     2097892 kB
SwapFree:      2092948 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            12808 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 15:14:11 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 2725 7 1200.54 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.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (runsolver) R 31236 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 718761253 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 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.0009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 8154 0 0 0 969 28 0 0 25 0 1 0 718761253 39034880 8132 4294967295 134512640 134581331 3221221792 3217026056 1075245135 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9530 8132 566 18 0 9512 0
vsize: 38120
[startup+20.0019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 10255 0 0 0 1962 34 0 0 25 0 1 0 718761253 52023296 10107 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12701 10107 566 18 0 12683 0
vsize: 50804
[startup+30.0028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 10255 0 0 0 2962 35 0 0 25 0 1 0 718761253 52023296 10107 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12701 10107 566 18 0 12683 0
vsize: 50804
[startup+40.0037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 10255 0 0 0 3962 35 0 0 25 0 1 0 718761253 52023296 10107 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12701 10107 566 18 0 12683 0
vsize: 50804
[startup+50.0046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 36393 0 0 0 4918 79 0 0 25 0 1 0 718761253 52334592 10177 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10177 566 18 0 12759 0
vsize: 51108
[startup+60.0058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 356047 0 0 0 5384 613 0 0 25 0 1 0 718761253 52334592 10175 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10175 566 18 0 12759 0
vsize: 51108
[startup+70.0065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 675608 0 0 0 5843 1154 0 0 25 0 1 0 718761253 52334592 10156 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10156 566 18 0 12759 0
vsize: 51108
[startup+80.0075 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 995199 0 0 0 6304 1693 0 0 25 0 1 0 718761253 52334592 10167 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10167 566 18 0 12759 0
vsize: 51108
[startup+90.0084 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 1314835 0 0 0 6769 2229 0 0 25 0 1 0 718761253 52334592 10147 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10147 566 18 0 12759 0
vsize: 51108
[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 1634379 0 0 0 7226 2772 0 0 25 0 1 0 718761253 52334592 10111 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10111 566 18 0 12759 0
vsize: 51108
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 1953966 0 0 0 7691 3307 0 0 25 0 1 0 718761253 52334592 10118 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10118 566 18 0 12759 0
vsize: 51108
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2273570 0 0 0 8155 3843 0 0 25 0 1 0 718761253 52334592 10142 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12777 10142 566 18 0 12759 0
vsize: 51108
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2500690 0 0 0 8768 4230 0 0 25 0 1 0 718761253 52547584 10174 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12829 10174 566 18 0 12811 0
vsize: 51316
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2500698 0 0 0 9768 4231 0 0 25 0 1 0 718761253 52547584 10182 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12829 10182 566 18 0 12811 0
vsize: 51316
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2500706 0 0 0 10767 4231 0 0 25 0 1 0 718761253 52547584 10190 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12829 10190 566 18 0 12811 0
vsize: 51316
[startup+160.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2500714 0 0 0 11767 4231 0 0 25 0 1 0 718761253 52547584 10198 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12829 10198 566 18 0 12811 0
vsize: 51316
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2500875 0 0 0 12767 4232 0 0 25 0 1 0 718761253 53223424 10359 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12994 10359 566 18 0 12976 0
vsize: 51976
[startup+180.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2501064 0 0 0 13766 4233 0 0 25 0 1 0 718761253 54034432 10548 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13192 10548 566 18 0 13174 0
vsize: 52768
[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2501253 0 0 0 14765 4234 0 0 25 0 1 0 718761253 54710272 10737 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10737 566 18 0 13339 0
vsize: 53428
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2501443 0 0 0 15764 4235 0 0 25 0 1 0 718761253 55521280 10927 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13555 10927 566 18 0 13537 0
vsize: 54220
[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2501631 0 0 0 16764 4235 0 0 25 0 1 0 718761253 56721408 11115 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13848 11115 566 18 0 13830 0
vsize: 55392
[startup+220.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2501818 0 0 0 17763 4236 0 0 25 0 1 0 718761253 57397248 11302 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14013 11302 566 18 0 13995 0
vsize: 56052
[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502000 0 0 0 18763 4237 0 0 25 0 1 0 718761253 58208256 11484 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14211 11484 566 18 0 14193 0
vsize: 56844
[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502186 0 0 0 19762 4237 0 0 25 0 1 0 718761253 58884096 11670 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14376 11670 566 18 0 14358 0
vsize: 57504
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502371 0 0 0 20762 4238 0 0 25 0 1 0 718761253 59559936 11855 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14541 11855 566 18 0 14523 0
vsize: 58164
[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502561 0 0 0 21762 4238 0 0 25 0 1 0 718761253 60370944 12045 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14739 12045 566 18 0 14721 0
vsize: 58956
[startup+270.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502758 0 0 0 22761 4239 0 0 25 0 1 0 718761253 61181952 12242 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14937 12242 566 18 0 14919 0
vsize: 59748
[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2502955 0 0 0 23761 4239 0 0 25 0 1 0 718761253 61857792 12439 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15102 12439 566 18 0 15084 0
vsize: 60408
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2503141 0 0 0 24761 4239 0 0 25 0 1 0 718761253 62668800 12625 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15300 12625 566 18 0 15282 0
vsize: 61200
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2503701 0 0 0 25760 4241 0 0 25 0 1 0 718761253 64966656 13185 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15861 13185 566 18 0 15843 0
vsize: 63444
[startup+310.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504605 0 0 0 26757 4243 0 0 25 0 1 0 718761253 68616192 14089 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16752 14089 566 18 0 16734 0
vsize: 67008
[startup+320.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 27756 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+330.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 28756 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220688 134560300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+340.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 29757 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 31237
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 30757 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220720 134519906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+360.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 31238
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 31757 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220672 134560462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+370.027 s]
Raw data (loadavg): 1.07 1.00 0.99 2/59 31280
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 32757 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220752 134554660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+380.073 s]
Raw data (loadavg): 1.29 1.05 1.01 3/60 31289
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 33762 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+390.272 s]
Raw data (loadavg): 1.33 1.06 1.02 2/55 31290
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 34782 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+400.333 s]
Raw data (loadavg): 1.27 1.06 1.01 2/55 31290
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 35788 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+410.334 s]
Raw data (loadavg): 1.23 1.06 1.01 2/55 31290
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 36788 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220736 134559077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+420.334 s]
Raw data (loadavg): 1.20 1.06 1.01 2/55 31290
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 37789 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220768 134560704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+430.335 s]
Raw data (loadavg): 1.16 1.05 1.01 2/55 31290
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 38789 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+440.335 s]
Raw data (loadavg): 1.14 1.05 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 39789 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+450.334 s]
Raw data (loadavg): 1.12 1.05 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504942 0 0 0 40789 4245 0 0 25 0 1 0 718761253 70160384 14426 4294967295 134512640 134581331 3221221792 3221220704 134527800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14426 566 18 0 17111 0
vsize: 68516
[startup+460.336 s]
Raw data (loadavg): 1.10 1.05 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 41789 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+470.336 s]
Raw data (loadavg): 1.08 1.05 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 42789 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+480.336 s]
Raw data (loadavg): 1.07 1.04 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 43790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+490.336 s]
Raw data (loadavg): 1.06 1.04 1.01 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 44790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+500.337 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 45790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220676 134557809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+510.337 s]
Raw data (loadavg): 1.04 1.04 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 46790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+520.337 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 47790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220784 134560979 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+530.338 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 48790 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+540.338 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 49791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+550.338 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 50791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220672 134560430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+560.339 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 51791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+570.34 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 52791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220800 134519703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+580.34 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 53791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+590.34 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 54791 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+600.339 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 55792 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+610.34 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504943 0 0 0 56792 4245 0 0 25 0 1 0 718761253 70160384 14427 4294967295 134512640 134581331 3221221792 3221220748 134527310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17129 14427 566 18 0 17111 0
vsize: 68516
[startup+620.34 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504976 0 0 0 57792 4245 0 0 25 0 1 0 718761253 70422528 14460 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14460 566 18 0 17175 0
vsize: 68772
[startup+630.34 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504978 0 0 0 58792 4245 0 0 25 0 1 0 718761253 70422528 14462 4294967295 134512640 134581331 3221221792 3221220676 134557932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14462 566 18 0 17175 0
vsize: 68772
[startup+640.34 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504978 0 0 0 59792 4245 0 0 25 0 1 0 718761253 70422528 14462 4294967295 134512640 134581331 3221221792 3221220776 134560678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14462 566 18 0 17175 0
vsize: 68772
[startup+650.34 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504979 0 0 0 60792 4245 0 0 25 0 1 0 718761253 70422528 14463 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14463 566 18 0 17175 0
vsize: 68772
[startup+660.341 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504980 0 0 0 61793 4245 0 0 25 0 1 0 718761253 70422528 14464 4294967295 134512640 134581331 3221221792 3221220676 134557863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14464 566 18 0 17175 0
vsize: 68772
[startup+670.341 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504981 0 0 0 62793 4245 0 0 25 0 1 0 718761253 70422528 14465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14465 566 18 0 17175 0
vsize: 68772
[startup+680.342 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504981 0 0 0 63793 4245 0 0 25 0 1 0 718761253 70422528 14465 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14465 566 18 0 17175 0
vsize: 68772
[startup+690.343 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504983 0 0 0 64793 4245 0 0 25 0 1 0 718761253 70422528 14467 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14467 566 18 0 17175 0
vsize: 68772
[startup+700.343 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504985 0 0 0 65793 4245 0 0 25 0 1 0 718761253 70422528 14469 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14469 566 18 0 17175 0
vsize: 68772
[startup+710.344 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504987 0 0 0 66793 4245 0 0 25 0 1 0 718761253 70422528 14471 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14471 566 18 0 17175 0
vsize: 68772
[startup+720.344 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31292
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504988 0 0 0 67794 4245 0 0 25 0 1 0 718761253 70422528 14472 4294967295 134512640 134581331 3221221792 3221220752 134554708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14472 566 18 0 17175 0
vsize: 68772
[startup+730.345 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504990 0 0 0 68794 4245 0 0 25 0 1 0 718761253 70422528 14474 4294967295 134512640 134581331 3221221792 3221220704 134527355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14474 566 18 0 17175 0
vsize: 68772
[startup+740.345 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504991 0 0 0 69794 4245 0 0 25 0 1 0 718761253 70422528 14475 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14475 566 18 0 17175 0
vsize: 68772
[startup+750.344 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504993 0 0 0 70794 4245 0 0 25 0 1 0 718761253 70422528 14477 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14477 566 18 0 17175 0
vsize: 68772
[startup+760.345 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504994 0 0 0 71794 4245 0 0 25 0 1 0 718761253 70422528 14478 4294967295 134512640 134581331 3221221792 3221220672 134560389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14478 566 18 0 17175 0
vsize: 68772
[startup+770.346 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504995 0 0 0 72795 4245 0 0 25 0 1 0 718761253 70422528 14479 4294967295 134512640 134581331 3221221792 3221220720 134519867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14479 566 18 0 17175 0
vsize: 68772
[startup+780.346 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2504998 0 0 0 73795 4245 0 0 25 0 1 0 718761253 70422528 14482 4294967295 134512640 134581331 3221221792 3221220672 134558412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14482 566 18 0 17175 0
vsize: 68772
[startup+790.346 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505002 0 0 0 74795 4245 0 0 25 0 1 0 718761253 70422528 14486 4294967295 134512640 134581331 3221221792 3221220784 134560848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14486 566 18 0 17175 0
vsize: 68772
[startup+800.347 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505005 0 0 0 75795 4246 0 0 25 0 1 0 718761253 70422528 14489 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14489 566 18 0 17175 0
vsize: 68772
[startup+810.347 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505007 0 0 0 76795 4246 0 0 25 0 1 0 718761253 70422528 14491 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17193 14491 566 18 0 17175 0
vsize: 68772
[startup+820.347 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505010 0 0 0 77795 4246 0 0 25 0 1 0 718761253 70684672 14494 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14494 566 18 0 17239 0
vsize: 69028
[startup+830.348 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505012 0 0 0 78795 4246 0 0 25 0 1 0 718761253 70684672 14496 4294967295 134512640 134581331 3221221792 3221220784 134561145 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14496 566 18 0 17239 0
vsize: 69028
[startup+840.349 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505014 0 0 0 79795 4246 0 0 25 0 1 0 718761253 70684672 14498 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14498 566 18 0 17239 0
vsize: 69028
[startup+850.349 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505017 0 0 0 80795 4246 0 0 25 0 1 0 718761253 70684672 14501 4294967295 134512640 134581331 3221221792 3221220656 134526974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14501 566 18 0 17239 0
vsize: 69028
[startup+860.35 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505018 0 0 0 81795 4246 0 0 25 0 1 0 718761253 70684672 14502 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14502 566 18 0 17239 0
vsize: 69028
[startup+870.351 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505019 0 0 0 82796 4246 0 0 25 0 1 0 718761253 70684672 14503 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14503 566 18 0 17239 0
vsize: 69028
[startup+880.352 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505019 0 0 0 83796 4246 0 0 25 0 1 0 718761253 70684672 14503 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14503 566 18 0 17239 0
vsize: 69028
[startup+890.352 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505020 0 0 0 84796 4247 0 0 25 0 1 0 718761253 70684672 14504 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17257 14504 566 18 0 17239 0
vsize: 69028
[startup+900.352 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505039 0 0 0 85796 4247 0 0 25 0 1 0 718761253 70819840 14523 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17290 14523 566 18 0 17272 0
vsize: 69160
[startup+910.353 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505060 0 0 0 86796 4247 0 0 25 0 1 0 718761253 70819840 14544 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17290 14544 566 18 0 17272 0
vsize: 69160
[startup+920.353 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505095 0 0 0 87796 4247 0 0 25 0 1 0 718761253 71086080 14579 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14579 566 18 0 17337 0
vsize: 69420
[startup+930.354 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505159 0 0 0 88796 4247 0 0 25 0 1 0 718761253 71348224 14643 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17419 14643 566 18 0 17401 0
vsize: 69676
[startup+940.354 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505195 0 0 0 89797 4247 0 0 25 0 1 0 718761253 71487488 14679 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17453 14679 566 18 0 17435 0
vsize: 69812
[startup+950.354 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505297 0 0 0 90796 4247 0 0 25 0 1 0 718761253 71917568 14781 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17558 14781 566 18 0 17540 0
vsize: 70232
[startup+960.355 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505416 0 0 0 91796 4248 0 0 25 0 1 0 718761253 72314880 14900 4294967295 134512640 134581331 3221221792 3221220768 134560737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17655 14900 566 18 0 17637 0
vsize: 70620
[startup+970.356 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505667 0 0 0 92796 4248 0 0 25 0 1 0 718761253 73375744 15151 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17914 15151 566 18 0 17896 0
vsize: 71656
[startup+980.357 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2505956 0 0 0 93795 4250 0 0 25 0 1 0 718761253 74555392 15440 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18202 15440 566 18 0 18184 0
vsize: 72808
[startup+990.358 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2506131 0 0 0 94794 4250 0 0 25 0 1 0 718761253 75210752 15615 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18362 15615 566 18 0 18344 0
vsize: 73448
[startup+1000.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2506339 0 0 0 95794 4251 0 0 25 0 1 0 718761253 76132352 15823 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18587 15823 566 18 0 18569 0
vsize: 74348
[startup+1010.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2506509 0 0 0 96793 4251 0 0 25 0 1 0 718761253 76820480 15993 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18755 15993 566 18 0 18737 0
vsize: 75020
[startup+1020.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2506758 0 0 0 97793 4252 0 0 25 0 1 0 718761253 77869056 16242 4294967295 134512640 134581331 3221221792 3221220676 134557767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19011 16242 566 18 0 18993 0
vsize: 76044
[startup+1030.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2507030 0 0 0 98792 4253 0 0 25 0 1 0 718761253 79028224 16514 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19294 16514 566 18 0 19276 0
vsize: 77176
[startup+1040.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2507419 0 0 0 99791 4255 0 0 25 0 1 0 718761253 80613376 16903 4294967295 134512640 134581331 3221221792 3221220408 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19681 16903 566 18 0 19663 0
vsize: 78724
[startup+1050.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2507900 0 0 0 100790 4256 0 0 25 0 1 0 718761253 82530304 17384 4294967295 134512640 134581331 3221221792 3221220512 134523338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20149 17384 566 18 0 20131 0
vsize: 80596
[startup+1060.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2508251 0 0 0 101789 4257 0 0 25 0 1 0 718761253 84013056 17735 4294967295 134512640 134581331 3221221792 3221220704 134519040 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20511 17735 566 18 0 20493 0
vsize: 82044
[startup+1070.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2508550 0 0 0 102789 4257 0 0 25 0 1 0 718761253 85196800 18034 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20800 18034 566 18 0 20782 0
vsize: 83200
[startup+1080.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2508909 0 0 0 103788 4258 0 0 25 0 1 0 718761253 86614016 18393 4294967295 134512640 134581331 3221221792 3221220676 134557901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21146 18393 566 18 0 21128 0
vsize: 84584
[startup+1090.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2509138 0 0 0 104787 4259 0 0 25 0 1 0 718761253 87629824 18622 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21394 18622 566 18 0 21376 0
vsize: 85576
[startup+1100.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2509350 0 0 0 105787 4260 0 0 25 0 1 0 718761253 88412160 18834 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21585 18834 566 18 0 21567 0
vsize: 86340
[startup+1110.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2509766 0 0 0 106786 4261 0 0 25 0 1 0 718761253 90140672 19250 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22007 19250 566 18 0 21989 0
vsize: 88028
[startup+1120.36 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2510056 0 0 0 107785 4262 0 0 25 0 1 0 718761253 91328512 19540 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22297 19540 566 18 0 22279 0
vsize: 89188
[startup+1130.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2510485 0 0 0 108784 4264 0 0 25 0 1 0 718761253 93036544 19969 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22714 19969 566 18 0 22696 0
vsize: 90856
[startup+1140.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2510808 0 0 0 109783 4265 0 0 25 0 1 0 718761253 94490624 20292 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23069 20292 566 18 0 23051 0
vsize: 92276
[startup+1150.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2511068 0 0 0 110782 4265 0 0 25 0 1 0 718761253 95539200 20552 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23325 20552 566 18 0 23307 0
vsize: 93300
[startup+1160.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2511348 0 0 0 111782 4266 0 0 25 0 1 0 718761253 96595968 20832 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23583 20832 566 18 0 23565 0
vsize: 94332
[startup+1170.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2511682 0 0 0 112781 4267 0 0 25 0 1 0 718761253 98037760 21166 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23935 21166 566 18 0 23917 0
vsize: 95740
[startup+1180.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2512040 0 0 0 113780 4268 0 0 25 0 1 0 718761253 99479552 21524 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24287 21524 566 18 0 24269 0
vsize: 97148
[startup+1190.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2512317 0 0 0 114780 4269 0 0 25 0 1 0 718761253 100544512 21801 4294967295 134512640 134581331 3221221792 3221220700 134527740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24547 21801 566 18 0 24529 0
vsize: 98188
[startup+1200.37 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31294
Raw data (stat): 31237 (Pueblo) R 31236 7876 7672 0 -1 0 2512655 0 0 0 115779 4270 0 0 25 0 1 0 718761253 101965824 22139 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24894 22139 566 18 0 24876 0
vsize: 99576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 31294
Raw data (stat): 31237 (Pueblo) Z 31236 7876 7672 0 -1 1036 2512655 0 0 0 115779 4274 0 0 25 0 1 0 718761253 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.41
CPU time (s): 1200.54
CPU user time (s): 1157.79
CPU system time (s): 42.7475
CPU usage (%): 100.011
Max. virtual memory (Kb): 99576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####