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-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
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	2678
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	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
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 38429

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 09:25:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26481 boxname=wulflinc5 idbench=211 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc5/normalized-par32-5-c.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-5-c.opb
IDLAUNCH: 26481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        676468 kB
Buffers:         34664 kB
Cached:         300280 kB
SwapCached:        568 kB
Active:          53996 kB
Inactive:       283008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        676216 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            15520 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:45:54 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26481 7 1200.23 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.95 0.92 2/54 2379
Raw data (stat): 2379 (runsolver) R 2378 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848692785 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.87 0.95 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 752 0 0 0 997 2 0 0 25 0 1 0 848692785 8720384 726 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2129 726 566 18 0 2111 0
vsize: 8516
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.95 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 829 0 0 0 1996 2 0 0 25 0 1 0 848692785 9113600 803 4294967295 134512640 134581267 3221224592 3221223508 134519972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2225 803 566 18 0 2207 0
vsize: 8900
[startup+30.0016 s]
Raw data (loadavg): 0.90 0.95 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 927 0 0 0 2996 3 0 0 25 0 1 0 848692785 9510912 901 4294967295 134512640 134581267 3221224592 3221223536 134558832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2322 901 566 18 0 2304 0
vsize: 9288
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1020 0 0 0 3996 3 0 0 25 0 1 0 848692785 9904128 994 4294967295 134512640 134581267 3221224592 3221223632 134564984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2418 994 566 18 0 2400 0
vsize: 9672
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1072 0 0 0 4995 4 0 0 25 0 1 0 848692785 10039296 1046 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2451 1046 566 18 0 2433 0
vsize: 9804
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1076 0 0 0 5995 4 0 0 25 0 1 0 848692785 10039296 1050 4294967295 134512640 134581267 3221224592 3221223584 134561012 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2451 1050 566 18 0 2433 0
vsize: 9804
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1134 0 0 0 6994 5 0 0 25 0 1 0 848692785 10301440 1108 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1108 566 18 0 2497 0
vsize: 10060
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1139 0 0 0 7995 5 0 0 25 0 1 0 848692785 10301440 1113 4294967295 134512640 134581267 3221224592 3221223520 134519877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1113 566 18 0 2497 0
vsize: 10060
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1142 0 0 0 8995 5 0 0 25 0 1 0 848692785 10448896 1116 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2551 1116 566 18 0 2533 0
vsize: 10204
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1180 0 0 0 9995 5 0 0 25 0 1 0 848692785 10584064 1154 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2584 1154 566 18 0 2566 0
vsize: 10336
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1236 0 0 0 10995 5 0 0 25 0 1 0 848692785 10858496 1210 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1210 566 18 0 2633 0
vsize: 10604
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1264 0 0 0 11995 5 0 0 25 0 1 0 848692785 10858496 1238 4294967295 134512640 134581267 3221224592 3221223584 134560622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1238 566 18 0 2633 0
vsize: 10604
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1264 0 0 0 12995 5 0 0 25 0 1 0 848692785 10858496 1238 4294967295 134512640 134581267 3221224592 3221223536 134559203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2651 1238 566 18 0 2633 0
vsize: 10604
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1292 0 0 0 13995 5 0 0 25 0 1 0 848692785 10989568 1266 4294967295 134512640 134581267 3221224592 3221223472 134560343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2683 1266 566 18 0 2665 0
vsize: 10732
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1293 0 0 0 14996 5 0 0 25 0 1 0 848692785 10989568 1267 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2683 1267 566 18 0 2665 0
vsize: 10732
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1365 0 0 0 15996 5 0 0 25 0 1 0 848692785 11386880 1339 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2780 1339 566 18 0 2762 0
vsize: 11120
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1399 0 0 0 16996 5 0 0 25 0 1 0 848692785 11517952 1373 4294967295 134512640 134581267 3221224592 3221223584 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1373 566 18 0 2794 0
vsize: 11248
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1399 0 0 0 17996 5 0 0 25 0 1 0 848692785 11517952 1373 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1373 566 18 0 2794 0
vsize: 11248
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1399 0 0 0 18996 5 0 0 25 0 1 0 848692785 11517952 1373 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1373 566 18 0 2794 0
vsize: 11248
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1399 0 0 0 19996 5 0 0 25 0 1 0 848692785 11517952 1373 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1373 566 18 0 2794 0
vsize: 11248
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1425 0 0 0 20996 6 0 0 25 0 1 0 848692785 11517952 1399 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2812 1399 566 18 0 2794 0
vsize: 11248
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1466 0 0 0 21996 6 0 0 25 0 1 0 848692785 11784192 1440 4294967295 134512640 134581267 3221224592 3221223472 134560451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2877 1440 566 18 0 2859 0
vsize: 11508
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 22997 6 0 0 25 0 1 0 848692785 11915264 1469 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1469 566 18 0 2891 0
vsize: 11636
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 23997 6 0 0 25 0 1 0 848692785 11915264 1469 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2909 1469 566 18 0 2891 0
vsize: 11636
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 24997 6 0 0 25 0 1 0 848692785 11870208 1469 4294967295 134512640 134581267 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1469 566 18 0 2880 0
vsize: 11592
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 25997 6 0 0 25 0 1 0 848692785 11870208 1469 4294967295 134512640 134581267 3221224592 3221223520 134519996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1469 566 18 0 2880 0
vsize: 11592
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 26997 6 0 0 25 0 1 0 848692785 11870208 1469 4294967295 134512640 134581267 3221224592 3221223488 134517927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1469 566 18 0 2880 0
vsize: 11592
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 27998 6 0 0 25 0 1 0 848692785 11870208 1469 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1469 566 18 0 2880 0
vsize: 11592
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1495 0 0 0 28997 6 0 0 25 0 1 0 848692785 11870208 1469 4294967295 134512640 134581267 3221224592 3221223552 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1469 566 18 0 2880 0
vsize: 11592
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1496 0 0 0 29998 6 0 0 25 0 1 0 848692785 11870208 1470 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1470 566 18 0 2880 0
vsize: 11592
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1497 0 0 0 30998 7 0 0 25 0 1 0 848692785 11870208 1471 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2898 1471 566 18 0 2880 0
vsize: 11592
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1523 0 0 0 31998 7 0 0 25 0 1 0 848692785 12001280 1497 4294967295 134512640 134581267 3221224592 3221223576 134561049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1497 566 18 0 2912 0
vsize: 11720
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1528 0 0 0 32998 7 0 0 25 0 1 0 848692785 12001280 1502 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1502 566 18 0 2912 0
vsize: 11720
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1528 0 0 0 33998 7 0 0 25 0 1 0 848692785 12001280 1502 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1502 566 18 0 2912 0
vsize: 11720
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1530 0 0 0 34999 7 0 0 25 0 1 0 848692785 12001280 1504 4294967295 134512640 134581267 3221224592 3221223520 134519880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1504 566 18 0 2912 0
vsize: 11720
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1530 0 0 0 35999 7 0 0 25 0 1 0 848692785 12001280 1504 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1504 566 18 0 2912 0
vsize: 11720
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1535 0 0 0 36999 7 0 0 25 0 1 0 848692785 12001280 1509 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2930 1509 566 18 0 2912 0
vsize: 11720
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1550 0 0 0 37999 7 0 0 25 0 1 0 848692785 12136448 1524 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2963 1524 566 18 0 2945 0
vsize: 11852
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1581 0 0 0 38999 7 0 0 25 0 1 0 848692785 12267520 1555 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2995 1555 566 18 0 2977 0
vsize: 11980
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1596 0 0 0 39999 7 0 0 25 0 1 0 848692785 12267520 1570 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2995 1570 566 18 0 2977 0
vsize: 11980
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1615 0 0 0 40999 7 0 0 25 0 1 0 848692785 12398592 1589 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1589 566 18 0 3009 0
vsize: 12108
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1624 0 0 0 41999 7 0 0 25 0 1 0 848692785 12398592 1598 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1598 566 18 0 3009 0
vsize: 12108
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1625 0 0 0 42999 7 0 0 25 0 1 0 848692785 12398592 1599 4294967295 134512640 134581267 3221224592 3221223488 134517921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1599 566 18 0 3009 0
vsize: 12108
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1628 0 0 0 44000 7 0 0 25 0 1 0 848692785 12398592 1602 4294967295 134512640 134581267 3221224592 3221223520 134519955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1602 566 18 0 3009 0
vsize: 12108
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1628 0 0 0 45000 7 0 0 25 0 1 0 848692785 12398592 1602 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1602 566 18 0 3009 0
vsize: 12108
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1628 0 0 0 46000 7 0 0 25 0 1 0 848692785 12398592 1602 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1602 566 18 0 3009 0
vsize: 12108
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1628 0 0 0 47000 8 0 0 25 0 1 0 848692785 12398592 1602 4294967295 134512640 134581267 3221224592 3221223520 134520099 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1602 566 18 0 3009 0
vsize: 12108
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1628 0 0 0 48000 8 0 0 25 0 1 0 848692785 12398592 1602 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1602 566 18 0 3009 0
vsize: 12108
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1632 0 0 0 49000 8 0 0 25 0 1 0 848692785 12398592 1606 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3027 1606 566 18 0 3009 0
vsize: 12108
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1675 0 0 0 50000 8 0 0 25 0 1 0 848692785 12664832 1649 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3092 1649 566 18 0 3074 0
vsize: 12368
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1682 0 0 0 51000 8 0 0 25 0 1 0 848692785 12664832 1656 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3092 1656 566 18 0 3074 0
vsize: 12368
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1702 0 0 0 52000 8 0 0 25 0 1 0 848692785 12664832 1676 4294967295 134512640 134581267 3221224592 3221223472 134560412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3092 1676 566 18 0 3074 0
vsize: 12368
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1730 0 0 0 53001 8 0 0 25 0 1 0 848692785 12795904 1704 4294967295 134512640 134581267 3221224592 3221223488 134517824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3124 1704 566 18 0 3106 0
vsize: 12496
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1756 0 0 0 54001 8 0 0 25 0 1 0 848692785 12926976 1730 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1730 566 18 0 3138 0
vsize: 12624
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1757 0 0 0 55001 8 0 0 25 0 1 0 848692785 12926976 1731 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3156 1731 566 18 0 3138 0
vsize: 12624
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1781 0 0 0 56001 8 0 0 25 0 1 0 848692785 13058048 1755 4294967295 134512640 134581267 3221224592 3221223520 134519901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3188 1755 566 18 0 3170 0
vsize: 12752
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1815 0 0 0 57001 8 0 0 25 0 1 0 848692785 13193216 1789 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3221 1789 566 18 0 3203 0
vsize: 12884
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1836 0 0 0 58001 8 0 0 25 0 1 0 848692785 13324288 1810 4294967295 134512640 134581267 3221224592 3221223520 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1810 566 18 0 3235 0
vsize: 13012
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1836 0 0 0 59001 8 0 0 25 0 1 0 848692785 13324288 1810 4294967295 134512640 134581267 3221224592 3221223468 1075285088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1810 566 18 0 3235 0
vsize: 13012
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1836 0 0 0 60001 8 0 0 25 0 1 0 848692785 13324288 1810 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1810 566 18 0 3235 0
vsize: 13012
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1845 0 0 0 61001 8 0 0 25 0 1 0 848692785 13324288 1819 4294967295 134512640 134581267 3221224592 3221223520 134519906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1819 566 18 0 3235 0
vsize: 13012
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1853 0 0 0 62002 8 0 0 25 0 1 0 848692785 13324288 1827 4294967295 134512640 134581267 3221224592 3221223520 134520049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1827 566 18 0 3235 0
vsize: 13012
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1868 0 0 0 63002 9 0 0 25 0 1 0 848692785 13455360 1842 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1842 566 18 0 3267 0
vsize: 13140
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1868 0 0 0 64002 9 0 0 25 0 1 0 848692785 13455360 1842 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1842 566 18 0 3267 0
vsize: 13140
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 65002 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 66002 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 67002 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 68002 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 69003 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 70003 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 71003 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 72003 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223536 134559219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 73003 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 74004 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 75004 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 76004 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1895 0 0 0 77004 9 0 0 25 0 1 0 848692785 13455360 1869 4294967295 134512640 134581267 3221224592 3221223632 134565249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3285 1869 566 18 0 3267 0
vsize: 13140
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1948 0 0 0 78004 9 0 0 25 0 1 0 848692785 13721600 1922 4294967295 134512640 134581267 3221224592 3221223536 134559013 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1922 566 18 0 3332 0
vsize: 13400
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1955 0 0 0 79004 9 0 0 25 0 1 0 848692785 13721600 1929 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1929 566 18 0 3332 0
vsize: 13400
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1955 0 0 0 80005 9 0 0 25 0 1 0 848692785 13721600 1929 4294967295 134512640 134581267 3221224592 3221223520 134520021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1929 566 18 0 3332 0
vsize: 13400
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1960 0 0 0 81005 9 0 0 25 0 1 0 848692785 13721600 1934 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1934 566 18 0 3332 0
vsize: 13400
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1961 0 0 0 82005 9 0 0 25 0 1 0 848692785 13721600 1935 4294967295 134512640 134581267 3221224592 3221223520 134519910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1935 566 18 0 3332 0
vsize: 13400
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 83005 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 84005 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 85005 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223536 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 86005 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 87006 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223520 134519908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 88006 9 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1985 0 0 0 89006 10 0 0 25 0 1 0 848692785 13852672 1959 4294967295 134512640 134581267 3221224592 3221223536 134558815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1959 566 18 0 3364 0
vsize: 13528
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 90006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 91006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 92006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 93006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 94006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 95006 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 96007 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 97007 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 98007 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223584 134560619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 99007 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1993 0 0 0 100007 10 0 0 25 0 1 0 848692785 13852672 1967 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1967 566 18 0 3364 0
vsize: 13528
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1994 0 0 0 101007 10 0 0 25 0 1 0 848692785 13852672 1968 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1968 566 18 0 3364 0
vsize: 13528
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1994 0 0 0 102008 10 0 0 25 0 1 0 848692785 13852672 1968 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1968 566 18 0 3364 0
vsize: 13528
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 1999 0 0 0 103008 10 0 0 25 0 1 0 848692785 14008320 1973 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1973 566 18 0 3402 0
vsize: 13680
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2000 0 0 0 104008 10 0 0 25 0 1 0 848692785 14008320 1974 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1974 566 18 0 3402 0
vsize: 13680
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2000 0 0 0 105008 10 0 0 25 0 1 0 848692785 14008320 1974 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1974 566 18 0 3402 0
vsize: 13680
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2000 0 0 0 106008 10 0 0 25 0 1 0 848692785 14008320 1974 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1974 566 18 0 3402 0
vsize: 13680
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2000 0 0 0 107008 11 0 0 25 0 1 0 848692785 14008320 1974 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1974 566 18 0 3402 0
vsize: 13680
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2005 0 0 0 108009 11 0 0 25 0 1 0 848692785 14008320 1979 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1979 566 18 0 3402 0
vsize: 13680
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2006 0 0 0 109009 11 0 0 25 0 1 0 848692785 14008320 1980 4294967295 134512640 134581267 3221224592 3221223584 134560926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1980 566 18 0 3402 0
vsize: 13680
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2006 0 0 0 110009 11 0 0 25 0 1 0 848692785 14008320 1980 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1980 566 18 0 3402 0
vsize: 13680
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2020 0 0 0 111009 11 0 0 25 0 1 0 848692785 14008320 1994 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3420 1994 566 18 0 3402 0
vsize: 13680
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2041 0 0 0 112009 11 0 0 25 0 1 0 848692785 14143488 2015 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2015 566 18 0 3435 0
vsize: 13812
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2042 0 0 0 113009 11 0 0 25 0 1 0 848692785 14143488 2016 4294967295 134512640 134581267 3221224592 3221223520 134519899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2016 566 18 0 3435 0
vsize: 13812
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2042 0 0 0 114010 11 0 0 25 0 1 0 848692785 14143488 2016 4294967295 134512640 134581267 3221224592 3221223520 134519817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2016 566 18 0 3435 0
vsize: 13812
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2043 0 0 0 115010 11 0 0 25 0 1 0 848692785 14143488 2017 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2017 566 18 0 3435 0
vsize: 13812
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2043 0 0 0 116010 11 0 0 25 0 1 0 848692785 14143488 2017 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2017 566 18 0 3435 0
vsize: 13812
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2043 0 0 0 117010 11 0 0 25 0 1 0 848692785 14143488 2017 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2017 566 18 0 3435 0
vsize: 13812
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2077 0 0 0 118010 11 0 0 25 0 1 0 848692785 14274560 2051 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2051 566 18 0 3467 0
vsize: 13940
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2083 0 0 0 119010 11 0 0 25 0 1 0 848692785 14274560 2057 4294967295 134512640 134581267 3221224592 3221223496 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2057 566 18 0 3467 0
vsize: 13940
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 2379
Raw data (stat): 2379 (Pueblo-v2) R 2378 7266 7265 0 -1 0 2083 0 0 0 120010 11 0 0 25 0 1 0 848692785 14274560 2057 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3485 2057 566 18 0 3467 0
vsize: 13940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 2379
Raw data (stat): 2379 (Pueblo-v2) Z 2378 7266 7265 0 -1 1036 2083 0 0 0 120011 11 0 0 25 0 1 0 848692785 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.04
CPU time (s): 1200.23
CPU user time (s): 1200.11
CPU system time (s): 0.119981
CPU usage (%): 100.016
Max. virtual memory (Kb): 13940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####