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/fctp/normalized-mps-v2-13-7-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39177236543
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39177236543
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 39270

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-03 01:22:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27336 boxname=wulflinc1 idbench=1464 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 27336
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        193308 kB
Buffers:         33208 kB
Cached:         782940 kB
SwapCached:        668 kB
Active:          53900 kB
Inactive:       764476 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        193056 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5828 kB
Slab:            17196 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:43:02 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 27336 7 1200.28 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.93 0.97 0.91 1/55 15880
Raw data (stat): 15880 (runsolver) R 15879 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 797579653 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.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 81608 0 0 0 841 157 0 0 25 0 1 0 797579653 57880576 12517 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14131 12517 566 18 0 14113 0
vsize: 56524
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 392244 0 0 0 1307 690 0 0 25 0 1 0 797579653 59502592 12916 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 12916 566 18 0 14509 0
vsize: 58108
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 2012 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 3012 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+50.0017 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 4012 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 5013 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 6013 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 7013 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559221 0 0 0 8013 986 0 0 25 0 1 0 797579653 58843136 12827 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12827 566 18 0 14348 0
vsize: 57464
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 559329 0 0 0 9013 986 0 0 25 0 1 0 797579653 59224064 12935 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14459 12935 566 18 0 14441 0
vsize: 57836
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 560620 0 0 0 10011 989 0 0 25 0 1 0 797579653 64622592 14226 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15777 14226 566 18 0 15759 0
vsize: 63108
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 560813 0 0 0 11011 989 0 0 25 0 1 0 797579653 65372160 14419 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15960 14419 566 18 0 15942 0
vsize: 63840
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 560916 0 0 0 12011 989 0 0 25 0 1 0 797579653 65744896 14522 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16051 14522 566 18 0 16033 0
vsize: 64204
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561018 0 0 0 13011 989 0 0 25 0 1 0 797579653 66236416 14624 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16171 14624 566 18 0 16153 0
vsize: 64684
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561110 0 0 0 14011 990 0 0 25 0 1 0 797579653 66613248 14716 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16263 14716 566 18 0 16245 0
vsize: 65052
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561198 0 0 0 15010 990 0 0 25 0 1 0 797579653 66985984 14804 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16354 14804 566 18 0 16336 0
vsize: 65416
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561279 0 0 0 16010 990 0 0 25 0 1 0 797579653 67235840 14885 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16415 14885 566 18 0 16397 0
vsize: 65660
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561350 0 0 0 17011 990 0 0 25 0 1 0 797579653 67608576 14956 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16506 14956 566 18 0 16488 0
vsize: 66024
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561550 0 0 0 18011 990 0 0 25 0 1 0 797579653 68370432 15156 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16692 15156 566 18 0 16674 0
vsize: 66768
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561695 0 0 0 19010 991 0 0 25 0 1 0 797579653 68997120 15301 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16845 15301 566 18 0 16827 0
vsize: 67380
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 561935 0 0 0 20010 991 0 0 25 0 1 0 797579653 69902336 15541 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17066 15541 566 18 0 17048 0
vsize: 68264
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562313 0 0 0 21009 993 0 0 25 0 1 0 797579653 71540736 15919 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17466 15919 566 18 0 17448 0
vsize: 69864
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562484 0 0 0 22008 994 0 0 25 0 1 0 797579653 72167424 16090 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17619 16090 566 18 0 17601 0
vsize: 70476
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562623 0 0 0 23008 994 0 0 25 0 1 0 797579653 72794112 16229 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17772 16229 566 18 0 17754 0
vsize: 71088
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562773 0 0 0 24008 995 0 0 25 0 1 0 797579653 73428992 16379 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17927 16379 566 18 0 17909 0
vsize: 71708
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562864 0 0 0 25007 995 0 0 25 0 1 0 797579653 73809920 16470 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18020 16470 566 18 0 18002 0
vsize: 72080
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 562981 0 0 0 26007 995 0 0 25 0 1 0 797579653 74190848 16587 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18113 16587 566 18 0 18095 0
vsize: 72452
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 563183 0 0 0 27007 996 0 0 25 0 1 0 797579653 75071488 16789 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18328 16789 566 18 0 18310 0
vsize: 73312
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 563328 0 0 0 28007 996 0 0 25 0 1 0 797579653 75694080 16934 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18480 16934 566 18 0 18462 0
vsize: 73920
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 563470 0 0 0 29007 996 0 0 25 0 1 0 797579653 76218368 17076 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18608 17076 566 18 0 18590 0
vsize: 74432
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 563612 0 0 0 30007 996 0 0 25 0 1 0 797579653 76881920 17218 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18770 17218 566 18 0 18752 0
vsize: 75080
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 563793 0 0 0 31007 997 0 0 25 0 1 0 797579653 77529088 17399 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18928 17399 566 18 0 18910 0
vsize: 75712
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 564024 0 0 0 32006 997 0 0 25 0 1 0 797579653 78536704 17630 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19174 17630 566 18 0 19156 0
vsize: 76696
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 564406 0 0 0 33006 998 0 0 25 0 1 0 797579653 80031744 18012 4294967295 134512640 134581267 3221224576 3221223488 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19539 18012 566 18 0 19521 0
vsize: 78156
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 564766 0 0 0 34004 1000 0 0 25 0 1 0 797579653 81539072 18372 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19907 18372 566 18 0 19889 0
vsize: 79628
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 565117 0 0 0 35004 1000 0 0 25 0 1 0 797579653 82989056 18723 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20261 18723 566 18 0 20243 0
vsize: 81044
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 565370 0 0 0 36003 1001 0 0 25 0 1 0 797579653 83992576 18976 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20506 18976 566 18 0 20488 0
vsize: 82024
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 565581 0 0 0 37003 1001 0 0 25 0 1 0 797579653 84865024 19187 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20719 19187 566 18 0 20701 0
vsize: 82876
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 565725 0 0 0 38003 1002 0 0 25 0 1 0 797579653 85499904 19331 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20874 19331 566 18 0 20856 0
vsize: 83496
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 565921 0 0 0 39002 1003 0 0 25 0 1 0 797579653 86253568 19527 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19527 566 18 0 21040 0
vsize: 84232
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 566131 0 0 0 40002 1003 0 0 25 0 1 0 797579653 87138304 19737 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21274 19737 566 18 0 21256 0
vsize: 85096
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 566347 0 0 0 41002 1004 0 0 25 0 1 0 797579653 88018944 19953 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21489 19953 566 18 0 21471 0
vsize: 85956
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 566549 0 0 0 42001 1004 0 0 25 0 1 0 797579653 88903680 20155 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21705 20155 566 18 0 21687 0
vsize: 86820
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 566763 0 0 0 43001 1005 0 0 25 0 1 0 797579653 89788416 20369 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21921 20369 566 18 0 21903 0
vsize: 87684
[startup+450.007 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 566994 0 0 0 44000 1006 0 0 25 0 1 0 797579653 90677248 20600 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22138 20600 566 18 0 22120 0
vsize: 88552
[startup+460.008 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 567202 0 0 0 45000 1006 0 0 25 0 1 0 797579653 91566080 20808 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22355 20808 566 18 0 22337 0
vsize: 89420
[startup+470.009 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 567409 0 0 0 46000 1006 0 0 25 0 1 0 797579653 92450816 21015 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22571 21015 566 18 0 22553 0
vsize: 90284
[startup+480.009 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 567569 0 0 0 47000 1007 0 0 25 0 1 0 797579653 93081600 21175 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22725 21175 566 18 0 22707 0
vsize: 90900
[startup+490.008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 567825 0 0 0 48000 1007 0 0 25 0 1 0 797579653 94097408 21431 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22973 21431 566 18 0 22955 0
vsize: 91892
[startup+500.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568009 0 0 0 49000 1007 0 0 25 0 1 0 797579653 94871552 21615 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23162 21615 566 18 0 23144 0
vsize: 92648
[startup+510.009 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568147 0 0 0 49999 1007 0 0 25 0 1 0 797579653 95375360 21753 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23285 21753 566 18 0 23267 0
vsize: 93140
[startup+520.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568336 0 0 0 50999 1008 0 0 25 0 1 0 797579653 96141312 21942 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23472 21942 566 18 0 23454 0
vsize: 93888
[startup+530.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568505 0 0 0 51999 1008 0 0 25 0 1 0 797579653 96915456 22111 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23661 22111 566 18 0 23643 0
vsize: 94644
[startup+540.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568658 0 0 0 52999 1009 0 0 25 0 1 0 797579653 97558528 22264 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23818 22264 566 18 0 23800 0
vsize: 95272
[startup+550.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 568964 0 0 0 53998 1010 0 0 25 0 1 0 797579653 98734080 22570 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24105 22570 566 18 0 24087 0
vsize: 96420
[startup+560.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 569138 0 0 0 54998 1010 0 0 25 0 1 0 797579653 99495936 22744 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24291 22744 566 18 0 24273 0
vsize: 97164
[startup+570.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 569817 0 0 0 55997 1012 0 0 25 0 1 0 797579653 102322176 23423 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24981 23423 566 18 0 24963 0
vsize: 99924
[startup+580.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 569919 0 0 0 56997 1012 0 0 25 0 1 0 797579653 102707200 23525 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25075 23525 566 18 0 25057 0
vsize: 100300
[startup+590.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 570450 0 0 0 57996 1012 0 0 25 0 1 0 797579653 104833024 24056 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25594 24056 566 18 0 25576 0
vsize: 102376
[startup+600.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 572055 0 0 0 58993 1015 0 0 25 0 1 0 797579653 111435776 25661 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27206 25661 566 18 0 27188 0
vsize: 108824
[startup+610.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 573866 0 0 0 59990 1019 0 0 25 0 1 0 797579653 118779904 27472 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28999 27472 566 18 0 28981 0
vsize: 115996
[startup+620.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 575480 0 0 0 60987 1022 0 0 25 0 1 0 797579653 125448192 29086 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30627 29086 566 18 0 30609 0
vsize: 122508
[startup+630.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 577108 0 0 0 61983 1026 0 0 25 0 1 0 797579653 132112384 30714 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32254 30714 566 18 0 32236 0
vsize: 129016
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 578595 0 0 0 62980 1029 0 0 25 0 1 0 797579653 138276864 32201 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33759 32201 566 18 0 33741 0
vsize: 135036
[startup+650.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 578917 0 0 0 63980 1030 0 0 25 0 1 0 797579653 139563008 32523 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34073 32523 566 18 0 34055 0
vsize: 136292
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579006 0 0 0 64980 1030 0 0 25 0 1 0 797579653 139948032 32612 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34167 32612 566 18 0 34149 0
vsize: 136668
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579099 0 0 0 65979 1031 0 0 25 0 1 0 797579653 140328960 32705 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34260 32705 566 18 0 34242 0
vsize: 137040
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579186 0 0 0 66979 1031 0 0 25 0 1 0 797579653 140709888 32792 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34353 32792 566 18 0 34335 0
vsize: 137412
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579274 0 0 0 67979 1031 0 0 25 0 1 0 797579653 141094912 32880 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34447 32880 566 18 0 34429 0
vsize: 137788
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579368 0 0 0 68979 1031 0 0 25 0 1 0 797579653 141475840 32974 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34540 32974 566 18 0 34522 0
vsize: 138160
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579441 0 0 0 69979 1032 0 0 25 0 1 0 797579653 141729792 33047 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34602 33047 566 18 0 34584 0
vsize: 138408
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579530 0 0 0 70979 1032 0 0 25 0 1 0 797579653 142118912 33136 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34697 33136 566 18 0 34679 0
vsize: 138788
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579615 0 0 0 71979 1032 0 0 25 0 1 0 797579653 142372864 33221 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34759 33221 566 18 0 34741 0
vsize: 139036
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579679 0 0 0 72979 1032 0 0 25 0 1 0 797579653 142626816 33285 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34821 33285 566 18 0 34803 0
vsize: 139284
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579804 0 0 0 73979 1033 0 0 25 0 1 0 797579653 143261696 33410 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34976 33410 566 18 0 34958 0
vsize: 139904
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579897 0 0 0 74979 1033 0 0 25 0 1 0 797579653 143642624 33503 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35069 33503 566 18 0 35051 0
vsize: 140276
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 579953 0 0 0 75979 1033 0 0 25 0 1 0 797579653 143769600 33559 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35100 33559 566 18 0 35082 0
vsize: 140400
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580038 0 0 0 76979 1033 0 0 25 0 1 0 797579653 144150528 33644 4294967295 134512640 134581267 3221224576 3221223352 1075291826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35193 33644 566 18 0 35175 0
vsize: 140772
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580102 0 0 0 77979 1033 0 0 25 0 1 0 797579653 144404480 33708 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35255 33708 566 18 0 35237 0
vsize: 141020
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580169 0 0 0 78979 1033 0 0 25 0 1 0 797579653 144658432 33775 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35317 33775 566 18 0 35299 0
vsize: 141268
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580269 0 0 0 79979 1033 0 0 25 0 1 0 797579653 145039360 33875 4294967295 134512640 134581267 3221224576 3221223488 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35410 33875 566 18 0 35392 0
vsize: 141640
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580388 0 0 0 80979 1034 0 0 25 0 1 0 797579653 145547264 33994 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35534 33994 566 18 0 35516 0
vsize: 142136
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580501 0 0 0 81979 1034 0 0 25 0 1 0 797579653 146059264 34107 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35659 34107 566 18 0 35641 0
vsize: 142636
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580586 0 0 0 82979 1034 0 0 25 0 1 0 797579653 146440192 34192 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35752 34192 566 18 0 35734 0
vsize: 143008
[startup+850.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580678 0 0 0 83979 1035 0 0 25 0 1 0 797579653 146825216 34284 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35846 34284 566 18 0 35828 0
vsize: 143384
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580760 0 0 0 84979 1035 0 0 25 0 1 0 797579653 147079168 34366 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35908 34366 566 18 0 35890 0
vsize: 143632
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580843 0 0 0 85979 1035 0 0 25 0 1 0 797579653 147460096 34449 4294967295 134512640 134581267 3221224576 3221223440 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36001 34449 566 18 0 35983 0
vsize: 144004
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 580933 0 0 0 86979 1035 0 0 25 0 1 0 797579653 147841024 34539 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36094 34539 566 18 0 36076 0
vsize: 144376
[startup+890.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581004 0 0 0 87979 1035 0 0 25 0 1 0 797579653 148099072 34610 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36157 34610 566 18 0 36139 0
vsize: 144628
[startup+900.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581092 0 0 0 88979 1035 0 0 25 0 1 0 797579653 148480000 34698 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36250 34698 566 18 0 36232 0
vsize: 145000
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581165 0 0 0 89979 1035 0 0 25 0 1 0 797579653 148733952 34771 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36312 34771 566 18 0 36294 0
vsize: 145248
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581251 0 0 0 90979 1036 0 0 25 0 1 0 797579653 149114880 34857 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36405 34857 566 18 0 36387 0
vsize: 145620
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581341 0 0 0 91979 1036 0 0 25 0 1 0 797579653 149495808 34947 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36498 34947 566 18 0 36480 0
vsize: 145992
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581428 0 0 0 92979 1036 0 0 25 0 1 0 797579653 149876736 35034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36591 35034 566 18 0 36573 0
vsize: 146364
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581519 0 0 0 93979 1037 0 0 25 0 1 0 797579653 150261760 35125 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36685 35125 566 18 0 36667 0
vsize: 146740
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581605 0 0 0 94978 1037 0 0 25 0 1 0 797579653 150515712 35211 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36747 35211 566 18 0 36729 0
vsize: 146988
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581685 0 0 0 95978 1038 0 0 25 0 1 0 797579653 150896640 35291 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36840 35291 566 18 0 36822 0
vsize: 147360
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581768 0 0 0 96978 1038 0 0 25 0 1 0 797579653 151281664 35374 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36934 35374 566 18 0 36916 0
vsize: 147736
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581850 0 0 0 97977 1039 0 0 25 0 1 0 797579653 151539712 35456 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36997 35456 566 18 0 36979 0
vsize: 147988
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 581930 0 0 0 98977 1039 0 0 25 0 1 0 797579653 151920640 35536 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37090 35536 566 18 0 37072 0
vsize: 148360
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582018 0 0 0 99977 1039 0 0 25 0 1 0 797579653 152305664 35624 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37184 35624 566 18 0 37166 0
vsize: 148736
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582099 0 0 0 100977 1039 0 0 25 0 1 0 797579653 152563712 35705 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37247 35705 566 18 0 37229 0
vsize: 148988
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582196 0 0 0 101977 1040 0 0 25 0 1 0 797579653 152952832 35802 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37342 35802 566 18 0 37324 0
vsize: 149368
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582270 0 0 0 102977 1040 0 0 25 0 1 0 797579653 153333760 35876 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37435 35876 566 18 0 37417 0
vsize: 149740
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582343 0 0 0 103977 1040 0 0 25 0 1 0 797579653 153591808 35949 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37498 35949 566 18 0 37480 0
vsize: 149992
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582393 0 0 0 104977 1040 0 0 25 0 1 0 797579653 153845760 35999 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37560 35999 566 18 0 37542 0
vsize: 150240
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582438 0 0 0 105977 1041 0 0 25 0 1 0 797579653 153976832 36044 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37592 36044 566 18 0 37574 0
vsize: 150368
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582494 0 0 0 106977 1041 0 0 25 0 1 0 797579653 154230784 36100 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37654 36100 566 18 0 37636 0
vsize: 150616
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582576 0 0 0 107977 1041 0 0 25 0 1 0 797579653 154484736 36182 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37716 36182 566 18 0 37698 0
vsize: 150864
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582620 0 0 0 108976 1041 0 0 25 0 1 0 797579653 154738688 36226 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37778 36226 566 18 0 37760 0
vsize: 151112
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582652 0 0 0 109976 1042 0 0 25 0 1 0 797579653 154869760 36258 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37810 36258 566 18 0 37792 0
vsize: 151240
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582690 0 0 0 110977 1042 0 0 25 0 1 0 797579653 154996736 36296 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37841 36296 566 18 0 37823 0
vsize: 151364
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582744 0 0 0 111976 1042 0 0 25 0 1 0 797579653 155250688 36350 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37903 36350 566 18 0 37885 0
vsize: 151612
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582789 0 0 0 112976 1042 0 0 25 0 1 0 797579653 155377664 36395 4294967295 134512640 134581267 3221224576 3221223488 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37934 36395 566 18 0 37916 0
vsize: 151736
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582834 0 0 0 113976 1043 0 0 25 0 1 0 797579653 155631616 36440 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37996 36440 566 18 0 37978 0
vsize: 151984
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582879 0 0 0 114976 1043 0 0 25 0 1 0 797579653 155758592 36485 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38027 36485 566 18 0 38009 0
vsize: 152108
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582924 0 0 0 115976 1043 0 0 25 0 1 0 797579653 156012544 36530 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38089 36530 566 18 0 38071 0
vsize: 152356
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 582970 0 0 0 116976 1043 0 0 25 0 1 0 797579653 156139520 36576 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38120 36576 566 18 0 38102 0
vsize: 152480
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 583014 0 0 0 117976 1043 0 0 25 0 1 0 797579653 156270592 36620 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38152 36620 566 18 0 38134 0
vsize: 152608
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 15880
Raw data (stat): 15880 (Pueblo-v2) R 15879 8378 8377 0 -1 0 583060 0 0 0 118976 1043 0 0 25 0 1 0 797579653 156528640 36666 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38215 36666 566 18 0 38197 0
vsize: 152860
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 15880
Raw data (stat): 15880 (Pueblo-v2) Z 15879 8378 8377 0 -1 1036 583060 0 0 0 118977 1050 0 0 25 0 1 0 797579653 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.09
CPU time (s): 1200.28
CPU user time (s): 1189.77
CPU system time (s): 10.5054
CPU usage (%): 100.015
Max. virtual memory (Kb): 152860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####