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 38337

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 06:56:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26401 boxname=wulflinc1 idbench=131 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  a18434ce5469ba587063f7e76ce3e080  /oldhome/oroussel/tmp/wulflinc1/normalized-g125.18.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-g125.18.opb
IDLAUNCH: 26401
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        673268 kB
Buffers:         33844 kB
Cached:         303204 kB
SwapCached:        640 kB
Active:          69404 kB
Inactive:       269868 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        673016 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5824 kB
Slab:            16364 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 07:16:20 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 26401 7 1200.45 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/55 31115
Raw data (stat): 31115 (runsolver) R 31114 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 790938609 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 3080 0 0 0 991 7 0 0 25 0 1 0 790938609 18673664 3054 4294967295 134512640 134581267 3221224592 3221223488 134517912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4559 3054 566 18 0 4541 0
vsize: 18236
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 3175 0 0 0 1990 8 0 0 25 0 1 0 790938609 19046400 3149 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 3149 566 18 0 4632 0
vsize: 18600
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 4256 0 0 0 2987 10 0 0 25 0 1 0 790938609 23523328 4230 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5743 4230 566 18 0 5725 0
vsize: 22972
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 5276 0 0 0 3985 12 0 0 25 0 1 0 790938609 27734016 5250 4294967295 134512640 134581267 3221224592 3221223520 134519812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6771 5250 566 18 0 6753 0
vsize: 27084
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 6251 0 0 0 4983 14 0 0 25 0 1 0 790938609 31645696 6225 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7726 6225 566 18 0 7708 0
vsize: 30904
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 7204 0 0 0 5981 16 0 0 25 0 1 0 790938609 35594240 7178 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8690 7178 566 18 0 8672 0
vsize: 34760
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 8151 0 0 0 6980 18 0 0 25 0 1 0 790938609 39387136 8125 4294967295 134512640 134581267 3221224592 3221223536 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9616 8125 566 18 0 9598 0
vsize: 38464
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 8945 0 0 0 7978 20 0 0 25 0 1 0 790938609 42741760 8919 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10435 8919 566 18 0 10417 0
vsize: 41740
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 9820 0 0 0 8976 22 0 0 25 0 1 0 790938609 46301184 9794 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11304 9794 566 18 0 11286 0
vsize: 45216
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 10731 0 0 0 9974 25 0 0 25 0 1 0 790938609 50032640 10705 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12215 10705 566 18 0 12197 0
vsize: 48860
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 11531 0 0 0 10972 26 0 0 25 0 1 0 790938609 53297152 11505 4294967295 134512640 134581267 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13012 11505 566 18 0 12994 0
vsize: 52048
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 12369 0 0 0 11970 29 0 0 25 0 1 0 790938609 56766464 12343 4294967295 134512640 134581267 3221224592 3221223520 134520024 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13859 12343 566 18 0 13841 0
vsize: 55436
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 13318 0 0 0 12969 30 0 0 25 0 1 0 790938609 60612608 13292 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14798 13292 566 18 0 14780 0
vsize: 59192
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 14204 0 0 0 13967 33 0 0 25 0 1 0 790938609 64200704 14178 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15674 14178 566 18 0 15656 0
vsize: 62696
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 15018 0 0 0 14965 35 0 0 25 0 1 0 790938609 67563520 14992 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16495 14992 566 18 0 16477 0
vsize: 65980
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 15945 0 0 0 15962 37 0 0 25 0 1 0 790938609 71340032 15919 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17417 15919 566 18 0 17399 0
vsize: 69668
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 16700 0 0 0 16961 39 0 0 25 0 1 0 790938609 74432512 16674 4294967295 134512640 134581267 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18172 16674 566 18 0 18154 0
vsize: 72688
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 17403 0 0 0 17959 41 0 0 25 0 1 0 790938609 77291520 17377 4294967295 134512640 134581267 3221224592 3221223472 134520169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18870 17377 566 18 0 18852 0
vsize: 75480
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 17993 0 0 0 18958 42 0 0 25 0 1 0 790938609 79761408 17967 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19473 17967 566 18 0 19455 0
vsize: 77892
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 18626 0 0 0 19956 44 0 0 25 0 1 0 790938609 82296832 18600 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20092 18600 566 18 0 20074 0
vsize: 80368
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 19440 0 0 0 20954 47 0 0 25 0 1 0 790938609 85807104 19414 4294967295 134512640 134581267 3221224592 3221223584 134561081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20949 19414 566 18 0 20931 0
vsize: 83796
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31115
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 20174 0 0 0 21952 48 0 0 25 0 1 0 790938609 88805376 20148 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21681 20148 566 18 0 21663 0
vsize: 86724
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/59 31161
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 20885 0 0 0 22950 50 0 0 25 0 1 0 790938609 91754496 20859 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22401 20859 566 18 0 22383 0
vsize: 89604
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31168
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 21575 0 0 0 23949 52 0 0 25 0 1 0 790938609 94556160 21549 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23085 21549 566 18 0 23067 0
vsize: 92340
[startup+250.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31168
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 22270 0 0 0 24948 53 0 0 25 0 1 0 790938609 97411072 22244 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23782 22244 566 18 0 23764 0
vsize: 95128
[startup+260.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31168
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 23014 0 0 0 25960 55 0 0 25 0 1 0 790938609 100425728 22988 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24518 22988 566 18 0 24500 0
vsize: 98072
[startup+270.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31168
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 23729 0 0 0 26958 57 0 0 25 0 1 0 790938609 103350272 23703 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25232 23703 566 18 0 25214 0
vsize: 100928
[startup+280.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31168
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 24431 0 0 0 27957 58 0 0 25 0 1 0 790938609 106176512 24405 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25922 24405 566 18 0 25904 0
vsize: 103688
[startup+290.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31170
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 25098 0 0 0 28955 60 0 0 25 0 1 0 790938609 108978176 25072 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26606 25072 566 18 0 26588 0
vsize: 106424
[startup+300.139 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 25780 0 0 0 29954 61 0 0 25 0 1 0 790938609 111767552 25754 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27287 25754 566 18 0 27269 0
vsize: 109148
[startup+310.139 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 26474 0 0 0 30953 62 0 0 25 0 1 0 790938609 114536448 26448 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27963 26448 566 18 0 27945 0
vsize: 111852
[startup+320.139 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 27108 0 0 0 31952 64 0 0 25 0 1 0 790938609 117211136 27082 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28616 27082 566 18 0 28598 0
vsize: 114464
[startup+330.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 27643 0 0 0 32951 65 0 0 25 0 1 0 790938609 119377920 27617 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29145 27617 566 18 0 29127 0
vsize: 116580
[startup+340.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 28113 0 0 0 33951 66 0 0 25 0 1 0 790938609 121262080 28087 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29605 28087 566 18 0 29587 0
vsize: 118420
[startup+350.139 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 28635 0 0 0 34949 68 0 0 25 0 1 0 790938609 123424768 28609 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30133 28609 566 18 0 30115 0
vsize: 120532
[startup+360.139 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 29144 0 0 0 35947 69 0 0 25 0 1 0 790938609 125554688 29118 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30653 29118 566 18 0 30635 0
vsize: 122612
[startup+370.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 29674 0 0 0 36946 70 0 0 25 0 1 0 790938609 127709184 29648 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31179 29648 566 18 0 31161 0
vsize: 124716
[startup+380.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 30198 0 0 0 37945 72 0 0 25 0 1 0 790938609 129859584 30172 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31704 30172 566 18 0 31686 0
vsize: 126816
[startup+390.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 30661 0 0 0 38945 72 0 0 25 0 1 0 790938609 131776512 30635 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32172 30635 566 18 0 32154 0
vsize: 128688
[startup+400.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 31163 0 0 0 39943 74 0 0 25 0 1 0 790938609 133816320 31137 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32670 31137 566 18 0 32652 0
vsize: 130680
[startup+410.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 31698 0 0 0 40942 75 0 0 25 0 1 0 790938609 135954432 31672 4294967295 134512640 134581267 3221224592 3221223520 134519993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33192 31672 566 18 0 33174 0
vsize: 132768
[startup+420.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 32219 0 0 0 41942 76 0 0 25 0 1 0 790938609 138072064 32193 4294967295 134512640 134581267 3221224592 3221223520 134520046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33709 32193 566 18 0 33691 0
vsize: 134836
[startup+430.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 32740 0 0 0 42940 78 0 0 25 0 1 0 790938609 140222464 32714 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34234 32714 566 18 0 34216 0
vsize: 136936
[startup+440.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 33278 0 0 0 43939 79 0 0 25 0 1 0 790938609 142393344 33252 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34764 33252 566 18 0 34746 0
vsize: 139056
[startup+450.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 33721 0 0 0 44939 79 0 0 25 0 1 0 790938609 144199680 33695 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35205 33695 566 18 0 35187 0
vsize: 140820
[startup+460.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 34174 0 0 0 45938 80 0 0 25 0 1 0 790938609 146083840 34148 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35665 34148 566 18 0 35647 0
vsize: 142660
[startup+470.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 34647 0 0 0 46937 81 0 0 25 0 1 0 790938609 148000768 34621 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36133 34621 566 18 0 36115 0
vsize: 144532
[startup+480.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 35135 0 0 0 47936 82 0 0 25 0 1 0 790938609 150016000 35109 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36625 35109 566 18 0 36607 0
vsize: 146500
[startup+490.14 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 35649 0 0 0 48936 83 0 0 25 0 1 0 790938609 152215552 35623 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37162 35623 566 18 0 37144 0
vsize: 148648
[startup+500.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 36196 0 0 0 49935 84 0 0 25 0 1 0 790938609 154394624 36170 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37694 36170 566 18 0 37676 0
vsize: 150776
[startup+510.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 36723 0 0 0 50933 86 0 0 25 0 1 0 790938609 156581888 36697 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38228 36697 566 18 0 38210 0
vsize: 152912
[startup+520.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 37202 0 0 0 51933 87 0 0 25 0 1 0 790938609 158519296 37176 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38701 37176 566 18 0 38683 0
vsize: 154804
[startup+530.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 37657 0 0 0 52932 88 0 0 25 0 1 0 790938609 160313344 37631 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39139 37631 566 18 0 39121 0
vsize: 156556
[startup+540.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31172
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 38172 0 0 0 53930 90 0 0 25 0 1 0 790938609 162467840 38146 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39665 38146 566 18 0 39647 0
vsize: 158660
[startup+550.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 38730 0 0 0 54929 91 0 0 25 0 1 0 790938609 164691968 38704 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40208 38704 566 18 0 40190 0
vsize: 160832
[startup+560.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 39294 0 0 0 55926 94 0 0 25 0 1 0 790938609 167047168 39268 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40783 39268 566 18 0 40765 0
vsize: 163132
[startup+570.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 39811 0 0 0 56926 94 0 0 25 0 1 0 790938609 169127936 39785 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41291 39785 566 18 0 41273 0
vsize: 165164
[startup+580.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 40344 0 0 0 57926 95 0 0 25 0 1 0 790938609 171671552 40318 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41912 40318 566 18 0 41894 0
vsize: 167648
[startup+590.141 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 40862 0 0 0 58925 95 0 0 25 0 1 0 790938609 173723648 40836 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42413 40836 566 18 0 42395 0
vsize: 169652
[startup+600.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 41332 0 0 0 59924 96 0 0 25 0 1 0 790938609 175681536 41306 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42891 41306 566 18 0 42873 0
vsize: 171564
[startup+610.142 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 41788 0 0 0 60923 98 0 0 25 0 1 0 790938609 177606656 41762 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43361 41762 566 18 0 43343 0
vsize: 173444
[startup+620.143 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 42250 0 0 0 61922 99 0 0 25 0 1 0 790938609 179449856 42224 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43811 42224 566 18 0 43793 0
vsize: 175244
[startup+630.144 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 42693 0 0 0 62921 100 0 0 25 0 1 0 790938609 181264384 42667 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44254 42667 566 18 0 44236 0
vsize: 177016
[startup+640.143 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 43155 0 0 0 63920 102 0 0 25 0 1 0 790938609 183103488 43129 4294967295 134512640 134581267 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44703 43129 566 18 0 44685 0
vsize: 178812
[startup+650.143 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 43683 0 0 0 64919 103 0 0 25 0 1 0 790938609 185257984 43657 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45229 43657 566 18 0 45211 0
vsize: 180916
[startup+660.143 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 44212 0 0 0 65917 104 0 0 25 0 1 0 790938609 187453440 44186 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45765 44186 566 18 0 45747 0
vsize: 183060
[startup+670.144 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 44748 0 0 0 66917 106 0 0 25 0 1 0 790938609 189714432 44722 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46317 44722 566 18 0 46299 0
vsize: 185268
[startup+680.144 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 45230 0 0 0 67916 106 0 0 25 0 1 0 790938609 191606784 45204 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46779 45204 566 18 0 46761 0
vsize: 187116
[startup+690.143 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 45612 0 0 0 68915 107 0 0 25 0 1 0 790938609 193183744 45586 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47164 45586 566 18 0 47146 0
vsize: 188656
[startup+700.144 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 46010 0 0 0 69914 109 0 0 25 0 1 0 790938609 194850816 45984 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47571 45984 566 18 0 47553 0
vsize: 190284
[startup+710.144 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 46416 0 0 0 70913 110 0 0 25 0 1 0 790938609 196505600 46390 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47975 46390 566 18 0 47957 0
vsize: 191900
[startup+720.145 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 46833 0 0 0 71912 111 0 0 25 0 1 0 790938609 198246400 46807 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48400 46807 566 18 0 48382 0
vsize: 193600
[startup+730.145 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 47196 0 0 0 72911 112 0 0 25 0 1 0 790938609 199675904 47170 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48749 47170 566 18 0 48731 0
vsize: 194996
[startup+740.145 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 47524 0 0 0 73910 113 0 0 25 0 1 0 790938609 201076736 47498 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49091 47498 566 18 0 49073 0
vsize: 196364
[startup+750.146 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 47789 0 0 0 74910 114 0 0 25 0 1 0 790938609 202121216 47763 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49346 47763 566 18 0 49328 0
vsize: 197384
[startup+760.146 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 48197 0 0 0 75909 114 0 0 25 0 1 0 790938609 203935744 48171 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49789 48171 566 18 0 49771 0
vsize: 199156
[startup+770.146 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 48532 0 0 0 76909 116 0 0 25 0 1 0 790938609 205225984 48506 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50104 48506 566 18 0 50086 0
vsize: 200416
[startup+780.147 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 48844 0 0 0 77908 116 0 0 25 0 1 0 790938609 206524416 48818 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50421 48818 566 18 0 50403 0
vsize: 201684
[startup+790.146 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 49223 0 0 0 78907 117 0 0 25 0 1 0 790938609 208130048 49197 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50813 49197 566 18 0 50795 0
vsize: 203252
[startup+800.146 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 49541 0 0 0 79907 118 0 0 25 0 1 0 790938609 209383424 49515 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51119 49515 566 18 0 51101 0
vsize: 204476
[startup+810.147 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 49911 0 0 0 80906 119 0 0 25 0 1 0 790938609 210907136 49885 4294967295 134512640 134581267 3221224592 3221223520 134519921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51491 49885 566 18 0 51473 0
vsize: 205964
[startup+820.147 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 50191 0 0 0 81905 120 0 0 25 0 1 0 790938609 212049920 50165 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51770 50165 566 18 0 51752 0
vsize: 207080
[startup+830.147 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 50532 0 0 0 82905 121 0 0 25 0 1 0 790938609 213430272 50506 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52107 50506 566 18 0 52089 0
vsize: 208428
[startup+840.147 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 50827 0 0 0 83904 122 0 0 25 0 1 0 790938609 214671360 50801 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52410 50801 566 18 0 52392 0
vsize: 209640
[startup+850.148 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 51157 0 0 0 84903 123 0 0 25 0 1 0 790938609 215977984 51131 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52729 51131 566 18 0 52711 0
vsize: 210916
[startup+860.148 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 51500 0 0 0 85902 124 0 0 25 0 1 0 790938609 217374720 51474 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53070 51474 566 18 0 53052 0
vsize: 212280
[startup+870.148 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 51883 0 0 0 86901 125 0 0 25 0 1 0 790938609 218935296 51857 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53451 51857 566 18 0 53433 0
vsize: 213804
[startup+880.149 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 52253 0 0 0 87901 125 0 0 25 0 1 0 790938609 220553216 52227 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53846 52227 566 18 0 53828 0
vsize: 215384
[startup+890.149 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 52588 0 0 0 88900 126 0 0 25 0 1 0 790938609 221949952 52562 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54187 52562 566 18 0 54169 0
vsize: 216748
[startup+900.149 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 52892 0 0 0 89900 127 0 0 25 0 1 0 790938609 223105024 52866 4294967295 134512640 134581267 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54469 52866 566 18 0 54451 0
vsize: 217876
[startup+910.149 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 53226 0 0 0 90900 127 0 0 25 0 1 0 790938609 224530432 53200 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54817 53200 566 18 0 54799 0
vsize: 219268
[startup+920.151 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 53664 0 0 0 91899 128 0 0 25 0 1 0 790938609 226291712 53638 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55247 53639 566 18 0 55229 0
vsize: 220988
[startup+930.151 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 54161 0 0 0 92899 129 0 0 25 0 1 0 790938609 228306944 54135 4294967295 134512640 134581267 3221224592 3221223584 134561036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55739 54135 566 18 0 55721 0
vsize: 222956
[startup+940.151 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 54623 0 0 0 93898 130 0 0 25 0 1 0 790938609 230207488 54597 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56203 54597 566 18 0 56185 0
vsize: 224812
[startup+950.152 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 55098 0 0 0 94897 131 0 0 25 0 1 0 790938609 232128512 55072 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56672 55072 566 18 0 56654 0
vsize: 226688
[startup+960.152 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 55622 0 0 0 95895 133 0 0 25 0 1 0 790938609 234274816 55596 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57196 55596 566 18 0 57178 0
vsize: 228784
[startup+970.152 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 56077 0 0 0 96894 134 0 0 25 0 1 0 790938609 236142592 56051 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57652 56051 566 18 0 57634 0
vsize: 230608
[startup+980.153 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 56551 0 0 0 97894 134 0 0 25 0 1 0 790938609 238161920 56525 4294967295 134512640 134581267 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58145 56525 566 18 0 58127 0
vsize: 232580
[startup+990.153 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 57037 0 0 0 98892 136 0 0 25 0 1 0 790938609 240078848 57011 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58613 57011 566 18 0 58595 0
vsize: 234452
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 57422 0 0 0 99892 137 0 0 25 0 1 0 790938609 241709056 57396 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59011 57396 566 18 0 58993 0
vsize: 236044
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 57861 0 0 0 100891 138 0 0 25 0 1 0 790938609 243470336 57835 4294967295 134512640 134581267 3221224592 3221223520 134520080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59441 57835 566 18 0 59423 0
vsize: 237764
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 58287 0 0 0 101890 139 0 0 25 0 1 0 790938609 245219328 58261 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59868 58261 566 18 0 59850 0
vsize: 239472
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 58719 0 0 0 102890 140 0 0 25 0 1 0 790938609 246976512 58693 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60297 58693 566 18 0 60279 0
vsize: 241188
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 59155 0 0 0 103889 141 0 0 25 0 1 0 790938609 248745984 59129 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60729 59129 566 18 0 60711 0
vsize: 242916
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 59602 0 0 0 104888 142 0 0 25 0 1 0 790938609 250642432 59576 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61192 59576 566 18 0 61174 0
vsize: 244768
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 60039 0 0 0 105887 143 0 0 25 0 1 0 790938609 252399616 60013 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61621 60013 566 18 0 61603 0
vsize: 246484
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 60467 0 0 0 106886 144 0 0 25 0 1 0 790938609 254140416 60441 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62046 60441 566 18 0 62028 0
vsize: 248184
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 60919 0 0 0 107885 145 0 0 25 0 1 0 790938609 255930368 60893 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62483 60893 566 18 0 62465 0
vsize: 249932
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 61332 0 0 0 108884 146 0 0 25 0 1 0 790938609 257703936 61306 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62916 61306 566 18 0 62898 0
vsize: 251664
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 61767 0 0 0 109883 147 0 0 25 0 1 0 790938609 259469312 61741 4294967295 134512640 134581267 3221224592 3221223584 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63347 61741 566 18 0 63329 0
vsize: 253388
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 62187 0 0 0 110883 148 0 0 25 0 1 0 790938609 261136384 62161 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63754 62161 566 18 0 63736 0
vsize: 255016
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 62620 0 0 0 111883 148 0 0 25 0 1 0 790938609 263016448 62594 4294967295 134512640 134581267 3221224592 3221223472 134560418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64213 62594 566 18 0 64195 0
vsize: 256852
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 63114 0 0 0 112882 149 0 0 25 0 1 0 790938609 265015296 63088 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64701 63088 566 18 0 64683 0
vsize: 258804
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 63527 0 0 0 113881 151 0 0 25 0 1 0 790938609 266645504 63501 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65099 63503 566 18 0 65081 0
vsize: 260396
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 63955 0 0 0 114880 151 0 0 25 0 1 0 790938609 268414976 63929 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65531 63929 566 18 0 65513 0
vsize: 262124
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 64331 0 0 0 115879 153 0 0 25 0 1 0 790938609 269959168 64305 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65908 64305 566 18 0 65890 0
vsize: 263632
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 64758 0 0 0 116878 153 0 0 25 0 1 0 790938609 271712256 64732 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66336 64732 566 18 0 66318 0
vsize: 265344
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 65258 0 0 0 117877 155 0 0 25 0 1 0 790938609 273727488 65232 4294967295 134512640 134581267 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66828 65232 566 18 0 66810 0
vsize: 267312
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 65690 0 0 0 118876 156 0 0 25 0 1 0 790938609 275488768 65664 4294967295 134512640 134581267 3221224592 3221223560 134519894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67258 65664 566 18 0 67240 0
vsize: 269032
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 31174
Raw data (stat): 31115 (Pueblo-v2) R 31114 8378 8377 0 -1 0 66010 0 0 0 119875 157 0 0 25 0 1 0 790938609 276869120 65984 4294967295 134512640 134581267 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67595 65984 566 18 0 67577 0
vsize: 270380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 31174
Raw data (stat): 31115 (Pueblo-v2) Z 31114 8378 8377 0 -1 1036 66010 0 0 0 119876 169 0 0 25 0 1 0 790938609 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.28
CPU time (s): 1200.45
CPU user time (s): 1198.76
CPU system time (s): 1.69374
CPU usage (%): 100.015
Max. virtual memory (Kb): 270380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####