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-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
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	39195741828
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	39195741828
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	0.998847
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 39275

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-03 01:42:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27341 boxname=wulflinc4 idbench=1469 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 27341
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        588168 kB
Buffers:         31532 kB
Cached:         392016 kB
SwapCached:        568 kB
Active:          31192 kB
Inactive:       394520 kB
HighTotal:      131008 kB
HighFree:        82964 kB
LowTotal:       903652 kB
LowFree:        505204 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            14908 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:02:11 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27341 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 24505
Raw data (stat): 24505 (runsolver) R 24504 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854542242 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 74839 0 0 0 850 149 0 0 25 0 1 0 854542242 57761792 12442 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14102 12451 566 18 0 14084 0
vsize: 56408
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 378504 0 0 0 1291 708 0 0 25 0 1 0 854542242 59383808 12875 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14498 12883 566 18 0 14480 0
vsize: 57992
[startup+30.002 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 1964 1035 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 2964 1035 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 3964 1035 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 4964 1035 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 5964 1036 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223264 1075288251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+80.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 6964 1036 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 7964 1036 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 8964 1036 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 9964 1036 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223264 1075288312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559221 0 0 0 10964 1037 0 0 25 0 1 0 854542242 58859520 12827 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14370 12827 566 18 0 14352 0
vsize: 57480
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559530 0 0 0 11963 1037 0 0 25 0 1 0 854542242 60145664 13136 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14684 13136 566 18 0 14666 0
vsize: 58736
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559823 0 0 0 12963 1038 0 0 25 0 1 0 854542242 61304832 13429 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14967 13429 566 18 0 14949 0
vsize: 59868
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 559920 0 0 0 13962 1039 0 0 25 0 1 0 854542242 61673472 13526 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15057 13526 566 18 0 15039 0
vsize: 60228
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560017 0 0 0 14962 1039 0 0 25 0 1 0 854542242 62046208 13623 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15148 13623 566 18 0 15130 0
vsize: 60592
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560103 0 0 0 15961 1040 0 0 25 0 1 0 854542242 62414848 13709 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15238 13709 566 18 0 15220 0
vsize: 60952
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560163 0 0 0 16961 1040 0 0 25 0 1 0 854542242 62664704 13769 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15299 13769 566 18 0 15281 0
vsize: 61196
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560230 0 0 0 17961 1041 0 0 25 0 1 0 854542242 62918656 13836 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15361 13836 566 18 0 15343 0
vsize: 61444
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560290 0 0 0 18960 1042 0 0 25 0 1 0 854542242 63180800 13896 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15425 13896 566 18 0 15407 0
vsize: 61700
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560352 0 0 0 19960 1042 0 0 25 0 1 0 854542242 63438848 13958 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15488 13958 566 18 0 15470 0
vsize: 61952
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560423 0 0 0 20960 1042 0 0 25 0 1 0 854542242 63811584 14029 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15579 14029 566 18 0 15561 0
vsize: 62316
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560485 0 0 0 21960 1043 0 0 25 0 1 0 854542242 64069632 14091 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15642 14091 566 18 0 15624 0
vsize: 62568
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560548 0 0 0 22960 1043 0 0 25 0 1 0 854542242 64335872 14154 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15707 14154 566 18 0 15689 0
vsize: 62828
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560621 0 0 0 23960 1043 0 0 25 0 1 0 854542242 64548864 14227 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15759 14227 566 18 0 15741 0
vsize: 63036
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560688 0 0 0 24959 1044 0 0 25 0 1 0 854542242 64823296 14294 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15826 14294 566 18 0 15808 0
vsize: 63304
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560754 0 0 0 25958 1044 0 0 25 0 1 0 854542242 65077248 14360 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15888 14360 566 18 0 15870 0
vsize: 63552
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560828 0 0 0 26958 1044 0 0 25 0 1 0 854542242 65421312 14434 4294967295 134512640 134581267 3221224576 3221223488 134527658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15972 14434 566 18 0 15954 0
vsize: 63888
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560895 0 0 0 27958 1044 0 0 25 0 1 0 854542242 65667072 14501 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16032 14501 566 18 0 16014 0
vsize: 64128
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 560955 0 0 0 28958 1045 0 0 25 0 1 0 854542242 65892352 14561 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16087 14561 566 18 0 16069 0
vsize: 64348
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 561018 0 0 0 29958 1045 0 0 25 0 1 0 854542242 66142208 14624 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16148 14624 566 18 0 16130 0
vsize: 64592
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 561121 0 0 0 30958 1045 0 0 25 0 1 0 854542242 66641920 14727 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16270 14727 566 18 0 16252 0
vsize: 65080
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 561207 0 0 0 31958 1045 0 0 25 0 1 0 854542242 67039232 14813 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16367 14813 566 18 0 16349 0
vsize: 65468
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 562489 0 0 0 32955 1049 0 0 25 0 1 0 854542242 72290304 16095 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16095 566 18 0 17631 0
vsize: 70596
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 563791 0 0 0 33952 1051 0 0 25 0 1 0 854542242 77635584 17397 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18954 17397 566 18 0 18936 0
vsize: 75816
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 564101 0 0 0 34952 1052 0 0 25 0 1 0 854542242 78884864 17707 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19259 17707 566 18 0 19241 0
vsize: 77036
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 564210 0 0 0 35952 1052 0 0 25 0 1 0 854542242 79261696 17816 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19351 17816 566 18 0 19333 0
vsize: 77404
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 564550 0 0 0 36951 1053 0 0 25 0 1 0 854542242 80658432 18156 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18156 566 18 0 19674 0
vsize: 78768
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 564700 0 0 0 37951 1053 0 0 25 0 1 0 854542242 81301504 18306 4294967295 134512640 134581267 3221224576 3221223468 134560148 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19849 18306 566 18 0 19831 0
vsize: 79396
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 566329 0 0 0 38948 1057 0 0 25 0 1 0 854542242 87908352 19935 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21462 19935 566 18 0 21444 0
vsize: 85848
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 567619 0 0 0 39945 1060 0 0 25 0 1 0 854542242 93278208 21225 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22773 21225 566 18 0 22755 0
vsize: 91092
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 567778 0 0 0 40945 1060 0 0 25 0 1 0 854542242 93908992 21384 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22927 21384 566 18 0 22909 0
vsize: 91708
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 567823 0 0 0 41945 1060 0 0 25 0 1 0 854542242 94031872 21429 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22957 21429 566 18 0 22939 0
vsize: 91828
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 567891 0 0 0 42945 1061 0 0 25 0 1 0 854542242 94408704 21497 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23049 21497 566 18 0 23031 0
vsize: 92196
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 568135 0 0 0 43944 1061 0 0 25 0 1 0 854542242 95330304 21741 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23274 21741 566 18 0 23256 0
vsize: 93096
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 568481 0 0 0 44944 1062 0 0 25 0 1 0 854542242 96763904 22087 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23624 22087 566 18 0 23606 0
vsize: 94496
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 568828 0 0 0 45944 1062 0 0 25 0 1 0 854542242 98222080 22434 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23980 22434 566 18 0 23962 0
vsize: 95920
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 569103 0 0 0 46943 1063 0 0 25 0 1 0 854542242 99381248 22709 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24263 22709 566 18 0 24245 0
vsize: 97052
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 569272 0 0 0 47943 1064 0 0 25 0 1 0 854542242 100003840 22878 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24415 22878 566 18 0 24397 0
vsize: 97660
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 569775 0 0 0 48942 1065 0 0 25 0 1 0 854542242 102125568 23381 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24933 23381 566 18 0 24915 0
vsize: 99732
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 570043 0 0 0 49942 1065 0 0 25 0 1 0 854542242 103129088 23649 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25178 23649 566 18 0 25160 0
vsize: 100712
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 570353 0 0 0 50941 1066 0 0 25 0 1 0 854542242 104439808 23959 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25498 23959 566 18 0 25480 0
vsize: 101992
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 570490 0 0 0 51941 1067 0 0 25 0 1 0 854542242 105074688 24096 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25653 24096 566 18 0 25635 0
vsize: 102612
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 570686 0 0 0 52941 1067 0 0 25 0 1 0 854542242 105828352 24292 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25837 24292 566 18 0 25819 0
vsize: 103348
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 570837 0 0 0 53941 1067 0 0 25 0 1 0 854542242 106446848 24443 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25988 24443 566 18 0 25970 0
vsize: 103952
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 571174 0 0 0 54940 1068 0 0 25 0 1 0 854542242 107843584 24780 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26329 24780 566 18 0 26311 0
vsize: 105316
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 571500 0 0 0 55940 1068 0 0 25 0 1 0 854542242 109125632 25106 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26642 25106 566 18 0 26624 0
vsize: 106568
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 571732 0 0 0 56939 1069 0 0 25 0 1 0 854542242 110137344 25338 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26889 25338 566 18 0 26871 0
vsize: 107556
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 571933 0 0 0 57938 1070 0 0 25 0 1 0 854542242 110882816 25539 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27071 25539 566 18 0 27053 0
vsize: 108284
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572161 0 0 0 58938 1071 0 0 25 0 1 0 854542242 111902720 25767 4294967295 134512640 134581267 3221224576 3221223568 134560771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27320 25767 566 18 0 27302 0
vsize: 109280
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572443 0 0 0 59937 1071 0 0 25 0 1 0 854542242 113037312 26049 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27597 26049 566 18 0 27579 0
vsize: 110388
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572597 0 0 0 60937 1071 0 0 25 0 1 0 854542242 113692672 26203 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27757 26203 566 18 0 27739 0
vsize: 111028
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572729 0 0 0 61937 1072 0 0 25 0 1 0 854542242 114208768 26335 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27883 26335 566 18 0 27865 0
vsize: 111532
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572831 0 0 0 62938 1072 0 0 25 0 1 0 854542242 114589696 26437 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27976 26437 566 18 0 27958 0
vsize: 111904
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 572934 0 0 0 63937 1072 0 0 25 0 1 0 854542242 114970624 26540 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28069 26540 566 18 0 28051 0
vsize: 112276
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573033 0 0 0 64937 1072 0 0 25 0 1 0 854542242 115478528 26639 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28193 26639 566 18 0 28175 0
vsize: 112772
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573156 0 0 0 65937 1073 0 0 25 0 1 0 854542242 115986432 26762 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28317 26762 566 18 0 28299 0
vsize: 113268
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573294 0 0 0 66937 1073 0 0 25 0 1 0 854542242 116494336 26900 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28441 26900 566 18 0 28423 0
vsize: 113764
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573403 0 0 0 67937 1073 0 0 25 0 1 0 854542242 117002240 27009 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28565 27009 566 18 0 28547 0
vsize: 114260
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573509 0 0 0 68937 1074 0 0 25 0 1 0 854542242 117383168 27115 4294967295 134512640 134581267 3221224576 3221223488 134527649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28658 27115 566 18 0 28640 0
vsize: 114632
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573711 0 0 0 69937 1074 0 0 25 0 1 0 854542242 118153216 27317 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28846 27317 566 18 0 28828 0
vsize: 115384
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 573929 0 0 0 70937 1074 0 0 25 0 1 0 854542242 119042048 27535 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29063 27535 566 18 0 29045 0
vsize: 116252
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 574170 0 0 0 71937 1074 0 0 25 0 1 0 854542242 120090624 27776 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29319 27776 566 18 0 29301 0
vsize: 117276
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 574265 0 0 0 72937 1074 0 0 25 0 1 0 854542242 120471552 27871 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29412 27871 566 18 0 29394 0
vsize: 117648
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 574460 0 0 0 73937 1075 0 0 25 0 1 0 854542242 121233408 28066 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29598 28066 566 18 0 29580 0
vsize: 118392
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 574686 0 0 0 74936 1075 0 0 25 0 1 0 854542242 122228736 28292 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29841 28292 566 18 0 29823 0
vsize: 119364
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 574907 0 0 0 75936 1075 0 0 25 0 1 0 854542242 123117568 28513 4294967295 134512640 134581267 3221224576 3221223488 134527916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30058 28513 566 18 0 30040 0
vsize: 120232
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 575170 0 0 0 76936 1076 0 0 25 0 1 0 854542242 124141568 28776 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30308 28776 566 18 0 30290 0
vsize: 121232
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 575329 0 0 0 77937 1076 0 0 25 0 1 0 854542242 124776448 28935 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30463 28935 566 18 0 30445 0
vsize: 121852
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 575585 0 0 0 78936 1076 0 0 25 0 1 0 854542242 125927424 29191 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30744 29191 566 18 0 30726 0
vsize: 122976
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 575794 0 0 0 79935 1077 0 0 25 0 1 0 854542242 126697472 29400 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30932 29400 566 18 0 30914 0
vsize: 123728
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 575843 0 0 0 80935 1077 0 0 25 0 1 0 854542242 126951424 29449 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30994 29449 566 18 0 30976 0
vsize: 123976
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576036 0 0 0 81935 1078 0 0 25 0 1 0 854542242 127717376 29642 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31181 29642 566 18 0 31163 0
vsize: 124724
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576228 0 0 0 82935 1078 0 0 25 0 1 0 854542242 128499712 29834 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31372 29834 566 18 0 31354 0
vsize: 125488
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576419 0 0 0 83935 1079 0 0 25 0 1 0 854542242 129265664 30025 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31559 30025 566 18 0 31541 0
vsize: 126236
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576626 0 0 0 84934 1079 0 0 25 0 1 0 854542242 130154496 30232 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31776 30232 566 18 0 31758 0
vsize: 127104
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576856 0 0 0 85934 1079 0 0 25 0 1 0 854542242 131076096 30462 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32001 30462 566 18 0 31983 0
vsize: 128004
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 576979 0 0 0 86934 1080 0 0 25 0 1 0 854542242 131604480 30585 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32130 30585 566 18 0 32112 0
vsize: 128520
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 577105 0 0 0 87933 1080 0 0 25 0 1 0 854542242 132108288 30711 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32253 30711 566 18 0 32235 0
vsize: 129012
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 577267 0 0 0 88933 1081 0 0 25 0 1 0 854542242 132829184 30873 4294967295 134512640 134581267 3221224576 3221223488 134527642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32429 30873 566 18 0 32411 0
vsize: 129716
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 577503 0 0 0 89933 1081 0 0 25 0 1 0 854542242 133693440 31109 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32640 31109 566 18 0 32622 0
vsize: 130560
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 577705 0 0 0 90933 1082 0 0 25 0 1 0 854542242 134602752 31311 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32862 31311 566 18 0 32844 0
vsize: 131448
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 577873 0 0 0 91933 1082 0 0 25 0 1 0 854542242 135262208 31479 4294967295 134512640 134581267 3221224576 3221223264 1075288438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33023 31479 566 18 0 33005 0
vsize: 132092
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578055 0 0 0 92933 1082 0 0 25 0 1 0 854542242 136048640 31661 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33215 31661 566 18 0 33197 0
vsize: 132860
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578284 0 0 0 93932 1083 0 0 25 0 1 0 854542242 136937472 31890 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33432 31890 566 18 0 33414 0
vsize: 133728
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578488 0 0 0 94932 1083 0 0 25 0 1 0 854542242 137801728 32094 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33643 32094 566 18 0 33625 0
vsize: 134572
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578623 0 0 0 95931 1084 0 0 25 0 1 0 854542242 138305536 32229 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33766 32229 566 18 0 33748 0
vsize: 135064
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578794 0 0 0 96931 1084 0 0 25 0 1 0 854542242 139034624 32400 4294967295 134512640 134581267 3221224576 3221223568 134561076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33944 32400 566 18 0 33926 0
vsize: 135776
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 578978 0 0 0 97931 1085 0 0 25 0 1 0 854542242 139800576 32584 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34131 32584 566 18 0 34113 0
vsize: 136524
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 579151 0 0 0 98931 1085 0 0 25 0 1 0 854542242 140423168 32757 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34283 32757 566 18 0 34265 0
vsize: 137132
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 579324 0 0 0 99931 1085 0 0 25 0 1 0 854542242 141156352 32930 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34462 32930 566 18 0 34444 0
vsize: 137848
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 579575 0 0 0 100931 1085 0 0 25 0 1 0 854542242 142188544 33181 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34714 33181 566 18 0 34696 0
vsize: 138856
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 579708 0 0 0 101931 1085 0 0 25 0 1 0 854542242 142778368 33314 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34858 33314 566 18 0 34840 0
vsize: 139432
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 579933 0 0 0 102930 1086 0 0 25 0 1 0 854542242 143675392 33539 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35077 33539 566 18 0 35059 0
vsize: 140308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 580133 0 0 0 103930 1086 0 0 25 0 1 0 854542242 144551936 33739 4294967295 134512640 134581267 3221224576 3221223440 134560377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35291 33739 566 18 0 35273 0
vsize: 141164
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 580348 0 0 0 104930 1087 0 0 25 0 1 0 854542242 145453056 33954 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35511 33954 566 18 0 35493 0
vsize: 142044
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24505
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 580557 0 0 0 105929 1087 0 0 25 0 1 0 854542242 146345984 34163 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35729 34163 566 18 0 35711 0
vsize: 142916
[startup+1080.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 580710 0 0 0 106929 1088 0 0 25 0 1 0 854542242 146862080 34316 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35855 34316 566 18 0 35837 0
vsize: 143420
[startup+1090.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 580902 0 0 0 107929 1088 0 0 25 0 1 0 854542242 147730432 34508 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36067 34508 566 18 0 36049 0
vsize: 144268
[startup+1100.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 581072 0 0 0 108929 1089 0 0 25 0 1 0 854542242 148373504 34678 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36224 34678 566 18 0 36206 0
vsize: 144896
[startup+1110.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 581388 0 0 0 109928 1089 0 0 25 0 1 0 854542242 149712896 34994 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36551 34994 566 18 0 36533 0
vsize: 146204
[startup+1120.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 581641 0 0 0 110928 1089 0 0 25 0 1 0 854542242 150753280 35247 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36805 35247 566 18 0 36787 0
vsize: 147220
[startup+1130.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 581795 0 0 0 111928 1090 0 0 25 0 1 0 854542242 151363584 35401 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36954 35401 566 18 0 36936 0
vsize: 147816
[startup+1140.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24558
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 581957 0 0 0 112928 1090 0 0 25 0 1 0 854542242 151986176 35563 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 35563 566 18 0 37088 0
vsize: 148424
[startup+1150.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 582135 0 0 0 113928 1090 0 0 25 0 1 0 854542242 152748032 35741 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37292 35741 566 18 0 37274 0
vsize: 149168
[startup+1160.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 582375 0 0 0 114927 1091 0 0 25 0 1 0 854542242 153772032 35981 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37542 35981 566 18 0 37524 0
vsize: 150168
[startup+1170.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 582612 0 0 0 115927 1092 0 0 25 0 1 0 854542242 154664960 36218 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37760 36218 566 18 0 37742 0
vsize: 151040
[startup+1180.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 582840 0 0 0 116926 1092 0 0 25 0 1 0 854542242 155594752 36446 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37987 36446 566 18 0 37969 0
vsize: 151948
[startup+1190.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 582994 0 0 0 117926 1093 0 0 25 0 1 0 854542242 156258304 36600 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38149 36600 566 18 0 38131 0
vsize: 152596
[startup+1200.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24560
Raw data (stat): 24505 (Pueblo-v2) R 24504 21152 21151 0 -1 0 583147 0 0 0 118925 1094 0 0 25 0 1 0 854542242 156930048 36753 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38313 36753 566 18 0 38295 0
vsize: 153252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 24560
Raw data (stat): 24505 (Pueblo-v2) Z 24504 21152 21151 0 -1 1036 583147 0 0 0 118925 1100 0 0 25 0 1 0 854542242 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.1
CPU time (s): 1200.27
CPU user time (s): 1189.26
CPU system time (s): 11.0093
CPU usage (%): 100.014
Max. virtual memory (Kb): 153252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####