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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	39088316758
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	39088316758
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.98385
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 39272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-03 01:33:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27338 boxname=wulflinc6 idbench=1466 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 27338
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        120080 kB
Buffers:         33764 kB
Cached:         858660 kB
SwapCached:        552 kB
Active:          45724 kB
Inactive:       848748 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        119828 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            14428 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:53:35 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 27338 7 1200.47 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.93 2/54 26012
Raw data (stat): 26012 (runsolver) R 26011 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854498889 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 78833 0 0 0 852 146 0 0 25 0 1 0 854498889 57810944 12419 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14114 12419 566 18 0 14096 0
vsize: 56456
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 389196 0 0 0 1304 694 0 0 25 0 1 0 854498889 59432960 12855 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14510 12864 566 18 0 14492 0
vsize: 58040
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 559219 0 0 0 2005 994 0 0 25 0 1 0 854498889 58908672 12825 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 12825 566 18 0 14364 0
vsize: 57528
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 559735 0 0 0 3005 995 0 0 25 0 1 0 854498889 60940288 13341 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14878 13341 566 18 0 14860 0
vsize: 59512
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 561566 0 0 0 4001 998 0 0 25 0 1 0 854498889 68411392 15172 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 15172 566 18 0 16684 0
vsize: 66808
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 563389 0 0 0 4999 1001 0 0 25 0 1 0 854498889 75984896 16995 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18551 16995 566 18 0 18533 0
vsize: 74204
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 565200 0 0 0 5996 1004 0 0 25 0 1 0 854498889 83279872 18806 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20332 18806 566 18 0 20314 0
vsize: 81328
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 567018 0 0 0 6991 1009 0 0 25 0 1 0 854498889 90804224 20624 4294967295 134512640 134581267 3221224576 3221223456 134520291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22169 20624 566 18 0 22151 0
vsize: 88676
[startup+90.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 568851 0 0 0 7988 1013 0 0 25 0 1 0 854498889 98308096 22457 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24001 22457 566 18 0 23983 0
vsize: 96004
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 570690 0 0 0 8985 1017 0 0 25 0 1 0 854498889 105807872 24296 4294967295 134512640 134581267 3221224576 3221223440 134528336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25832 24296 566 18 0 25814 0
vsize: 103328
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 572536 0 0 0 9980 1022 0 0 25 0 1 0 854498889 113422336 26142 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27691 26142 566 18 0 27673 0
vsize: 110764
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 574346 0 0 0 10976 1026 0 0 25 0 1 0 854498889 120840192 27952 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29502 27952 566 18 0 29484 0
vsize: 118008
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 576172 0 0 0 11971 1031 0 0 25 0 1 0 854498889 128339968 29778 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31333 29778 566 18 0 31315 0
vsize: 125332
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 577986 0 0 0 12968 1034 0 0 25 0 1 0 854498889 135757824 31592 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33144 31592 566 18 0 33126 0
vsize: 132576
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 579789 0 0 0 13964 1038 0 0 25 0 1 0 854498889 143036416 33395 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34921 33395 566 18 0 34903 0
vsize: 139684
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 581603 0 0 0 14960 1042 0 0 25 0 1 0 854498889 150593536 35209 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36766 35209 566 18 0 36748 0
vsize: 147064
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 583363 0 0 0 15956 1046 0 0 25 0 1 0 854498889 157741056 36969 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38511 36969 566 18 0 38493 0
vsize: 154044
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 585138 0 0 0 16952 1051 0 0 25 0 1 0 854498889 165068800 38744 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40300 38744 566 18 0 40282 0
vsize: 161200
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 586912 0 0 0 17949 1054 0 0 25 0 1 0 854498889 172277760 40518 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42060 40518 566 18 0 42042 0
vsize: 168240
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 588666 0 0 0 18944 1059 0 0 25 0 1 0 854498889 179478528 42272 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43818 42272 566 18 0 43800 0
vsize: 175272
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 590442 0 0 0 19938 1065 0 0 25 0 1 0 854498889 186781696 44048 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45601 44048 566 18 0 45583 0
vsize: 182404
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 592205 0 0 0 20933 1071 0 0 25 0 1 0 854498889 193937408 45811 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47348 45811 566 18 0 47330 0
vsize: 189392
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 593937 0 0 0 21929 1076 0 0 25 0 1 0 854498889 201068544 47543 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49089 47543 566 18 0 49071 0
vsize: 196356
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 595691 0 0 0 22925 1079 0 0 25 0 1 0 854498889 208297984 49297 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50854 49297 566 18 0 50836 0
vsize: 203416
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 597429 0 0 0 23922 1083 0 0 25 0 1 0 854498889 215392256 51035 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52586 51035 566 18 0 52568 0
vsize: 210344
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 599153 0 0 0 24919 1087 0 0 25 0 1 0 854498889 222392320 52759 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54295 52759 566 18 0 54277 0
vsize: 217180
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600903 0 0 0 25914 1092 0 0 25 0 1 0 854498889 229613568 54509 4294967295 134512640 134581267 3221224576 3221223472 134517815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56058 54509 566 18 0 56040 0
vsize: 224232
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 26914 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 27914 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 28915 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 29915 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 30915 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 31916 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 32916 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223440 134527056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 33917 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 34917 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 35917 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 36918 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 37918 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 38918 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223488 134527966 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 39919 1092 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+420.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 40919 1093 0 0 25 0 1 0 854498889 229613568 54510 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56058 54510 566 18 0 56040 0
vsize: 224232
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 41916 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 42916 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 43917 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+460.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 44917 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 45918 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 46918 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+490.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 47918 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+500.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 48918 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 600904 0 0 0 49919 1096 0 0 25 0 1 0 854498889 168955904 39724 4294967295 134512640 134581267 3221224576 3221223472 134517781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 39724 566 18 0 41231 0
vsize: 164996
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 602041 0 0 0 50916 1099 0 0 25 0 1 0 854498889 173682688 40861 4294967295 134512640 134581267 3221224576 3221223568 134560800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42403 40861 566 18 0 42385 0
vsize: 169612
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 603668 0 0 0 51911 1104 0 0 25 0 1 0 854498889 180367360 42488 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44035 42488 566 18 0 44017 0
vsize: 176140
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 605291 0 0 0 52908 1108 0 0 25 0 1 0 854498889 187027456 44111 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45661 44111 566 18 0 45643 0
vsize: 182644
[startup+550.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 606907 0 0 0 53905 1111 0 0 25 0 1 0 854498889 193646592 45727 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47277 45727 566 18 0 47259 0
vsize: 189108
[startup+560.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 608519 0 0 0 54901 1116 0 0 25 0 1 0 854498889 200241152 47339 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48887 47339 566 18 0 48869 0
vsize: 195548
[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 610128 0 0 0 55898 1120 0 0 25 0 1 0 854498889 206827520 48948 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50495 48948 566 18 0 50477 0
vsize: 201980
[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 611730 0 0 0 56894 1124 0 0 25 0 1 0 854498889 213319680 50550 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52080 50550 566 18 0 52062 0
vsize: 208320
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 57894 1124 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 58894 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 59894 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 60895 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+630.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 61895 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223440 134528340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+640.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 62895 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+650.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 63895 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 64896 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 65896 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+680.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 66896 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 67897 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223396 1075289756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 68897 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 69897 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+720.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 70897 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 71898 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 72898 1125 0 0 25 0 1 0 854498889 216428544 51291 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52839 51291 566 18 0 52821 0
vsize: 211356
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 73898 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 74898 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 75899 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 76899 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134528384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 77899 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223472 134527808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 78900 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 79900 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 80900 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+830.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 81900 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223520 134558791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+840.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 82901 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+850.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 83901 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 84901 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 85902 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+880.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 86902 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+890.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 87902 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223456 134520448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+900.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 88903 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+910.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 89903 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+920.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 90903 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+930.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 91903 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+940.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 92904 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+950.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 93904 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 94904 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+970.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 95905 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+980.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 96905 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 97905 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 98905 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 99906 1125 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 100905 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 101905 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 102906 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 103906 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 104906 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 105906 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 106907 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 107907 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 108907 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223520 134559190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 109907 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 110908 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 111908 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 112908 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134527056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 113908 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 114909 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612471 0 0 0 115909 1126 0 0 25 0 1 0 854498889 215285760 51035 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51035 566 18 0 52542 0
vsize: 210240
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612473 0 0 0 116909 1126 0 0 25 0 1 0 854498889 215285760 51037 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51037 566 18 0 52542 0
vsize: 210240
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612473 0 0 0 117909 1126 0 0 25 0 1 0 854498889 215285760 51037 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51037 566 18 0 52542 0
vsize: 210240
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 26012
Raw data (stat): 26012 (Pueblo-v2) R 26011 25568 25567 0 -1 0 612473 0 0 0 118910 1127 0 0 25 0 1 0 854498889 215285760 51037 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52560 51037 566 18 0 52542 0
vsize: 210240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 26012
Raw data (stat): 26012 (Pueblo-v2) Z 26011 25568 25567 0 -1 1036 612473 0 0 0 118910 1136 0 0 25 0 1 0 854498889 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.1
CPU time (s): 1200.47
CPU user time (s): 1189.1
CPU system time (s): 11.3643
CPU usage (%): 100.03
Max. virtual memory (Kb): 224232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####