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-n3709.opb
MD5SUM	40c6760f4e05a9ceb06922f685226f97
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	39144954388
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	39144954388
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	1.00884
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 26923

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 18:09:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19117 boxname=wulflinc22 idbench=1471 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  40c6760f4e05a9ceb06922f685226f97  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-n3709.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-n3709.opb
IDLAUNCH: 19117
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        847776 kB
Buffers:         36184 kB
Cached:         116312 kB
SwapCached:      12200 kB
Active:          71296 kB
Inactive:        95540 kB
HighTotal:      131008 kB
HighFree:        14252 kB
LowTotal:       903652 kB
LowFree:        833524 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            14420 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:29:20 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19117 7 1200.27 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.98 0.99 2/54 25410
Raw data (stat): 25410 (runsolver) R 25409 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832283787 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 78940 0 0 0 844 154 0 0 25 0 1 0 832283787 56029184 12014 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13679 12014 566 18 0 13661 0
vsize: 54716
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 386607 0 0 0 1300 699 0 0 25 0 1 0 832283787 57651200 12432 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14075 12432 566 18 0 14057 0
vsize: 56300
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 558783 0 0 0 1995 1004 0 0 25 0 1 0 832283787 57126912 12392 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13947 12392 566 18 0 13929 0
vsize: 55788
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 558784 0 0 0 2994 1005 0 0 25 0 1 0 832283787 57126912 12393 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13947 12393 566 18 0 13929 0
vsize: 55788
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 559807 0 0 0 3992 1007 0 0 25 0 1 0 832283787 61288448 13416 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14963 13416 566 18 0 14945 0
vsize: 59852
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 561166 0 0 0 4987 1012 0 0 25 0 1 0 832283787 66842624 14775 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16319 14775 566 18 0 16301 0
vsize: 65276
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 562348 0 0 0 5982 1017 0 0 25 0 1 0 832283787 71634944 15957 4294967295 134512640 134581331 3221224608 3221223472 134528492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17489 15957 566 18 0 17471 0
vsize: 69956
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 563578 0 0 0 6978 1021 0 0 25 0 1 0 832283787 76681216 17187 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18721 17187 566 18 0 18703 0
vsize: 74884
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 564755 0 0 0 7974 1026 0 0 25 0 1 0 832283787 81489920 18364 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19895 18364 566 18 0 19877 0
vsize: 79580
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 565990 0 0 0 8969 1031 0 0 25 0 1 0 832283787 86532096 19599 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21126 19599 566 18 0 21108 0
vsize: 84504
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 567176 0 0 0 9965 1034 0 0 25 0 1 0 832283787 91459584 20785 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22329 20785 566 18 0 22311 0
vsize: 89316
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 568388 0 0 0 10961 1039 0 0 25 0 1 0 832283787 96370688 21997 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23528 21997 566 18 0 23510 0
vsize: 94112
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 569597 0 0 0 11957 1043 0 0 25 0 1 0 832283787 101416960 23206 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24760 23206 566 18 0 24742 0
vsize: 99040
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 570818 0 0 0 12953 1047 0 0 25 0 1 0 832283787 106323968 24427 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25958 24427 566 18 0 25940 0
vsize: 103832
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 572047 0 0 0 13949 1052 0 0 25 0 1 0 832283787 111362048 25656 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27188 25656 566 18 0 27170 0
vsize: 108752
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 573233 0 0 0 14944 1056 0 0 25 0 1 0 832283787 116264960 26842 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28385 26842 566 18 0 28367 0
vsize: 113540
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 574449 0 0 0 15940 1061 0 0 25 0 1 0 832283787 121294848 28058 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29613 28058 566 18 0 29595 0
vsize: 118452
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 575639 0 0 0 16936 1065 0 0 25 0 1 0 832283787 126074880 29248 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30780 29248 566 18 0 30762 0
vsize: 123120
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 576875 0 0 0 17932 1068 0 0 25 0 1 0 832283787 131235840 30484 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32040 30484 566 18 0 32022 0
vsize: 128160
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 578058 0 0 0 18929 1072 0 0 25 0 1 0 832283787 136007680 31667 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33205 31667 566 18 0 33187 0
vsize: 132820
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 579307 0 0 0 19923 1078 0 0 25 0 1 0 832283787 141156352 32916 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34462 32916 566 18 0 34444 0
vsize: 137848
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 580534 0 0 0 20919 1082 0 0 25 0 1 0 832283787 146182144 34143 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35689 34143 566 18 0 35671 0
vsize: 142756
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 581729 0 0 0 21915 1087 0 0 25 0 1 0 832283787 151089152 35338 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36887 35338 566 18 0 36869 0
vsize: 147548
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 582940 0 0 0 22910 1092 0 0 25 0 1 0 832283787 156110848 36549 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38113 36549 566 18 0 38095 0
vsize: 152452
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 584132 0 0 0 23906 1096 0 0 25 0 1 0 832283787 160874496 37741 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39276 37741 566 18 0 39258 0
vsize: 157104
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 585363 0 0 0 24902 1100 0 0 25 0 1 0 832283787 166019072 38972 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40532 38972 566 18 0 40514 0
vsize: 162128
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 586543 0 0 0 25897 1105 0 0 25 0 1 0 832283787 170782720 40152 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41695 40152 566 18 0 41677 0
vsize: 166780
[startup+280.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 587785 0 0 0 26893 1109 0 0 25 0 1 0 832283787 175923200 41394 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42950 41394 566 18 0 42932 0
vsize: 171800
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 589006 0 0 0 27889 1114 0 0 25 0 1 0 832283787 180940800 42615 4294967295 134512640 134581331 3221224608 3221223456 134528554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44175 42615 566 18 0 44157 0
vsize: 176700
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 590196 0 0 0 28884 1118 0 0 25 0 1 0 832283787 185712640 43805 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45340 43805 566 18 0 45322 0
vsize: 181360
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 591421 0 0 0 29879 1123 0 0 25 0 1 0 832283787 190722048 45030 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46563 45030 566 18 0 46545 0
vsize: 186252
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 592608 0 0 0 30876 1127 0 0 25 0 1 0 832283787 195608576 46217 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47756 46217 566 18 0 47738 0
vsize: 191024
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 593835 0 0 0 31872 1131 0 0 25 0 1 0 832283787 200617984 47444 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48979 47444 566 18 0 48961 0
vsize: 195916
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 594993 0 0 0 32867 1136 0 0 25 0 1 0 832283787 205381632 48602 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50142 48602 566 18 0 50124 0
vsize: 200568
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 596224 0 0 0 33862 1141 0 0 25 0 1 0 832283787 210382848 49833 4294967295 134512640 134581331 3221224608 3221223552 134559476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51363 49833 566 18 0 51345 0
vsize: 205452
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 597450 0 0 0 34859 1145 0 0 25 0 1 0 832283787 215388160 51059 4294967295 134512640 134581331 3221224608 3221223504 134517792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52585 51059 566 18 0 52567 0
vsize: 210340
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 598642 0 0 0 35854 1149 0 0 25 0 1 0 832283787 220389376 52251 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53806 52251 566 18 0 53788 0
vsize: 215224
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 599865 0 0 0 36851 1153 0 0 25 0 1 0 832283787 225390592 53474 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55027 53474 566 18 0 55009 0
vsize: 220108
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 601050 0 0 0 37846 1157 0 0 25 0 1 0 832283787 230150144 54659 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56189 54659 566 18 0 56171 0
vsize: 224756
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602277 0 0 0 38841 1162 0 0 25 0 1 0 832283787 235147264 55886 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57409 55886 566 18 0 57391 0
vsize: 229636
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 39839 1165 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+420.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 40839 1165 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 41839 1166 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 42838 1166 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 43838 1167 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 44837 1167 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 45837 1168 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134558884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 46836 1169 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 47836 1169 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 48835 1170 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 49835 1170 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 50835 1171 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 51835 1171 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 52834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 53834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 54834 1172 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 55833 1173 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+580.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 56833 1173 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 57833 1174 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 58832 1174 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 59832 1175 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+620.017 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 60831 1176 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223392 134528804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+630.018 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 61830 1176 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+640.019 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 62830 1177 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+650.018 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 602912 0 0 0 63830 1177 0 0 25 0 1 0 832283787 237772800 56521 4294967295 134512640 134581331 3221224608 3221223504 134527752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58050 56521 566 18 0 58032 0
vsize: 232200
[startup+660.018 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 64828 1179 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+670.019 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 65827 1180 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+680.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 66827 1181 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+690.02 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 67826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+700.02 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 68826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223600 134561062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+710.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 69826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+720.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 70826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+730.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 71826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+740.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 72826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+750.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 73826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+760.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 74826 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 75827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 76827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134559269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 77827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+800.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 78827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 79827 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223536 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 80828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 81828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 82828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 83828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 84828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 85828 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 86829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 87829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223552 134558847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603207 0 0 0 88829 1182 0 0 25 0 1 0 832283787 239034368 56816 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58358 56816 566 18 0 58340 0
vsize: 233432
[startup+910.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 89827 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 90827 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 91828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134559461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+940.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 92828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134558859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+950.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 93828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 94828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 95828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+980.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 96828 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 97829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 98829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 99829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 100829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 101829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134560421 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 102829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223504 134517815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 103829 1184 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134559095 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 104828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 105828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 106828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 107828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223488 134560197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 108828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 109828 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 110829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223472 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 111829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223392 134528765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 112829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223440 134531745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 603762 0 0 0 113829 1185 0 0 25 0 1 0 832283787 241262592 57371 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58902 57371 566 18 0 58884 0
vsize: 235608
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604070 0 0 0 114829 1186 0 0 25 0 1 0 832283787 242507776 57679 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59206 57679 566 18 0 59188 0
vsize: 236824
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 115827 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59605 58051 566 18 0 59587 0
vsize: 238420
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 116827 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223552 134558828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59605 58051 566 18 0 59587 0
vsize: 238420
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 117828 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59605 58051 566 18 0 59587 0
vsize: 238420
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 25410
Raw data (stat): 25410 (Pueblo) R 25409 23310 23309 0 -1 0 604442 0 0 0 118828 1187 0 0 25 0 1 0 832283787 244142080 58051 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59605 58051 566 18 0 59587 0
vsize: 238420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 25410
Raw data (stat): 25410 (Pueblo) Z 25409 23310 23309 0 -1 1036 604442 0 0 0 118828 1198 0 0 25 0 1 0 832283787 0 0 4294967295 0 0 0 0 0 0 0 7 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.12
CPU time (s): 1200.27
CPU user time (s): 1188.28
CPU system time (s): 11.9822
CPU usage (%): 100.012
Max. virtual memory (Kb): 238420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####