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/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 38515

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 11:28:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26573 boxname=wulflinc6 idbench=303 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 26573
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        744072 kB
Buffers:         33464 kB
Cached:         235604 kB
SwapCached:        552 kB
Active:          64068 kB
Inactive:       207116 kB
HighTotal:      131008 kB
HighFree:        14980 kB
LowTotal:       903652 kB
LowFree:        729092 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13692 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 11:48:14 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 26573 7 1200.5 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.92 0.95 0.93 1/54 16101
Raw data (stat): 16101 (runsolver) R 16100 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849426095 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.001 s]
Raw data (loadavg): 0.93 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 9380 0 0 0 974 25 0 0 25 0 1 0 849426095 44077056 9355 4294967295 134512640 134581267 3221224576 3217029024 134541485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10761 9355 566 18 0 10743 0
vsize: 43044
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 11423 0 0 0 1971 28 0 0 25 0 1 0 849426095 56791040 11271 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13865 11271 566 18 0 13847 0
vsize: 55460
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 11423 0 0 0 2971 29 0 0 25 0 1 0 849426095 56791040 11271 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13865 11271 566 18 0 13847 0
vsize: 55460
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 11423 0 0 0 3971 29 0 0 25 0 1 0 849426095 56791040 11271 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13865 11271 566 18 0 13847 0
vsize: 55460
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 36670 0 0 0 4930 70 0 0 25 0 1 0 849426095 57102336 11286 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11286 566 18 0 13923 0
vsize: 55764
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 364154 0 0 0 5394 607 0 0 25 0 1 0 849426095 57102336 11286 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11286 566 18 0 13923 0
vsize: 55764
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 691395 0 0 0 5849 1152 0 0 25 0 1 0 849426095 56791040 11271 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13865 11271 566 18 0 13847 0
vsize: 55460
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 1016690 0 0 0 6317 1684 0 0 25 0 1 0 849426095 57102336 11286 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11286 566 18 0 13923 0
vsize: 55764
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 1342898 0 0 0 6787 2214 0 0 25 0 1 0 849426095 57102336 11302 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11302 566 18 0 13923 0
vsize: 55764
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 1671206 0 0 0 7260 2741 0 0 25 0 1 0 849426095 57102336 11290 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11290 566 18 0 13923 0
vsize: 55764
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 1999608 0 0 0 7727 3275 0 0 25 0 1 0 849426095 57102336 11296 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11296 566 18 0 13923 0
vsize: 55764
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2327523 0 0 0 8194 3808 0 0 25 0 1 0 849426095 57102336 11347 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13941 11347 566 18 0 13923 0
vsize: 55764
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2501859 0 0 0 8909 4094 0 0 25 0 1 0 849426095 57315328 11339 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13993 11339 566 18 0 13975 0
vsize: 55972
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2501868 0 0 0 9909 4094 0 0 25 0 1 0 849426095 57315328 11348 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13993 11348 566 18 0 13975 0
vsize: 55972
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2501876 0 0 0 10909 4094 0 0 25 0 1 0 849426095 57315328 11356 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13993 11356 566 18 0 13975 0
vsize: 55972
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2501897 0 0 0 11909 4094 0 0 25 0 1 0 849426095 57450496 11377 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14026 11377 566 18 0 14008 0
vsize: 56104
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2502088 0 0 0 12908 4096 0 0 25 0 1 0 849426095 58126336 11568 4294967295 134512640 134581267 3221224576 3221223568 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14191 11568 566 18 0 14173 0
vsize: 56764
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2502278 0 0 0 13908 4096 0 0 25 0 1 0 849426095 58933248 11758 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14388 11758 566 18 0 14370 0
vsize: 57552
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2502469 0 0 0 14907 4098 0 0 25 0 1 0 849426095 59609088 11949 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14553 11949 566 18 0 14535 0
vsize: 58212
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2502657 0 0 0 15906 4098 0 0 25 0 1 0 849426095 60420096 12137 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14751 12137 566 18 0 14733 0
vsize: 59004
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2502847 0 0 0 16906 4099 0 0 25 0 1 0 849426095 61620224 12327 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15044 12327 566 18 0 15026 0
vsize: 60176
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503034 0 0 0 17906 4099 0 0 25 0 1 0 849426095 62431232 12514 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15242 12514 566 18 0 15224 0
vsize: 60968
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503217 0 0 0 18906 4099 0 0 25 0 1 0 849426095 63107072 12697 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15407 12697 566 18 0 15389 0
vsize: 61628
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503403 0 0 0 19906 4100 0 0 25 0 1 0 849426095 63918080 12883 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15605 12883 566 18 0 15587 0
vsize: 62420
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503593 0 0 0 20906 4100 0 0 25 0 1 0 849426095 64593920 13073 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15770 13073 566 18 0 15752 0
vsize: 63080
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503779 0 0 0 21906 4100 0 0 25 0 1 0 849426095 65269760 13259 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15935 13259 566 18 0 15917 0
vsize: 63740
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2503980 0 0 0 22906 4101 0 0 25 0 1 0 849426095 66080768 13460 4294967295 134512640 134581267 3221224576 3221223568 134531699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16133 13460 566 18 0 16115 0
vsize: 64532
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2504171 0 0 0 23906 4102 0 0 25 0 1 0 849426095 66891776 13651 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16331 13651 566 18 0 16313 0
vsize: 65324
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2504357 0 0 0 24905 4103 0 0 25 0 1 0 849426095 67567616 13837 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16496 13837 566 18 0 16478 0
vsize: 65984
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2505087 0 0 0 25904 4104 0 0 25 0 1 0 849426095 70541312 14567 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17222 14567 566 18 0 17204 0
vsize: 68888
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506087 0 0 0 26902 4106 0 0 25 0 1 0 849426095 74719232 15535 4294967295 134512640 134581267 3221224576 3221223568 134561073 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15535 566 18 0 18224 0
vsize: 72968
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506087 0 0 0 27902 4106 0 0 25 0 1 0 849426095 74719232 15535 4294967295 134512640 134581267 3221224576 3221223552 134560702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15535 566 18 0 18224 0
vsize: 72968
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506087 0 0 0 28903 4107 0 0 25 0 1 0 849426095 74719232 15535 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15535 566 18 0 18224 0
vsize: 72968
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506087 0 0 0 29903 4107 0 0 25 0 1 0 849426095 74719232 15535 4294967295 134512640 134581267 3221224576 3221223532 134519782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15535 566 18 0 18224 0
vsize: 72968
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506087 0 0 0 30903 4107 0 0 25 0 1 0 849426095 74719232 15535 4294967295 134512640 134581267 3221224576 3221223568 134560942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15535 566 18 0 18224 0
vsize: 72968
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 31904 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223552 134560751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 32904 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223488 134527605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 33904 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223456 134560386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 34905 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 35905 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 36905 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 37905 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 38906 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 39906 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506088 0 0 0 40907 4107 0 0 25 0 1 0 849426095 74719232 15536 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18242 15536 566 18 0 18224 0
vsize: 72968
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506121 0 0 0 41907 4107 0 0 25 0 1 0 849426095 74981376 15569 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15569 566 18 0 18288 0
vsize: 73224
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506123 0 0 0 42907 4107 0 0 25 0 1 0 849426095 74981376 15571 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15571 566 18 0 18288 0
vsize: 73224
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506124 0 0 0 43907 4107 0 0 25 0 1 0 849426095 74981376 15572 4294967295 134512640 134581267 3221224576 3221223472 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15572 566 18 0 18288 0
vsize: 73224
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506126 0 0 0 44908 4107 0 0 25 0 1 0 849426095 74981376 15574 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15574 566 18 0 18288 0
vsize: 73224
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506128 0 0 0 45908 4107 0 0 25 0 1 0 849426095 74981376 15576 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15576 566 18 0 18288 0
vsize: 73224
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506129 0 0 0 46908 4108 0 0 25 0 1 0 849426095 74981376 15577 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15577 566 18 0 18288 0
vsize: 73224
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506132 0 0 0 47909 4108 0 0 25 0 1 0 849426095 74981376 15580 4294967295 134512640 134581267 3221224576 3221223536 134554620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15580 566 18 0 18288 0
vsize: 73224
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506133 0 0 0 48909 4108 0 0 25 0 1 0 849426095 74981376 15581 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15581 566 18 0 18288 0
vsize: 73224
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506134 0 0 0 49909 4108 0 0 25 0 1 0 849426095 74981376 15582 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15582 566 18 0 18288 0
vsize: 73224
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506135 0 0 0 50910 4108 0 0 25 0 1 0 849426095 74981376 15583 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15583 566 18 0 18288 0
vsize: 73224
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506137 0 0 0 51910 4108 0 0 25 0 1 0 849426095 74981376 15585 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15585 566 18 0 18288 0
vsize: 73224
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506140 0 0 0 52910 4108 0 0 25 0 1 0 849426095 74981376 15588 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15588 566 18 0 18288 0
vsize: 73224
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506143 0 0 0 53911 4108 0 0 25 0 1 0 849426095 74981376 15591 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15591 566 18 0 18288 0
vsize: 73224
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506144 0 0 0 54911 4108 0 0 25 0 1 0 849426095 74981376 15592 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15592 566 18 0 18288 0
vsize: 73224
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506146 0 0 0 55912 4108 0 0 25 0 1 0 849426095 74981376 15594 4294967295 134512640 134581267 3221224576 3221223552 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15594 566 18 0 18288 0
vsize: 73224
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506148 0 0 0 56912 4108 0 0 25 0 1 0 849426095 74981376 15596 4294967295 134512640 134581267 3221224576 3221223568 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15596 566 18 0 18288 0
vsize: 73224
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506150 0 0 0 57912 4108 0 0 25 0 1 0 849426095 74981376 15598 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15598 566 18 0 18288 0
vsize: 73224
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506152 0 0 0 58913 4108 0 0 25 0 1 0 849426095 74981376 15600 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18306 15600 566 18 0 18288 0
vsize: 73224
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506155 0 0 0 59913 4108 0 0 25 0 1 0 849426095 75243520 15603 4294967295 134512640 134581267 3221224576 3221223536 134554616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18370 15603 566 18 0 18352 0
vsize: 73480
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506413 0 0 0 60913 4109 0 0 25 0 1 0 849426095 76304384 15861 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18629 15861 566 18 0 18611 0
vsize: 74516
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506617 0 0 0 61912 4110 0 0 25 0 1 0 849426095 77238272 16065 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18857 16065 566 18 0 18839 0
vsize: 75428
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2506851 0 0 0 62912 4110 0 0 25 0 1 0 849426095 78147584 16299 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19079 16299 566 18 0 19061 0
vsize: 76316
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2507165 0 0 0 63911 4112 0 0 25 0 1 0 849426095 79433728 16613 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19393 16613 566 18 0 19375 0
vsize: 77572
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2507546 0 0 0 64910 4113 0 0 25 0 1 0 849426095 80990208 16994 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19773 16994 566 18 0 19755 0
vsize: 79092
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2507869 0 0 0 65909 4114 0 0 25 0 1 0 849426095 82313216 17317 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20096 17317 566 18 0 20078 0
vsize: 80384
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2508065 0 0 0 66909 4115 0 0 25 0 1 0 849426095 83095552 17513 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20287 17513 566 18 0 20269 0
vsize: 81148
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2508347 0 0 0 67908 4116 0 0 25 0 1 0 849426095 84291584 17795 4294967295 134512640 134581267 3221224576 3221223456 134560322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20579 17795 566 18 0 20561 0
vsize: 82316
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2508656 0 0 0 68908 4116 0 0 25 0 1 0 849426095 85479424 18104 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20869 18104 566 18 0 20851 0
vsize: 83476
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2509057 0 0 0 69908 4117 0 0 25 0 1 0 849426095 87187456 18505 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21286 18505 566 18 0 21268 0
vsize: 85144
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2509288 0 0 0 70907 4118 0 0 25 0 1 0 849426095 88113152 18736 4294967295 134512640 134581267 3221224576 3221223632 134556093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21512 18736 566 18 0 21494 0
vsize: 86048
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2509503 0 0 0 71907 4119 0 0 25 0 1 0 849426095 88907776 18951 4294967295 134512640 134581267 3221224576 3221223552 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21706 18951 566 18 0 21688 0
vsize: 86824
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2510353 0 0 0 72906 4120 0 0 25 0 1 0 849426095 92450816 19801 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22571 19801 566 18 0 22553 0
vsize: 90284
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2511027 0 0 0 73905 4122 0 0 25 0 1 0 849426095 95215616 20475 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23246 20475 566 18 0 23228 0
vsize: 92984
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2511753 0 0 0 74904 4123 0 0 25 0 1 0 849426095 98086912 21201 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23947 21201 566 18 0 23929 0
vsize: 95788
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2512506 0 0 0 75902 4125 0 0 25 0 1 0 849426095 101232640 21954 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24715 21954 566 18 0 24697 0
vsize: 98860
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2513379 0 0 0 76900 4128 0 0 25 0 1 0 849426095 104865792 22827 4294967295 134512640 134581267 3221224576 3221223460 1075693979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25602 22827 566 18 0 25584 0
vsize: 102408
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2514179 0 0 0 77897 4131 0 0 25 0 1 0 849426095 108109824 23627 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26394 23627 566 18 0 26376 0
vsize: 105576
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2514910 0 0 0 78896 4133 0 0 25 0 1 0 849426095 111075328 24358 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27118 24358 566 18 0 27100 0
vsize: 108472
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2515859 0 0 0 79893 4136 0 0 25 0 1 0 849426095 114925568 25307 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28058 25307 566 18 0 28040 0
vsize: 112232
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2516616 0 0 0 80892 4138 0 0 25 0 1 0 849426095 118038528 26064 4294967295 134512640 134581267 3221224576 3221223368 1075288535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28818 26064 566 18 0 28800 0
vsize: 115272
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2516995 0 0 0 81891 4139 0 0 25 0 1 0 849426095 119615488 26443 4294967295 134512640 134581267 3221224576 3221223504 134519867 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29203 26443 566 18 0 29185 0
vsize: 116812
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517176 0 0 0 82890 4140 0 0 25 0 1 0 849426095 120406016 26624 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29396 26624 566 18 0 29378 0
vsize: 117584
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517321 0 0 0 83890 4140 0 0 25 0 1 0 849426095 120934400 26769 4294967295 134512640 134581267 3221224576 3221223264 1075289306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29525 26769 566 18 0 29507 0
vsize: 118100
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517501 0 0 0 84890 4141 0 0 25 0 1 0 849426095 121720832 26949 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29717 26949 566 18 0 29699 0
vsize: 118868
[startup+900.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517643 0 0 0 85890 4141 0 0 25 0 1 0 849426095 122265600 27091 4294967295 134512640 134581267 3221224576 3221223504 134519945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29850 27091 566 18 0 29832 0
vsize: 119400
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517797 0 0 0 86890 4142 0 0 25 0 1 0 849426095 122937344 27245 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30014 27245 566 18 0 29996 0
vsize: 120056
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2517985 0 0 0 87890 4142 0 0 25 0 1 0 849426095 123748352 27433 4294967295 134512640 134581267 3221224576 3221223476 134528024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30212 27433 566 18 0 30194 0
vsize: 120848
[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518148 0 0 0 88889 4143 0 0 25 0 1 0 849426095 124407808 27596 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30373 27596 566 18 0 30355 0
vsize: 121492
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518358 0 0 0 89889 4144 0 0 25 0 1 0 849426095 125214720 27806 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30570 27806 566 18 0 30552 0
vsize: 122280
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518492 0 0 0 90888 4145 0 0 25 0 1 0 849426095 126275584 27940 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30829 27940 566 18 0 30811 0
vsize: 123316
[startup+960.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518604 0 0 0 91888 4145 0 0 25 0 1 0 849426095 126676992 28052 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30927 28052 566 18 0 30909 0
vsize: 123708
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518747 0 0 0 92888 4146 0 0 25 0 1 0 849426095 127344640 28195 4294967295 134512640 134581267 3221224576 3221223504 134519844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31090 28195 566 18 0 31072 0
vsize: 124360
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2518925 0 0 0 93888 4146 0 0 25 0 1 0 849426095 128008192 28373 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31252 28373 566 18 0 31234 0
vsize: 125008
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519124 0 0 0 94888 4147 0 0 25 0 1 0 849426095 128933888 28572 4294967295 134512640 134581267 3221224576 3221223520 134559043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31478 28572 566 18 0 31460 0
vsize: 125912
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519235 0 0 0 95888 4147 0 0 25 0 1 0 849426095 129331200 28683 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31575 28683 566 18 0 31557 0
vsize: 126300
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519359 0 0 0 96888 4148 0 0 25 0 1 0 849426095 129871872 28807 4294967295 134512640 134581267 3221224576 3221223568 134560619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31707 28807 566 18 0 31689 0
vsize: 126828
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519532 0 0 0 97887 4149 0 0 25 0 1 0 849426095 130531328 28980 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31868 28980 566 18 0 31850 0
vsize: 127472
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519709 0 0 0 98887 4149 0 0 25 0 1 0 849426095 131354624 29157 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32069 29157 566 18 0 32051 0
vsize: 128276
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519849 0 0 0 99887 4150 0 0 25 0 1 0 849426095 131887104 29297 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32199 29297 566 18 0 32181 0
vsize: 128796
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2519996 0 0 0 100887 4150 0 0 25 0 1 0 849426095 132554752 29444 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32362 29444 566 18 0 32344 0
vsize: 129448
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2520278 0 0 0 101887 4151 0 0 25 0 1 0 849426095 133599232 29726 4294967295 134512640 134581267 3221224576 3221223560 134560628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32617 29726 566 18 0 32599 0
vsize: 130468
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2520465 0 0 0 102886 4151 0 0 25 0 1 0 849426095 134389760 29913 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32810 29913 566 18 0 32792 0
vsize: 131240
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2520553 0 0 0 103887 4152 0 0 25 0 1 0 849426095 134782976 30001 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32906 30001 566 18 0 32888 0
vsize: 131624
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2520853 0 0 0 104886 4152 0 0 25 0 1 0 849426095 135962624 30301 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33194 30301 566 18 0 33176 0
vsize: 132776
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2521172 0 0 0 105886 4153 0 0 25 0 1 0 849426095 137285632 30620 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33517 30620 566 18 0 33499 0
vsize: 134068
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2521500 0 0 0 106885 4154 0 0 25 0 1 0 849426095 138608640 30948 4294967295 134512640 134581267 3221224576 3221223504 134520030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 30948 566 18 0 33822 0
vsize: 135360
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2521838 0 0 0 107884 4155 0 0 25 0 1 0 849426095 140062720 31286 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34195 31286 566 18 0 34177 0
vsize: 136780
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2522156 0 0 0 108884 4156 0 0 25 0 1 0 849426095 141373440 31604 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34515 31604 566 18 0 34497 0
vsize: 138060
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2522461 0 0 0 109884 4157 0 0 25 0 1 0 849426095 142532608 31909 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34798 31909 566 18 0 34780 0
vsize: 139192
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2522749 0 0 0 110883 4158 0 0 25 0 1 0 849426095 143704064 32197 4294967295 134512640 134581267 3221224576 3221223568 134560622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35084 32197 566 18 0 35066 0
vsize: 140336
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2523149 0 0 0 111883 4158 0 0 25 0 1 0 849426095 145436672 32597 4294967295 134512640 134581267 3221224576 3221223480 134560258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35507 32597 566 18 0 35489 0
vsize: 142028
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2523505 0 0 0 112882 4159 0 0 25 0 1 0 849426095 146952192 32953 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35877 32953 566 18 0 35859 0
vsize: 143508
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2523842 0 0 0 113882 4160 0 0 25 0 1 0 849426095 148262912 33290 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36197 33290 566 18 0 36179 0
vsize: 144788
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2524174 0 0 0 114881 4162 0 0 25 0 1 0 849426095 149712896 33622 4294967295 134512640 134581267 3221224576 3221223456 134560331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36551 33622 566 18 0 36533 0
vsize: 146204
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 16101
Raw data (stat): 16101 (Pueblo-v2) R 16100 25568 25567 0 -1 0 2524490 0 0 0 115880 4163 0 0 25 0 1 0 849426095 151007232 33938 4294967295 134512640 134581267 3221224576 3221223504 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36867 33938 566 18 0 36849 0
vsize: 147468
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 16101
Raw data (stat): 16101 (Pueblo-v2) Z 16100 25568 25567 0 -1 1036 2524490 0 0 0 115880 4169 0 0 25 0 1 0 849426095 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.5
CPU user time (s): 1158.81
CPU system time (s): 41.6947
CPU usage (%): 100.032
Max. virtual memory (Kb): 147468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####