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/MIPLIB/miplib3/normalized-mps-v2-13-7-dano3mip.opb
MD5SUM	a9d7b9b5569d1dec981f274df34ef66e
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	555744750
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	35.1067
Number of variables	266924
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	600
Number of constraints which are nor clauses,nor cardinality constraints	3178
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 27153

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 19:35:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18259 boxname=wulflinc30 idbench=1405 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  a9d7b9b5569d1dec981f274df34ef66e  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-dano3mip.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-dano3mip.opb
IDLAUNCH: 18259
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        386044 kB
Buffers:         16684 kB
Cached:         599608 kB
SwapCached:        672 kB
Active:          48312 kB
Inactive:       570192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        385792 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            24372 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:55:48 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 18259 7 1200.41 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
Raw data (loadavg): 0.98 0.98 0.99 2/54 25693
Raw data (stat): 25693 (runsolver) R 25692 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832798764 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 8045 0 0 0 976 22 0 0 25 0 1 0 832798764 38621184 8024 4294967295 134512640 134581331 3221224592 3217028896 134545686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9429 8024 566 18 0 9411 0
vsize: 37716
[startup+20.0059 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 10942 0 0 0 1967 31 0 0 25 0 1 0 832798764 50352128 10921 4294967295 134512640 134581331 3221224592 3217028896 134542179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12293 10921 566 18 0 12275 0
vsize: 49172
[startup+30.0065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 233058 0 0 0 2492 506 0 0 25 0 1 0 832798764 105431040 18350 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25740 18358 566 18 0 25722 0
vsize: 102960
[startup+40.0076 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 488532 0 0 0 2938 1060 0 0 25 0 1 0 832798764 117862400 21437 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28775 21444 566 18 0 28757 0
vsize: 115100
[startup+50.0074 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 765613 0 0 0 3347 1651 0 0 25 0 1 0 832798764 120033280 22119 4294967295 134512640 134581331 3221224592 3221223632 134520845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29305 22119 566 18 0 29287 0
vsize: 117220
[startup+60.0079 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1030653 0 0 0 3766 2233 0 0 25 0 1 0 832798764 135401472 25637 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33057 25644 566 18 0 33039 0
vsize: 132228
[startup+70.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1281611 0 0 0 4231 2768 0 0 25 0 1 0 832798764 156966912 30994 4294967295 134512640 134581331 3221224592 3221223584 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38322 31001 566 18 0 38304 0
vsize: 153288
[startup+80.0088 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1337466 0 0 0 5111 2888 0 0 25 0 1 0 832798764 158613504 31517 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 31517 566 18 0 38706 0
vsize: 154896
[startup+90.0087 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1337466 0 0 0 6111 2888 0 0 25 0 1 0 832798764 158613504 31517 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 31517 566 18 0 38706 0
vsize: 154896
[startup+100.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1337466 0 0 0 7111 2888 0 0 25 0 1 0 832798764 158613504 31517 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 31517 566 18 0 38706 0
vsize: 154896
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1337845 0 0 0 8110 2890 0 0 25 0 1 0 832798764 160169984 31896 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39104 31896 566 18 0 39086 0
vsize: 156416
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1338793 0 0 0 9107 2893 0 0 25 0 1 0 832798764 164069376 32844 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40056 32844 566 18 0 40038 0
vsize: 160224
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1339748 0 0 0 10102 2898 0 0 25 0 1 0 832798764 167923712 33799 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40997 33799 566 18 0 40979 0
vsize: 163988
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1340666 0 0 0 11100 2900 0 0 25 0 1 0 832798764 171659264 34717 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41909 34717 566 18 0 41891 0
vsize: 167636
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1341597 0 0 0 12097 2904 0 0 25 0 1 0 832798764 175493120 35648 4294967295 134512640 134581331 3221224592 3221223456 134528490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42845 35648 566 18 0 42827 0
vsize: 171380
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1342511 0 0 0 13094 2907 0 0 25 0 1 0 832798764 179240960 36562 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43760 36562 566 18 0 43742 0
vsize: 175040
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1343421 0 0 0 14091 2910 0 0 25 0 1 0 832798764 183001088 37472 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44678 37472 566 18 0 44660 0
vsize: 178712
[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1344289 0 0 0 15089 2913 0 0 25 0 1 0 832798764 186601472 38340 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45557 38340 566 18 0 45539 0
vsize: 182228
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1345183 0 0 0 16086 2915 0 0 25 0 1 0 832798764 190189568 39234 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46433 39234 566 18 0 46415 0
vsize: 185732
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1346055 0 0 0 17083 2918 0 0 25 0 1 0 832798764 193810432 40106 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47317 40106 566 18 0 47299 0
vsize: 189268
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1346935 0 0 0 18081 2921 0 0 25 0 1 0 832798764 197427200 40986 4294967295 134512640 134581331 3221224592 3221223580 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48200 40986 566 18 0 48182 0
vsize: 192800
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1347772 0 0 0 19078 2923 0 0 25 0 1 0 832798764 200769536 41823 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49016 41823 566 18 0 48998 0
vsize: 196064
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1348610 0 0 0 20075 2927 0 0 25 0 1 0 832798764 204271616 42661 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49871 42661 566 18 0 49853 0
vsize: 199484
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1349438 0 0 0 21073 2929 0 0 25 0 1 0 832798764 207646720 43489 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50695 43489 566 18 0 50677 0
vsize: 202780
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1350275 0 0 0 22070 2932 0 0 25 0 1 0 832798764 211120128 44326 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51543 44326 566 18 0 51525 0
vsize: 206172
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1351107 0 0 0 23067 2935 0 0 25 0 1 0 832798764 214466560 45158 4294967295 134512640 134581331 3221224592 3221223580 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52360 45158 566 18 0 52342 0
vsize: 209440
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1351915 0 0 0 24065 2938 0 0 25 0 1 0 832798764 217837568 45966 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53183 45966 566 18 0 53165 0
vsize: 212732
[startup+280.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1352716 0 0 0 25062 2941 0 0 25 0 1 0 832798764 221081600 46767 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53975 46767 566 18 0 53957 0
vsize: 215900
[startup+290.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1353531 0 0 0 26060 2944 0 0 25 0 1 0 832798764 224444416 47582 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54796 47582 566 18 0 54778 0
vsize: 219184
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1354295 0 0 0 27057 2947 0 0 25 0 1 0 832798764 227684352 48346 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55587 48346 566 18 0 55569 0
vsize: 222348
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1355066 0 0 0 28055 2949 0 0 25 0 1 0 832798764 230785024 49117 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56344 49117 566 18 0 56326 0
vsize: 225376
[startup+320.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1355829 0 0 0 29052 2952 0 0 25 0 1 0 832798764 233881600 49880 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57100 49880 566 18 0 57082 0
vsize: 228400
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1356594 0 0 0 30049 2955 0 0 25 0 1 0 832798764 236998656 50645 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57861 50645 566 18 0 57843 0
vsize: 231444
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1357360 0 0 0 31047 2958 0 0 25 0 1 0 832798764 240209920 51411 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58645 51411 566 18 0 58627 0
vsize: 234580
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1358106 0 0 0 32044 2961 0 0 25 0 1 0 832798764 243200000 52157 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59375 52157 566 18 0 59357 0
vsize: 237500
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1358854 0 0 0 33042 2963 0 0 25 0 1 0 832798764 246321152 52905 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60137 52905 566 18 0 60119 0
vsize: 240548
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1359609 0 0 0 34039 2966 0 0 25 0 1 0 832798764 249413632 53660 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60892 53660 566 18 0 60874 0
vsize: 243568
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1360350 0 0 0 35037 2969 0 0 25 0 1 0 832798764 252350464 54401 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61609 54401 566 18 0 61591 0
vsize: 246436
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1361075 0 0 0 36034 2971 0 0 25 0 1 0 832798764 255336448 55126 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62338 55126 566 18 0 62320 0
vsize: 249352
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1361807 0 0 0 37032 2974 0 0 25 0 1 0 832798764 258301952 55858 4294967295 134512640 134581331 3221224592 3221223456 134528516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63062 55858 566 18 0 63044 0
vsize: 252248
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1362532 0 0 0 38029 2977 0 0 25 0 1 0 832798764 261279744 56583 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63789 56583 566 18 0 63771 0
vsize: 255156
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1363247 0 0 0 39027 2979 0 0 25 0 1 0 832798764 264253440 57298 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64515 57298 566 18 0 64497 0
vsize: 258060
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1363883 0 0 0 40025 2981 0 0 25 0 1 0 832798764 266866688 57934 4294967295 134512640 134581331 3221224592 3221223456 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65153 57934 566 18 0 65135 0
vsize: 260612
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1364579 0 0 0 41023 2983 0 0 25 0 1 0 832798764 269721600 58630 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65850 58630 566 18 0 65832 0
vsize: 263400
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1365282 0 0 0 42021 2986 0 0 25 0 1 0 832798764 272572416 59333 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66546 59333 566 18 0 66528 0
vsize: 266184
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1365974 0 0 0 43018 2989 0 0 25 0 1 0 832798764 275402752 60025 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67237 60025 566 18 0 67219 0
vsize: 268948
[startup+470.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1366660 0 0 0 44016 2991 0 0 25 0 1 0 832798764 278245376 60711 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67931 60711 566 18 0 67913 0
vsize: 271724
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1367365 0 0 0 45014 2993 0 0 25 0 1 0 832798764 281165824 61416 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68644 61416 566 18 0 68626 0
vsize: 274576
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1368059 0 0 0 46012 2995 0 0 25 0 1 0 832798764 284008448 62110 4294967295 134512640 134581331 3221224592 3221223536 134558812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69338 62110 566 18 0 69320 0
vsize: 277352
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1368739 0 0 0 47010 2998 0 0 25 0 1 0 832798764 286851072 62790 4294967295 134512640 134581331 3221224592 3221223584 134561125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70032 62790 566 18 0 70014 0
vsize: 280128
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1369422 0 0 0 48007 3001 0 0 25 0 1 0 832798764 289546240 63473 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70690 63473 566 18 0 70672 0
vsize: 282760
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1370090 0 0 0 49005 3003 0 0 25 0 1 0 832798764 292368384 64141 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71379 64141 566 18 0 71361 0
vsize: 285516
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1370747 0 0 0 50003 3005 0 0 25 0 1 0 832798764 294961152 64798 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72012 64798 566 18 0 71994 0
vsize: 288048
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1371411 0 0 0 51001 3007 0 0 25 0 1 0 832798764 297787392 65462 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72702 65462 566 18 0 72684 0
vsize: 290808
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1372069 0 0 0 51999 3010 0 0 25 0 1 0 832798764 300519424 66120 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73369 66120 566 18 0 73351 0
vsize: 293476
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1372717 0 0 0 52997 3011 0 0 25 0 1 0 832798764 303218688 66768 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74028 66768 566 18 0 74010 0
vsize: 296112
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1373366 0 0 0 53995 3014 0 0 25 0 1 0 832798764 305819648 67417 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74663 67417 566 18 0 74645 0
vsize: 298652
[startup+580.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1374003 0 0 0 54993 3016 0 0 25 0 1 0 832798764 308416512 68054 4294967295 134512640 134581331 3221224592 3221223504 134527420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75297 68054 566 18 0 75279 0
vsize: 301188
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1374635 0 0 0 55991 3018 0 0 25 0 1 0 832798764 311005184 68686 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75929 68686 566 18 0 75911 0
vsize: 303716
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1375285 0 0 0 56988 3021 0 0 25 0 1 0 832798764 313720832 69336 4294967295 134512640 134581331 3221224592 3221223580 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76592 69336 566 18 0 76574 0
vsize: 306368
[startup+610.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1375927 0 0 0 57987 3023 0 0 25 0 1 0 832798764 316305408 69978 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77223 69978 566 18 0 77205 0
vsize: 308892
[startup+620.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1376562 0 0 0 58985 3025 0 0 25 0 1 0 832798764 318894080 70613 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77855 70613 566 18 0 77837 0
vsize: 311420
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1377196 0 0 0 59982 3028 0 0 25 0 1 0 832798764 321490944 71247 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78489 71247 566 18 0 78471 0
vsize: 313956
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1377822 0 0 0 60980 3031 0 0 25 0 1 0 832798764 324050944 71873 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79114 71873 566 18 0 79096 0
vsize: 316456
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1378404 0 0 0 61977 3033 0 0 25 0 1 0 832798764 326512640 72455 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79715 72455 566 18 0 79697 0
vsize: 318860
[startup+660.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1379010 0 0 0 62975 3036 0 0 25 0 1 0 832798764 328970240 73061 4294967295 134512640 134581331 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80315 73061 566 18 0 80297 0
vsize: 321260
[startup+670.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1379599 0 0 0 63972 3039 0 0 25 0 1 0 832798764 331407360 73650 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80910 73650 566 18 0 80892 0
vsize: 323640
[startup+680.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1380204 0 0 0 64970 3041 0 0 25 0 1 0 832798764 333852672 74255 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81507 74255 566 18 0 81489 0
vsize: 326028
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1380806 0 0 0 65968 3044 0 0 25 0 1 0 832798764 336285696 74857 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82101 74857 566 18 0 82083 0
vsize: 328404
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1381403 0 0 0 66967 3045 0 0 25 0 1 0 832798764 338755584 75454 4294967295 134512640 134581331 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82704 75454 566 18 0 82686 0
vsize: 330816
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1382001 0 0 0 67965 3047 0 0 25 0 1 0 832798764 341200896 76052 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83301 76052 566 18 0 83283 0
vsize: 333204
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1382592 0 0 0 68962 3050 0 0 25 0 1 0 832798764 343662592 76643 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83902 76643 566 18 0 83884 0
vsize: 335608
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1383183 0 0 0 69961 3051 0 0 25 0 1 0 832798764 346005504 77234 4294967295 134512640 134581331 3221224592 3221223584 134561122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84474 77234 566 18 0 84456 0
vsize: 337896
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1383756 0 0 0 70959 3054 0 0 25 0 1 0 832798764 348311552 77807 4294967295 134512640 134581331 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85037 77807 566 18 0 85019 0
vsize: 340148
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1384343 0 0 0 71957 3056 0 0 25 0 1 0 832798764 350777344 78394 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85639 78394 566 18 0 85621 0
vsize: 342556
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1384936 0 0 0 72954 3058 0 0 25 0 1 0 832798764 353112064 78987 4294967295 134512640 134581331 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86209 78987 566 18 0 86191 0
vsize: 344836
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1385525 0 0 0 73951 3061 0 0 25 0 1 0 832798764 355565568 79576 4294967295 134512640 134581331 3221224592 3221223488 134517764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86808 79576 566 18 0 86790 0
vsize: 347232
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1386102 0 0 0 74950 3063 0 0 25 0 1 0 832798764 357900288 80153 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87378 80153 566 18 0 87360 0
vsize: 349512
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1386677 0 0 0 75947 3066 0 0 25 0 1 0 832798764 360235008 80728 4294967295 134512640 134581331 3221224592 3221223488 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87948 80728 566 18 0 87930 0
vsize: 351792
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387251 0 0 0 76946 3068 0 0 25 0 1 0 832798764 362680320 81302 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88545 81302 566 18 0 88527 0
vsize: 354180
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 77945 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 78945 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223228 1075288435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 79946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 80946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 81946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 82946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+870.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 83946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+880.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 84946 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 85947 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 86947 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 87948 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+920.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 88949 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+930.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 89950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+940.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 90950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+950.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 91950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223504 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+960.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 92950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+970.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 93950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+980.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 94950 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+990.055 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 95951 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 96951 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 97951 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 98951 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 99952 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 100953 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 101955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 102955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 103955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 104955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 105955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 106955 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 107956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 108956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 109956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 110956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223536 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 111956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387348 0 0 0 112956 3068 0 0 25 0 1 0 832798764 363073536 81399 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81399 566 18 0 88623 0
vsize: 354564
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387351 0 0 0 113957 3068 0 0 25 0 1 0 832798764 363073536 81402 4294967295 134512640 134581331 3221224592 3221223536 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81402 566 18 0 88623 0
vsize: 354564
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387351 0 0 0 114957 3068 0 0 25 0 1 0 832798764 363073536 81402 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81402 566 18 0 88623 0
vsize: 354564
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387351 0 0 0 115957 3068 0 0 25 0 1 0 832798764 363073536 81402 4294967295 134512640 134581331 3221224592 3221223536 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81402 566 18 0 88623 0
vsize: 354564
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25693
Raw data (stat): 25693 (Pueblo) R 25692 22056 22055 0 -1 0 1387351 0 0 0 116957 3068 0 0 25 0 1 0 832798764 363073536 81402 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88641 81402 566 18 0 88623 0
vsize: 354564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 25693
Raw data (stat): 25693 (Pueblo) Z 25692 22056 22055 0 -1 1036 1387351 0 0 0 116957 3083 0 0 25 0 1 0 832798764 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.23
CPU time (s): 1200.41
CPU user time (s): 1169.58
CPU system time (s): 30.8353
CPU usage (%): 100.015
Max. virtual memory (Kb): 354564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####