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/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	4250
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 23790

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 21:03:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1168 boxname=wulflinc31 idbench=130 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
IDLAUNCH: 1168
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        903484 kB
Buffers:         44740 kB
Cached:          64000 kB
SwapCached:        944 kB
Active:          90404 kB
Inactive:        20780 kB
HighTotal:      131008 kB
HighFree:        66192 kB
LowTotal:       903652 kB
LowFree:        837292 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14492 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 21:23:44 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 1168 7 1200.3 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.93 1.00 0.99 2/54 6314
Raw data (stat): 6314 (runsolver) R 6313 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660491871 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.94 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 2636 0 0 0 988 9 0 0 25 0 1 0 660491871 16842752 2613 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4112 2613 566 18 0 4094 0
vsize: 16448
[startup+20.0007 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 3247 0 0 0 1986 11 0 0 25 0 1 0 660491871 19431424 3224 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4744 3224 566 18 0 4726 0
vsize: 18976
[startup+30.0013 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 4458 0 0 0 2983 14 0 0 25 0 1 0 660491871 24367104 4435 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5949 4435 566 18 0 5931 0
vsize: 23796
[startup+40.0012 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 5545 0 0 0 3981 17 0 0 25 0 1 0 660491871 28860416 5522 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7046 5522 566 18 0 7028 0
vsize: 28184
[startup+50.0025 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 6538 0 0 0 4979 19 0 0 25 0 1 0 660491871 32919552 6515 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8037 6515 566 18 0 8019 0
vsize: 32148
[startup+60.0021 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 7539 0 0 0 5976 22 0 0 25 0 1 0 660491871 36995072 7516 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9065 7518 566 18 0 9047 0
vsize: 36128
[startup+70.002 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 8500 0 0 0 6974 24 0 0 25 0 1 0 660491871 40935424 8477 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9994 8477 566 18 0 9976 0
vsize: 39976
[startup+80.0032 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 9287 0 0 0 7973 26 0 0 25 0 1 0 660491871 44171264 9264 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10784 9264 566 18 0 10766 0
vsize: 43136
[startup+90.0029 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 10284 0 0 0 8970 28 0 0 25 0 1 0 660491871 48316416 10261 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11796 10261 566 18 0 11778 0
vsize: 47184
[startup+100.004 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 11208 0 0 0 9968 31 0 0 25 0 1 0 660491871 52101120 11185 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12720 11185 566 18 0 12702 0
vsize: 50880
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 12002 0 0 0 10966 33 0 0 25 0 1 0 660491871 55242752 11979 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13487 11979 566 18 0 13469 0
vsize: 53948
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6314
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 12736 0 0 0 11964 36 0 0 25 0 1 0 660491871 58355712 12713 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14247 12713 566 18 0 14229 0
vsize: 56988
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 13412 0 0 0 12962 37 0 0 25 0 1 0 660491871 61116416 13389 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14921 13389 566 18 0 14903 0
vsize: 59684
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 14084 0 0 0 13960 39 0 0 25 0 1 0 660491871 63848448 14061 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15588 14061 566 18 0 15570 0
vsize: 62352
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 14706 0 0 0 14959 40 0 0 25 0 1 0 660491871 66473984 14683 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16229 14683 566 18 0 16211 0
vsize: 64916
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 15284 0 0 0 15958 42 0 0 25 0 1 0 660491871 68833280 15261 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16805 15261 566 18 0 16787 0
vsize: 67220
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 15872 0 0 0 16956 44 0 0 25 0 1 0 660491871 71208960 15849 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17385 15849 566 18 0 17367 0
vsize: 69540
[startup+180.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 16411 0 0 0 17954 46 0 0 25 0 1 0 660491871 73482240 16388 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17940 16388 566 18 0 17922 0
vsize: 71760
[startup+190.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 17053 0 0 0 18953 48 0 0 25 0 1 0 660491871 76103680 17030 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18580 17030 566 18 0 18562 0
vsize: 74320
[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 17670 0 0 0 19952 49 0 0 25 0 1 0 660491871 78626816 17647 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19196 17647 566 18 0 19178 0
vsize: 76784
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 18292 0 0 0 20950 51 0 0 25 0 1 0 660491871 81117184 18269 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19804 18269 566 18 0 19786 0
vsize: 79216
[startup+220.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 18976 0 0 0 21949 52 0 0 25 0 1 0 660491871 83914752 18953 4294967295 134512640 134581331 3221221792 3221220720 134519880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20487 18953 566 18 0 20469 0
vsize: 81948
[startup+230.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 19673 0 0 0 22947 54 0 0 25 0 1 0 660491871 86851584 19650 4294967295 134512640 134581331 3221221792 3221220508 1075289077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21204 19650 566 18 0 21186 0
vsize: 84816
[startup+240.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 20313 0 0 0 23946 55 0 0 25 0 1 0 660491871 89411584 20290 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21829 20290 566 18 0 21811 0
vsize: 87316
[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 20935 0 0 0 24945 57 0 0 25 0 1 0 660491871 91983872 20912 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22457 20912 566 18 0 22439 0
vsize: 89828
[startup+260.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 21554 0 0 0 25944 58 0 0 25 0 1 0 660491871 94576640 21531 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23090 21531 566 18 0 23072 0
vsize: 92360
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 22165 0 0 0 26943 59 0 0 25 0 1 0 660491871 97021952 22142 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23687 22142 566 18 0 23669 0
vsize: 94748
[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 22752 0 0 0 27942 60 0 0 25 0 1 0 660491871 99467264 22729 4294967295 134512640 134581331 3221221792 3221220700 134560303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24284 22729 566 18 0 24266 0
vsize: 97136
[startup+290.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 23303 0 0 0 28940 62 0 0 25 0 1 0 660491871 101617664 23280 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24809 23280 566 18 0 24791 0
vsize: 99236
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 23820 0 0 0 29939 64 0 0 25 0 1 0 660491871 103739392 23797 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25327 23797 566 18 0 25309 0
vsize: 101308
[startup+310.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 24330 0 0 0 30938 65 0 0 25 0 1 0 660491871 105893888 24307 4294967295 134512640 134581331 3221221792 3221220672 134560387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25853 24307 566 18 0 25835 0
vsize: 103412
[startup+320.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 24861 0 0 0 31937 66 0 0 25 0 1 0 660491871 108040192 24838 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26377 24838 566 18 0 26359 0
vsize: 105508
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 25271 0 0 0 32936 67 0 0 25 0 1 0 660491871 109694976 25248 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26781 25248 566 18 0 26763 0
vsize: 107124
[startup+340.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 25770 0 0 0 33935 68 0 0 25 0 1 0 660491871 111849472 25747 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27307 25747 566 18 0 27289 0
vsize: 109228
[startup+350.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 26271 0 0 0 34934 69 0 0 25 0 1 0 660491871 113823744 26248 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27789 26248 566 18 0 27771 0
vsize: 111156
[startup+360.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 26750 0 0 0 35933 70 0 0 25 0 1 0 660491871 115806208 26727 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28273 26727 566 18 0 28255 0
vsize: 113092
[startup+370.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 27206 0 0 0 36933 71 0 0 25 0 1 0 660491871 117710848 27183 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28738 27183 566 18 0 28720 0
vsize: 114952
[startup+380.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 27764 0 0 0 37932 72 0 0 25 0 1 0 660491871 119996416 27741 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29296 27741 566 18 0 29278 0
vsize: 117184
[startup+390.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 28186 0 0 0 38931 73 0 0 25 0 1 0 660491871 121643008 28163 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29698 28163 566 18 0 29680 0
vsize: 118792
[startup+400.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 28659 0 0 0 39930 74 0 0 25 0 1 0 660491871 123580416 28636 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30171 28636 566 18 0 30153 0
vsize: 120684
[startup+410.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 29124 0 0 0 40929 76 0 0 25 0 1 0 660491871 125493248 29101 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30638 29101 566 18 0 30620 0
vsize: 122552
[startup+420.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 29471 0 0 0 41929 76 0 0 25 0 1 0 660491871 126947328 29448 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30993 29448 566 18 0 30975 0
vsize: 123972
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 29945 0 0 0 42928 77 0 0 25 0 1 0 660491871 128892928 29922 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31468 29922 566 18 0 31450 0
vsize: 125872
[startup+440.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 30457 0 0 0 43927 78 0 0 25 0 1 0 660491871 130990080 30434 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31980 30434 566 18 0 31962 0
vsize: 127920
[startup+450.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 30985 0 0 0 44925 80 0 0 25 0 1 0 660491871 133169152 30962 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32512 30962 566 18 0 32494 0
vsize: 130048
[startup+460.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 31422 0 0 0 45924 82 0 0 25 0 1 0 660491871 134979584 31399 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32954 31399 566 18 0 32936 0
vsize: 131816
[startup+470.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 32069 0 0 0 46922 83 0 0 25 0 1 0 660491871 137547776 32046 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33581 32046 566 18 0 33563 0
vsize: 134324
[startup+480.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 32512 0 0 0 47921 85 0 0 25 0 1 0 660491871 139337728 32489 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34018 32489 566 18 0 34000 0
vsize: 136072
[startup+490.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 32913 0 0 0 48920 86 0 0 25 0 1 0 660491871 141033472 32890 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34432 32890 566 18 0 34414 0
vsize: 137728
[startup+500.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 33443 0 0 0 49919 87 0 0 25 0 1 0 660491871 143179776 33420 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34956 33420 566 18 0 34938 0
vsize: 139824
[startup+510.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 33955 0 0 0 50918 88 0 0 25 0 1 0 660491871 145584128 33932 4294967295 134512640 134581331 3221221792 3221220752 134519781 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35543 33932 566 18 0 35525 0
vsize: 142172
[startup+520.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 34451 0 0 0 51917 90 0 0 25 0 1 0 660491871 147623936 34428 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36041 34428 566 18 0 36023 0
vsize: 144164
[startup+530.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 35009 0 0 0 52916 91 0 0 25 0 1 0 660491871 149860352 34986 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36587 34986 566 18 0 36569 0
vsize: 146348
[startup+540.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 35559 0 0 0 53915 92 0 0 25 0 1 0 660491871 152088576 35536 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37131 35536 566 18 0 37113 0
vsize: 148524
[startup+550.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 36057 0 0 0 54914 93 0 0 25 0 1 0 660491871 154103808 36034 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37623 36034 566 18 0 37605 0
vsize: 150492
[startup+560.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 36632 0 0 0 55913 95 0 0 25 0 1 0 660491871 156467200 36609 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38200 36609 566 18 0 38182 0
vsize: 152800
[startup+570.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 37154 0 0 0 56912 96 0 0 25 0 1 0 660491871 158597120 37131 4294967295 134512640 134581331 3221221792 3221220720 134519835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38720 37131 566 18 0 38702 0
vsize: 154880
[startup+580.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 37596 0 0 0 57911 97 0 0 25 0 1 0 660491871 160391168 37573 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39158 37573 566 18 0 39140 0
vsize: 156632
[startup+590.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 38081 0 0 0 58910 98 0 0 25 0 1 0 660491871 162447360 38058 4294967295 134512640 134581331 3221221792 3221220768 134560753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39660 38058 566 18 0 39642 0
vsize: 158640
[startup+600.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 38553 0 0 0 59909 99 0 0 25 0 1 0 660491871 164392960 38530 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40135 38530 566 18 0 40117 0
vsize: 160540
[startup+610.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 39039 0 0 0 60908 100 0 0 25 0 1 0 660491871 166350848 39016 4294967295 134512640 134581331 3221221792 3221220720 134519931 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40613 39016 566 18 0 40595 0
vsize: 162452
[startup+620.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 39528 0 0 0 61907 101 0 0 25 0 1 0 660491871 168300544 39505 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41089 39505 566 18 0 41071 0
vsize: 164356
[startup+630.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 39923 0 0 0 62907 102 0 0 25 0 1 0 660491871 170004480 39900 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41505 39900 566 18 0 41487 0
vsize: 166020
[startup+640.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 40258 0 0 0 63907 102 0 0 25 0 1 0 660491871 171315200 40235 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41825 40235 566 18 0 41807 0
vsize: 167300
[startup+650.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 40617 0 0 0 64906 103 0 0 25 0 1 0 660491871 172847104 40594 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42199 40594 566 18 0 42181 0
vsize: 168796
[startup+660.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 41065 0 0 0 65905 104 0 0 25 0 1 0 660491871 174579712 41042 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42622 41042 566 18 0 42604 0
vsize: 170488
[startup+670.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 41409 0 0 0 66904 106 0 0 25 0 1 0 660491871 176107520 41386 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42995 41386 566 18 0 42977 0
vsize: 171980
[startup+680.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 41776 0 0 0 67903 106 0 0 25 0 1 0 660491871 177557504 41753 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43349 41753 566 18 0 43331 0
vsize: 173396
[startup+690.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 42221 0 0 0 68902 108 0 0 25 0 1 0 660491871 179322880 42198 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43780 42198 566 18 0 43762 0
vsize: 175120
[startup+700.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 42584 0 0 0 69902 109 0 0 25 0 1 0 660491871 180850688 42561 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44153 42561 566 18 0 44135 0
vsize: 176612
[startup+710.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 43003 0 0 0 70900 110 0 0 25 0 1 0 660491871 182538240 42980 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44565 42980 566 18 0 44547 0
vsize: 178260
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 43414 0 0 0 71899 111 0 0 25 0 1 0 660491871 184201216 43391 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44971 43391 566 18 0 44953 0
vsize: 179884
[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 43748 0 0 0 72898 112 0 0 25 0 1 0 660491871 185630720 43725 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45320 43725 566 18 0 45302 0
vsize: 181280
[startup+740.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 44113 0 0 0 73897 113 0 0 25 0 1 0 660491871 187179008 44090 4294967295 134512640 134581331 3221221792 3221220760 134554653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45698 44090 566 18 0 45680 0
vsize: 182792
[startup+750.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 44482 0 0 0 74897 115 0 0 25 0 1 0 660491871 188596224 44459 4294967295 134512640 134581331 3221221792 3221220688 134517875 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46044 44459 566 18 0 46026 0
vsize: 184176
[startup+760.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 44889 0 0 0 75896 115 0 0 25 0 1 0 660491871 190238720 44866 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46445 44866 566 18 0 46427 0
vsize: 185780
[startup+770.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 45280 0 0 0 76896 115 0 0 25 0 1 0 660491871 191938560 45257 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46860 45257 566 18 0 46842 0
vsize: 187440
[startup+780.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 45737 0 0 0 77895 117 0 0 25 0 1 0 660491871 193740800 45714 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47300 45714 566 18 0 47282 0
vsize: 189200
[startup+790.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 46160 0 0 0 78894 118 0 0 25 0 1 0 660491871 195440640 46137 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47715 46137 566 18 0 47697 0
vsize: 190860
[startup+800.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 46487 0 0 0 79894 118 0 0 25 0 1 0 660491871 196861952 46464 4294967295 134512640 134581331 3221221792 3221220720 134520030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48062 46464 566 18 0 48044 0
vsize: 192248
[startup+810.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 46862 0 0 0 80893 119 0 0 25 0 1 0 660491871 198307840 46839 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48415 46839 566 18 0 48397 0
vsize: 193660
[startup+820.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 47259 0 0 0 81892 120 0 0 25 0 1 0 660491871 200028160 47236 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48835 47236 566 18 0 48817 0
vsize: 195340
[startup+830.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 47654 0 0 0 82891 121 0 0 25 0 1 0 660491871 201637888 47631 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49228 47631 566 18 0 49210 0
vsize: 196912
[startup+840.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 48026 0 0 0 83891 122 0 0 25 0 1 0 660491871 203149312 48003 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49597 48003 566 18 0 49579 0
vsize: 198388
[startup+850.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 48426 0 0 0 84890 122 0 0 25 0 1 0 660491871 204775424 48403 4294967295 134512640 134581331 3221221792 3221220568 1075291826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49994 48403 566 18 0 49976 0
vsize: 199976
[startup+860.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 48880 0 0 0 85889 124 0 0 25 0 1 0 660491871 206635008 48857 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50448 48857 566 18 0 50430 0
vsize: 201792
[startup+870.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 49298 0 0 0 86889 124 0 0 25 0 1 0 660491871 208396288 49275 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50878 49275 566 18 0 50860 0
vsize: 203512
[startup+880.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 49700 0 0 0 87888 125 0 0 25 0 1 0 660491871 209997824 49677 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51269 49677 566 18 0 51251 0
vsize: 205076
[startup+890.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 50131 0 0 0 88888 126 0 0 25 0 1 0 660491871 211726336 50108 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51691 50108 566 18 0 51673 0
vsize: 206764
[startup+900.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 50576 0 0 0 89887 127 0 0 25 0 1 0 660491871 213594112 50553 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52147 50553 566 18 0 52129 0
vsize: 208588
[startup+910.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 50992 0 0 0 90886 128 0 0 25 0 1 0 660491871 215314432 50969 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52567 50969 566 18 0 52549 0
vsize: 210268
[startup+920.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51412 0 0 0 91885 129 0 0 25 0 1 0 660491871 216924160 51389 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52960 51389 566 18 0 52942 0
vsize: 211840
[startup+930.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51777 0 0 0 92885 130 0 0 25 0 1 0 660491871 218427392 51754 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53327 51754 566 18 0 53309 0
vsize: 213308
[startup+940.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 93884 130 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+950.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 94885 130 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220784 134560974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+960.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 95885 130 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220688 134517888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+970.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 96885 130 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+980.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 97885 130 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+990.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 98885 131 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51983 0 0 0 99885 131 0 0 25 0 1 0 660491871 219316224 51960 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51960 566 18 0 53526 0
vsize: 214176
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 100885 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 101885 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 102885 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 103885 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 104885 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 105886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 106886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 107886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 108886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 109886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 110886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 111886 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 112887 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 113887 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 114887 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134520084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 115887 131 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 116887 132 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1180.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 117887 132 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 118888 132 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 6316
Raw data (stat): 6314 (Pueblo) R 6313 7876 7672 0 -1 0 51984 0 0 0 119888 132 0 0 25 0 1 0 660491871 219316224 51961 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53544 51961 566 18 0 53526 0
vsize: 214176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 6316
Raw data (stat): 6314 (Pueblo) Z 6313 7876 7672 0 -1 1036 51984 0 0 0 119888 141 0 0 25 0 1 0 660491871 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.3
CPU user time (s): 1198.88
CPU system time (s): 1.41578
CPU usage (%): 100.014
Max. virtual memory (Kb): 214176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####