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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM	6eb30c4e664b9c0e8d94f2aea74a91a3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1611
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1611
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24576
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	98256
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1041679
Total number of constraints	137871
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10091
Number of constraints which are nor clauses,nor cardinality constraints	127780
Minimum length of a constraint	1
Maximum length of a constraint	275
Trace number 38939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-02 19:03:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26998 boxname=wulflinc5 idbench=1126 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  6eb30c4e664b9c0e8d94f2aea74a91a3  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos19.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos19.opb
IDLAUNCH: 26998
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        649632 kB
Buffers:         23256 kB
Cached:         337528 kB
SwapCached:        568 kB
Active:          81432 kB
Inactive:       281372 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        649380 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16388 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 19:23:47 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 26998 7 1200.38 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.98 0.97 0.91 2/54 11500
Raw data (stat): 11500 (runsolver) R 11499 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852160582 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.0001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 10999 0 0 0 968 31 0 0 25 0 1 0 852160582 50622464 10974 4294967295 134512640 134581267 3221224576 3217028856 1075310462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12359 10974 566 18 0 12341 0
vsize: 49436
[startup+20.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 24549 0 0 0 1931 68 0 0 25 0 1 0 852160582 106139648 24524 4294967295 134512640 134581267 3221224576 3217028812 1075310600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25913 24524 566 18 0 25895 0
vsize: 103652
[startup+30.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 32641 0 0 0 2907 92 0 0 25 0 1 0 852160582 139288576 32616 4294967295 134512640 134581267 3221224576 3217028840 1075245081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34006 32616 566 18 0 33988 0
vsize: 136024
[startup+40.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 35102 0 0 0 3897 103 0 0 25 0 1 0 852160582 149381120 35077 4294967295 134512640 134581267 3221224576 3217028832 134533950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36470 35077 566 18 0 36452 0
vsize: 145880
[startup+50.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 37613 0 0 0 4887 113 0 0 25 0 1 0 852160582 159748096 37588 4294967295 134512640 134581267 3221224576 3217028812 1075310604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39001 37588 566 18 0 38983 0
vsize: 156004
[startup+60.0027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 68698 0 0 0 5815 185 0 0 25 0 1 0 852160582 268861440 63312 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63319 566 18 0 65622 0
vsize: 262560
[startup+70.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 332515 0 0 0 6188 812 0 0 25 0 1 0 852160582 268861440 63467 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63474 566 18 0 65622 0
vsize: 262560
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 596398 0 0 0 6569 1431 0 0 25 0 1 0 852160582 268861440 63688 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63695 566 18 0 65622 0
vsize: 262560
[startup+90.0033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 860184 0 0 0 6948 2052 0 0 25 0 1 0 852160582 268861440 63812 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63820 566 18 0 65622 0
vsize: 262560
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 1124007 0 0 0 7324 2676 0 0 25 0 1 0 852160582 268861440 63973 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63980 566 18 0 65622 0
vsize: 262560
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 1387810 0 0 0 7701 3300 0 0 25 0 1 0 852160582 268861440 63096 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63105 566 18 0 65622 0
vsize: 262560
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11500
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 1651681 0 0 0 8075 3926 0 0 25 0 1 0 852160582 268861440 63305 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63313 566 18 0 65622 0
vsize: 262560
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 1915519 0 0 0 8449 4553 0 0 25 0 1 0 852160582 268861440 63481 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63488 566 18 0 65622 0
vsize: 262560
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 2179569 0 0 0 8824 5178 0 0 25 0 1 0 852160582 268861440 63869 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63876 566 18 0 65622 0
vsize: 262560
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 2443472 0 0 0 9200 5802 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63099 566 18 0 65622 0
vsize: 258488
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 2707552 0 0 0 9573 6429 0 0 25 0 1 0 852160582 268861440 63510 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63517 566 18 0 65622 0
vsize: 262560
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 2971589 0 0 0 9954 7048 0 0 25 0 1 0 852160582 268861440 63885 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63892 566 18 0 65622 0
vsize: 262560
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 3235476 0 0 0 10331 7672 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63099 566 18 0 65622 0
vsize: 258488
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 3499549 0 0 0 10702 8301 0 0 25 0 1 0 852160582 268861440 63503 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63510 566 18 0 65622 0
vsize: 262560
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 3763630 0 0 0 11075 8929 0 0 25 0 1 0 852160582 268861440 63922 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63929 566 18 0 65622 0
vsize: 262560
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 4027486 0 0 0 11448 9555 0 0 25 0 1 0 852160582 268861440 63099 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63108 566 18 0 65622 0
vsize: 262560
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 4291593 0 0 0 11826 10178 0 0 25 0 1 0 852160582 268861440 63543 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63550 566 18 0 65622 0
vsize: 262560
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 4555608 0 0 0 12197 10807 0 0 25 0 1 0 852160582 268861440 63896 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63904 566 18 0 65622 0
vsize: 262560
[startup+240.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 4819484 0 0 0 12574 11430 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63100 566 18 0 65622 0
vsize: 258488
[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 5083590 0 0 0 12945 12059 0 0 25 0 1 0 852160582 268861440 63536 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63543 566 18 0 65622 0
vsize: 262560
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 5347638 0 0 0 13321 12684 0 0 25 0 1 0 852160582 268861440 63922 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63929 566 18 0 65622 0
vsize: 262560
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 5611499 0 0 0 13699 13306 0 0 25 0 1 0 852160582 268861440 63103 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63111 566 18 0 65622 0
vsize: 262560
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 5875574 0 0 0 14081 13924 0 0 25 0 1 0 852160582 268861440 63516 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63523 566 18 0 65622 0
vsize: 262560
[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 6139586 0 0 0 14462 14543 0 0 25 0 1 0 852160582 268861440 63866 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63873 566 18 0 65622 0
vsize: 262560
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 6403492 0 0 0 14839 15167 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63100 566 18 0 65622 0
vsize: 258488
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 6667573 0 0 0 15210 15796 0 0 25 0 1 0 852160582 268861440 63511 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63518 566 18 0 65622 0
vsize: 262560
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 6931595 0 0 0 15589 16417 0 0 25 0 1 0 852160582 268861440 63871 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63879 566 18 0 65622 0
vsize: 262560
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 7195496 0 0 0 15964 17042 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63099 566 18 0 65622 0
vsize: 258488
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 7459560 0 0 0 16341 17666 0 0 25 0 1 0 852160582 268861440 63494 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63502 566 18 0 65622 0
vsize: 262560
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 7723624 0 0 0 16718 18289 0 0 25 0 1 0 852160582 268861440 63896 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63903 566 18 0 65622 0
vsize: 262560
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 7987500 0 0 0 17089 18918 0 0 25 0 1 0 852160582 264691712 63092 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63099 566 18 0 65622 0
vsize: 258488
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 8251563 0 0 0 17465 19542 0 0 25 0 1 0 852160582 268861440 63493 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63500 566 18 0 65622 0
vsize: 262560
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 8515579 0 0 0 17844 20164 0 0 25 0 1 0 852160582 268861440 63847 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63854 566 18 0 65622 0
vsize: 262560
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 8779504 0 0 0 18210 20797 0 0 25 0 1 0 852160582 268861440 64110 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64110 566 18 0 65622 0
vsize: 262560
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 9043529 0 0 0 18586 21422 0 0 25 0 1 0 852160582 268861440 63455 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63463 566 18 0 65622 0
vsize: 262560
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 9307383 0 0 0 18964 22044 0 0 25 0 1 0 852160582 268861440 63647 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63654 566 18 0 65622 0
vsize: 262560
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 9571362 0 0 0 19339 22669 0 0 25 0 1 0 852160582 268861440 63964 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63971 566 18 0 65622 0
vsize: 262560
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 9835271 0 0 0 19719 23289 0 0 25 0 1 0 852160582 268861440 63193 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63201 566 18 0 65622 0
vsize: 262560
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 10099266 0 0 0 20101 23907 0 0 25 0 1 0 852160582 268861440 63526 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63534 566 18 0 65622 0
vsize: 262560
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 10363256 0 0 0 20480 24529 0 0 25 0 1 0 852160582 268861440 63854 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63861 566 18 0 65622 0
vsize: 262560
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 10627127 0 0 0 20852 25157 0 0 25 0 1 0 852160582 268861440 64063 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64069 566 18 0 65622 0
vsize: 262560
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 10890837 0 0 0 21224 25785 0 0 25 0 1 0 852160582 268861440 64111 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64111 566 18 0 65622 0
vsize: 262560
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 11154636 0 0 0 21601 26408 0 0 25 0 1 0 852160582 268861440 63230 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63237 566 18 0 65622 0
vsize: 262560
[startup+490.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 11418458 0 0 0 21986 27024 0 0 25 0 1 0 852160582 268861440 63390 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63397 566 18 0 65622 0
vsize: 262560
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 11682350 0 0 0 22365 27644 0 0 25 0 1 0 852160582 268861440 63620 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63627 566 18 0 65622 0
vsize: 262560
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 11946218 0 0 0 22739 28271 0 0 25 0 1 0 852160582 268861440 63826 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63834 566 18 0 65622 0
vsize: 262560
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 12210033 0 0 0 23113 28897 0 0 25 0 1 0 852160582 268861440 63979 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63986 566 18 0 65622 0
vsize: 262560
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 12473827 0 0 0 23494 29517 0 0 25 0 1 0 852160582 268861440 64111 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64111 566 18 0 65622 0
vsize: 262560
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 12737521 0 0 0 23868 30143 0 0 25 0 1 0 852160582 268861440 63125 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63135 566 18 0 65622 0
vsize: 262560
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 13001425 0 0 0 24246 30764 0 0 25 0 1 0 852160582 268861440 63367 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63374 566 18 0 65622 0
vsize: 262560
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 13265288 0 0 0 24623 31387 0 0 25 0 1 0 852160582 268861440 63568 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63575 566 18 0 65622 0
vsize: 262560
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 13529146 0 0 0 25000 32011 0 0 25 0 1 0 852160582 268861440 63764 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63771 566 18 0 65622 0
vsize: 262560
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 13793025 0 0 0 25382 32629 0 0 25 0 1 0 852160582 268861440 63981 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63988 566 18 0 65622 0
vsize: 262560
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 14056817 0 0 0 25747 33264 0 0 25 0 1 0 852160582 268861440 64111 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64111 566 18 0 65622 0
vsize: 262560
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 14320479 0 0 0 26129 33883 0 0 25 0 1 0 852160582 264691712 63093 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63101 566 18 0 65622 0
vsize: 258488
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 14584382 0 0 0 26503 34509 0 0 25 0 1 0 852160582 268861440 63334 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63341 566 18 0 65622 0
vsize: 262560
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 14848221 0 0 0 26877 35135 0 0 25 0 1 0 852160582 268861440 63511 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63518 566 18 0 65622 0
vsize: 262560
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 15112085 0 0 0 27253 35759 0 0 25 0 1 0 852160582 268861440 63713 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63720 566 18 0 65622 0
vsize: 262560
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 15375920 0 0 0 27627 36385 0 0 25 0 1 0 852160582 268861440 63886 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63893 566 18 0 65622 0
vsize: 262560
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 15639777 0 0 0 28005 37008 0 0 25 0 1 0 852160582 268861440 64081 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 64088 566 18 0 65622 0
vsize: 262560
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 15903469 0 0 0 28377 37635 0 0 25 0 1 0 852160582 264691712 63093 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63101 566 18 0 65622 0
vsize: 258488
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 16167357 0 0 0 28760 38252 0 0 25 0 1 0 852160582 268861440 63319 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63326 566 18 0 65622 0
vsize: 262560
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 16431219 0 0 0 29131 38882 0 0 25 0 1 0 852160582 268861440 63519 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63526 566 18 0 65622 0
vsize: 262560
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 16695042 0 0 0 29508 39506 0 0 25 0 1 0 852160582 268861440 63680 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65640 63688 566 18 0 65622 0
vsize: 262560
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 16958859 0 0 0 29887 40127 0 0 25 0 1 0 852160582 269037568 63835 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65683 63842 566 18 0 65665 0
vsize: 262732
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 17222677 0 0 0 30258 40755 0 0 25 0 1 0 852160582 269037568 63991 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65683 63998 566 18 0 65665 0
vsize: 262732
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 17486371 0 0 0 30636 41378 0 0 25 0 1 0 852160582 269037568 64023 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65683 64030 566 18 0 65665 0
vsize: 262732
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 17748586 0 0 0 31009 42005 0 0 25 0 1 0 852160582 269578240 63594 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65815 63601 566 18 0 65797 0
vsize: 263260
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 18010643 0 0 0 31389 42626 0 0 25 0 1 0 852160582 269983744 64025 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65914 64032 566 18 0 65896 0
vsize: 263656
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 18273032 0 0 0 31770 43244 0 0 25 0 1 0 852160582 270389248 63770 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66013 63777 566 18 0 65995 0
vsize: 264052
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 18535458 0 0 0 32155 43860 0 0 25 0 1 0 852160582 270794752 64570 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66112 64570 566 18 0 66094 0
vsize: 264448
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 18797940 0 0 0 32538 44477 0 0 25 0 1 0 852160582 271335424 64408 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66244 64415 566 18 0 66226 0
vsize: 264976
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 19060558 0 0 0 32913 45102 0 0 25 0 1 0 852160582 271740928 64382 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66343 64389 566 18 0 66325 0
vsize: 265372
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 19323365 0 0 0 33278 45737 0 0 25 0 1 0 852160582 272146432 64545 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66442 64552 566 18 0 66424 0
vsize: 265768
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 19587109 0 0 0 33652 46363 0 0 25 0 1 0 852160582 272687104 64627 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66574 64635 566 18 0 66556 0
vsize: 266296
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 19851311 0 0 0 34019 46997 0 0 25 0 1 0 852160582 273092608 64149 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66673 64160 566 18 0 66655 0
vsize: 266692
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 20115661 0 0 0 34391 47625 0 0 25 0 1 0 852160582 273498112 64837 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66772 64844 566 18 0 66754 0
vsize: 267088
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 20379820 0 0 0 34782 48235 0 0 25 0 1 0 852160582 269869056 64316 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66904 64323 566 18 0 66886 0
vsize: 263544
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 20644206 0 0 0 35160 48856 0 0 25 0 1 0 852160582 274444288 65040 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67003 65048 566 18 0 66985 0
vsize: 268012
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 20908381 0 0 0 35549 49468 0 0 25 0 1 0 852160582 270680064 64535 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67102 64542 566 18 0 67084 0
vsize: 264336
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 21172751 0 0 0 35939 50078 0 0 25 0 1 0 852160582 275255296 65243 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67201 65250 566 18 0 67183 0
vsize: 268804
[startup+870.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 21436951 0 0 0 36304 50713 0 0 25 0 1 0 852160582 275795968 64763 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67333 64772 566 18 0 67315 0
vsize: 269332
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 21701295 0 0 0 36684 51333 0 0 25 0 1 0 852160582 276201472 65445 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67432 65453 566 18 0 67414 0
vsize: 269728
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 21965503 0 0 0 37060 51958 0 0 25 0 1 0 852160582 276606976 65991 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67531 65991 566 18 0 67513 0
vsize: 270124
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 22229783 0 0 0 37442 52576 0 0 25 0 1 0 852160582 277147648 65591 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67663 65598 566 18 0 67645 0
vsize: 270652
[startup+910.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 22494064 0 0 0 37808 53210 0 0 25 0 1 0 852160582 277553152 66210 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67762 66210 566 18 0 67744 0
vsize: 271048
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 22758358 0 0 0 38193 53825 0 0 25 0 1 0 852160582 277958656 65824 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67861 65831 566 18 0 67843 0
vsize: 271444
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 23022626 0 0 0 38574 54444 0 0 25 0 1 0 852160582 278499328 66430 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67993 66430 566 18 0 67975 0
vsize: 271972
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 23286950 0 0 0 38947 55071 0 0 25 0 1 0 852160582 278904832 66074 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68092 66081 566 18 0 68074 0
vsize: 272368
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 23551187 0 0 0 39331 55687 0 0 25 0 1 0 852160582 279310336 66649 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68191 66649 566 18 0 68173 0
vsize: 272764
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 23815432 0 0 0 39708 56311 0 0 25 0 1 0 852160582 279851008 66214 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68323 66221 566 18 0 68305 0
vsize: 273292
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 24079749 0 0 0 40088 56931 0 0 25 0 1 0 852160582 280256512 66869 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68422 66869 566 18 0 68404 0
vsize: 273688
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 24343936 0 0 0 40465 57554 0 0 25 0 1 0 852160582 280662016 66376 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68521 66383 566 18 0 68503 0
vsize: 274084
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 24608310 0 0 0 40850 58169 0 0 25 0 1 0 852160582 281202688 67088 4294967295 134512640 134581267 3221224576 3221223584 134531293 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68653 67088 566 18 0 68635 0
vsize: 274612
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 24872519 0 0 0 41235 58785 0 0 25 0 1 0 852160582 281608192 66617 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68752 66624 566 18 0 68734 0
vsize: 275008
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 25136659 0 0 0 41600 59420 0 0 25 0 1 0 852160582 282013696 67095 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68851 67102 566 18 0 68833 0
vsize: 275404
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 25400661 0 0 0 41984 60036 0 0 25 0 1 0 852160582 282554368 66417 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68983 66426 566 18 0 68965 0
vsize: 275932
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 25665093 0 0 0 42352 60669 0 0 25 0 1 0 852160582 282959872 67187 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69082 67194 566 18 0 69064 0
vsize: 276328
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 25929221 0 0 0 42733 61287 0 0 25 0 1 0 852160582 283365376 66635 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69181 66645 566 18 0 69163 0
vsize: 276724
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 26193582 0 0 0 43114 61906 0 0 25 0 1 0 852160582 283906048 67334 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69313 67341 566 18 0 69295 0
vsize: 277252
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 26457796 0 0 0 43490 62531 0 0 25 0 1 0 852160582 284311552 66868 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69412 66877 566 18 0 69394 0
vsize: 277648
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 26722199 0 0 0 43866 63155 0 0 25 0 1 0 852160582 284717056 67609 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69511 67617 566 18 0 69493 0
vsize: 278044
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 26986376 0 0 0 44245 63777 0 0 25 0 1 0 852160582 285122560 67106 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69610 67115 566 18 0 69592 0
vsize: 278440
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 27250751 0 0 0 44631 64390 0 0 25 0 1 0 852160582 285663232 67819 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69742 67826 566 18 0 69724 0
vsize: 278968
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 27514980 0 0 0 45006 65015 0 0 25 0 1 0 852160582 286068736 67368 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69841 67376 566 18 0 69823 0
vsize: 279364
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 27779503 0 0 0 45385 65637 0 0 25 0 1 0 852160582 286474240 68229 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69940 68236 566 18 0 69922 0
vsize: 279760
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 28043652 0 0 0 45770 66252 0 0 25 0 1 0 852160582 287014912 67698 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70072 67705 566 18 0 70054 0
vsize: 280288
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 28308068 0 0 0 46156 66866 0 0 25 0 1 0 852160582 287420416 68452 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70171 68459 566 18 0 70153 0
vsize: 280684
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 28572365 0 0 0 46529 67493 0 0 25 0 1 0 852160582 287825920 68069 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70270 68076 566 18 0 70252 0
vsize: 281080
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 28836779 0 0 0 46915 68108 0 0 25 0 1 0 852160582 288366592 68821 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70402 68828 566 18 0 70384 0
vsize: 281608
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 29101030 0 0 0 47299 68723 0 0 25 0 1 0 852160582 288772096 68392 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70501 68399 566 18 0 70483 0
vsize: 282004
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 29365363 0 0 0 47674 69348 0 0 25 0 1 0 852160582 289177600 69063 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70600 69063 566 18 0 70582 0
vsize: 282400
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 29629861 0 0 0 48056 69967 0 0 25 0 1 0 852160582 289718272 68881 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70732 68888 566 18 0 70714 0
vsize: 282928
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 29893961 0 0 0 48435 70588 0 0 25 0 1 0 852160582 290123776 68301 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70831 68311 566 18 0 70813 0
vsize: 283324
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11502
Raw data (stat): 11500 (Pueblo-v2) R 11499 7266 7265 0 -1 0 30158383 0 0 0 48808 71215 0 0 25 0 1 0 852160582 290529280 69061 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70930 69068 566 18 0 70912 0
vsize: 283720
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11502
Raw data (stat): 11500 (Pueblo-v2) Z 11499 7266 7265 0 -1 1036 30158400 0 0 0 48808 71229 0 0 25 0 1 0 852160582 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.18
CPU time (s): 1200.38
CPU user time (s): 488.087
CPU system time (s): 712.292
CPU usage (%): 100.017
Max. virtual memory (Kb): 283720
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####