PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39143259648
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39143259648
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.975851
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25589

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 01:11:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19000 boxname=wulflinc31 idbench=1462 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 19000
/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:        579040 kB
Buffers:         34420 kB
Cached:         399812 kB
SwapCached:       1172 kB
Active:         295948 kB
Inactive:       140664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        578788 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13332 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 01:31:50 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19000 7 1200.28 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 0.97 0.91 2/55 3821
Raw data (stat): 3821 (runsolver) R 3820 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800236479 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 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.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 79408 0 0 0 843 154 0 0 25 0 1 0 800236479 56016896 12069 4294967295 134512640 134581331 3221221792 3221220784 134531732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13676 12069 566 18 0 13658 0
vsize: 54704
[startup+20.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 387694 0 0 0 1299 698 0 0 25 0 1 0 800236479 57638912 12385 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14072 12385 566 18 0 14054 0
vsize: 56288
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 558784 0 0 0 1987 1010 0 0 25 0 1 0 800236479 57114624 12392 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13944 12392 566 18 0 13926 0
vsize: 55776
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 558784 0 0 0 2987 1010 0 0 25 0 1 0 800236479 57114624 12392 4294967295 134512640 134581331 3221221792 3221220656 134528378 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13944 12392 566 18 0 13926 0
vsize: 55776
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 559226 0 0 0 3985 1012 0 0 25 0 1 0 800236479 58863616 12834 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14371 12834 566 18 0 14353 0
vsize: 57484
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 560083 0 0 0 4981 1016 0 0 25 0 1 0 800236479 62386176 13691 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15231 13691 566 18 0 15213 0
vsize: 60924
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 560970 0 0 0 5979 1018 0 0 25 0 1 0 800236479 65998848 14578 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16113 14578 566 18 0 16095 0
vsize: 64452
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 561846 0 0 0 6976 1021 0 0 25 0 1 0 800236479 69591040 15454 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16990 15454 566 18 0 16972 0
vsize: 67960
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 562736 0 0 0 7974 1024 0 0 25 0 1 0 800236479 73302016 16344 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17896 16344 566 18 0 17878 0
vsize: 71584
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 563625 0 0 0 8971 1027 0 0 25 0 1 0 800236479 76890112 17233 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18772 17233 566 18 0 18754 0
vsize: 75088
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 564477 0 0 0 9966 1032 0 0 25 0 1 0 800236479 80334848 18085 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19613 18085 566 18 0 19595 0
vsize: 78452
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 565370 0 0 0 10963 1035 0 0 25 0 1 0 800236479 84045824 18978 4294967295 134512640 134581331 3221221792 3221220704 134527667 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20519 18978 566 18 0 20501 0
vsize: 82076
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 566260 0 0 0 11959 1038 0 0 25 0 1 0 800236479 87633920 19868 4294967295 134512640 134581331 3221221792 3221220656 134560398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21395 19868 566 18 0 21377 0
vsize: 85580
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 567144 0 0 0 12955 1043 0 0 25 0 1 0 800236479 91348992 20752 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22302 20752 566 18 0 22284 0
vsize: 89208
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 568016 0 0 0 13953 1045 0 0 25 0 1 0 800236479 94822400 21624 4294967295 134512640 134581331 3221221792 3221220704 134527647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23150 21624 566 18 0 23132 0
vsize: 92600
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 568892 0 0 0 14951 1047 0 0 25 0 1 0 800236479 98443264 22500 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24034 22500 566 18 0 24016 0
vsize: 96136
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 569784 0 0 0 15948 1051 0 0 25 0 1 0 800236479 102174720 23392 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24945 23392 566 18 0 24927 0
vsize: 99780
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 570669 0 0 0 16945 1053 0 0 25 0 1 0 800236479 105783296 24277 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25826 24277 566 18 0 25808 0
vsize: 103304
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 571552 0 0 0 17942 1056 0 0 25 0 1 0 800236479 109412352 25160 4294967295 134512640 134581331 3221221792 3221220688 134517931 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26712 25160 566 18 0 26694 0
vsize: 106848
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 572438 0 0 0 18940 1059 0 0 25 0 1 0 800236479 113045504 26046 4294967295 134512640 134581331 3221221792 3221220736 134558922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27599 26046 566 18 0 27581 0
vsize: 110396
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 573312 0 0 0 19938 1061 0 0 25 0 1 0 800236479 116559872 26920 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28457 26920 566 18 0 28439 0
vsize: 113828
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 574179 0 0 0 20936 1063 0 0 25 0 1 0 800236479 120193024 27787 4294967295 134512640 134581331 3221221792 3221220736 134559087 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29344 27788 566 18 0 29326 0
vsize: 117376
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 575063 0 0 0 21933 1067 0 0 25 0 1 0 800236479 123707392 28671 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30202 28671 566 18 0 30184 0
vsize: 120808
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 575945 0 0 0 22930 1070 0 0 25 0 1 0 800236479 127361024 29553 4294967295 134512640 134581331 3221221792 3221220656 134528353 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31094 29553 566 18 0 31076 0
vsize: 124376
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 576827 0 0 0 23927 1073 0 0 25 0 1 0 800236479 131014656 30435 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31986 30435 566 18 0 31968 0
vsize: 127944
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 577698 0 0 0 24925 1075 0 0 25 0 1 0 800236479 134549504 31306 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32849 31306 566 18 0 32831 0
vsize: 131396
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 578580 0 0 0 25921 1079 0 0 25 0 1 0 800236479 138092544 32188 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33714 32188 566 18 0 33696 0
vsize: 134856
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 579460 0 0 0 26919 1081 0 0 25 0 1 0 800236479 141770752 33068 4294967295 134512640 134581331 3221221792 3221220704 134527964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34612 33068 566 18 0 34594 0
vsize: 138448
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 580340 0 0 0 27917 1084 0 0 25 0 1 0 800236479 145317888 33948 4294967295 134512640 134581331 3221221792 3221220656 134528261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35478 33948 566 18 0 35460 0
vsize: 141912
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 581224 0 0 0 28914 1086 0 0 25 0 1 0 800236479 148975616 34832 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36371 34832 566 18 0 36353 0
vsize: 145484
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 582073 0 0 0 29911 1090 0 0 25 0 1 0 800236479 152518656 35681 4294967295 134512640 134581331 3221221792 3221220656 134528316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37236 35681 566 18 0 37218 0
vsize: 148944
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 582952 0 0 0 30907 1094 0 0 25 0 1 0 800236479 156053504 36560 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38099 36560 566 18 0 38081 0
vsize: 152396
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 583827 0 0 0 31904 1097 0 0 25 0 1 0 800236479 159715328 37435 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38993 37435 566 18 0 38975 0
vsize: 155972
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 584707 0 0 0 32901 1100 0 0 25 0 1 0 800236479 163246080 38315 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39855 38315 566 18 0 39837 0
vsize: 159420
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 585581 0 0 0 33898 1103 0 0 25 0 1 0 800236479 166903808 39189 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40748 39189 566 18 0 40730 0
vsize: 162992
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 586447 0 0 0 34895 1107 0 0 25 0 1 0 800236479 170434560 40055 4294967295 134512640 134581331 3221221792 3221220480 1075288435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41610 40055 566 18 0 41592 0
vsize: 166440
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 587324 0 0 0 35892 1110 0 0 25 0 1 0 800236479 173961216 40932 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42471 40932 566 18 0 42453 0
vsize: 169884
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 588196 0 0 0 36889 1113 0 0 25 0 1 0 800236479 177610752 41804 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43362 41804 566 18 0 43344 0
vsize: 173448
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 589067 0 0 0 37886 1116 0 0 25 0 1 0 800236479 181133312 42675 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44222 42675 566 18 0 44204 0
vsize: 176888
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 589943 0 0 0 38883 1119 0 0 25 0 1 0 800236479 184774656 43551 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45111 43551 566 18 0 45093 0
vsize: 180444
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 590805 0 0 0 39880 1122 0 0 25 0 1 0 800236479 188289024 44413 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45969 44413 566 18 0 45951 0
vsize: 183876
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 591678 0 0 0 40878 1124 0 0 25 0 1 0 800236479 191803392 45286 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46827 45286 566 18 0 46809 0
vsize: 187308
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 592546 0 0 0 41875 1128 0 0 25 0 1 0 800236479 195432448 46154 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47713 46154 566 18 0 47695 0
vsize: 190852
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 593417 0 0 0 42874 1129 0 0 25 0 1 0 800236479 198938624 47025 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48569 47025 566 18 0 48551 0
vsize: 194276
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 594258 0 0 0 43870 1133 0 0 25 0 1 0 800236479 202440704 47866 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49424 47866 566 18 0 49406 0
vsize: 197696
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 595131 0 0 0 44867 1136 0 0 25 0 1 0 800236479 205942784 48739 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50279 48739 566 18 0 50261 0
vsize: 201116
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 595999 0 0 0 45865 1139 0 0 25 0 1 0 800236479 209567744 49607 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51164 49607 566 18 0 51146 0
vsize: 204656
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 596866 0 0 0 46862 1142 0 0 25 0 1 0 800236479 213065728 50474 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52018 50474 566 18 0 52000 0
vsize: 208072
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 597734 0 0 0 47860 1144 0 0 25 0 1 0 800236479 216551424 51342 4294967295 134512640 134581331 3221221792 3221220656 134528334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52869 51342 566 18 0 52851 0
vsize: 211476
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 598592 0 0 0 48856 1148 0 0 25 0 1 0 800236479 220164096 52200 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53751 52200 566 18 0 53733 0
vsize: 215004
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 599459 0 0 0 49854 1150 0 0 25 0 1 0 800236479 223657984 53067 4294967295 134512640 134581331 3221221792 3221220568 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54604 53067 566 18 0 54586 0
vsize: 218416
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 600322 0 0 0 50851 1153 0 0 25 0 1 0 800236479 227143680 53930 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55455 53930 566 18 0 55437 0
vsize: 221820
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 601188 0 0 0 51849 1156 0 0 25 0 1 0 800236479 230756352 54796 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56337 54796 566 18 0 56319 0
vsize: 225348
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 602053 0 0 0 52845 1160 0 0 25 0 1 0 800236479 234262528 55661 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57193 55661 566 18 0 57175 0
vsize: 228772
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 602905 0 0 0 53842 1163 0 0 25 0 1 0 800236479 237768704 56513 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58049 56513 566 18 0 58031 0
vsize: 232196
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603769 0 0 0 54840 1165 0 0 25 0 1 0 800236479 241397760 57377 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58935 57377 566 18 0 58917 0
vsize: 235740
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 55840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220576 134528785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 56840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 57840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 58840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 59840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 60841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 61841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 62841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220488 1075291632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+650.019 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 63841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+660.019 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 64841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+670.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 65841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+680.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 66841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+690.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 67840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+700.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 68840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220428 1075288589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+710.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 69840 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+720.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 70841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+730.021 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 71841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+740.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 72841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+750.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 73841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+760.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 74841 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220488 1075291317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+770.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 75842 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+780.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 76842 1166 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 77842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 78842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 79842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 80842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 81842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 82842 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 83843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 84843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+870.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 85843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 86843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+890.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 87843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 88843 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 89844 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 90844 1167 0 0 25 0 1 0 800236479 241770496 57465 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 57465 566 18 0 59008 0
vsize: 236104
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 91844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 92844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+950.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 93844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 94844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+970.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 95844 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220656 134528281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 96845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220724 1075290409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 97845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527658 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 98845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 99845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 100845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 101845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 102845 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 103846 1167 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 104846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 105846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 106846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 107846 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134559476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 108847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 109847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 110847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 111847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 112847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 113847 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 114848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 115848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 116848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 117848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220736 134558812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3821
Raw data (stat): 3821 (Pueblo) R 3820 7876 7672 0 -1 0 603857 0 0 0 118848 1168 0 0 25 0 1 0 800236479 240459776 57151 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58706 57151 566 18 0 58688 0
vsize: 234824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 3821
Raw data (stat): 3821 (Pueblo) Z 3820 7876 7672 0 -1 1036 603857 0 0 0 118848 1178 0 0 25 0 1 0 800236479 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.15
CPU time (s): 1200.28
CPU user time (s): 1188.49
CPU system time (s): 11.7892
CPU usage (%): 100.011
Max. virtual memory (Kb): 236104
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####