PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-CMS750_4.opb
MD5SUM	ad40fa9446ec809d050488ebdd2a269a
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	770
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	1144575
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268466430
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	20.1699
Number of variables	128716
Total number of constraints	28077
Number of constraints which are clauses	2438
Number of constraints which are cardinality constraints (but not clauses)	7196
Number of constraints which are nor clauses,nor cardinality constraints	18443
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 25386

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 00:25:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20014 boxname=wulflinc31 idbench=1540 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ad40fa9446ec809d050488ebdd2a269a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-CMS750_4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-CMS750_4.opb
IDLAUNCH: 20014
/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:        897216 kB
Buffers:          2124 kB
Cached:         112752 kB
SwapCached:       1472 kB
Active:          46692 kB
Inactive:        70940 kB
HighTotal:      131008 kB
HighFree:        33712 kB
LowTotal:       903652 kB
LowFree:        863504 kB
SwapTotal:     2097892 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14168 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 00:45:54 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 20014 7 1200.19 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): 1.01 1.01 0.94 2/55 14117
Raw data (stat): 14117 (runsolver) D 14116 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 782678886 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 5458 0 0 0 975 21 0 0 25 0 1 0 782678886 27983872 5436 4294967295 134512640 134581331 3221221792 3217026076 134515712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6832 5436 566 18 0 6814 0
vsize: 27328
[startup+20.0015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 158696 0 0 0 1692 303 0 0 25 0 1 0 782678886 46718976 9867 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11406 9867 566 18 0 11388 0
vsize: 45624
[startup+30.0024 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 467377 0 0 0 2135 861 0 0 25 0 1 0 782678886 46718976 9974 4294967295 134512640 134581331 3221221792 3221220800 134531324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11406 9974 566 18 0 11388 0
vsize: 45624
[startup+40.0038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 776452 0 0 0 2578 1418 0 0 25 0 1 0 782678886 46718976 9971 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11406 9971 566 18 0 11388 0
vsize: 45624
[startup+50.0042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 1084847 0 0 0 3021 1975 0 0 25 0 1 0 782678886 46718976 9918 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11406 9918 566 18 0 11388 0
vsize: 45624
[startup+60.0052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 1392068 0 0 0 3467 2530 0 0 25 0 1 0 782678886 46854144 9951 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11439 9951 566 18 0 11421 0
vsize: 45756
[startup+70.0055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 1696809 0 0 0 3910 3087 0 0 25 0 1 0 782678886 49287168 10528 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12033 10528 566 18 0 12015 0
vsize: 48132
[startup+80.007 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 2000255 0 0 0 4360 3637 0 0 25 0 1 0 782678886 51204096 11070 4294967295 134512640 134581331 3221221792 3221221008 134551654 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12501 11070 566 18 0 12483 0
vsize: 50004
[startup+90.0075 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 2303919 0 0 0 4804 4193 0 0 25 0 1 0 782678886 53960704 11578 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13174 11578 566 18 0 13156 0
vsize: 52696
[startup+100.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 2607836 0 0 0 5244 4753 0 0 25 0 1 0 782678886 55447552 12087 4294967295 134512640 134581331 3221221792 3221220256 134532806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13537 12087 566 18 0 13519 0
vsize: 54148
[startup+110.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 2910112 0 0 0 5680 5318 0 0 25 0 1 0 782678886 57745408 12594 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14098 12594 566 18 0 14080 0
vsize: 56392
[startup+120.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3212087 0 0 0 6120 5878 0 0 25 0 1 0 782678886 60043264 13176 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14659 13176 566 18 0 14641 0
vsize: 58636
[startup+130.012 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3514796 0 0 0 6563 6434 0 0 25 0 1 0 782678886 62070784 13611 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15154 13611 566 18 0 15136 0
vsize: 60616
[startup+140.012 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3552864 0 0 0 7495 6503 0 0 25 0 1 0 782678886 66510848 14761 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16238 14761 566 18 0 16220 0
vsize: 64952
[startup+150.014 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554008 0 0 0 8492 6506 0 0 25 0 1 0 782678886 71421952 15905 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17437 15905 566 18 0 17419 0
vsize: 69748
[startup+160.015 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554022 0 0 0 9492 6506 0 0 25 0 1 0 782678886 71421952 15919 4294967295 134512640 134581331 3221221792 3221220872 134555761 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17437 15919 566 18 0 17419 0
vsize: 69748
[startup+170.015 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554056 0 0 0 10492 6507 0 0 25 0 1 0 782678886 71544832 15953 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17467 15953 566 18 0 17449 0
vsize: 69868
[startup+180.017 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554100 0 0 0 11491 6507 0 0 25 0 1 0 782678886 71680000 15997 4294967295 134512640 134581331 3221221792 3221220704 134527678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17500 15997 566 18 0 17482 0
vsize: 70000
[startup+190.018 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554190 0 0 0 12491 6508 0 0 25 0 1 0 782678886 72081408 16087 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17598 16087 566 18 0 17580 0
vsize: 70392
[startup+200.018 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554253 0 0 0 13490 6508 0 0 25 0 1 0 782678886 72318976 16150 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17656 16150 566 18 0 17638 0
vsize: 70624
[startup+210.019 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554508 0 0 0 14489 6510 0 0 25 0 1 0 782678886 73367552 16405 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17912 16405 566 18 0 17894 0
vsize: 71648
[startup+220.02 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554784 0 0 0 15488 6511 0 0 25 0 1 0 782678886 74555392 16681 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18202 16681 566 18 0 18184 0
vsize: 72808
[startup+230.021 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3554837 0 0 0 16487 6512 0 0 25 0 1 0 782678886 74805248 16734 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18263 16734 566 18 0 18245 0
vsize: 73052
[startup+240.021 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555039 0 0 0 17486 6513 0 0 25 0 1 0 782678886 75603968 16936 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18458 16936 566 18 0 18440 0
vsize: 73832
[startup+250.021 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555171 0 0 0 18485 6514 0 0 25 0 1 0 782678886 76079104 17068 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18574 17068 566 18 0 18556 0
vsize: 74296
[startup+260.022 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555267 0 0 0 19485 6515 0 0 25 0 1 0 782678886 76480512 17164 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18672 17164 566 18 0 18654 0
vsize: 74688
[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555400 0 0 0 20484 6516 0 0 25 0 1 0 782678886 76996608 17297 4294967295 134512640 134581331 3221221792 3221220656 134528278 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18798 17297 566 18 0 18780 0
vsize: 75192
[startup+280.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555516 0 0 0 21483 6516 0 0 25 0 1 0 782678886 77512704 17413 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18924 17413 566 18 0 18906 0
vsize: 75696
[startup+290.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555643 0 0 0 22483 6517 0 0 25 0 1 0 782678886 78028800 17540 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19050 17540 566 18 0 19032 0
vsize: 76200
[startup+300.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555758 0 0 0 23482 6518 0 0 25 0 1 0 782678886 78565376 17655 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19181 17655 566 18 0 19163 0
vsize: 76724
[startup+310.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3555925 0 0 0 24481 6519 0 0 25 0 1 0 782678886 79220736 17822 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19341 17822 566 18 0 19323 0
vsize: 77364
[startup+320.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556063 0 0 0 25480 6520 0 0 25 0 1 0 782678886 79736832 17960 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19467 17960 566 18 0 19449 0
vsize: 77868
[startup+330.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556211 0 0 0 26480 6521 0 0 25 0 1 0 782678886 80408576 18108 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19631 18108 566 18 0 19613 0
vsize: 78524
[startup+340.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556319 0 0 0 27479 6522 0 0 25 0 1 0 782678886 80809984 18216 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19729 18216 566 18 0 19711 0
vsize: 78916
[startup+350.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556390 0 0 0 28478 6522 0 0 25 0 1 0 782678886 81063936 18287 4294967295 134512640 134581331 3221221792 3221220704 134527707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19791 18287 566 18 0 19773 0
vsize: 79164
[startup+360.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556462 0 0 0 29478 6523 0 0 25 0 1 0 782678886 81444864 18359 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19884 18359 566 18 0 19866 0
vsize: 79536
[startup+370.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556572 0 0 0 30477 6524 0 0 25 0 1 0 782678886 81838080 18469 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19980 18469 566 18 0 19962 0
vsize: 79920
[startup+380.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556680 0 0 0 31477 6524 0 0 25 0 1 0 782678886 82358272 18577 4294967295 134512640 134581331 3221221792 3221220704 134527718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20107 18577 566 18 0 20089 0
vsize: 80428
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556777 0 0 0 32477 6525 0 0 25 0 1 0 782678886 82743296 18674 4294967295 134512640 134581331 3221221792 3221220704 134528074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20201 18674 566 18 0 20183 0
vsize: 80804
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3556901 0 0 0 33476 6526 0 0 25 0 1 0 782678886 83271680 18798 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20330 18798 566 18 0 20312 0
vsize: 81320
[startup+410.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557015 0 0 0 34475 6526 0 0 25 0 1 0 782678886 83664896 18912 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20426 18912 566 18 0 20408 0
vsize: 81704
[startup+420.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557093 0 0 0 35475 6527 0 0 25 0 1 0 782678886 84054016 18990 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20521 18990 566 18 0 20503 0
vsize: 82084
[startup+430.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557171 0 0 0 36474 6528 0 0 25 0 1 0 782678886 84316160 19068 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20585 19068 566 18 0 20567 0
vsize: 82340
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557287 0 0 0 37474 6529 0 0 25 0 1 0 782678886 84840448 19184 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20713 19184 566 18 0 20695 0
vsize: 82852
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557398 0 0 0 38473 6529 0 0 25 0 1 0 782678886 85229568 19295 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20808 19295 566 18 0 20790 0
vsize: 83232
[startup+460.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557476 0 0 0 39473 6530 0 0 25 0 1 0 782678886 85622784 19373 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20904 19373 566 18 0 20886 0
vsize: 83616
[startup+470.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557635 0 0 0 40472 6531 0 0 25 0 1 0 782678886 86282240 19532 4294967295 134512640 134581331 3221221792 3221220612 1075289714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21065 19532 566 18 0 21047 0
vsize: 84260
[startup+480.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557786 0 0 0 41472 6531 0 0 25 0 1 0 782678886 86806528 19683 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21193 19683 566 18 0 21175 0
vsize: 84772
[startup+490.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557917 0 0 0 42471 6532 0 0 25 0 1 0 782678886 87334912 19814 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21322 19814 566 18 0 21304 0
vsize: 85288
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3557996 0 0 0 43470 6533 0 0 25 0 1 0 782678886 87711744 19893 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21414 19893 566 18 0 21396 0
vsize: 85656
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558065 0 0 0 44470 6534 0 0 25 0 1 0 782678886 87965696 19962 4294967295 134512640 134581331 3221221792 3221220688 134517883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21476 19962 566 18 0 21458 0
vsize: 85904
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558182 0 0 0 45469 6534 0 0 25 0 1 0 782678886 88489984 20079 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21604 20079 566 18 0 21586 0
vsize: 86416
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558292 0 0 0 46468 6535 0 0 25 0 1 0 782678886 88883200 20189 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21700 20189 566 18 0 21682 0
vsize: 86800
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558412 0 0 0 47467 6536 0 0 25 0 1 0 782678886 89403392 20309 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21827 20309 566 18 0 21809 0
vsize: 87308
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558505 0 0 0 48466 6537 0 0 25 0 1 0 782678886 89788416 20402 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21921 20402 566 18 0 21903 0
vsize: 87684
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558670 0 0 0 49465 6538 0 0 25 0 1 0 782678886 90456064 20567 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22084 20567 566 18 0 22066 0
vsize: 88336
[startup+570.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3558855 0 0 0 50464 6540 0 0 25 0 1 0 782678886 91246592 20752 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22277 20752 566 18 0 22259 0
vsize: 89108
[startup+580.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3559047 0 0 0 51463 6541 0 0 25 0 1 0 782678886 92037120 20944 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22470 20944 566 18 0 22452 0
vsize: 89880
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3559240 0 0 0 52462 6542 0 0 25 0 1 0 782678886 92839936 21137 4294967295 134512640 134581331 3221221792 3221220612 1075289770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22666 21137 566 18 0 22648 0
vsize: 90664
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3559434 0 0 0 53461 6543 0 0 25 0 1 0 782678886 93638656 21331 4294967295 134512640 134581331 3221221792 3221220756 134519780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22861 21331 566 18 0 22843 0
vsize: 91444
[startup+610.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3559630 0 0 0 54460 6544 0 0 25 0 1 0 782678886 94429184 21527 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23054 21527 566 18 0 23036 0
vsize: 92216
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3559826 0 0 0 55460 6545 0 0 25 0 1 0 782678886 95227904 21723 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23249 21723 566 18 0 23231 0
vsize: 92996
[startup+630.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3560013 0 0 0 56458 6546 0 0 25 0 1 0 782678886 96026624 21910 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23444 21910 566 18 0 23426 0
vsize: 93776
[startup+640.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3560208 0 0 0 57458 6547 0 0 25 0 1 0 782678886 96821248 22105 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23638 22105 566 18 0 23620 0
vsize: 94552
[startup+650.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3560407 0 0 0 58457 6548 0 0 25 0 1 0 782678886 97611776 22304 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23831 22304 566 18 0 23813 0
vsize: 95324
[startup+660.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3560619 0 0 0 59456 6549 0 0 25 0 1 0 782678886 98406400 22516 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24025 22516 566 18 0 24007 0
vsize: 96100
[startup+670.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3560825 0 0 0 60456 6550 0 0 25 0 1 0 782678886 99336192 22722 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24252 22722 566 18 0 24234 0
vsize: 97008
[startup+680.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561020 0 0 0 61454 6551 0 0 25 0 1 0 782678886 100139008 22917 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24448 22917 566 18 0 24430 0
vsize: 97792
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561163 0 0 0 62454 6552 0 0 25 0 1 0 782678886 100651008 23060 4294967295 134512640 134581331 3221221792 3221220688 134517902 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24573 23060 566 18 0 24555 0
vsize: 98292
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561281 0 0 0 63453 6552 0 0 25 0 1 0 782678886 101171200 23178 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24700 23178 566 18 0 24682 0
vsize: 98800
[startup+710.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561376 0 0 0 64453 6553 0 0 25 0 1 0 782678886 101552128 23273 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24793 23273 566 18 0 24775 0
vsize: 99172
[startup+720.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561449 0 0 0 65452 6554 0 0 25 0 1 0 782678886 101810176 23346 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24856 23346 566 18 0 24838 0
vsize: 99424
[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561517 0 0 0 66451 6555 0 0 25 0 1 0 782678886 102207488 23414 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24953 23414 566 18 0 24935 0
vsize: 99812
[startup+740.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561624 0 0 0 67450 6556 0 0 25 0 1 0 782678886 102584320 23521 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25045 23521 566 18 0 25027 0
vsize: 100180
[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561784 0 0 0 68449 6557 0 0 25 0 1 0 782678886 103243776 23681 4294967295 134512640 134581331 3221221792 3221220704 134528077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25206 23681 566 18 0 25188 0
vsize: 100824
[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3561942 0 0 0 69449 6557 0 0 25 0 1 0 782678886 103903232 23839 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25367 23839 566 18 0 25349 0
vsize: 101468
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562096 0 0 0 70448 6559 0 0 25 0 1 0 782678886 104566784 23993 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25529 23993 566 18 0 25511 0
vsize: 102116
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562215 0 0 0 71447 6559 0 0 25 0 1 0 782678886 104964096 24112 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25626 24112 566 18 0 25608 0
vsize: 102504
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562291 0 0 0 72447 6559 0 0 25 0 1 0 782678886 105357312 24188 4294967295 134512640 134581331 3221221792 3221220704 134527516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25722 24188 566 18 0 25704 0
vsize: 102888
[startup+800.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562369 0 0 0 73447 6560 0 0 25 0 1 0 782678886 105623552 24266 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25787 24266 566 18 0 25769 0
vsize: 103148
[startup+810.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562525 0 0 0 74446 6561 0 0 25 0 1 0 782678886 106274816 24422 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25946 24422 566 18 0 25928 0
vsize: 103784
[startup+820.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562678 0 0 0 75445 6562 0 0 25 0 1 0 782678886 106946560 24575 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26110 24575 566 18 0 26092 0
vsize: 104440
[startup+830.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562792 0 0 0 76445 6563 0 0 25 0 1 0 782678886 107315200 24689 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26200 24689 566 18 0 26182 0
vsize: 104800
[startup+840.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3562921 0 0 0 77444 6563 0 0 25 0 1 0 782678886 107823104 24818 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26324 24818 566 18 0 26306 0
vsize: 105296
[startup+850.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563028 0 0 0 78444 6564 0 0 25 0 1 0 782678886 108322816 24925 4294967295 134512640 134581331 3221221792 3221220688 134517900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26446 24925 566 18 0 26428 0
vsize: 105784
[startup+860.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563091 0 0 0 79444 6564 0 0 25 0 1 0 782678886 108572672 24988 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26507 24988 566 18 0 26489 0
vsize: 106028
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563174 0 0 0 80443 6565 0 0 25 0 1 0 782678886 108957696 25071 4294967295 134512640 134581331 3221221792 3221220656 134526992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26601 25071 566 18 0 26583 0
vsize: 106404
[startup+880.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563222 0 0 0 81443 6565 0 0 25 0 1 0 782678886 109080576 25119 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26631 25119 566 18 0 26613 0
vsize: 106524
[startup+890.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563292 0 0 0 82442 6566 0 0 25 0 1 0 782678886 109334528 25189 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26693 25189 566 18 0 26675 0
vsize: 106772
[startup+900.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563380 0 0 0 83441 6567 0 0 25 0 1 0 782678886 109699072 25277 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26782 25277 566 18 0 26764 0
vsize: 107128
[startup+910.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563506 0 0 0 84441 6568 0 0 25 0 1 0 782678886 110297088 25403 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26928 25403 566 18 0 26910 0
vsize: 107712
[startup+920.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563679 0 0 0 85440 6568 0 0 25 0 1 0 782678886 110981120 25576 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27095 25576 566 18 0 27077 0
vsize: 108380
[startup+930.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563858 0 0 0 86440 6569 0 0 25 0 1 0 782678886 111673344 25755 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27264 25755 566 18 0 27246 0
vsize: 109056
[startup+940.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3563942 0 0 0 87439 6570 0 0 25 0 1 0 782678886 112054272 25839 4294967295 134512640 134581331 3221221792 3221220760 134527282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27357 25839 566 18 0 27339 0
vsize: 109428
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564010 0 0 0 88439 6570 0 0 25 0 1 0 782678886 112279552 25907 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27412 25907 566 18 0 27394 0
vsize: 109648
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564112 0 0 0 89438 6571 0 0 25 0 1 0 782678886 112779264 26009 4294967295 134512640 134581331 3221221792 3221220688 134517905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27534 26009 566 18 0 27516 0
vsize: 110136
[startup+970.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564174 0 0 0 90438 6571 0 0 25 0 1 0 782678886 113037312 26071 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27597 26071 566 18 0 27579 0
vsize: 110388
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564227 0 0 0 91437 6572 0 0 25 0 1 0 782678886 113164288 26124 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26124 566 18 0 27610 0
vsize: 110512
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564243 0 0 0 92437 6573 0 0 25 0 1 0 782678886 113287168 26140 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27658 26140 566 18 0 27640 0
vsize: 110632
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564287 0 0 0 93437 6573 0 0 25 0 1 0 782678886 113410048 26184 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27688 26184 566 18 0 27670 0
vsize: 110752
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564334 0 0 0 94436 6573 0 0 25 0 1 0 782678886 113651712 26231 4294967295 134512640 134581331 3221221792 3221220704 134527454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27747 26231 566 18 0 27729 0
vsize: 110988
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564369 0 0 0 95437 6573 0 0 25 0 1 0 782678886 113770496 26266 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27776 26266 566 18 0 27758 0
vsize: 111104
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564404 0 0 0 96437 6573 0 0 25 0 1 0 782678886 113893376 26301 4294967295 134512640 134581331 3221221792 3221220772 134560793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27806 26301 566 18 0 27788 0
vsize: 111224
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564486 0 0 0 97437 6574 0 0 25 0 1 0 782678886 114245632 26383 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27892 26383 566 18 0 27874 0
vsize: 111568
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564550 0 0 0 98436 6574 0 0 25 0 1 0 782678886 114577408 26447 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27973 26447 566 18 0 27955 0
vsize: 111892
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564613 0 0 0 99437 6574 0 0 25 0 1 0 782678886 114794496 26510 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28026 26510 566 18 0 28008 0
vsize: 112104
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564650 0 0 0 100437 6574 0 0 25 0 1 0 782678886 114921472 26547 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28057 26547 566 18 0 28039 0
vsize: 112228
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564692 0 0 0 101437 6574 0 0 25 0 1 0 782678886 115060736 26589 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28091 26589 566 18 0 28073 0
vsize: 112364
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564741 0 0 0 102437 6575 0 0 25 0 1 0 782678886 115314688 26638 4294967295 134512640 134581331 3221221792 3221220736 134558842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28153 26638 566 18 0 28135 0
vsize: 112612
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564792 0 0 0 103437 6575 0 0 25 0 1 0 782678886 115560448 26689 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28213 26689 566 18 0 28195 0
vsize: 112852
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3564947 0 0 0 104436 6576 0 0 25 0 1 0 782678886 116273152 26844 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28387 26844 566 18 0 28369 0
vsize: 113548
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565127 0 0 0 105435 6576 0 0 25 0 1 0 782678886 116953088 27024 4294967295 134512640 134581331 3221221792 3221220688 134517859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28553 27024 566 18 0 28535 0
vsize: 114212
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565264 0 0 0 106435 6577 0 0 25 0 1 0 782678886 117530624 27161 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28694 27161 566 18 0 28676 0
vsize: 114776
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565368 0 0 0 107435 6577 0 0 25 0 1 0 782678886 117903360 27265 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28785 27265 566 18 0 28767 0
vsize: 115140
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565469 0 0 0 108435 6578 0 0 25 0 1 0 782678886 118431744 27366 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28914 27366 566 18 0 28896 0
vsize: 115656
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565571 0 0 0 109435 6578 0 0 25 0 1 0 782678886 118796288 27468 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29003 27468 566 18 0 28985 0
vsize: 116012
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565713 0 0 0 110434 6578 0 0 25 0 1 0 782678886 119336960 27610 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29135 27610 566 18 0 29117 0
vsize: 116540
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3565928 0 0 0 111434 6579 0 0 25 0 1 0 782678886 120315904 27825 4294967295 134512640 134581331 3221221792 3221220704 134531400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29374 27825 566 18 0 29356 0
vsize: 117496
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3566094 0 0 0 112434 6579 0 0 25 0 1 0 782678886 120950784 27991 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29529 27991 566 18 0 29511 0
vsize: 118116
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 14117
Raw data (stat): 14117 (Pueblo) R 14116 7876 7672 0 -1 0 3566220 0 0 0 113433 6580 0 0 25 0 1 0 782678886 121499648 28117 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29663 28117 566 18 0 29645 0
vsize: 118652
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 14117
Raw data (stat): 14117 (Pueblo) Z 14116 7876 7672 0 -1 1036 3566220 0 0 0 113433 6585 0 0 25 0 1 0 782678886 0 0 4294967295 0 0 0 0 0 0 0 1 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.19
CPU user time (s): 1134.34
CPU system time (s): 65.855
CPU usage (%): 100.006
Max. virtual memory (Kb): 118652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####