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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst1.opb
MD5SUM	3be753912a1804561d804d0545fc341d
Bench Category	optimization, medium integers (OPTMEDINT)
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	9232
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 39300

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 02:58:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27366 boxname=wulflinc2 idbench=1494 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3be753912a1804561d804d0545fc341d  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-bienst1.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-bienst1.opb
IDLAUNCH: 27366
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        385040 kB
Buffers:         33828 kB
Cached:         593536 kB
SwapCached:       1160 kB
Active:          59988 kB
Inactive:       569904 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        384788 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14100 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:18:14 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 27366 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 3176
Raw data (stat): 3176 (runsolver) R 3175 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855011148 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 1899 0 0 0 994 4 0 0 25 0 1 0 855011148 13840384 1873 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 1873 566 18 0 3361 0
vsize: 13516
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2051 0 0 0 1994 4 0 0 25 0 1 0 855011148 14495744 2025 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3539 2025 566 18 0 3521 0
vsize: 14156
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2056 0 0 0 2994 4 0 0 25 0 1 0 855011148 14495744 2030 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3539 2030 566 18 0 3521 0
vsize: 14156
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2129 0 0 0 3993 5 0 0 25 0 1 0 855011148 14888960 2103 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3635 2103 566 18 0 3617 0
vsize: 14540
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2176 0 0 0 4993 5 0 0 25 0 1 0 855011148 15020032 2150 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2150 566 18 0 3649 0
vsize: 14668
[startup+60.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2176 0 0 0 5993 5 0 0 25 0 1 0 855011148 15020032 2150 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2150 566 18 0 3649 0
vsize: 14668
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2182 0 0 0 6994 5 0 0 25 0 1 0 855011148 15020032 2156 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2156 566 18 0 3649 0
vsize: 14668
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2210 0 0 0 7994 5 0 0 25 0 1 0 855011148 15151104 2184 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3699 2184 566 18 0 3681 0
vsize: 14796
[startup+90.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2211 0 0 0 8994 5 0 0 25 0 1 0 855011148 15151104 2185 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3699 2185 566 18 0 3681 0
vsize: 14796
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2228 0 0 0 9994 5 0 0 25 0 1 0 855011148 15282176 2202 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2202 566 18 0 3713 0
vsize: 14924
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 3176
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2314 0 0 0 10994 5 0 0 25 0 1 0 855011148 15544320 2288 4294967295 134512640 134581267 3221224576 3221223568 134560771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2288 566 18 0 3777 0
vsize: 15180
[startup+120.002 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2314 0 0 0 11993 6 0 0 25 0 1 0 855011148 15486976 2278 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3781 2278 566 18 0 3763 0
vsize: 15124
[startup+130.002 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2380 0 0 0 12993 6 0 0 25 0 1 0 855011148 15892480 2344 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3880 2344 566 18 0 3862 0
vsize: 15520
[startup+140.002 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2380 0 0 0 13993 6 0 0 25 0 1 0 855011148 15863808 2344 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2344 566 18 0 3855 0
vsize: 15492
[startup+150.002 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2381 0 0 0 14993 7 0 0 25 0 1 0 855011148 15863808 2345 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2345 566 18 0 3855 0
vsize: 15492
[startup+160.002 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2387 0 0 0 15993 7 0 0 25 0 1 0 855011148 15863808 2351 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2351 566 18 0 3855 0
vsize: 15492
[startup+170.002 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3229
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2423 0 0 0 16993 7 0 0 25 0 1 0 855011148 15863808 2367 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2367 566 18 0 3855 0
vsize: 15492
[startup+180.001 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2437 0 0 0 17992 8 0 0 25 0 1 0 855011148 15863808 2367 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3873 2367 566 18 0 3855 0
vsize: 15492
[startup+190.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2453 0 0 0 18992 8 0 0 25 0 1 0 855011148 15994880 2383 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3905 2383 566 18 0 3887 0
vsize: 15620
[startup+200.002 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2474 0 0 0 19992 9 0 0 25 0 1 0 855011148 16109568 2404 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3933 2404 566 18 0 3915 0
vsize: 15732
[startup+210.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2514 0 0 0 20992 9 0 0 25 0 1 0 855011148 16302080 2444 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 2444 566 18 0 3962 0
vsize: 15920
[startup+220.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2520 0 0 0 21991 9 0 0 25 0 1 0 855011148 16302080 2450 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3980 2450 566 18 0 3962 0
vsize: 15920
[startup+230.001 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2520 0 0 0 22991 9 0 0 25 0 1 0 855011148 16257024 2450 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2450 566 18 0 3951 0
vsize: 15876
[startup+240 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2520 0 0 0 23991 10 0 0 25 0 1 0 855011148 16257024 2450 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2450 566 18 0 3951 0
vsize: 15876
[startup+250.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2527 0 0 0 24991 10 0 0 25 0 1 0 855011148 16257024 2457 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2457 566 18 0 3951 0
vsize: 15876
[startup+260.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2552 0 0 0 25991 11 0 0 25 0 1 0 855011148 16388096 2482 4294967295 134512640 134581267 3221224576 3221223440 134528249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2482 566 18 0 3983 0
vsize: 16004
[startup+270 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 26991 11 0 0 25 0 1 0 855011148 16388096 2490 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 2490 566 18 0 3983 0
vsize: 16004
[startup+280 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 27990 11 0 0 25 0 1 0 855011148 16334848 2482 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3988 2482 566 18 0 3970 0
vsize: 15952
[startup+290 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 28990 12 0 0 25 0 1 0 855011148 16257024 2463 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2463 566 18 0 3951 0
vsize: 15876
[startup+300 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 29990 12 0 0 25 0 1 0 855011148 16257024 2463 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2463 566 18 0 3951 0
vsize: 15876
[startup+310.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 30991 12 0 0 25 0 1 0 855011148 16257024 2463 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 2463 566 18 0 3951 0
vsize: 15876
[startup+320.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2580 0 0 0 31991 12 0 0 25 0 1 0 855011148 16257024 2463 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 2463 566 18 0 3951 0
vsize: 15876
[startup+330 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2644 0 0 0 32991 12 0 0 25 0 1 0 855011148 16519168 2527 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2527 566 18 0 4015 0
vsize: 16132
[startup+340 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2644 0 0 0 33991 12 0 0 25 0 1 0 855011148 16519168 2527 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4033 2527 566 18 0 4015 0
vsize: 16132
[startup+350.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 34991 12 0 0 25 0 1 0 855011148 16650240 2534 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4065 2534 566 18 0 4047 0
vsize: 16260
[startup+360 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 35991 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+370 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 36991 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+380.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 37992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+390 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 38992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+400.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 39992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+410.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 40992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+420 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 41992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+430 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 42992 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+440 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 43993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+450 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 44993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+460.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 45993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+470.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3231
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 46993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+480 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 47993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223568 134561101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+490 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 48993 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+500.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 49994 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+510 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 50994 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+520 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 2651 0 0 0 51994 12 0 0 25 0 1 0 855011148 16625664 2534 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4059 2534 566 18 0 4041 0
vsize: 16236
[startup+530.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 3130 0 0 0 52993 13 0 0 25 0 1 0 855011148 18493440 3005 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4515 3005 566 18 0 4497 0
vsize: 18060
[startup+540 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 3590 0 0 0 53993 14 0 0 25 0 1 0 855011148 20480000 3465 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5000 3465 566 18 0 4982 0
vsize: 20000
[startup+550.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 3778 0 0 0 54993 14 0 0 25 0 1 0 855011148 21143552 3653 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3653 566 18 0 5144 0
vsize: 20648
[startup+560.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 3880 0 0 0 55993 14 0 0 25 0 1 0 855011148 21544960 3755 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5260 3755 566 18 0 5242 0
vsize: 21040
[startup+570.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 3964 0 0 0 56993 14 0 0 25 0 1 0 855011148 21942272 3839 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 3839 566 18 0 5339 0
vsize: 21428
[startup+580.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4045 0 0 0 57993 14 0 0 25 0 1 0 855011148 22339584 3920 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5454 3920 566 18 0 5436 0
vsize: 21816
[startup+590.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4078 0 0 0 58993 14 0 0 25 0 1 0 855011148 22470656 3953 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3953 566 18 0 5468 0
vsize: 21944
[startup+600.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 59993 14 0 0 25 0 1 0 855011148 22470656 3954 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3954 566 18 0 5468 0
vsize: 21944
[startup+610.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 60993 14 0 0 25 0 1 0 855011148 22470656 3954 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3954 566 18 0 5468 0
vsize: 21944
[startup+620.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 61993 14 0 0 25 0 1 0 855011148 22470656 3954 4294967295 134512640 134581267 3221224576 3221223520 134558821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3954 566 18 0 5468 0
vsize: 21944
[startup+630.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 62994 14 0 0 25 0 1 0 855011148 22470656 3954 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3954 566 18 0 5468 0
vsize: 21944
[startup+640.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 63994 14 0 0 25 0 1 0 855011148 22470656 3954 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5486 3954 566 18 0 5468 0
vsize: 21944
[startup+650.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 64994 14 0 0 25 0 1 0 855011148 22466560 3954 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3954 566 18 0 5467 0
vsize: 21940
[startup+660.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 65994 14 0 0 25 0 1 0 855011148 22466560 3954 4294967295 134512640 134581267 3221224576 3221223504 134519939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3954 566 18 0 5467 0
vsize: 21940
[startup+670.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 66994 15 0 0 25 0 1 0 855011148 22466560 3954 4294967295 134512640 134581267 3221224576 3221223520 134558867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3954 566 18 0 5467 0
vsize: 21940
[startup+680.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4079 0 0 0 67994 15 0 0 25 0 1 0 855011148 22466560 3954 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3954 566 18 0 5467 0
vsize: 21940
[startup+690.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4085 0 0 0 68995 15 0 0 25 0 1 0 855011148 22466560 3960 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3960 566 18 0 5467 0
vsize: 21940
[startup+700.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4098 0 0 0 69994 15 0 0 25 0 1 0 855011148 22466560 3973 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3973 566 18 0 5467 0
vsize: 21940
[startup+710.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4098 0 0 0 70994 15 0 0 25 0 1 0 855011148 22466560 3973 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3973 566 18 0 5467 0
vsize: 21940
[startup+720.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4098 0 0 0 71994 15 0 0 25 0 1 0 855011148 22466560 3973 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3973 566 18 0 5467 0
vsize: 21940
[startup+730.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4098 0 0 0 72995 15 0 0 25 0 1 0 855011148 22466560 3973 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5485 3973 566 18 0 5467 0
vsize: 21940
[startup+740.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4109 0 0 0 73995 15 0 0 25 0 1 0 855011148 22601728 3984 4294967295 134512640 134581267 3221224576 3221223504 134520105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 3984 566 18 0 5500 0
vsize: 22072
[startup+750.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4109 0 0 0 74995 15 0 0 25 0 1 0 855011148 22601728 3984 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 3984 566 18 0 5500 0
vsize: 22072
[startup+760.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4132 0 0 0 75995 16 0 0 25 0 1 0 855011148 22601728 4007 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4007 566 18 0 5500 0
vsize: 22072
[startup+770.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4132 0 0 0 76995 16 0 0 25 0 1 0 855011148 22601728 4007 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4007 566 18 0 5500 0
vsize: 22072
[startup+780.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4132 0 0 0 77995 16 0 0 25 0 1 0 855011148 22601728 4007 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4007 566 18 0 5500 0
vsize: 22072
[startup+790.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4132 0 0 0 78995 16 0 0 25 0 1 0 855011148 22601728 4007 4294967295 134512640 134581267 3221224576 3221223504 134519941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4007 566 18 0 5500 0
vsize: 22072
[startup+800.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 79995 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+810.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 80995 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+820.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 81996 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+830.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 82996 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+840.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 83996 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+850.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 84996 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+860.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 85996 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+870.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 86997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+880.003 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 87997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+890.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 88997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+900.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 89997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223504 134519812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+910.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 90997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+920.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 91997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+930.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 92997 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+940.002 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 93998 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223440 134560206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+950.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 94998 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+960.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 95998 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+970.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 96998 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+980.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4165 0 0 0 97998 16 0 0 25 0 1 0 855011148 22732800 4040 4294967295 134512640 134581267 3221224576 3221223488 134527776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5550 4040 566 18 0 5532 0
vsize: 22200
[startup+990.001 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4548 0 0 0 98998 17 0 0 25 0 1 0 855011148 24440832 4423 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5967 4423 566 18 0 5949 0
vsize: 23868
[startup+1000 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4548 0 0 0 99998 17 0 0 25 0 1 0 855011148 24428544 4423 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 4423 566 18 0 5946 0
vsize: 23856
[startup+1010 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4548 0 0 0 100998 17 0 0 25 0 1 0 855011148 24424448 4423 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5963 4423 566 18 0 5945 0
vsize: 23852
[startup+1020 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 4927 0 0 0 101997 18 0 0 25 0 1 0 855011148 25866240 4802 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 4802 566 18 0 6297 0
vsize: 25260
[startup+1030 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5240 0 0 0 102997 19 0 0 25 0 1 0 855011148 27181056 5115 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 5115 566 18 0 6618 0
vsize: 26544
[startup+1040 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5305 0 0 0 103996 19 0 0 25 0 1 0 855011148 27443200 5180 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5180 566 18 0 6682 0
vsize: 26800
[startup+1050 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5312 0 0 0 104997 19 0 0 25 0 1 0 855011148 27443200 5187 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5187 566 18 0 6682 0
vsize: 26800
[startup+1060 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5312 0 0 0 105997 19 0 0 25 0 1 0 855011148 27443200 5187 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5187 566 18 0 6682 0
vsize: 26800
[startup+1070 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5312 0 0 0 106997 19 0 0 25 0 1 0 855011148 27443200 5187 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 5187 566 18 0 6682 0
vsize: 26800
[startup+1080 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5316 0 0 0 107997 19 0 0 25 0 1 0 855011148 27574272 5191 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5191 566 18 0 6714 0
vsize: 26928
[startup+1090 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5319 0 0 0 108997 19 0 0 25 0 1 0 855011148 27574272 5194 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5194 566 18 0 6714 0
vsize: 26928
[startup+1100 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5341 0 0 0 109997 19 0 0 25 0 1 0 855011148 27574272 5216 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 5216 566 18 0 6714 0
vsize: 26928
[startup+1110 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5360 0 0 0 110998 19 0 0 25 0 1 0 855011148 27705344 5235 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 5235 566 18 0 6746 0
vsize: 27056
[startup+1120 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5360 0 0 0 111998 19 0 0 25 0 1 0 855011148 27705344 5235 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 5235 566 18 0 6746 0
vsize: 27056
[startup+1130 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5360 0 0 0 112998 19 0 0 25 0 1 0 855011148 27705344 5235 4294967295 134512640 134581267 3221224576 3221223504 134519791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 5235 566 18 0 6746 0
vsize: 27056
[startup+1140 s]
Raw data (loadavg): 1.00 0.98 0.91 3/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5378 0 0 0 113998 19 0 0 25 0 1 0 855011148 27836416 5253 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6796 5253 566 18 0 6778 0
vsize: 27184
[startup+1150 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5378 0 0 0 114998 19 0 0 25 0 1 0 855011148 27836416 5253 4294967295 134512640 134581267 3221224576 3221223272 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6796 5253 566 18 0 6778 0
vsize: 27184
[startup+1160 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5378 0 0 0 115998 19 0 0 25 0 1 0 855011148 27807744 5253 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 5253 566 18 0 6771 0
vsize: 27156
[startup+1170 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5378 0 0 0 116999 19 0 0 25 0 1 0 855011148 27807744 5253 4294967295 134512640 134581267 3221224576 3221223504 134520092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6789 5253 566 18 0 6771 0
vsize: 27156
[startup+1180 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5430 0 0 0 117999 19 0 0 25 0 1 0 855011148 27938816 5305 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 5305 566 18 0 6803 0
vsize: 27284
[startup+1190 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5430 0 0 0 118999 19 0 0 25 0 1 0 855011148 27938816 5305 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 5305 566 18 0 6803 0
vsize: 27284
[startup+1200 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3233
Raw data (stat): 3176 (Pueblo-v2) R 3175 31399 31398 0 -1 0 5430 0 0 0 119999 19 0 0 25 0 1 0 855011148 27938816 5305 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6821 5305 566 18 0 6803 0
vsize: 27284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 3233
Raw data (stat): 3176 (Pueblo-v2) Z 3175 31399 31398 0 -1 1036 5430 0 0 0 119999 20 0 0 25 0 1 0 855011148 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.01
CPU time (s): 1200.2
CPU user time (s): 1199.99
CPU system time (s): 0.205968
CPU usage (%): 100.016
Max. virtual memory (Kb): 27284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####