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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-pp08aCUTS.opb
MD5SUM	fa6454a9831f2da4180d8bfab7c0a21b
Bench Category	optimization, medium integers (OPTMEDINT)
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	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.037993
Number of variables	3288
Total number of constraints	310
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	310
Minimum length of a constraint	14
Maximum length of a constraint	123
Trace number 39259

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 00:53:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27316 boxname=wulflinc6 idbench=1444 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  fa6454a9831f2da4180d8bfab7c0a21b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pp08aCUTS.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-pp08aCUTS.opb
IDLAUNCH: 27316
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        135048 kB
Buffers:         33732 kB
Cached:         844548 kB
SwapCached:        552 kB
Active:          35700 kB
Inactive:       844620 kB
HighTotal:      131008 kB
HighFree:          980 kB
LowTotal:       903652 kB
LowFree:        134068 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13768 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:13:26 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 27316 7 1200.41 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.84 0.94 0.90 2/54 25770
Raw data (stat): 25770 (runsolver) R 25769 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854257974 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0003 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 997 1 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 1997 2 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 2998 2 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 3997 2 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+50.004 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 4998 2 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 754 0 0 0 5998 2 0 0 25 0 1 0 854257974 8663040 728 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2115 728 566 18 0 2097 0
vsize: 8460
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 846 0 0 0 6998 2 0 0 25 0 1 0 854257974 9064448 820 4294967295 134512640 134581267 3221224576 3221223536 134519892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2213 820 566 18 0 2195 0
vsize: 8852
[startup+80.0045 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 994 0 0 0 7999 3 0 0 25 0 1 0 854257974 9596928 968 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2343 968 566 18 0 2325 0
vsize: 9372
[startup+90.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1076 0 0 0 8999 3 0 0 25 0 1 0 854257974 9990144 1050 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1050 566 18 0 2421 0
vsize: 9756
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1088 0 0 0 9999 3 0 0 25 0 1 0 854257974 9990144 1062 4294967295 134512640 134581267 3221224576 3221223488 134527927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1062 566 18 0 2421 0
vsize: 9756
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1088 0 0 0 10999 3 0 0 25 0 1 0 854257974 9990144 1062 4294967295 134512640 134581267 3221224576 3221223472 134517800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2439 1062 566 18 0 2421 0
vsize: 9756
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1092 0 0 0 12000 3 0 0 25 0 1 0 854257974 10088448 1066 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2463 1066 566 18 0 2445 0
vsize: 9852
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1092 0 0 0 13000 3 0 0 25 0 1 0 854257974 10088448 1066 4294967295 134512640 134581267 3221224576 3221223520 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2463 1066 566 18 0 2445 0
vsize: 9852
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1118 0 0 0 14000 3 0 0 25 0 1 0 854257974 10219520 1092 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2495 1092 566 18 0 2477 0
vsize: 9980
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1118 0 0 0 15001 3 0 0 25 0 1 0 854257974 10219520 1092 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2495 1092 566 18 0 2477 0
vsize: 9980
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1118 0 0 0 16001 3 0 0 25 0 1 0 854257974 10219520 1092 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2495 1092 566 18 0 2477 0
vsize: 9980
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1211 0 0 0 17001 3 0 0 25 0 1 0 854257974 10481664 1185 4294967295 134512640 134581267 3221224576 3221223212 1075288438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1185 566 18 0 2541 0
vsize: 10236
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1211 0 0 0 18002 3 0 0 25 0 1 0 854257974 10481664 1185 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2559 1185 566 18 0 2541 0
vsize: 10236
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1249 0 0 0 19002 3 0 0 25 0 1 0 854257974 10747904 1223 4294967295 134512640 134581267 3221224576 3221223440 134528315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1223 566 18 0 2606 0
vsize: 10496
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1249 0 0 0 20002 3 0 0 25 0 1 0 854257974 10698752 1223 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2612 1223 566 18 0 2594 0
vsize: 10448
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 21003 3 0 0 25 0 1 0 854257974 10792960 1261 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1261 566 18 0 2617 0
vsize: 10540
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 22003 3 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 23003 3 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 24003 4 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 25004 4 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 26004 4 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1292 0 0 0 27005 4 0 0 25 0 1 0 854257974 10723328 1244 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2618 1244 566 18 0 2600 0
vsize: 10472
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1295 0 0 0 28005 4 0 0 25 0 1 0 854257974 10854400 1247 4294967295 134512640 134581267 3221224576 3221223488 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1247 566 18 0 2632 0
vsize: 10600
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1295 0 0 0 29005 4 0 0 25 0 1 0 854257974 10854400 1247 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1247 566 18 0 2632 0
vsize: 10600
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1295 0 0 0 30006 4 0 0 25 0 1 0 854257974 10854400 1247 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1247 566 18 0 2632 0
vsize: 10600
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1297 0 0 0 31006 4 0 0 25 0 1 0 854257974 10854400 1249 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1249 566 18 0 2632 0
vsize: 10600
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1321 0 0 0 32006 4 0 0 25 0 1 0 854257974 10854400 1273 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2650 1273 566 18 0 2632 0
vsize: 10600
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1382 0 0 0 33006 4 0 0 25 0 1 0 854257974 11038720 1321 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2695 1321 566 18 0 2677 0
vsize: 10780
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 34007 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223484 134527740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 35007 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 36007 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 37008 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223440 134560360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 38008 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223488 134527966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25770
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1440 0 0 0 39008 4 0 0 25 0 1 0 854257974 11300864 1379 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2759 1379 566 18 0 2741 0
vsize: 11036
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 25773
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1452 0 0 0 40009 4 0 0 25 0 1 0 854257974 11436032 1391 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2792 1391 566 18 0 2774 0
vsize: 11168
[startup+410.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1502 0 0 0 41009 4 0 0 25 0 1 0 854257974 11558912 1441 4294967295 134512640 134581267 3221224576 3221223488 134527683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2822 1442 566 18 0 2804 0
vsize: 11288
[startup+420.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1552 0 0 0 42009 5 0 0 25 0 1 0 854257974 11747328 1491 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2868 1491 566 18 0 2850 0
vsize: 11472
[startup+430.018 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 43008 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+440.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 44008 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+450.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 45009 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+460.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 46009 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+470.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25823
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 47009 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223548 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+480.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 48010 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+490.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 49010 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+500.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 50010 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+510.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 51011 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+520.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 52011 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+530.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 53011 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 54012 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+550.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 55012 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+560.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 56012 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 57013 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+580.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 58013 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223440 134528380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+590.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 59014 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+600.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 60014 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 61014 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223352 1075285703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+620.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 62014 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 63015 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 64015 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+650.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 65016 6 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+660.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 66016 7 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+670.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 67016 7 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+680.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 68017 7 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+690.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1766 0 0 0 69017 7 0 0 25 0 1 0 854257974 12677120 1705 4294967295 134512640 134581267 3221224576 3221223648 134531369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1705 566 18 0 3077 0
vsize: 12380
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25825
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1773 0 0 0 70017 7 0 0 25 0 1 0 854257974 12677120 1712 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3095 1712 566 18 0 3077 0
vsize: 12380
[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1815 0 0 0 71017 7 0 0 25 0 1 0 854257974 12931072 1754 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1754 566 18 0 3139 0
vsize: 12628
[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1850 0 0 0 72018 7 0 0 25 0 1 0 854257974 13062144 1789 4294967295 134512640 134581267 3221224576 3221223472 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1789 566 18 0 3171 0
vsize: 12756
[startup+730.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1856 0 0 0 73018 7 0 0 25 0 1 0 854257974 13062144 1795 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3189 1795 566 18 0 3171 0
vsize: 12756
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1856 0 0 0 74018 7 0 0 25 0 1 0 854257974 13053952 1795 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3187 1795 566 18 0 3169 0
vsize: 12748
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1856 0 0 0 75018 7 0 0 25 0 1 0 854257974 13041664 1795 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 1795 566 18 0 3166 0
vsize: 12736
[startup+760.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1856 0 0 0 76019 7 0 0 25 0 1 0 854257974 13033472 1795 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1795 566 18 0 3164 0
vsize: 12728
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1863 0 0 0 77019 7 0 0 25 0 1 0 854257974 13033472 1802 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3182 1802 566 18 0 3164 0
vsize: 12728
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1868 0 0 0 78019 7 0 0 25 0 1 0 854257974 13164544 1807 4294967295 134512640 134581267 3221224576 3221223292 1075288438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 1807 566 18 0 3196 0
vsize: 12856
[startup+790.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1882 0 0 0 79019 7 0 0 25 0 1 0 854257974 13164544 1821 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 1821 566 18 0 3196 0
vsize: 12856
[startup+800.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1882 0 0 0 80020 7 0 0 25 0 1 0 854257974 13164544 1821 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 1821 566 18 0 3196 0
vsize: 12856
[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1882 0 0 0 81020 7 0 0 25 0 1 0 854257974 13164544 1821 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 1821 566 18 0 3196 0
vsize: 12856
[startup+820.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1910 0 0 0 82020 7 0 0 25 0 1 0 854257974 13295616 1849 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3246 1849 566 18 0 3228 0
vsize: 12984
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1912 0 0 0 83021 7 0 0 25 0 1 0 854257974 13291520 1851 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3245 1851 566 18 0 3227 0
vsize: 12980
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1932 0 0 0 84021 7 0 0 25 0 1 0 854257974 13422592 1871 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3277 1871 566 18 0 3259 0
vsize: 13108
[startup+850.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1963 0 0 0 85021 7 0 0 25 0 1 0 854257974 13537280 1902 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 1902 566 18 0 3287 0
vsize: 13220
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1963 0 0 0 86022 7 0 0 25 0 1 0 854257974 13529088 1902 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1902 566 18 0 3285 0
vsize: 13212
[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1981 0 0 0 87022 7 0 0 25 0 1 0 854257974 13529088 1920 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1920 566 18 0 3285 0
vsize: 13212
[startup+880.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1981 0 0 0 88022 7 0 0 25 0 1 0 854257974 13529088 1920 4294967295 134512640 134581267 3221224576 3221223256 1075289666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1920 566 18 0 3285 0
vsize: 13212
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 1981 0 0 0 89022 7 0 0 25 0 1 0 854257974 13529088 1920 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3303 1920 566 18 0 3285 0
vsize: 13212
[startup+900.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 90023 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223456 134520212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+910.026 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 91023 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+920.026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 92023 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223472 134527803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+930.026 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 93024 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+940.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 94024 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+950.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 95024 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+960.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 96025 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+970.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 97025 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+980.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 98025 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+990.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 99026 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1000.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 100026 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223504 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 101026 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 102026 7 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 103026 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223456 134520299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 104026 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 105027 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223472 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 106027 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223504 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 107027 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2020 0 0 0 108027 8 0 0 25 0 1 0 854257974 13660160 1959 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 1959 566 18 0 3317 0
vsize: 13340
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2028 0 0 0 109028 8 0 0 25 0 1 0 854257974 13791232 1967 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1967 566 18 0 3349 0
vsize: 13468
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2028 0 0 0 110028 8 0 0 25 0 1 0 854257974 13791232 1967 4294967295 134512640 134581267 3221224576 3221223492 1075285509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1967 566 18 0 3349 0
vsize: 13468
[startup+1110.02 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2028 0 0 0 111028 9 0 0 25 0 1 0 854257974 13791232 1967 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1967 566 18 0 3349 0
vsize: 13468
[startup+1120.02 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2028 0 0 0 112028 9 0 0 25 0 1 0 854257974 13791232 1967 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1967 566 18 0 3349 0
vsize: 13468
[startup+1130.02 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2028 0 0 0 113029 9 0 0 25 0 1 0 854257974 13791232 1967 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3367 1967 566 18 0 3349 0
vsize: 13468
[startup+1140.02 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2060 0 0 0 114029 9 0 0 25 0 1 0 854257974 13926400 1999 4294967295 134512640 134581267 3221224576 3221223472 134527803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3400 1999 566 18 0 3382 0
vsize: 13600
[startup+1150.02 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2060 0 0 0 115029 9 0 0 25 0 1 0 854257974 13836288 1999 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3378 1999 566 18 0 3360 0
vsize: 13512
[startup+1160.02 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2105 0 0 0 116030 9 0 0 25 0 1 0 854257974 14102528 2044 4294967295 134512640 134581267 3221224576 3221223560 134560746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2044 566 18 0 3425 0
vsize: 13772
[startup+1170.02 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2105 0 0 0 117030 9 0 0 25 0 1 0 854257974 14102528 2044 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2044 566 18 0 3425 0
vsize: 13772
[startup+1180.02 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2105 0 0 0 118030 9 0 0 25 0 1 0 854257974 14102528 2044 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2044 566 18 0 3425 0
vsize: 13772
[startup+1190.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2105 0 0 0 119031 9 0 0 25 0 1 0 854257974 14102528 2044 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2044 566 18 0 3425 0
vsize: 13772
[startup+1200.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 25827
Raw data (stat): 25770 (Pueblo-v2) R 25769 25568 25567 0 -1 0 2149 0 0 0 120031 9 0 0 25 0 1 0 854257974 14233600 2088 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2088 566 18 0 3457 0
vsize: 13900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.04 1.02 0.93 1/54 25827
Raw data (stat): 25770 (Pueblo-v2) Z 25769 25568 25567 0 -1 1036 2149 0 0 0 120031 10 0 0 25 0 1 0 854257974 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.03
CPU time (s): 1200.41
CPU user time (s): 1200.31
CPU system time (s): 0.100984
CPU usage (%): 100.032
Max. virtual memory (Kb): 13900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####