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-g125.18.opb
MD5SUM	a18434ce5469ba587063f7e76ce3e080
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	4500
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	4500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4500
Total number of constraints	72413
Number of constraints which are clauses	72413
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	18
Trace number 23795

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 22:44:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1177 boxname=wulflinc31 idbench=131 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-g125.18.opb
IDLAUNCH: 1177
/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:        900220 kB
Buffers:         44824 kB
Cached:          67044 kB
SwapCached:        944 kB
Active:          92324 kB
Inactive:        22020 kB
HighTotal:      131008 kB
HighFree:        63056 kB
LowTotal:       903652 kB
LowFree:        837164 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14560 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 23:04:51 (client local time) WITH STATUS 0 IN 1200.77 SECONDS
stats: 1177 7 1200.77 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.92 0.97 0.99 2/54 6844
Raw data (stat): 6844 (runsolver) R 6843 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 661098606 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99994 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 2773 0 0 0 986 10 0 0 25 0 1 0 661098606 17424384 2750 4294967295 134512640 134581331 3221221792 3221220784 134561068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 2750 566 18 0 4236 0
vsize: 17016
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.99 3/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 3139 0 0 0 1986 10 0 0 25 0 1 0 661098606 18939904 3116 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3116 566 18 0 4606 0
vsize: 18496
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 4192 0 0 0 2983 14 0 0 25 0 1 0 661098606 23289856 4169 4294967295 134512640 134581331 3221221792 3221220672 134520302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5686 4169 566 18 0 5668 0
vsize: 22744
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 5197 0 0 0 3979 17 0 0 25 0 1 0 661098606 27340800 5174 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6675 5174 566 18 0 6657 0
vsize: 26700
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 6137 0 0 0 4977 20 0 0 25 0 1 0 661098606 31203328 6114 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7618 6114 566 18 0 7600 0
vsize: 30472
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 7064 0 0 0 5975 22 0 0 25 0 1 0 661098606 34967552 7041 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8537 7041 566 18 0 8519 0
vsize: 34148
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 8015 0 0 0 6972 25 0 0 25 0 1 0 661098606 38858752 7992 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9487 7992 566 18 0 9469 0
vsize: 37948
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 8772 0 0 0 7971 26 0 0 25 0 1 0 661098606 41934848 8749 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10238 8749 566 18 0 10220 0
vsize: 40952
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 9629 0 0 0 8968 29 0 0 25 0 1 0 661098606 45522944 9606 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11114 9606 566 18 0 11096 0
vsize: 44456
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 10507 0 0 0 9966 32 0 0 25 0 1 0 661098606 49127424 10484 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11994 10484 566 18 0 11976 0
vsize: 47976
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 11368 0 0 0 10964 34 0 0 25 0 1 0 661098606 52641792 11345 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12852 11345 566 18 0 12834 0
vsize: 51408
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 12057 0 0 0 11962 36 0 0 25 0 1 0 661098606 55443456 12034 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13536 12034 566 18 0 13518 0
vsize: 54144
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 13019 0 0 0 12960 38 0 0 25 0 1 0 661098606 59375616 12996 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14496 12996 566 18 0 14478 0
vsize: 57984
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 13853 0 0 0 13958 41 0 0 25 0 1 0 661098606 62881792 13830 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15352 13830 566 18 0 15334 0
vsize: 61408
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 14647 0 0 0 14956 42 0 0 25 0 1 0 661098606 66105344 14624 4294967295 134512640 134581331 3221221792 3221220784 134561068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16139 14624 566 18 0 16121 0
vsize: 64556
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 15568 0 0 0 15954 45 0 0 25 0 1 0 661098606 69877760 15545 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17060 15545 566 18 0 17042 0
vsize: 68240
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 16356 0 0 0 16953 46 0 0 25 0 1 0 661098606 73080832 16333 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17842 16333 566 18 0 17824 0
vsize: 71368
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 17060 0 0 0 17951 48 0 0 25 0 1 0 661098606 75943936 17037 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18541 17037 566 18 0 18523 0
vsize: 74164
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 17707 0 0 0 18950 50 0 0 25 0 1 0 661098606 78540800 17684 4294967295 134512640 134581331 3221221792 3221220736 134559308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19175 17684 566 18 0 19157 0
vsize: 76700
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 18237 0 0 0 19948 51 0 0 25 0 1 0 661098606 80764928 18214 4294967295 134512640 134581331 3221221792 3221220736 134558933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19718 18215 566 18 0 19700 0
vsize: 78872
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 18972 0 0 0 20946 53 0 0 25 0 1 0 661098606 83902464 18949 4294967295 134512640 134581331 3221221792 3221220784 134561117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20484 18949 566 18 0 20466 0
vsize: 81936
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 19774 0 0 0 21944 56 0 0 25 0 1 0 661098606 87232512 19751 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21297 19751 566 18 0 21279 0
vsize: 85188
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 20398 0 0 0 22942 58 0 0 25 0 1 0 661098606 89702400 20375 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21900 20375 566 18 0 21882 0
vsize: 87600
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 21123 0 0 0 23940 60 0 0 25 0 1 0 661098606 92745728 21100 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22643 21100 566 18 0 22625 0
vsize: 90572
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 21821 0 0 0 24939 62 0 0 25 0 1 0 661098606 95526912 21798 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23322 21798 566 18 0 23304 0
vsize: 93288
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 22493 0 0 0 25937 64 0 0 25 0 1 0 661098606 98353152 22470 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24012 22470 566 18 0 23994 0
vsize: 96048
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 23197 0 0 0 26936 65 0 0 25 0 1 0 661098606 101257216 23174 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24721 23174 566 18 0 24703 0
vsize: 98884
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 23878 0 0 0 27934 67 0 0 25 0 1 0 661098606 103911424 23855 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25369 23855 566 18 0 25351 0
vsize: 101476
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 24580 0 0 0 28932 69 0 0 25 0 1 0 661098606 106823680 24557 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26080 24557 566 18 0 26062 0
vsize: 104320
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 25218 0 0 0 29930 71 0 0 25 0 1 0 661098606 109404160 25195 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26710 25195 566 18 0 26692 0
vsize: 106840
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 25892 0 0 0 30928 73 0 0 25 0 1 0 661098606 112222208 25869 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27398 25869 566 18 0 27380 0
vsize: 109592
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 26578 0 0 0 31928 74 0 0 25 0 1 0 661098606 114962432 26555 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28067 26555 566 18 0 28049 0
vsize: 112268
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 27173 0 0 0 32926 75 0 0 25 0 1 0 661098606 117493760 27150 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28685 27150 566 18 0 28667 0
vsize: 114740
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 27691 0 0 0 33926 76 0 0 25 0 1 0 661098606 119537664 27668 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29184 27668 566 18 0 29166 0
vsize: 116736
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 28161 0 0 0 34925 77 0 0 25 0 1 0 661098606 121425920 28138 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29645 28138 566 18 0 29627 0
vsize: 118580
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 28670 0 0 0 35924 79 0 0 25 0 1 0 661098606 123555840 28647 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30165 28647 566 18 0 30147 0
vsize: 120660
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 29175 0 0 0 36923 80 0 0 25 0 1 0 661098606 125677568 29152 4294967295 134512640 134581331 3221221792 3221220568 1075291826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30683 29152 566 18 0 30665 0
vsize: 122732
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 29693 0 0 0 37921 82 0 0 25 0 1 0 661098606 127811584 29670 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31204 29670 566 18 0 31186 0
vsize: 124816
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 30210 0 0 0 38920 83 0 0 25 0 1 0 661098606 129843200 30187 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31700 30187 566 18 0 31682 0
vsize: 126800
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 30667 0 0 0 39919 84 0 0 25 0 1 0 661098606 131727360 30644 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32160 30644 566 18 0 32142 0
vsize: 128640
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 31160 0 0 0 40918 85 0 0 25 0 1 0 661098606 133742592 31137 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32652 31137 566 18 0 32634 0
vsize: 130608
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 31682 0 0 0 41917 86 0 0 25 0 1 0 661098606 135876608 31659 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33173 31660 566 18 0 33155 0
vsize: 132692
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 32200 0 0 0 42916 88 0 0 25 0 1 0 661098606 137973760 32177 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33685 32177 566 18 0 33667 0
vsize: 134740
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 32715 0 0 0 43915 89 0 0 25 0 1 0 661098606 140124160 32692 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34210 32692 566 18 0 34192 0
vsize: 136840
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 33257 0 0 0 44914 90 0 0 25 0 1 0 661098606 142413824 33234 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34769 33234 566 18 0 34751 0
vsize: 139076
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 33676 0 0 0 45912 92 0 0 25 0 1 0 661098606 144044032 33653 4294967295 134512640 134581331 3221221792 3221220736 134559272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35167 33654 566 18 0 35149 0
vsize: 140668
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 34119 0 0 0 46912 93 0 0 25 0 1 0 661098606 145833984 34096 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35604 34096 566 18 0 35586 0
vsize: 142416
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 34587 0 0 0 47911 94 0 0 25 0 1 0 661098606 147816448 34564 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36088 34564 566 18 0 36070 0
vsize: 144352
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 35055 0 0 0 48910 95 0 0 25 0 1 0 661098606 149692416 35032 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36546 35032 566 18 0 36528 0
vsize: 146184
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 35563 0 0 0 49908 97 0 0 25 0 1 0 661098606 151834624 35540 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37069 35540 566 18 0 37051 0
vsize: 148276
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 36079 0 0 0 50907 99 0 0 25 0 1 0 661098606 153894912 36056 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37572 36056 566 18 0 37554 0
vsize: 150288
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 36608 0 0 0 51906 100 0 0 25 0 1 0 661098606 156069888 36585 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38103 36585 566 18 0 38085 0
vsize: 152412
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 37076 0 0 0 52903 102 0 0 25 0 1 0 661098606 157999104 37053 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38574 37053 566 18 0 38556 0
vsize: 154296
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 37528 0 0 0 53903 103 0 0 25 0 1 0 661098606 159797248 37505 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39013 37505 566 18 0 38995 0
vsize: 156052
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 38000 0 0 0 54902 104 0 0 25 0 1 0 661098606 161718272 37977 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39482 37977 566 18 0 39464 0
vsize: 157928
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 38550 0 0 0 55900 106 0 0 25 0 1 0 661098606 164065280 38527 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40055 38527 566 18 0 40037 0
vsize: 160220
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 39115 0 0 0 56899 107 0 0 25 0 1 0 661098606 166301696 39092 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40601 39092 566 18 0 40583 0
vsize: 162404
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 39633 0 0 0 57898 109 0 0 25 0 1 0 661098606 168505344 39610 4294967295 134512640 134581331 3221221792 3221220688 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41139 39610 566 18 0 41121 0
vsize: 164556
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 40125 0 0 0 58896 110 0 0 25 0 1 0 661098606 170516480 40102 4294967295 134512640 134581331 3221221792 3221220784 134561142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41630 40102 566 18 0 41612 0
vsize: 166520
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 40646 0 0 0 59895 112 0 0 25 0 1 0 661098606 172838912 40623 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42197 40623 566 18 0 42179 0
vsize: 168788
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 41121 0 0 0 60894 113 0 0 25 0 1 0 661098606 174886912 41098 4294967295 134512640 134581331 3221221792 3221220560 1075288331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42697 41100 566 18 0 42679 0
vsize: 170788
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 41569 0 0 0 61893 114 0 0 25 0 1 0 661098606 176726016 41546 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43146 41546 566 18 0 43128 0
vsize: 172584
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 42026 0 0 0 62893 115 0 0 25 0 1 0 661098606 178544640 42003 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43590 42003 566 18 0 43572 0
vsize: 174360
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 42465 0 0 0 63892 116 0 0 25 0 1 0 661098606 180342784 42442 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44029 42442 566 18 0 44011 0
vsize: 176116
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 42889 0 0 0 64891 117 0 0 25 0 1 0 661098606 182128640 42866 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44465 42866 566 18 0 44447 0
vsize: 177860
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 43418 0 0 0 65889 118 0 0 25 0 1 0 661098606 184287232 43395 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44992 43395 566 18 0 44974 0
vsize: 179968
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 43920 0 0 0 66888 120 0 0 25 0 1 0 661098606 186306560 43897 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45485 43897 566 18 0 45467 0
vsize: 181940
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 44377 0 0 0 67887 121 0 0 25 0 1 0 661098606 188203008 44354 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45948 44354 566 18 0 45930 0
vsize: 183792
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 44925 0 0 0 68886 123 0 0 25 0 1 0 661098606 190443520 44902 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46495 44902 566 18 0 46477 0
vsize: 185980
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 45355 0 0 0 69885 124 0 0 25 0 1 0 661098606 192262144 45332 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46939 45332 566 18 0 46921 0
vsize: 187756
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 45733 0 0 0 70884 125 0 0 25 0 1 0 661098606 193814528 45710 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47318 45710 566 18 0 47300 0
vsize: 189272
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 46114 0 0 0 71883 126 0 0 25 0 1 0 661098606 195334144 46091 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47689 46091 566 18 0 47671 0
vsize: 190756
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 46529 0 0 0 72883 127 0 0 25 0 1 0 661098606 197005312 46506 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48097 46506 566 18 0 48079 0
vsize: 192388
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 46909 0 0 0 73882 127 0 0 25 0 1 0 661098606 198512640 46886 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48465 46886 566 18 0 48447 0
vsize: 193860
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 47259 0 0 0 74881 128 0 0 25 0 1 0 661098606 200060928 47236 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48843 47236 566 18 0 48825 0
vsize: 195372
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 47570 0 0 0 75880 130 0 0 25 0 1 0 661098606 201338880 47547 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49155 47547 566 18 0 49137 0
vsize: 196620
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 47843 0 0 0 76880 130 0 0 25 0 1 0 661098606 202366976 47820 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49406 47820 566 18 0 49388 0
vsize: 197624
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 48233 0 0 0 77878 132 0 0 25 0 1 0 661098606 204046336 48210 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49816 48210 566 18 0 49798 0
vsize: 199264
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 48572 0 0 0 78878 133 0 0 25 0 1 0 661098606 205479936 48549 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48549 566 18 0 50148 0
vsize: 200664
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 48874 0 0 0 79877 134 0 0 25 0 1 0 661098606 206655488 48851 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50453 48851 566 18 0 50435 0
vsize: 201812
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 49247 0 0 0 80876 135 0 0 25 0 1 0 661098606 208150528 49224 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50818 49224 566 18 0 50800 0
vsize: 203272
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 49551 0 0 0 81875 136 0 0 25 0 1 0 661098606 209412096 49528 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51126 49530 566 18 0 51108 0
vsize: 204504
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 49916 0 0 0 82874 137 0 0 25 0 1 0 661098606 210976768 49893 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51508 49893 566 18 0 51490 0
vsize: 206032
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 50187 0 0 0 83874 138 0 0 25 0 1 0 661098606 211996672 50164 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51757 50164 566 18 0 51739 0
vsize: 207028
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 50516 0 0 0 84873 138 0 0 25 0 1 0 661098606 213409792 50493 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52102 50493 566 18 0 52084 0
vsize: 208408
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 50807 0 0 0 85872 139 0 0 25 0 1 0 661098606 214552576 50784 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52381 50784 566 18 0 52363 0
vsize: 209524
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 51131 0 0 0 86872 140 0 0 25 0 1 0 661098606 215851008 51108 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52698 51108 566 18 0 52680 0
vsize: 210792
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 51457 0 0 0 87871 141 0 0 25 0 1 0 661098606 217268224 51434 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53044 51434 566 18 0 53026 0
vsize: 212176
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 51822 0 0 0 88870 142 0 0 25 0 1 0 661098606 218664960 51799 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53385 51799 566 18 0 53367 0
vsize: 213540
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 52198 0 0 0 89870 142 0 0 25 0 1 0 661098606 220291072 52175 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53782 52175 566 18 0 53764 0
vsize: 215128
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 6844
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 52530 0 0 0 90869 143 0 0 25 0 1 0 661098606 221650944 52507 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54114 52507 566 18 0 54096 0
vsize: 216456
[startup+920.379 s]
Raw data (loadavg): 1.07 0.99 0.99 3/57 6880
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 52845 0 0 0 91904 144 0 0 25 0 1 0 661098606 222982144 52822 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54439 52822 566 18 0 54421 0
vsize: 217756
[startup+930.495 s]
Raw data (loadavg): 1.22 1.02 1.01 3/58 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 53169 0 0 0 92915 144 0 0 25 0 1 0 661098606 224256000 53146 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54750 53146 566 18 0 54732 0
vsize: 219000
[startup+940.495 s]
Raw data (loadavg): 1.26 1.04 1.01 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 53578 0 0 0 93914 145 0 0 25 0 1 0 661098606 225996800 53555 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55175 53555 566 18 0 55157 0
vsize: 220700
[startup+950.496 s]
Raw data (loadavg): 1.22 1.03 1.01 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 54071 0 0 0 94914 146 0 0 25 0 1 0 661098606 227987456 54048 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55661 54048 566 18 0 55643 0
vsize: 222644
[startup+960.496 s]
Raw data (loadavg): 1.18 1.03 1.01 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 54502 0 0 0 95913 147 0 0 25 0 1 0 661098606 229748736 54479 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56091 54479 566 18 0 56073 0
vsize: 224364
[startup+970.496 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 54941 0 0 0 96912 148 0 0 25 0 1 0 661098606 231530496 54918 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56526 54918 566 18 0 56508 0
vsize: 226104
[startup+980.496 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 55477 0 0 0 97910 150 0 0 25 0 1 0 661098606 233656320 55454 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57045 55454 566 18 0 57027 0
vsize: 228180
[startup+990.496 s]
Raw data (loadavg): 1.11 1.03 1.00 2/54 6897
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 55918 0 0 0 98910 151 0 0 25 0 1 0 661098606 235552768 55895 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57508 55895 566 18 0 57490 0
vsize: 230032
[startup+1000.5 s]
Raw data (loadavg): 1.09 1.03 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 56395 0 0 0 99909 151 0 0 25 0 1 0 661098606 237445120 56372 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57970 56372 566 18 0 57952 0
vsize: 231880
[startup+1010.5 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 56871 0 0 0 100908 152 0 0 25 0 1 0 661098606 239448064 56848 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58459 56848 566 18 0 58441 0
vsize: 233836
[startup+1020.5 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 57279 0 0 0 101908 153 0 0 25 0 1 0 661098606 241111040 57256 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58865 57256 566 18 0 58847 0
vsize: 235460
[startup+1030.5 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 57680 0 0 0 102907 154 0 0 25 0 1 0 661098606 242774016 57657 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59271 57657 566 18 0 59253 0
vsize: 237084
[startup+1040.5 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 58115 0 0 0 103906 155 0 0 25 0 1 0 661098606 244523008 58092 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59698 58092 566 18 0 59680 0
vsize: 238792
[startup+1050.5 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 58498 0 0 0 104905 156 0 0 25 0 1 0 661098606 246030336 58475 4294967295 134512640 134581331 3221221792 3221220688 134517615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60066 58475 566 18 0 60048 0
vsize: 240264
[startup+1060.5 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 58956 0 0 0 105904 157 0 0 25 0 1 0 661098606 247926784 58933 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60529 58933 566 18 0 60511 0
vsize: 242116
[startup+1070.5 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 59382 0 0 0 106903 159 0 0 25 0 1 0 661098606 249704448 59359 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60963 59359 566 18 0 60945 0
vsize: 243852
[startup+1080.5 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 59803 0 0 0 107902 160 0 0 25 0 1 0 661098606 251453440 59780 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61390 59780 566 18 0 61372 0
vsize: 245560
[startup+1090.5 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 60251 0 0 0 108901 161 0 0 25 0 1 0 661098606 253231104 60228 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61824 60228 566 18 0 61806 0
vsize: 247296
[startup+1100.5 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 60690 0 0 0 109900 162 0 0 25 0 1 0 661098606 254996480 60667 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62255 60667 566 18 0 62237 0
vsize: 249020
[startup+1110.5 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 61087 0 0 0 110899 164 0 0 25 0 1 0 661098606 256749568 61064 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62683 61064 566 18 0 62665 0
vsize: 250732
[startup+1120.5 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 61502 0 0 0 111897 165 0 0 25 0 1 0 661098606 258367488 61479 4294967295 134512640 134581331 3221221792 3221220784 134561155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63078 61479 566 18 0 63060 0
vsize: 252312
[startup+1130.5 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 61937 0 0 0 112897 166 0 0 25 0 1 0 661098606 260112384 61914 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63504 61914 566 18 0 63486 0
vsize: 254016
[startup+1140.5 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 62339 0 0 0 113895 167 0 0 25 0 1 0 661098606 261869568 62316 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63933 62316 566 18 0 63915 0
vsize: 255732
[startup+1150.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 62810 0 0 0 114895 169 0 0 25 0 1 0 661098606 263729152 62787 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64387 62787 566 18 0 64369 0
vsize: 257548
[startup+1160.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 63252 0 0 0 115893 170 0 0 25 0 1 0 661098606 265502720 63229 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64820 63229 566 18 0 64802 0
vsize: 259280
[startup+1170.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 63672 0 0 0 116893 171 0 0 25 0 1 0 661098606 267243520 63649 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65245 63649 566 18 0 65227 0
vsize: 260980
[startup+1180.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 64057 0 0 0 117892 172 0 0 25 0 1 0 661098606 268865536 64034 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65641 64034 566 18 0 65623 0
vsize: 262564
[startup+1190.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 64459 0 0 0 118891 173 0 0 25 0 1 0 661098606 270508032 64436 4294967295 134512640 134581331 3221221792 3221220764 134519895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66042 64436 566 18 0 66024 0
vsize: 264168
[startup+1200.5 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 6899
Raw data (stat): 6844 (Pueblo) R 6843 7876 7672 0 -1 0 64899 0 0 0 119890 174 0 0 25 0 1 0 661098606 272257024 64876 4294967295 134512640 134581331 3221221792 3221220720 134520105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66469 64876 566 18 0 66451 0
vsize: 265876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.62 s]
Raw data (loadavg): 1.00 1.01 1.00 1/54 6899
Raw data (stat): 6844 (Pueblo) Z 6843 7876 7672 0 -1 1036 64899 0 0 0 119890 186 0 0 25 0 1 0 661098606 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.62
CPU time (s): 1200.77
CPU user time (s): 1198.91
CPU system time (s): 1.86172
CPU usage (%): 100.012
Max. virtual memory (Kb): 265876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####