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-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
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	2000
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	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23775

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 16:00:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1141 boxname=wulflinc31 idbench=127 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
IDLAUNCH: 1141
/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:        907104 kB
Buffers:         44468 kB
Cached:          60804 kB
SwapCached:        944 kB
Active:          86632 kB
Inactive:        21104 kB
HighTotal:      131008 kB
HighFree:        69244 kB
LowTotal:       903652 kB
LowFree:        837860 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14280 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 16:20:55 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 1141 7 1200.2 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.46 1.11 0.97 2/54 4613
Raw data (stat): 4613 (runsolver) R 4612 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 658674805 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.0011 s]
Raw data (loadavg): 1.39 1.11 0.97 2/54 4613
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 873 0 0 0 993 4 0 0 25 0 1 0 658674805 9248768 850 4294967295 134512640 134581331 3221221808 3221220736 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2258 850 566 18 0 2240 0
vsize: 9032
[startup+20.0018 s]
Raw data (loadavg): 1.33 1.10 0.97 2/54 4613
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1010 0 0 0 1993 4 0 0 25 0 1 0 658674805 9773056 987 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 987 566 18 0 2368 0
vsize: 9544
[startup+30.0017 s]
Raw data (loadavg): 1.28 1.10 0.97 2/54 4613
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1074 0 0 0 2993 4 0 0 25 0 1 0 658674805 10039296 1051 4294967295 134512640 134581331 3221221808 3221220736 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2451 1051 566 18 0 2433 0
vsize: 9804
[startup+40.002 s]
Raw data (loadavg): 1.24 1.10 0.97 2/54 4613
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1113 0 0 0 3993 4 0 0 25 0 1 0 658674805 10170368 1090 4294967295 134512640 134581331 3221221808 3221220800 134560986 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2483 1090 566 18 0 2465 0
vsize: 9932
[startup+50.0026 s]
Raw data (loadavg): 1.20 1.09 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1192 0 0 0 4993 5 0 0 25 0 1 0 658674805 10567680 1169 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1169 566 18 0 2562 0
vsize: 10320
[startup+60.0036 s]
Raw data (loadavg): 1.17 1.09 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1200 0 0 0 5993 5 0 0 25 0 1 0 658674805 10567680 1177 4294967295 134512640 134581331 3221221808 3221220752 134559312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2580 1177 566 18 0 2562 0
vsize: 10320
[startup+70.0049 s]
Raw data (loadavg): 1.14 1.08 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1238 0 0 0 6993 5 0 0 25 0 1 0 658674805 10702848 1215 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2613 1215 566 18 0 2595 0
vsize: 10452
[startup+80.0044 s]
Raw data (loadavg): 1.12 1.08 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1330 0 0 0 7993 5 0 0 25 0 1 0 658674805 11100160 1307 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2710 1307 566 18 0 2692 0
vsize: 10840
[startup+90.0047 s]
Raw data (loadavg): 1.10 1.08 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1391 0 0 0 8993 5 0 0 25 0 1 0 658674805 11362304 1368 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2774 1368 566 18 0 2756 0
vsize: 11096
[startup+100.004 s]
Raw data (loadavg): 1.08 1.08 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1391 0 0 0 9993 5 0 0 25 0 1 0 658674805 11362304 1368 4294967295 134512640 134581331 3221221808 3221220736 134519812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2774 1368 566 18 0 2756 0
vsize: 11096
[startup+110.005 s]
Raw data (loadavg): 1.07 1.07 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1391 0 0 0 10993 5 0 0 25 0 1 0 658674805 11362304 1368 4294967295 134512640 134581331 3221221808 3221220736 134520003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2774 1368 566 18 0 2756 0
vsize: 11096
[startup+120.006 s]
Raw data (loadavg): 1.06 1.07 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1477 0 0 0 11993 6 0 0 25 0 1 0 658674805 11759616 1454 4294967295 134512640 134581331 3221221808 3221220752 134559377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1454 566 18 0 2853 0
vsize: 11484
[startup+130.006 s]
Raw data (loadavg): 1.05 1.07 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1503 0 0 0 12994 6 0 0 25 0 1 0 658674805 11759616 1480 4294967295 134512640 134581331 3221221808 3221220800 134561148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2871 1480 566 18 0 2853 0
vsize: 11484
[startup+140.007 s]
Raw data (loadavg): 1.04 1.06 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1526 0 0 0 13994 6 0 0 25 0 1 0 658674805 11894784 1503 4294967295 134512640 134581331 3221221808 3221220752 134559087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1503 566 18 0 2886 0
vsize: 11616
[startup+150.007 s]
Raw data (loadavg): 1.04 1.06 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1528 0 0 0 14994 6 0 0 25 0 1 0 658674805 11894784 1505 4294967295 134512640 134581331 3221221808 3221220688 134560497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 1505 566 18 0 2886 0
vsize: 11616
[startup+160.008 s]
Raw data (loadavg): 1.03 1.06 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1578 0 0 0 15994 6 0 0 25 0 1 0 658674805 12156928 1555 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2968 1555 566 18 0 2950 0
vsize: 11872
[startup+170.008 s]
Raw data (loadavg): 1.02 1.06 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1594 0 0 0 16994 6 0 0 25 0 1 0 658674805 12156928 1571 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2968 1571 566 18 0 2950 0
vsize: 11872
[startup+180.008 s]
Raw data (loadavg): 1.02 1.05 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1664 0 0 0 17993 7 0 0 25 0 1 0 658674805 12423168 1641 4294967295 134512640 134581331 3221221808 3221220784 134560995 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3033 1641 566 18 0 3015 0
vsize: 12132
[startup+190.009 s]
Raw data (loadavg): 1.02 1.05 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1707 0 0 0 18994 7 0 0 25 0 1 0 658674805 12689408 1684 4294967295 134512640 134581331 3221221808 3221220704 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3098 1684 566 18 0 3080 0
vsize: 12392
[startup+200.009 s]
Raw data (loadavg): 1.01 1.05 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1732 0 0 0 19994 7 0 0 25 0 1 0 658674805 12824576 1709 4294967295 134512640 134581331 3221221808 3221220800 134561137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 1709 566 18 0 3113 0
vsize: 12524
[startup+210.01 s]
Raw data (loadavg): 1.01 1.05 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1732 0 0 0 20994 7 0 0 25 0 1 0 658674805 12824576 1709 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 1709 566 18 0 3113 0
vsize: 12524
[startup+220.011 s]
Raw data (loadavg): 1.01 1.05 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1732 0 0 0 21994 7 0 0 25 0 1 0 658674805 12808192 1709 4294967295 134512640 134581331 3221221808 3221220704 134518030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3127 1709 566 18 0 3109 0
vsize: 12508
[startup+230.01 s]
Raw data (loadavg): 1.01 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1744 0 0 0 22994 7 0 0 25 0 1 0 658674805 12808192 1721 4294967295 134512640 134581331 3221221808 3221220752 134559090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3127 1721 566 18 0 3109 0
vsize: 12508
[startup+240.01 s]
Raw data (loadavg): 1.01 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1747 0 0 0 23994 7 0 0 25 0 1 0 658674805 12808192 1724 4294967295 134512640 134581331 3221221808 3221220800 134560974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3127 1724 566 18 0 3109 0
vsize: 12508
[startup+250.011 s]
Raw data (loadavg): 1.00 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1780 0 0 0 24994 7 0 0 25 0 1 0 658674805 12943360 1757 4294967295 134512640 134581331 3221221808 3221220736 134519883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3160 1757 566 18 0 3142 0
vsize: 12640
[startup+260.011 s]
Raw data (loadavg): 1.00 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1833 0 0 0 25994 7 0 0 25 0 1 0 658674805 13205504 1810 4294967295 134512640 134581331 3221221808 3221220736 134519880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3224 1810 566 18 0 3206 0
vsize: 12896
[startup+270.012 s]
Raw data (loadavg): 1.00 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1833 0 0 0 26994 7 0 0 25 0 1 0 658674805 13205504 1810 4294967295 134512640 134581331 3221221808 3221220688 134560296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3224 1810 566 18 0 3206 0
vsize: 12896
[startup+280.011 s]
Raw data (loadavg): 1.00 1.04 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1834 0 0 0 27995 7 0 0 25 0 1 0 658674805 13205504 1811 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3224 1811 566 18 0 3206 0
vsize: 12896
[startup+290.012 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4615
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1867 0 0 0 28995 8 0 0 25 0 1 0 658674805 13336576 1844 4294967295 134512640 134581331 3221221808 3221220736 134519883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3256 1844 566 18 0 3238 0
vsize: 13024
[startup+300.012 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1898 0 0 0 29995 8 0 0 25 0 1 0 658674805 13467648 1875 4294967295 134512640 134581331 3221221808 3221220704 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3288 1875 566 18 0 3270 0
vsize: 13152
[startup+310.013 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1898 0 0 0 30995 8 0 0 25 0 1 0 658674805 13467648 1875 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3288 1875 566 18 0 3270 0
vsize: 13152
[startup+320.014 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1907 0 0 0 31995 8 0 0 25 0 1 0 658674805 13467648 1884 4294967295 134512640 134581331 3221221808 3221220688 134560573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3288 1884 566 18 0 3270 0
vsize: 13152
[startup+330.014 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 1945 0 0 0 32995 8 0 0 25 0 1 0 658674805 13598720 1922 4294967295 134512640 134581331 3221221808 3221220736 134519797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3320 1922 566 18 0 3302 0
vsize: 13280
[startup+340.015 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 33994 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+350.015 s]
Raw data (loadavg): 1.00 1.03 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 34994 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+360.016 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 35995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220688 134520182 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+370.016 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 36995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220752 134559377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+380.015 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 37995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+390.016 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 38995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+400.017 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 39995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220800 134561137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+410.017 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2011 0 0 0 40995 9 0 0 25 0 1 0 658674805 13860864 1988 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3384 1988 566 18 0 3366 0
vsize: 13536
[startup+420.017 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2073 0 0 0 41995 10 0 0 25 0 1 0 658674805 14123008 2050 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3448 2050 566 18 0 3430 0
vsize: 13792
[startup+430.017 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2075 0 0 0 42995 10 0 0 25 0 1 0 658674805 14123008 2052 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3448 2052 566 18 0 3430 0
vsize: 13792
[startup+440.018 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2119 0 0 0 43996 10 0 0 25 0 1 0 658674805 14389248 2096 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2096 566 18 0 3495 0
vsize: 14052
[startup+450.018 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2132 0 0 0 44995 10 0 0 25 0 1 0 658674805 14389248 2109 4294967295 134512640 134581331 3221221808 3221220752 134559274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2109 566 18 0 3495 0
vsize: 14052
[startup+460.019 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2144 0 0 0 45996 10 0 0 25 0 1 0 658674805 14389248 2121 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2121 566 18 0 3495 0
vsize: 14052
[startup+470.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2199 0 0 0 46996 10 0 0 25 0 1 0 658674805 14651392 2176 4294967295 134512640 134581331 3221221808 3221220688 134560375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3577 2176 566 18 0 3559 0
vsize: 14308
[startup+480.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2220 0 0 0 47996 10 0 0 25 0 1 0 658674805 14782464 2197 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3609 2197 566 18 0 3591 0
vsize: 14436
[startup+490.02 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2240 0 0 0 48996 10 0 0 25 0 1 0 658674805 14913536 2217 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2217 566 18 0 3623 0
vsize: 14564
[startup+500.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2241 0 0 0 49996 10 0 0 25 0 1 0 658674805 14913536 2218 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2218 566 18 0 3623 0
vsize: 14564
[startup+510.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2241 0 0 0 50996 10 0 0 25 0 1 0 658674805 14913536 2218 4294967295 134512640 134581331 3221221808 3221220736 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2218 566 18 0 3623 0
vsize: 14564
[startup+520.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2241 0 0 0 51996 10 0 0 25 0 1 0 658674805 14913536 2218 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2218 566 18 0 3623 0
vsize: 14564
[startup+530.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2241 0 0 0 52996 10 0 0 25 0 1 0 658674805 14913536 2218 4294967295 134512640 134581331 3221221808 3221220704 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2218 566 18 0 3623 0
vsize: 14564
[startup+540.021 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2241 0 0 0 53996 10 0 0 25 0 1 0 658674805 14913536 2218 4294967295 134512640 134581331 3221221808 3221220736 134519826 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2218 566 18 0 3623 0
vsize: 14564
[startup+550.022 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 54996 11 0 0 25 0 1 0 658674805 15179776 2284 4294967295 134512640 134581331 3221221808 3221220704 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2284 566 18 0 3688 0
vsize: 14824
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 55997 11 0 0 25 0 1 0 658674805 15179776 2284 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2284 566 18 0 3688 0
vsize: 14824
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 56997 11 0 0 25 0 1 0 658674805 15179776 2284 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2284 566 18 0 3688 0
vsize: 14824
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 57997 11 0 0 25 0 1 0 658674805 15171584 2284 4294967295 134512640 134581331 3221221808 3221220752 134559469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3704 2284 566 18 0 3686 0
vsize: 14816
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 58997 11 0 0 25 0 1 0 658674805 15171584 2284 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3704 2284 566 18 0 3686 0
vsize: 14816
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 59997 11 0 0 25 0 1 0 658674805 15167488 2284 4294967295 134512640 134581331 3221221808 3221220688 134560375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2284 566 18 0 3685 0
vsize: 14812
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 60998 11 0 0 25 0 1 0 658674805 15159296 2284 4294967295 134512640 134581331 3221221808 3221220736 134519952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2284 566 18 0 3683 0
vsize: 14804
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 61998 11 0 0 25 0 1 0 658674805 15159296 2284 4294967295 134512640 134581331 3221221808 3221220800 134561068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2284 566 18 0 3683 0
vsize: 14804
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 62998 11 0 0 25 0 1 0 658674805 15159296 2284 4294967295 134512640 134581331 3221221808 3221220704 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2284 566 18 0 3683 0
vsize: 14804
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2307 0 0 0 63998 11 0 0 25 0 1 0 658674805 15155200 2284 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2284 566 18 0 3682 0
vsize: 14800
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2331 0 0 0 64998 11 0 0 25 0 1 0 658674805 15290368 2308 4294967295 134512640 134581331 3221221808 3221220768 134519781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2308 566 18 0 3715 0
vsize: 14932
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2331 0 0 0 65998 11 0 0 25 0 1 0 658674805 15290368 2308 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3733 2308 566 18 0 3715 0
vsize: 14932
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2375 0 0 0 66998 11 0 0 25 0 1 0 658674805 15421440 2352 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2352 566 18 0 3747 0
vsize: 15060
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2375 0 0 0 67998 11 0 0 25 0 1 0 658674805 15421440 2352 4294967295 134512640 134581331 3221221808 3221220800 134561122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2352 566 18 0 3747 0
vsize: 15060
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2382 0 0 0 68998 11 0 0 25 0 1 0 658674805 15421440 2359 4294967295 134512640 134581331 3221221808 3221220800 134561120 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2359 566 18 0 3747 0
vsize: 15060
[startup+700.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2382 0 0 0 69998 11 0 0 25 0 1 0 658674805 15421440 2359 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2359 566 18 0 3747 0
vsize: 15060
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2393 0 0 0 70998 11 0 0 25 0 1 0 658674805 15421440 2370 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3765 2370 566 18 0 3747 0
vsize: 15060
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2443 0 0 0 71998 12 0 0 25 0 1 0 658674805 15683584 2420 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2420 566 18 0 3811 0
vsize: 15316
[startup+730.024 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2447 0 0 0 72999 12 0 0 25 0 1 0 658674805 15683584 2424 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2424 566 18 0 3811 0
vsize: 15316
[startup+740.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2447 0 0 0 73999 12 0 0 25 0 1 0 658674805 15683584 2424 4294967295 134512640 134581331 3221221808 3221220880 134555765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2424 566 18 0 3811 0
vsize: 15316
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 74999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220796 134561090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 75999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220704 134517902 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 76999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220784 134560740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 77999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220736 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 78999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220752 134558803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2475 0 0 0 79999 12 0 0 25 0 1 0 658674805 15814656 2452 4294967295 134512640 134581331 3221221808 3221220784 134561104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2452 566 18 0 3843 0
vsize: 15444
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2492 0 0 0 80999 12 0 0 25 0 1 0 658674805 15945728 2469 4294967295 134512640 134581331 3221221808 3221220736 134519996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2469 566 18 0 3875 0
vsize: 15572
[startup+820.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2514 0 0 0 81999 12 0 0 25 0 1 0 658674805 15945728 2491 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3893 2491 566 18 0 3875 0
vsize: 15572
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2528 0 0 0 82999 13 0 0 25 0 1 0 658674805 16076800 2505 4294967295 134512640 134581331 3221221808 3221220208 134566369 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2505 566 18 0 3907 0
vsize: 15700
[startup+840.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 83999 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220736 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+850.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 85000 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220736 134519906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 86000 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220736 134520030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 87000 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220736 134519958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 88000 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220688 134560435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2533 0 0 0 89000 13 0 0 25 0 1 0 658674805 16076800 2510 4294967295 134512640 134581331 3221221808 3221220780 134519776 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3925 2510 566 18 0 3907 0
vsize: 15700
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2606 0 0 0 90000 13 0 0 25 0 1 0 658674805 16347136 2583 4294967295 134512640 134581331 3221221808 3221220704 134517915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2583 566 18 0 3973 0
vsize: 15964
[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2606 0 0 0 91000 13 0 0 25 0 1 0 658674805 16347136 2583 4294967295 134512640 134581331 3221221808 3221220736 134520041 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 2583 566 18 0 3973 0
vsize: 15964
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2625 0 0 0 92000 13 0 0 25 0 1 0 658674805 16478208 2602 4294967295 134512640 134581331 3221221808 3221220704 134517897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4023 2602 566 18 0 4005 0
vsize: 16092
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 93000 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220768 134519892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 94000 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 95000 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220864 134556148 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 96001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220736 134519965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 97001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220704 134517589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+980.029 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 98001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220688 134560430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 99001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 100001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 101001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220736 134520043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 102001 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 103002 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2683 0 0 0 104002 14 0 0 25 0 1 0 658674805 16609280 2660 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2660 566 18 0 4037 0
vsize: 16220
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2684 0 0 0 105002 14 0 0 25 0 1 0 658674805 16609280 2661 4294967295 134512640 134581331 3221221808 3221220772 134519780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2661 566 18 0 4037 0
vsize: 16220
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2684 0 0 0 106002 14 0 0 25 0 1 0 658674805 16609280 2661 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4055 2661 566 18 0 4037 0
vsize: 16220
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2713 0 0 0 107002 14 0 0 25 0 1 0 658674805 16744448 2690 4294967295 134512640 134581331 3221221808 3221220736 134519996 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4088 2690 566 18 0 4070 0
vsize: 16352
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2738 0 0 0 108002 14 0 0 25 0 1 0 658674805 16875520 2715 4294967295 134512640 134581331 3221221808 3221220688 134560477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2715 566 18 0 4102 0
vsize: 16480
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2738 0 0 0 109002 14 0 0 25 0 1 0 658674805 16875520 2715 4294967295 134512640 134581331 3221221808 3221220736 134519803 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2715 566 18 0 4102 0
vsize: 16480
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2738 0 0 0 110002 14 0 0 25 0 1 0 658674805 16875520 2715 4294967295 134512640 134581331 3221221808 3221220784 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2715 566 18 0 4102 0
vsize: 16480
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2748 0 0 0 111002 14 0 0 25 0 1 0 658674805 16875520 2725 4294967295 134512640 134581331 3221221808 3221219472 134566805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 2725 566 18 0 4102 0
vsize: 16480
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2760 0 0 0 112002 14 0 0 25 0 1 0 658674805 17006592 2737 4294967295 134512640 134581331 3221221808 3221220800 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4152 2737 566 18 0 4134 0
vsize: 16608
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2760 0 0 0 113003 14 0 0 25 0 1 0 658674805 17006592 2737 4294967295 134512640 134581331 3221221808 3221220736 134520084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4152 2737 566 18 0 4134 0
vsize: 16608
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2760 0 0 0 114003 14 0 0 25 0 1 0 658674805 17006592 2737 4294967295 134512640 134581331 3221221808 3221220580 1075289811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4152 2737 566 18 0 4134 0
vsize: 16608
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2760 0 0 0 115003 14 0 0 25 0 1 0 658674805 17006592 2737 4294967295 134512640 134581331 3221221808 3221220736 134519924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4152 2737 566 18 0 4134 0
vsize: 16608
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2826 0 0 0 116003 15 0 0 25 0 1 0 658674805 17276928 2803 4294967295 134512640 134581331 3221221808 3221220736 134519797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4218 2803 566 18 0 4200 0
vsize: 16872
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2826 0 0 0 117003 15 0 0 25 0 1 0 658674805 17276928 2803 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4218 2803 566 18 0 4200 0
vsize: 16872
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2826 0 0 0 118003 15 0 0 25 0 1 0 658674805 17276928 2803 4294967295 134512640 134581331 3221221808 3221220784 134561104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4218 2803 566 18 0 4200 0
vsize: 16872
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2860 0 0 0 119003 15 0 0 25 0 1 0 658674805 17412096 2837 4294967295 134512640 134581331 3221221808 3221220800 134561084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4251 2837 566 18 0 4233 0
vsize: 17004
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 4617
Raw data (stat): 4613 (Pueblo) R 4612 7876 7672 0 -1 0 2860 0 0 0 120004 15 0 0 25 0 1 0 658674805 17412096 2837 4294967295 134512640 134581331 3221221808 3221220800 134560958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4251 2837 566 18 0 4233 0
vsize: 17004
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 4617
Raw data (stat): 4613 (Pueblo) Z 4612 7876 7672 0 -1 1036 2860 0 0 0 120004 15 0 0 25 0 1 0 658674805 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.04
CPU time (s): 1200.2
CPU user time (s): 1200.04
CPU system time (s): 0.158975
CPU usage (%): 100.013
Max. virtual memory (Kb): 17004
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####