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-g250.29.opb
MD5SUM	95af9ee9e7f41d7e844f72bb8840ff83
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	14500
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	14500
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14500
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12398
Number of variables	14500
Total number of constraints	461872
Number of constraints which are clauses	461872
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	29
Trace number 23805

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 01:11:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1195 boxname=wulflinc31 idbench=133 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  95af9ee9e7f41d7e844f72bb8840ff83  /oldhome/oroussel/tmp/wulflinc31/normalized-g250.29.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-g250.29.opb
IDLAUNCH: 1195
/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:        921984 kB
Buffers:         11168 kB
Cached:          76016 kB
SwapCached:       3596 kB
Active:          55492 kB
Inactive:        36792 kB
HighTotal:      131008 kB
HighFree:        51660 kB
LowTotal:       903652 kB
LowFree:        870324 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14512 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 01:31:18 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 1195 7 1200.33 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): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (runsolver) R 7957 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 661977505 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.0009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 8127 0 0 0 973 24 0 0 25 0 1 0 661977505 38760448 8105 4294967295 134512640 134581331 3221221792 3217026064 1075243424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9463 8105 566 18 0 9445 0
vsize: 37852
[startup+20.0008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 12928 0 0 0 1958 38 0 0 25 0 1 0 661977505 58589184 12905 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14304 12905 566 18 0 14286 0
vsize: 57216
[startup+30.0017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13003 0 0 0 2958 39 0 0 25 0 1 0 661977505 58851328 12980 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14368 12980 566 18 0 14350 0
vsize: 57472
[startup+40.0017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13046 0 0 0 3957 40 0 0 25 0 1 0 661977505 59113472 13023 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14432 13023 566 18 0 14414 0
vsize: 57728
[startup+50.0026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13090 0 0 0 4957 40 0 0 25 0 1 0 661977505 59637760 13067 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14560 13067 566 18 0 14542 0
vsize: 58240
[startup+60.0025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13133 0 0 0 5957 40 0 0 25 0 1 0 661977505 59637760 13110 4294967295 134512640 134581331 3221221792 3221220784 134531720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14560 13110 566 18 0 14542 0
vsize: 58240
[startup+70.0028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13176 0 0 0 6956 41 0 0 25 0 1 0 661977505 59637760 13153 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14560 13153 566 18 0 14542 0
vsize: 58240
[startup+80.0034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13219 0 0 0 7956 42 0 0 25 0 1 0 661977505 60686336 13196 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14816 13196 566 18 0 14798 0
vsize: 59264
[startup+90.0033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13319 0 0 0 8955 43 0 0 25 0 1 0 661977505 60956672 13296 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 13296 566 18 0 14864 0
vsize: 59528
[startup+100.004 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 13799 0 0 0 9954 45 0 0 25 0 1 0 661977505 62713856 13776 4294967295 134512640 134581331 3221221792 3221220784 134531728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15311 13776 566 18 0 15293 0
vsize: 61244
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 14313 0 0 0 10952 46 0 0 25 0 1 0 661977505 64741376 14290 4294967295 134512640 134581331 3221221792 3221220800 134531325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15806 14290 566 18 0 15788 0
vsize: 63224
[startup+120.005 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15230 0 0 0 11950 49 0 0 25 0 1 0 661977505 68255744 15207 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16664 15207 566 18 0 16646 0
vsize: 66656
[startup+130.006 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 12950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+140.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 13950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+150.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 14950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+160.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 15950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+170.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 16950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 17950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 18950 49 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220444 1075289104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 19951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 20951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 21951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 22951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 23951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 15249 0 0 0 24951 50 0 0 25 0 1 0 661977505 68411392 15226 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16702 15226 566 18 0 16684 0
vsize: 66808
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 16104 0 0 0 25949 52 0 0 25 0 1 0 661977505 71823360 16081 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17535 16081 566 18 0 17517 0
vsize: 70140
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 17030 0 0 0 26948 54 0 0 25 0 1 0 661977505 75591680 17007 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18455 17007 566 18 0 18437 0
vsize: 73820
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 17939 0 0 0 27945 56 0 0 25 0 1 0 661977505 79335424 17916 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19369 17916 566 18 0 19351 0
vsize: 77476
[startup+290.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 18848 0 0 0 28943 59 0 0 25 0 1 0 661977505 83058688 18825 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20278 18825 566 18 0 20260 0
vsize: 81112
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 19690 0 0 0 29941 61 0 0 25 0 1 0 661977505 86474752 19667 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21112 19667 566 18 0 21094 0
vsize: 84448
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 20533 0 0 0 30939 63 0 0 25 0 1 0 661977505 90099712 20510 4294967295 134512640 134581331 3221221792 3221220720 134519835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21997 20510 566 18 0 21979 0
vsize: 87988
[startup+320.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 21333 0 0 0 31938 65 0 0 25 0 1 0 661977505 93278208 21310 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22773 21310 566 18 0 22755 0
vsize: 91092
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 22167 0 0 0 32936 67 0 0 25 0 1 0 661977505 96755712 22144 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23622 22144 566 18 0 23604 0
vsize: 94488
[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 22996 0 0 0 33934 69 0 0 25 0 1 0 661977505 100122624 22973 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24444 22973 566 18 0 24426 0
vsize: 97776
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 23800 0 0 0 34932 71 0 0 25 0 1 0 661977505 103378944 23777 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25239 23777 566 18 0 25221 0
vsize: 100956
[startup+360.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 24550 0 0 0 35930 73 0 0 25 0 1 0 661977505 106430464 24527 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25984 24527 566 18 0 25966 0
vsize: 103936
[startup+370.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 25309 0 0 0 36929 75 0 0 25 0 1 0 661977505 109568000 25286 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26750 25286 566 18 0 26732 0
vsize: 107000
[startup+380.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 26047 0 0 0 37927 77 0 0 25 0 1 0 661977505 112566272 26024 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27482 26024 566 18 0 27464 0
vsize: 109928
[startup+390.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 26769 0 0 0 38925 79 0 0 25 0 1 0 661977505 115531776 26746 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28206 26746 566 18 0 28188 0
vsize: 112824
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 27389 0 0 0 39924 80 0 0 25 0 1 0 661977505 118054912 27366 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28822 27366 566 18 0 28804 0
vsize: 115288
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 28064 0 0 0 40923 82 0 0 25 0 1 0 661977505 120909824 28041 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29519 28041 566 18 0 29501 0
vsize: 118076
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 28602 0 0 0 41921 84 0 0 25 0 1 0 661977505 122990592 28579 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30027 28579 566 18 0 30009 0
vsize: 120108
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 29147 0 0 0 42920 85 0 0 25 0 1 0 661977505 125263872 29124 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30582 29124 566 18 0 30564 0
vsize: 122328
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 29746 0 0 0 43918 87 0 0 25 0 1 0 661977505 127754240 29723 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31190 29723 566 18 0 31172 0
vsize: 124760
[startup+450.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 30155 0 0 0 44917 88 0 0 25 0 1 0 661977505 129384448 30132 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31588 30132 566 18 0 31570 0
vsize: 126352
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 30513 0 0 0 45917 89 0 0 25 0 1 0 661977505 130826240 30490 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31940 30490 566 18 0 31922 0
vsize: 127760
[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 30929 0 0 0 46916 90 0 0 25 0 1 0 661977505 132628480 30906 4294967295 134512640 134581331 3221221792 3221220688 134517871 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32380 30906 566 18 0 32362 0
vsize: 129520
[startup+480.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 31481 0 0 0 47914 91 0 0 25 0 1 0 661977505 134782976 31458 4294967295 134512640 134581331 3221221792 3221220688 134517743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32906 31458 566 18 0 32888 0
vsize: 131624
[startup+490.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 32145 0 0 0 48913 93 0 0 25 0 1 0 661977505 137580544 32122 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33589 32122 566 18 0 33571 0
vsize: 134356
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 32658 0 0 0 49911 95 0 0 25 0 1 0 661977505 139706368 32635 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34108 32635 566 18 0 34090 0
vsize: 136432
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 33149 0 0 0 50910 96 0 0 25 0 1 0 661977505 141705216 33126 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34596 33126 566 18 0 34578 0
vsize: 138384
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 33671 0 0 0 51909 98 0 0 25 0 1 0 661977505 143839232 33648 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35117 33648 566 18 0 35099 0
vsize: 140468
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 34137 0 0 0 52908 99 0 0 25 0 1 0 661977505 145645568 34114 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35558 34114 566 18 0 35540 0
vsize: 142232
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 34745 0 0 0 53906 101 0 0 25 0 1 0 661977505 148385792 34722 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36227 34722 566 18 0 36209 0
vsize: 144908
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 35272 0 0 0 54905 102 0 0 25 0 1 0 661977505 150536192 35249 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36752 35249 566 18 0 36734 0
vsize: 147008
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 35690 0 0 0 55905 103 0 0 25 0 1 0 661977505 152215552 35667 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37162 35667 566 18 0 37144 0
vsize: 148648
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 35969 0 0 0 56904 103 0 0 25 0 1 0 661977505 153300992 35946 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37427 35946 566 18 0 37409 0
vsize: 149708
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 36309 0 0 0 57904 104 0 0 25 0 1 0 661977505 154722304 36286 4294967295 134512640 134581331 3221221792 3221220784 134561080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37774 36286 566 18 0 37756 0
vsize: 151096
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 36598 0 0 0 58903 105 0 0 25 0 1 0 661977505 155897856 36575 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38061 36575 566 18 0 38043 0
vsize: 152244
[startup+600.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 36961 0 0 0 59902 106 0 0 25 0 1 0 661977505 157343744 36938 4294967295 134512640 134581331 3221221792 3221220736 134558914 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38414 36938 566 18 0 38396 0
vsize: 153656
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 37289 0 0 0 60902 107 0 0 25 0 1 0 661977505 158752768 37266 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38758 37266 566 18 0 38740 0
vsize: 155032
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 37611 0 0 0 61901 107 0 0 25 0 1 0 661977505 160014336 37588 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39066 37588 566 18 0 39048 0
vsize: 156264
[startup+630.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 37911 0 0 0 62901 108 0 0 25 0 1 0 661977505 161288192 37888 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39377 37888 566 18 0 39359 0
vsize: 157508
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 38134 0 0 0 63900 108 0 0 25 0 1 0 661977505 162238464 38111 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39609 38111 566 18 0 39591 0
vsize: 158436
[startup+650.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 38369 0 0 0 64900 109 0 0 25 0 1 0 661977505 163176448 38346 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39838 38346 566 18 0 39820 0
vsize: 159352
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 38794 0 0 0 65900 110 0 0 25 0 1 0 661977505 164864000 38771 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40250 38771 566 18 0 40232 0
vsize: 161000
[startup+670.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 39138 0 0 0 66899 111 0 0 25 0 1 0 661977505 166297600 39115 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40600 39115 566 18 0 40582 0
vsize: 162400
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 39452 0 0 0 67899 111 0 0 25 0 1 0 661977505 167608320 39429 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40920 39429 566 18 0 40902 0
vsize: 163680
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 39805 0 0 0 68897 113 0 0 25 0 1 0 661977505 169013248 39782 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41263 39782 566 18 0 41245 0
vsize: 165052
[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 40165 0 0 0 69897 113 0 0 25 0 1 0 661977505 170467328 40142 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41618 40142 566 18 0 41600 0
vsize: 166472
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 40416 0 0 0 70897 114 0 0 25 0 1 0 661977505 171520000 40393 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41875 40393 566 18 0 41857 0
vsize: 167500
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 40723 0 0 0 71896 115 0 0 25 0 1 0 661977505 172822528 40700 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42193 40700 566 18 0 42175 0
vsize: 168772
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 41041 0 0 0 72895 116 0 0 25 0 1 0 661977505 174125056 41018 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42511 41018 566 18 0 42493 0
vsize: 170044
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 41385 0 0 0 73895 116 0 0 25 0 1 0 661977505 175546368 41362 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42858 41362 566 18 0 42840 0
vsize: 171432
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 41630 0 0 0 74894 117 0 0 25 0 1 0 661977505 176488448 41607 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43088 41607 566 18 0 43070 0
vsize: 172352
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 41938 0 0 0 75894 118 0 0 25 0 1 0 661977505 177844224 41915 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43419 41915 566 18 0 43401 0
vsize: 173676
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 42395 0 0 0 76893 119 0 0 25 0 1 0 661977505 179605504 42372 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43849 42372 566 18 0 43831 0
vsize: 175396
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 42737 0 0 0 77892 120 0 0 25 0 1 0 661977505 181080064 42714 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44209 42714 566 18 0 44191 0
vsize: 176836
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 43064 0 0 0 78891 121 0 0 25 0 1 0 661977505 182382592 43041 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44527 43041 566 18 0 44509 0
vsize: 178108
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 43363 0 0 0 79891 122 0 0 25 0 1 0 661977505 183574528 43340 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44818 43340 566 18 0 44800 0
vsize: 179272
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 43620 0 0 0 80890 122 0 0 25 0 1 0 661977505 184680448 43597 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45088 43597 566 18 0 45070 0
vsize: 180352
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 43922 0 0 0 81889 123 0 0 25 0 1 0 661977505 185901056 43899 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45386 43899 566 18 0 45368 0
vsize: 181544
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 44225 0 0 0 82889 123 0 0 25 0 1 0 661977505 187142144 44202 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45689 44202 566 18 0 45671 0
vsize: 182756
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 44515 0 0 0 83889 124 0 0 25 0 1 0 661977505 188346368 44492 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45983 44492 566 18 0 45965 0
vsize: 183932
[startup+850.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 44779 0 0 0 84888 125 0 0 25 0 1 0 661977505 189427712 44756 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46247 44756 566 18 0 46229 0
vsize: 184988
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 45029 0 0 0 85887 126 0 0 25 0 1 0 661977505 190394368 45006 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46483 45006 566 18 0 46465 0
vsize: 185932
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 45271 0 0 0 86886 127 0 0 25 0 1 0 661977505 191492096 45248 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46751 45248 566 18 0 46733 0
vsize: 187004
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 45507 0 0 0 87886 127 0 0 25 0 1 0 661977505 192454656 45484 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46986 45484 566 18 0 46968 0
vsize: 187944
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 45809 0 0 0 88885 128 0 0 25 0 1 0 661977505 193683456 45786 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47286 45786 566 18 0 47268 0
vsize: 189144
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 46158 0 0 0 89885 129 0 0 25 0 1 0 661977505 195002368 46135 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47608 46135 566 18 0 47590 0
vsize: 190432
[startup+910.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 46475 0 0 0 90884 130 0 0 25 0 1 0 661977505 196329472 46452 4294967295 134512640 134581331 3221221792 3221220688 134517912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47932 46452 566 18 0 47914 0
vsize: 191728
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 46745 0 0 0 91884 130 0 0 25 0 1 0 661977505 197419008 46722 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48198 46722 566 18 0 48180 0
vsize: 192792
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 46998 0 0 0 92883 131 0 0 25 0 1 0 661977505 198512640 46975 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48465 46975 566 18 0 48447 0
vsize: 193860
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 47719 0 0 0 93882 132 0 0 25 0 1 0 661977505 201408512 47696 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49172 47696 566 18 0 49154 0
vsize: 196688
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 48439 0 0 0 94880 135 0 0 25 0 1 0 661977505 204447744 48416 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49914 48416 566 18 0 49896 0
vsize: 199656
[startup+960.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 49182 0 0 0 95877 138 0 0 25 0 1 0 661977505 207425536 49159 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50641 49159 566 18 0 50623 0
vsize: 202564
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 49897 0 0 0 96876 139 0 0 25 0 1 0 661977505 210362368 49874 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51358 49874 566 18 0 51340 0
vsize: 205432
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 50543 0 0 0 97874 141 0 0 25 0 1 0 661977505 213032960 50520 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52010 50520 566 18 0 51992 0
vsize: 208040
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 51183 0 0 0 98873 142 0 0 25 0 1 0 661977505 215601152 51160 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52637 51160 566 18 0 52619 0
vsize: 210548
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 51853 0 0 0 99872 144 0 0 25 0 1 0 661977505 218300416 51830 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53296 51830 566 18 0 53278 0
vsize: 213184
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 52534 0 0 0 100870 146 0 0 25 0 1 0 661977505 221143040 52511 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53990 52511 566 18 0 53972 0
vsize: 215960
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 53157 0 0 0 101868 148 0 0 25 0 1 0 661977505 223649792 53134 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54602 53134 566 18 0 54584 0
vsize: 218408
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 53726 0 0 0 102868 149 0 0 25 0 1 0 661977505 226062336 53703 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55191 53703 566 18 0 55173 0
vsize: 220764
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 54360 0 0 0 103866 151 0 0 25 0 1 0 661977505 228593664 54337 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55809 54337 566 18 0 55791 0
vsize: 223236
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 55039 0 0 0 104864 152 0 0 25 0 1 0 661977505 231383040 55016 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56490 55016 566 18 0 56472 0
vsize: 225960
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 55659 0 0 0 105863 154 0 0 25 0 1 0 661977505 233881600 55636 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57100 55636 566 18 0 57082 0
vsize: 228400
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 56280 0 0 0 106861 156 0 0 25 0 1 0 661977505 236490752 56257 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57737 56257 566 18 0 57719 0
vsize: 230948
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 56748 0 0 0 107860 157 0 0 25 0 1 0 661977505 238428160 56725 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58210 56725 566 18 0 58192 0
vsize: 232840
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 57242 0 0 0 108859 158 0 0 25 0 1 0 661977505 240357376 57219 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58681 57219 566 18 0 58663 0
vsize: 234724
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 57766 0 0 0 109859 159 0 0 25 0 1 0 661977505 242520064 57743 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59209 57743 566 18 0 59191 0
vsize: 236836
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 58224 0 0 0 110858 160 0 0 25 0 1 0 661977505 244436992 58201 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59677 58201 566 18 0 59659 0
vsize: 238708
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 58768 0 0 0 111856 162 0 0 25 0 1 0 661977505 246693888 58745 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60228 58745 566 18 0 60210 0
vsize: 240912
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 59306 0 0 0 112855 163 0 0 25 0 1 0 661977505 248872960 59283 4294967295 134512640 134581331 3221221792 3221220720 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60760 59283 566 18 0 60742 0
vsize: 243040
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 59789 0 0 0 113855 163 0 0 25 0 1 0 661977505 250789888 59766 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61228 59766 566 18 0 61210 0
vsize: 244912
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 60221 0 0 0 114854 164 0 0 25 0 1 0 661977505 252649472 60198 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61682 60198 566 18 0 61664 0
vsize: 246728
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 60690 0 0 0 115853 166 0 0 25 0 1 0 661977505 254554112 60667 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62147 60667 566 18 0 62129 0
vsize: 248588
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 61168 0 0 0 116852 167 0 0 25 0 1 0 661977505 256425984 61145 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62604 61145 566 18 0 62586 0
vsize: 250416
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 61704 0 0 0 117851 168 0 0 25 0 1 0 661977505 258707456 61681 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63161 61681 566 18 0 63143 0
vsize: 252644
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 62246 0 0 0 118850 169 0 0 25 0 1 0 661977505 260952064 62223 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63709 62223 566 18 0 63691 0
vsize: 254836
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7958
Raw data (stat): 7958 (Pueblo) R 7957 7876 7672 0 -1 0 62867 0 0 0 119849 171 0 0 25 0 1 0 661977505 263421952 62844 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64312 62844 566 18 0 64294 0
vsize: 257248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 7958
Raw data (stat): 7958 (Pueblo) Z 7957 7876 7672 0 -1 1036 62867 0 0 0 119849 182 0 0 25 0 1 0 661977505 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.17
CPU time (s): 1200.33
CPU user time (s): 1198.5
CPU system time (s): 1.82972
CPU usage (%): 100.013
Max. virtual memory (Kb): 257248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####