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/unibo/normalized-mps-v2-13-7-CMS750_4.opb
MD5SUM	ad40fa9446ec809d050488ebdd2a269a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	770
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	1144575
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268466430
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	20.1699
Number of variables	128716
Total number of constraints	28077
Number of constraints which are clauses	2438
Number of constraints which are cardinality constraints (but not clauses)	7196
Number of constraints which are nor clauses,nor cardinality constraints	18443
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 39365

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 04:04:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27412 boxname=wulflinc2 idbench=1540 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ad40fa9446ec809d050488ebdd2a269a  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-CMS750_4.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-CMS750_4.opb
IDLAUNCH: 27412
/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:        296632 kB
Buffers:         34048 kB
Cached:         680968 kB
SwapCached:       1160 kB
Active:          78324 kB
Inactive:       639172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        296380 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14888 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 04:24:07 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 27412 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.79 0.85 0.87 1/54 4309
Raw data (stat): 4309 (runsolver) R 4308 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855406486 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.82 0.86 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 6019 0 0 0 979 20 0 0 25 0 1 0 855406486 30298112 5994 4294967295 134512640 134581267 3221224576 3217028856 1075310293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7397 5994 566 18 0 7379 0
vsize: 29588
[startup+20.0011 s]
Raw data (loadavg): 0.85 0.86 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 152997 0 0 0 1708 291 0 0 25 0 1 0 855406486 49242112 10591 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 10591 566 18 0 12004 0
vsize: 48088
[startup+30.0018 s]
Raw data (loadavg): 0.87 0.87 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 459177 0 0 0 2143 856 0 0 25 0 1 0 855406486 49242112 10591 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 10591 566 18 0 12004 0
vsize: 48088
[startup+40.0025 s]
Raw data (loadavg): 0.89 0.87 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 766491 0 0 0 2587 1412 0 0 25 0 1 0 855406486 49242112 10591 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 10591 566 18 0 12004 0
vsize: 48088
[startup+50.0052 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 1072019 0 0 0 3034 1965 0 0 25 0 1 0 855406486 49242112 10569 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 10569 566 18 0 12004 0
vsize: 48088
[startup+60.0059 s]
Raw data (loadavg): 0.92 0.88 0.87 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 1376761 0 0 0 3481 2518 0 0 25 0 1 0 855406486 49377280 10517 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12055 10517 566 18 0 12037 0
vsize: 48220
[startup+70.0056 s]
Raw data (loadavg): 0.93 0.88 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 1679804 0 0 0 3930 3069 0 0 25 0 1 0 855406486 51675136 11160 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12616 11160 566 18 0 12598 0
vsize: 50464
[startup+80.0063 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 1981321 0 0 0 4385 3614 0 0 25 0 1 0 855406486 54108160 11663 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 11663 566 18 0 13192 0
vsize: 52840
[startup+90.006 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 2282784 0 0 0 4830 4169 0 0 25 0 1 0 855406486 56348672 12238 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13757 12238 566 18 0 13739 0
vsize: 55028
[startup+100.006 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 2585737 0 0 0 5279 4721 0 0 25 0 1 0 855406486 57835520 12539 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14120 12539 566 18 0 14102 0
vsize: 56480
[startup+110.017 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 2887439 0 0 0 5725 5275 0 0 25 0 1 0 855406486 60133376 13227 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14681 13227 566 18 0 14663 0
vsize: 58724
[startup+120.017 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 4309
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3188800 0 0 0 6173 5827 0 0 25 0 1 0 855406486 62431232 13700 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15242 13700 566 18 0 15224 0
vsize: 60968
[startup+130.018 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3489082 0 0 0 6623 6378 0 0 25 0 1 0 855406486 64458752 14228 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15737 14228 566 18 0 15719 0
vsize: 62948
[startup+140.017 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3552867 0 0 0 7503 6498 0 0 25 0 1 0 855406486 66506752 14761 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16237 14761 566 18 0 16219 0
vsize: 64948
[startup+150.017 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554010 0 0 0 8500 6501 0 0 25 0 1 0 855406486 71417856 15904 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17436 15904 566 18 0 17418 0
vsize: 69744
[startup+160.017 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554027 0 0 0 9499 6501 0 0 25 0 1 0 855406486 71417856 15921 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17436 15921 566 18 0 17418 0
vsize: 69744
[startup+170.017 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554058 0 0 0 10499 6502 0 0 25 0 1 0 855406486 71544832 15952 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17467 15952 566 18 0 17449 0
vsize: 69868
[startup+180.017 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554170 0 0 0 11499 6502 0 0 25 0 1 0 855406486 71950336 16064 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17566 16064 566 18 0 17548 0
vsize: 70264
[startup+190.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554206 0 0 0 12499 6502 0 0 25 0 1 0 855406486 72187904 16100 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17624 16100 566 18 0 17606 0
vsize: 70496
[startup+200.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554294 0 0 0 13498 6503 0 0 25 0 1 0 855406486 72445952 16188 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17687 16188 566 18 0 17669 0
vsize: 70748
[startup+210.017 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554525 0 0 0 14497 6504 0 0 25 0 1 0 855406486 73502720 16419 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17945 16419 566 18 0 17927 0
vsize: 71780
[startup+220.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554791 0 0 0 15497 6504 0 0 25 0 1 0 855406486 74563584 16685 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18204 16685 566 18 0 18186 0
vsize: 72816
[startup+230.019 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3554898 0 0 0 16496 6505 0 0 25 0 1 0 855406486 74960896 16792 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18301 16792 566 18 0 18283 0
vsize: 73204
[startup+240.019 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555129 0 0 0 17495 6506 0 0 25 0 1 0 855406486 75882496 17023 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18526 17023 566 18 0 18508 0
vsize: 74104
[startup+250.019 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555233 0 0 0 18495 6506 0 0 25 0 1 0 855406486 76406784 17127 4294967295 134512640 134581267 3221224576 3221223408 134531724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18654 17127 566 18 0 18636 0
vsize: 74616
[startup+260.02 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555361 0 0 0 19494 6507 0 0 25 0 1 0 855406486 76926976 17255 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18781 17255 566 18 0 18763 0
vsize: 75124
[startup+270.02 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555497 0 0 0 20493 6508 0 0 25 0 1 0 855406486 77443072 17391 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18907 17391 566 18 0 18889 0
vsize: 75628
[startup+280.021 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555621 0 0 0 21493 6508 0 0 25 0 1 0 855406486 77967360 17515 4294967295 134512640 134581267 3221224576 3221223440 134560319 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19035 17515 566 18 0 19017 0
vsize: 76140
[startup+290.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555746 0 0 0 22492 6509 0 0 25 0 1 0 855406486 78503936 17640 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19166 17640 566 18 0 19148 0
vsize: 76664
[startup+300.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3555923 0 0 0 23492 6510 0 0 25 0 1 0 855406486 79147008 17817 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19323 17817 566 18 0 19305 0
vsize: 77292
[startup+310.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556070 0 0 0 24491 6510 0 0 25 0 1 0 855406486 79810560 17964 4294967295 134512640 134581267 3221224576 3221223440 134560372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19485 17964 566 18 0 19467 0
vsize: 77940
[startup+320.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556228 0 0 0 25490 6511 0 0 25 0 1 0 855406486 80474112 18122 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19647 18122 566 18 0 19629 0
vsize: 78588
[startup+330.023 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556336 0 0 0 26490 6511 0 0 25 0 1 0 855406486 80863232 18230 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19742 18230 566 18 0 19724 0
vsize: 78968
[startup+340.022 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556411 0 0 0 27490 6512 0 0 25 0 1 0 855406486 81129472 18305 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19807 18305 566 18 0 19789 0
vsize: 79228
[startup+350.023 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556484 0 0 0 28489 6512 0 0 25 0 1 0 855406486 81506304 18378 4294967295 134512640 134581267 3221224576 3221223440 134560377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19899 18378 566 18 0 19881 0
vsize: 79596
[startup+360.023 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556604 0 0 0 29489 6513 0 0 25 0 1 0 855406486 82026496 18498 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20026 18498 566 18 0 20008 0
vsize: 80104
[startup+370.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556711 0 0 0 30489 6513 0 0 25 0 1 0 855406486 82419712 18605 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20122 18605 566 18 0 20104 0
vsize: 80488
[startup+380.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556798 0 0 0 31489 6513 0 0 25 0 1 0 855406486 82800640 18692 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20215 18692 566 18 0 20197 0
vsize: 80860
[startup+390.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3556973 0 0 0 32488 6514 0 0 25 0 1 0 855406486 83460096 18867 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20376 18867 566 18 0 20358 0
vsize: 81504
[startup+400.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557056 0 0 0 33487 6515 0 0 25 0 1 0 855406486 83853312 18950 4294967295 134512640 134581267 3221224576 3221223488 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 18950 566 18 0 20454 0
vsize: 81888
[startup+410.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557133 0 0 0 34487 6515 0 0 25 0 1 0 855406486 84107264 19027 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19027 566 18 0 20516 0
vsize: 82136
[startup+420.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557238 0 0 0 35487 6515 0 0 25 0 1 0 855406486 84623360 19132 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20660 19132 566 18 0 20642 0
vsize: 82640
[startup+430.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557351 0 0 0 36486 6516 0 0 25 0 1 0 855406486 85016576 19245 4294967295 134512640 134581267 3221224576 3221223552 134560782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20756 19245 566 18 0 20738 0
vsize: 83024
[startup+440.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557460 0 0 0 37486 6516 0 0 25 0 1 0 855406486 85528576 19354 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20881 19354 566 18 0 20863 0
vsize: 83524
[startup+450.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557581 0 0 0 38485 6517 0 0 25 0 1 0 855406486 85925888 19475 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20978 19475 566 18 0 20960 0
vsize: 83912
[startup+460.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557751 0 0 0 39484 6518 0 0 25 0 1 0 855406486 86708224 19645 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21169 19645 566 18 0 21151 0
vsize: 84676
[startup+470.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557910 0 0 0 40483 6519 0 0 25 0 1 0 855406486 87363584 19804 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21329 19804 566 18 0 21311 0
vsize: 85316
[startup+480.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3557990 0 0 0 41483 6520 0 0 25 0 1 0 855406486 87633920 19884 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21395 19884 566 18 0 21377 0
vsize: 85580
[startup+490.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558063 0 0 0 42482 6520 0 0 25 0 1 0 855406486 87896064 19957 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21459 19957 566 18 0 21441 0
vsize: 85836
[startup+500.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558179 0 0 0 43481 6521 0 0 25 0 1 0 855406486 88412160 20073 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21585 20073 566 18 0 21567 0
vsize: 86340
[startup+510.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558289 0 0 0 44481 6522 0 0 25 0 1 0 855406486 88936448 20183 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21713 20183 566 18 0 21695 0
vsize: 86852
[startup+520.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558410 0 0 0 45480 6522 0 0 25 0 1 0 855406486 89325568 20304 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21808 20304 566 18 0 21790 0
vsize: 87232
[startup+530.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558503 0 0 0 46480 6523 0 0 25 0 1 0 855406486 89718784 20397 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21904 20397 566 18 0 21886 0
vsize: 87616
[startup+540.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558689 0 0 0 47479 6523 0 0 25 0 1 0 855406486 90521600 20583 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22100 20583 566 18 0 22082 0
vsize: 88400
[startup+550.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3558883 0 0 0 48479 6524 0 0 25 0 1 0 855406486 91316224 20777 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22294 20777 566 18 0 22276 0
vsize: 89176
[startup+560.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3559090 0 0 0 49478 6525 0 0 25 0 1 0 855406486 92160000 20984 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22500 20984 566 18 0 22482 0
vsize: 90000
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3559300 0 0 0 50477 6526 0 0 25 0 1 0 855406486 93093888 21194 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22728 21194 566 18 0 22710 0
vsize: 90912
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3559510 0 0 0 51476 6527 0 0 25 0 1 0 855406486 93892608 21404 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22923 21404 566 18 0 22905 0
vsize: 91692
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3559709 0 0 0 52475 6528 0 0 25 0 1 0 855406486 94691328 21603 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23118 21603 566 18 0 23100 0
vsize: 92472
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3559919 0 0 0 53474 6529 0 0 25 0 1 0 855406486 95621120 21813 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23345 21813 566 18 0 23327 0
vsize: 93380
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3560129 0 0 0 54473 6530 0 0 25 0 1 0 855406486 96415744 22023 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23539 22023 566 18 0 23521 0
vsize: 94156
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3560340 0 0 0 55472 6531 0 0 25 0 1 0 855406486 97333248 22234 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23763 22234 566 18 0 23745 0
vsize: 95052
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3560552 0 0 0 56472 6532 0 0 25 0 1 0 855406486 98119680 22446 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23955 22446 566 18 0 23937 0
vsize: 95820
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3560781 0 0 0 57470 6533 0 0 25 0 1 0 855406486 99172352 22675 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24212 22675 566 18 0 24194 0
vsize: 96848
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561023 0 0 0 58469 6534 0 0 25 0 1 0 855406486 100093952 22917 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24437 22917 566 18 0 24419 0
vsize: 97748
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561174 0 0 0 59469 6535 0 0 25 0 1 0 855406486 100753408 23068 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24598 23068 566 18 0 24580 0
vsize: 98392
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561294 0 0 0 60468 6535 0 0 25 0 1 0 855406486 101142528 23188 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24693 23188 566 18 0 24675 0
vsize: 98772
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561393 0 0 0 61468 6536 0 0 25 0 1 0 855406486 101650432 23287 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24817 23287 566 18 0 24799 0
vsize: 99268
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561463 0 0 0 62468 6536 0 0 25 0 1 0 855406486 101908480 23357 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24880 23357 566 18 0 24862 0
vsize: 99520
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561541 0 0 0 63468 6536 0 0 25 0 1 0 855406486 102162432 23435 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24942 23435 566 18 0 24924 0
vsize: 99768
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561666 0 0 0 64468 6536 0 0 25 0 1 0 855406486 102690816 23560 4294967295 134512640 134581267 3221224576 3221223484 134528018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25071 23560 566 18 0 25053 0
vsize: 100284
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3561834 0 0 0 65468 6537 0 0 25 0 1 0 855406486 103350272 23728 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25232 23728 566 18 0 25214 0
vsize: 100928
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562002 0 0 0 66468 6537 0 0 25 0 1 0 855406486 104144896 23896 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25426 23896 566 18 0 25408 0
vsize: 101704
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562166 0 0 0 67468 6537 0 0 25 0 1 0 855406486 104804352 24060 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25587 24060 566 18 0 25569 0
vsize: 102348
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562257 0 0 0 68467 6538 0 0 25 0 1 0 855406486 105205760 24151 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25685 24151 566 18 0 25667 0
vsize: 102740
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562338 0 0 0 69467 6538 0 0 25 0 1 0 855406486 105476096 24232 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25751 24232 566 18 0 25733 0
vsize: 103004
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562471 0 0 0 70468 6538 0 0 25 0 1 0 855406486 106008576 24365 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25881 24365 566 18 0 25863 0
vsize: 103524
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562637 0 0 0 71470 6538 0 0 25 0 1 0 855406486 106676224 24531 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26044 24531 566 18 0 26026 0
vsize: 104176
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562768 0 0 0 72469 6539 0 0 25 0 1 0 855406486 107204608 24662 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26173 24662 566 18 0 26155 0
vsize: 104692
[startup+800.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3562889 0 0 0 73470 6539 0 0 25 0 1 0 855406486 107704320 24783 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26295 24783 566 18 0 26277 0
vsize: 105180
[startup+810.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563015 0 0 0 74470 6539 0 0 25 0 1 0 855406486 108187648 24909 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26413 24909 566 18 0 26395 0
vsize: 105652
[startup+820.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563094 0 0 0 75470 6539 0 0 25 0 1 0 855406486 108589056 24988 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26511 24988 566 18 0 26493 0
vsize: 106044
[startup+830.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563180 0 0 0 76469 6539 0 0 25 0 1 0 855406486 108961792 25074 4294967295 134512640 134581267 3221224576 3221223396 1075289636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26602 25074 566 18 0 26584 0
vsize: 106408
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563229 0 0 0 77470 6539 0 0 25 0 1 0 855406486 109080576 25123 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26631 25123 566 18 0 26613 0
vsize: 106524
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563320 0 0 0 78470 6540 0 0 25 0 1 0 855406486 109461504 25214 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26724 25214 566 18 0 26706 0
vsize: 106896
[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563410 0 0 0 79470 6540 0 0 25 0 1 0 855406486 109834240 25304 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26815 25304 566 18 0 26797 0
vsize: 107260
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563539 0 0 0 80469 6540 0 0 25 0 1 0 855406486 110374912 25433 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26947 25433 566 18 0 26929 0
vsize: 107788
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563730 0 0 0 81469 6541 0 0 25 0 1 0 855406486 111165440 25624 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27140 25624 566 18 0 27122 0
vsize: 108560
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563906 0 0 0 82469 6541 0 0 25 0 1 0 855406486 111923200 25800 4294967295 134512640 134581267 3221224576 3221223440 134560319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27325 25800 566 18 0 27307 0
vsize: 109300
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3563967 0 0 0 83469 6541 0 0 25 0 1 0 855406486 112189440 25861 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27390 25861 566 18 0 27372 0
vsize: 109560
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564062 0 0 0 84469 6541 0 0 25 0 1 0 855406486 112553984 25956 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27479 25956 566 18 0 27461 0
vsize: 109916
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564151 0 0 0 85469 6541 0 0 25 0 1 0 855406486 112910336 26045 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27566 26045 566 18 0 27548 0
vsize: 110264
[startup+930.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564202 0 0 0 86469 6541 0 0 25 0 1 0 855406486 113041408 26096 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27598 26096 566 18 0 27580 0
vsize: 110392
[startup+940.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564229 0 0 0 87469 6542 0 0 25 0 1 0 855406486 113160192 26123 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27627 26123 566 18 0 27609 0
vsize: 110508
[startup+950.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564276 0 0 0 88469 6542 0 0 25 0 1 0 855406486 113393664 26170 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27684 26170 566 18 0 27666 0
vsize: 110736
[startup+960.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564316 0 0 0 89469 6542 0 0 25 0 1 0 855406486 113524736 26210 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27716 26210 566 18 0 27698 0
vsize: 110864
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564358 0 0 0 90469 6542 0 0 25 0 1 0 855406486 113786880 26252 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27780 26252 566 18 0 27762 0
vsize: 111120
[startup+980.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564393 0 0 0 91469 6542 0 0 25 0 1 0 855406486 113913856 26287 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27811 26287 566 18 0 27793 0
vsize: 111244
[startup+990.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564457 0 0 0 92469 6543 0 0 25 0 1 0 855406486 114106368 26351 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 26351 566 18 0 27840 0
vsize: 111432
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564549 0 0 0 93469 6543 0 0 25 0 1 0 855406486 114479104 26443 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27949 26443 566 18 0 27931 0
vsize: 111796
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564608 0 0 0 94469 6543 0 0 25 0 1 0 855406486 114728960 26502 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28010 26502 566 18 0 27992 0
vsize: 112040
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564645 0 0 0 95469 6543 0 0 25 0 1 0 855406486 114868224 26539 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28044 26539 566 18 0 28026 0
vsize: 112176
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564687 0 0 0 96470 6543 0 0 25 0 1 0 855406486 115150848 26581 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28113 26581 566 18 0 28095 0
vsize: 112452
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564736 0 0 0 97469 6543 0 0 25 0 1 0 855406486 115265536 26630 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28141 26630 566 18 0 28123 0
vsize: 112564
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564792 0 0 0 98469 6544 0 0 25 0 1 0 855406486 115507200 26686 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28200 26686 566 18 0 28182 0
vsize: 112800
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3564949 0 0 0 99469 6544 0 0 25 0 1 0 855406486 116154368 26843 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28358 26843 566 18 0 28340 0
vsize: 113432
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565151 0 0 0 100469 6544 0 0 25 0 1 0 855406486 117051392 27045 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28577 27045 566 18 0 28559 0
vsize: 114308
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565284 0 0 0 101469 6544 0 0 25 0 1 0 855406486 117551104 27178 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28699 27178 566 18 0 28681 0
vsize: 114796
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565391 0 0 0 102469 6544 0 0 25 0 1 0 855406486 118042624 27285 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28819 27285 566 18 0 28801 0
vsize: 115276
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565491 0 0 0 103469 6544 0 0 25 0 1 0 855406486 118460416 27385 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28921 27385 566 18 0 28903 0
vsize: 115684
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565601 0 0 0 104469 6545 0 0 25 0 1 0 855406486 118841344 27495 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29014 27495 566 18 0 28996 0
vsize: 116056
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565764 0 0 0 105469 6545 0 0 25 0 1 0 855406486 119533568 27658 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29183 27658 566 18 0 29165 0
vsize: 116732
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3565992 0 0 0 106470 6545 0 0 25 0 1 0 855406486 120487936 27886 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29416 27886 566 18 0 29398 0
vsize: 117664
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566190 0 0 0 107470 6546 0 0 25 0 1 0 855406486 121270272 28084 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29607 28084 566 18 0 29589 0
vsize: 118428
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566252 0 0 0 108470 6546 0 0 25 0 1 0 855406486 121516032 28146 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29667 28146 566 18 0 29649 0
vsize: 118668
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566317 0 0 0 109470 6546 0 0 25 0 1 0 855406486 121782272 28211 4294967295 134512640 134581267 3221224576 3221223488 134527516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29732 28211 566 18 0 29714 0
vsize: 118928
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566455 0 0 0 110469 6547 0 0 25 0 1 0 855406486 122384384 28349 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29879 28349 566 18 0 29861 0
vsize: 119516
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566593 0 0 0 111469 6547 0 0 25 0 1 0 855406486 122884096 28487 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30001 28487 566 18 0 29983 0
vsize: 120004
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566718 0 0 0 112469 6547 0 0 25 0 1 0 855406486 123518976 28612 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30156 28612 566 18 0 30138 0
vsize: 120624
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4311
Raw data (stat): 4309 (Pueblo-v2) R 4308 31399 31398 0 -1 0 3566829 0 0 0 113469 6548 0 0 25 0 1 0 855406486 123863040 28723 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30240 28723 566 18 0 30222 0
vsize: 120960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4311
Raw data (stat): 4309 (Pueblo-v2) Z 4308 31399 31398 0 -1 1036 3566829 0 0 0 113469 6553 0 0 25 0 1 0 855406486 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.12
CPU time (s): 1200.23
CPU user time (s): 1134.69
CPU system time (s): 65.535
CPU usage (%): 100.009
Max. virtual memory (Kb): 120960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####