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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
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	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 39061

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 19:48:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27088 boxname=wulflinc6 idbench=1216 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 27088
/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:        269592 kB
Buffers:         34080 kB
Cached:         709288 kB
SwapCached:        552 kB
Active:          81056 kB
Inactive:       664400 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        269340 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13988 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 20:08:56 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 27088 7 1200.45 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): 1.01 0.97 0.91 1/54 20559
Raw data (stat): 20559 (runsolver) R 20558 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852430712 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.0012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 5123 0 0 0 983 15 0 0 25 0 1 0 852430712 24977408 5098 4294967295 134512640 134581267 3221224576 3217028812 1075310602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6098 5098 566 18 0 6080 0
vsize: 24392
[startup+20.002 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 7505 0 0 0 1973 26 0 0 25 0 1 0 852430712 34664448 7480 4294967295 134512640 134581267 3221224576 3217028812 1075310606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8463 7480 566 18 0 8445 0
vsize: 33852
[startup+30.0021 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 237688 0 0 0 2583 417 0 0 25 0 1 0 852430712 54099968 11097 4294967295 134512640 134581267 3221224576 3221223568 134531688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13208 11097 566 18 0 13190 0
vsize: 52832
[startup+40.0038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 551211 0 0 0 3037 962 0 0 25 0 1 0 852430712 58966016 12330 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14396 12330 566 18 0 14378 0
vsize: 57584
[startup+50.0045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 824908 0 0 0 3559 1441 0 0 25 0 1 0 852430712 76648448 16662 4294967295 134512640 134581267 3221224576 3221222512 134532210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18713 16662 566 18 0 18695 0
vsize: 74852
[startup+60.0045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 4555 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+70.0053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 5555 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+80.0057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 6555 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+90.0059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 7556 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 8556 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 9556 1446 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 10556 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+130.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 11557 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+140.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 12557 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 13558 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 14558 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 15559 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+180.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 16559 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+190.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 17559 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+200.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 18560 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+210.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 19560 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+220.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 20561 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+230.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 21561 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+240.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 22561 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+250.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 23562 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+260.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 24562 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+270.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 25562 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+280.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 26563 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+290.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 27563 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+300.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 28563 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+310.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 29564 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+320.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 30564 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+330.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 31564 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+340.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 32565 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+350.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 33565 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+360.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 34566 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+370.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 35566 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+380.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 36566 1447 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+390.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 37567 1448 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+400.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 38561 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+410.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 39562 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+420.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 40562 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+430.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 41563 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+440.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 42563 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+450.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 43563 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+460.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 44564 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+470.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 45564 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+480.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 46564 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+490.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 47565 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+500.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 48565 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134530796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+510.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 49565 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+520.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 50565 1453 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223584 134529949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+530.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 51562 1457 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+540.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 52562 1457 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+550.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 53562 1458 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+560.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 54562 1458 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+570.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 55563 1458 0 0 25 0 1 0 852430712 81952768 18034 4294967295 134512640 134581267 3221224576 3221223488 134528042 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 18034 566 18 0 19990 0
vsize: 80032
[startup+580.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 56563 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+590.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 57564 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+600.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 58564 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+610.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 59564 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+620.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 60564 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+630.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 61565 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+640.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 62565 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+650.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 63565 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+660.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 20559
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 64566 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+670.04 s]
Raw data (loadavg): 1.00 0.97 0.91 3/58 20588
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 65566 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+680.04 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 66566 1458 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+690.04 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 67566 1459 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+700.04 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 68566 1459 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+710.039 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 69566 1460 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+720.039 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 70566 1460 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+730.039 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 71566 1461 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+740.038 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20612
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 72566 1461 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+750.038 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 73565 1461 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+760.038 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 74565 1462 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+770.038 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 75565 1462 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+780.037 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 76565 1462 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+790.038 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 77565 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+800.037 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 78565 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+810.037 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 79565 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+820.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 80565 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+830.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 81566 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+840.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 82566 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+850.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 83566 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+860.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 84567 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+870.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 85567 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+880.037 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 86567 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+890.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 87568 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 88568 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+910.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 89568 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 90569 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+930.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 91569 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 92569 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 93569 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+960.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 94570 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20614
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 95570 1463 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+980.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 96570 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+990.033 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 97570 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 98570 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 99571 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 100571 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 101571 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 102572 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 103572 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 104572 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 105573 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 106573 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 107573 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 108573 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 109574 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 110574 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 111574 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 112575 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 113575 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 114575 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 115575 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 116576 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 117576 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 20616
Raw data (stat): 20559 (Pueblo-v2) R 20558 25568 25567 0 -1 0 827385 0 0 0 118576 1464 0 0 25 0 1 0 852430712 81928192 18034 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 18034 566 18 0 19984 0
vsize: 80008
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 20616
Raw data (stat): 20559 (Pueblo-v2) Z 20558 25568 25567 0 -1 1036 827385 0 0 0 118576 1467 0 0 25 0 1 0 852430712 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.45
CPU user time (s): 1185.77
CPU system time (s): 14.6798
CPU usage (%): 100.032
Max. virtual memory (Kb): 80032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####