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-2-c.opb
MD5SUM	40e47c460002545cc2670ca84fd53082
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	2606
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	2606
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	2606
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	2606
Total number of constraints	6509
Number of constraints which are clauses	6509
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 24165

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 15:27:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1843 boxname=wulflinc31 idbench=205 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  40e47c460002545cc2670ca84fd53082  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb
IDLAUNCH: 1843
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        138924 kB
Buffers:         41996 kB
Cached:         819328 kB
SwapCached:        644 kB
Active:         493356 kB
Inactive:       370280 kB
HighTotal:      131008 kB
HighFree:         2296 kB
LowTotal:       903652 kB
LowFree:        136628 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26508 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 15:47:06 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 1843 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.91 2/54 16299
Raw data (stat): 16299 (runsolver) R 16298 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 693035880 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 779 0 0 0 994 3 0 0 25 0 1 0 693035880 8957952 756 4294967295 134512640 134581331 3221221792 3221220672 134520322 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2187 756 566 18 0 2169 0
vsize: 8748
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 871 0 0 0 1994 3 0 0 25 0 1 0 693035880 9228288 848 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2253 848 566 18 0 2235 0
vsize: 9012
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 945 0 0 0 2994 3 0 0 25 0 1 0 693035880 9629696 922 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2351 922 566 18 0 2333 0
vsize: 9404
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1039 0 0 0 3994 3 0 0 25 0 1 0 693035880 9908224 1016 4294967295 134512640 134581331 3221221792 3221220820 1075285501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2419 1016 566 18 0 2401 0
vsize: 9676
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1089 0 0 0 4994 4 0 0 25 0 1 0 693035880 10186752 1066 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2487 1066 566 18 0 2469 0
vsize: 9948
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1089 0 0 0 5994 4 0 0 25 0 1 0 693035880 10186752 1066 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2487 1066 566 18 0 2469 0
vsize: 9948
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1089 0 0 0 6994 4 0 0 25 0 1 0 693035880 10186752 1066 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2487 1066 566 18 0 2469 0
vsize: 9948
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1132 0 0 0 7994 4 0 0 25 0 1 0 693035880 10317824 1109 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2519 1109 566 18 0 2501 0
vsize: 10076
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1171 0 0 0 8994 4 0 0 25 0 1 0 693035880 10452992 1148 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2552 1148 566 18 0 2534 0
vsize: 10208
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1180 0 0 0 9993 5 0 0 25 0 1 0 693035880 10645504 1157 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1157 566 18 0 2581 0
vsize: 10396
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1203 0 0 0 10993 5 0 0 25 0 1 0 693035880 10645504 1180 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2599 1180 566 18 0 2581 0
vsize: 10396
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1272 0 0 0 11993 5 0 0 25 0 1 0 693035880 10911744 1249 4294967295 134512640 134581331 3221221792 3221220736 134559064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1249 566 18 0 2646 0
vsize: 10656
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1276 0 0 0 12993 5 0 0 25 0 1 0 693035880 10911744 1253 4294967295 134512640 134581331 3221221792 3221220672 134560387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2664 1253 566 18 0 2646 0
vsize: 10656
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1287 0 0 0 13993 5 0 0 25 0 1 0 693035880 11051008 1264 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2698 1264 566 18 0 2680 0
vsize: 10792
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1350 0 0 0 14993 6 0 0 25 0 1 0 693035880 11321344 1327 4294967295 134512640 134581331 3221221792 3221220736 134559219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1327 566 18 0 2746 0
vsize: 11056
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1350 0 0 0 15993 6 0 0 25 0 1 0 693035880 11321344 1327 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1327 566 18 0 2746 0
vsize: 11056
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1354 0 0 0 16994 6 0 0 25 0 1 0 693035880 11321344 1331 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2764 1331 566 18 0 2746 0
vsize: 11056
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1400 0 0 0 17994 6 0 0 25 0 1 0 693035880 11456512 1377 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2797 1377 566 18 0 2779 0
vsize: 11188
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1429 0 0 0 18994 6 0 0 25 0 1 0 693035880 11587584 1406 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2829 1406 566 18 0 2811 0
vsize: 11316
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1429 0 0 0 19994 6 0 0 25 0 1 0 693035880 11587584 1406 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2829 1406 566 18 0 2811 0
vsize: 11316
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1429 0 0 0 20994 6 0 0 25 0 1 0 693035880 11587584 1406 4294967295 134512640 134581331 3221221792 3221220784 134561082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2829 1406 566 18 0 2811 0
vsize: 11316
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1429 0 0 0 21994 6 0 0 25 0 1 0 693035880 11587584 1406 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2829 1406 566 18 0 2811 0
vsize: 11316
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1482 0 0 0 22994 6 0 0 25 0 1 0 693035880 11849728 1459 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1459 566 18 0 2875 0
vsize: 11572
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1495 0 0 0 23994 7 0 0 25 0 1 0 693035880 11849728 1472 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1472 566 18 0 2875 0
vsize: 11572
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1495 0 0 0 24994 7 0 0 25 0 1 0 693035880 11849728 1472 4294967295 134512640 134581331 3221221792 3221220720 134519913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2893 1472 566 18 0 2875 0
vsize: 11572
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1517 0 0 0 25994 7 0 0 25 0 1 0 693035880 11980800 1494 4294967295 134512640 134581331 3221221792 3221220784 134561134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1494 566 18 0 2907 0
vsize: 11700
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1524 0 0 0 26994 7 0 0 25 0 1 0 693035880 11980800 1501 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1501 566 18 0 2907 0
vsize: 11700
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1526 0 0 0 27994 7 0 0 25 0 1 0 693035880 11980800 1503 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1503 566 18 0 2907 0
vsize: 11700
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1530 0 0 0 28995 7 0 0 25 0 1 0 693035880 11980800 1507 4294967295 134512640 134581331 3221221792 3221220848 134556148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1507 566 18 0 2907 0
vsize: 11700
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1530 0 0 0 29995 7 0 0 25 0 1 0 693035880 11980800 1507 4294967295 134512640 134581331 3221221792 3221220720 134519880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1507 566 18 0 2907 0
vsize: 11700
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1531 0 0 0 30995 7 0 0 25 0 1 0 693035880 11980800 1508 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1508 566 18 0 2907 0
vsize: 11700
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1531 0 0 0 31995 7 0 0 25 0 1 0 693035880 11980800 1508 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1508 566 18 0 2907 0
vsize: 11700
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1531 0 0 0 32995 7 0 0 25 0 1 0 693035880 11980800 1508 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2925 1508 566 18 0 2907 0
vsize: 11700
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1536 0 0 0 33995 7 0 0 25 0 1 0 693035880 12115968 1513 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1513 566 18 0 2940 0
vsize: 11832
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 34995 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 35996 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 36996 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 37996 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220672 134560493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 38996 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1544 0 0 0 39996 7 0 0 25 0 1 0 693035880 12115968 1521 4294967295 134512640 134581331 3221221792 3221220736 134558844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1521 566 18 0 2940 0
vsize: 11832
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1552 0 0 0 40996 7 0 0 25 0 1 0 693035880 12115968 1529 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1529 566 18 0 2940 0
vsize: 11832
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1562 0 0 0 41997 7 0 0 25 0 1 0 693035880 12115968 1539 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1539 566 18 0 2940 0
vsize: 11832
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1562 0 0 0 42997 7 0 0 25 0 1 0 693035880 12115968 1539 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1539 566 18 0 2940 0
vsize: 11832
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1562 0 0 0 43997 7 0 0 25 0 1 0 693035880 12115968 1539 4294967295 134512640 134581331 3221221792 3221220764 134519776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1539 566 18 0 2940 0
vsize: 11832
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1566 0 0 0 44997 7 0 0 25 0 1 0 693035880 12115968 1543 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 1543 566 18 0 2940 0
vsize: 11832
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1571 0 0 0 45997 7 0 0 25 0 1 0 693035880 12267520 1548 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2995 1548 566 18 0 2977 0
vsize: 11980
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1571 0 0 0 46997 7 0 0 25 0 1 0 693035880 12267520 1548 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2995 1548 566 18 0 2977 0
vsize: 11980
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1594 0 0 0 47997 8 0 0 25 0 1 0 693035880 12267520 1571 4294967295 134512640 134581331 3221221792 3221220672 134560477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2995 1571 566 18 0 2977 0
vsize: 11980
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1642 0 0 0 48998 8 0 0 25 0 1 0 693035880 12529664 1619 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1619 566 18 0 3041 0
vsize: 12236
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1642 0 0 0 49998 8 0 0 25 0 1 0 693035880 12529664 1619 4294967295 134512640 134581331 3221221792 3221220752 134554664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1619 566 18 0 3041 0
vsize: 12236
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1647 0 0 0 50998 8 0 0 25 0 1 0 693035880 12529664 1624 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1624 566 18 0 3041 0
vsize: 12236
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1647 0 0 0 51998 8 0 0 25 0 1 0 693035880 12529664 1624 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1624 566 18 0 3041 0
vsize: 12236
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1648 0 0 0 52998 8 0 0 25 0 1 0 693035880 12529664 1625 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1625 566 18 0 3041 0
vsize: 12236
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1648 0 0 0 53998 8 0 0 25 0 1 0 693035880 12529664 1625 4294967295 134512640 134581331 3221221792 3221220672 134560372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3059 1625 566 18 0 3041 0
vsize: 12236
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1689 0 0 0 54999 8 0 0 25 0 1 0 693035880 12660736 1666 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1666 566 18 0 3073 0
vsize: 12364
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 55999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 56999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220700 134560192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 57999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 58999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 59999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1695 0 0 0 60999 8 0 0 25 0 1 0 693035880 12660736 1672 4294967295 134512640 134581331 3221221792 3221220688 134517931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3091 1672 566 18 0 3073 0
vsize: 12364
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1717 0 0 0 61999 8 0 0 25 0 1 0 693035880 12791808 1694 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3123 1694 566 18 0 3105 0
vsize: 12492
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1720 0 0 0 62999 8 0 0 25 0 1 0 693035880 12791808 1697 4294967295 134512640 134581331 3221221792 3221220672 134560430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3123 1697 566 18 0 3105 0
vsize: 12492
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1720 0 0 0 63999 8 0 0 25 0 1 0 693035880 12791808 1697 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3123 1697 566 18 0 3105 0
vsize: 12492
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1726 0 0 0 64999 8 0 0 25 0 1 0 693035880 12931072 1703 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1703 566 18 0 3139 0
vsize: 12628
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1726 0 0 0 65999 8 0 0 25 0 1 0 693035880 12931072 1703 4294967295 134512640 134581331 3221221792 3221220720 134558771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1703 566 18 0 3139 0
vsize: 12628
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1726 0 0 0 67000 8 0 0 25 0 1 0 693035880 12931072 1703 4294967295 134512640 134581331 3221221792 3221220784 134561131 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1703 566 18 0 3139 0
vsize: 12628
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1726 0 0 0 68000 8 0 0 25 0 1 0 693035880 12931072 1703 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1703 566 18 0 3139 0
vsize: 12628
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1726 0 0 0 69000 8 0 0 25 0 1 0 693035880 12931072 1703 4294967295 134512640 134581331 3221221792 3221220784 134561155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1703 566 18 0 3139 0
vsize: 12628
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 69999 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 70999 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 71999 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220672 134520246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 73000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 74000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220784 134561128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+750.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 75000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220736 134559390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+760.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 76000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220736 134559377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+770.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 77000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220672 134560474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+780.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 78000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+790.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1752 0 0 0 79000 9 0 0 25 0 1 0 693035880 12931072 1729 4294967295 134512640 134581331 3221221792 3221220768 134561101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3157 1729 566 18 0 3139 0
vsize: 12628
[startup+800.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1796 0 0 0 80001 9 0 0 25 0 1 0 693035880 13193216 1773 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 1773 566 18 0 3203 0
vsize: 12884
[startup+810.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1834 0 0 0 81001 10 0 0 25 0 1 0 693035880 13324288 1811 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3253 1811 566 18 0 3235 0
vsize: 13012
[startup+820.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 82000 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220672 134520182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+830.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 83001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+840.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 84001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+850.021 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 85001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220720 134519817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+860.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 86001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+870.021 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 87001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+880.022 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 88001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+890.023 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 89001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220716 134519970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+900.023 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 90001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220672 134560372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+910.023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 91001 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220672 134560216 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+920.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 92002 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+930.024 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 93002 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+940.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 94002 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134560848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+950.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 95002 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220736 134559093 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+960.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 96002 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+970.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 97003 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 98003 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220720 134519958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1932 0 0 0 99003 10 0 0 25 0 1 0 693035880 13721600 1909 4294967295 134512640 134581331 3221221792 3221220784 134560958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1909 566 18 0 3332 0
vsize: 13400
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 100003 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 101003 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 102003 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 103003 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220736 134559370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 104004 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 105004 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 106004 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 107004 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220784 134561122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1933 0 0 0 108004 10 0 0 25 0 1 0 693035880 13721600 1910 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1910 566 18 0 3332 0
vsize: 13400
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1938 0 0 0 109005 10 0 0 25 0 1 0 693035880 13721600 1915 4294967295 134512640 134581331 3221221792 3221220720 134519880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3350 1915 566 18 0 3332 0
vsize: 13400
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 110005 10 0 0 25 0 1 0 693035880 13852672 1934 4294967295 134512640 134581331 3221221792 3221220704 134519975 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1934 566 18 0 3364 0
vsize: 13528
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 111005 11 0 0 25 0 1 0 693035880 13852672 1934 4294967295 134512640 134581331 3221221792 3221220672 134560462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1934 566 18 0 3364 0
vsize: 13528
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 112005 11 0 0 25 0 1 0 693035880 13852672 1934 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 1934 566 18 0 3364 0
vsize: 13528
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 113005 11 0 0 25 0 1 0 693035880 13824000 1934 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1934 566 18 0 3357 0
vsize: 13500
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 114005 11 0 0 25 0 1 0 693035880 13824000 1934 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1934 566 18 0 3357 0
vsize: 13500
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 115006 11 0 0 25 0 1 0 693035880 13824000 1934 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1934 566 18 0 3357 0
vsize: 13500
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1957 0 0 0 116006 11 0 0 25 0 1 0 693035880 13824000 1934 4294967295 134512640 134581331 3221221792 3221220720 134520049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1934 566 18 0 3357 0
vsize: 13500
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1965 0 0 0 117006 11 0 0 25 0 1 0 693035880 13824000 1942 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1942 566 18 0 3357 0
vsize: 13500
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1966 0 0 0 118006 11 0 0 25 0 1 0 693035880 13824000 1943 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1943 566 18 0 3357 0
vsize: 13500
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1966 0 0 0 119006 11 0 0 25 0 1 0 693035880 13824000 1943 4294967295 134512640 134581331 3221221792 3221220720 134520092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1943 566 18 0 3357 0
vsize: 13500
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16299
Raw data (stat): 16299 (Pueblo) R 16298 7876 7672 0 -1 0 1966 0 0 0 120006 11 0 0 25 0 1 0 693035880 13824000 1943 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 1943 566 18 0 3357 0
vsize: 13500
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 16299
Raw data (stat): 16299 (Pueblo) Z 16298 7876 7672 0 -1 1036 1966 0 0 0 120006 11 0 0 25 0 1 0 693035880 0 0 4294967295 0 0 0 0 0 0 0 1 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.19
CPU user time (s): 1200.07
CPU system time (s): 0.117982
CPU usage (%): 100.012
Max. virtual memory (Kb): 13528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####