PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-03 01:21:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27335 boxname=wulflinc4 idbench=1463 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  c5e85fef75cd61b11166b8854f4a9cf3  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3701.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3701.opb
IDLAUNCH: 27335
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        595484 kB
Buffers:         31420 kB
Cached:         384784 kB
SwapCached:        568 kB
Active:          30444 kB
Inactive:       387900 kB
HighTotal:      131008 kB
HighFree:        90216 kB
LowTotal:       903652 kB
LowFree:        505268 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            15048 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:41:59 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 27335 7 1200.31 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.91 0.95 0.90 2/54 24413
Raw data (stat): 24413 (runsolver) R 24412 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854421002 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99994 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 75518 0 0 0 846 152 0 0 25 0 1 0 854421002 57810944 12503 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14114 12511 566 18 0 14096 0
vsize: 56456
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 374095 0 0 0 1286 712 0 0 25 0 1 0 854421002 59297792 12895 4294967295 134512640 134581267 3221224576 3221223584 134531292 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14374 12792 566 18 0 14356 0
vsize: 57908
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 559220 0 0 0 1935 1063 0 0 25 0 1 0 854421002 58908672 12826 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 12826 566 18 0 14364 0
vsize: 57528
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 561742 0 0 0 2930 1068 0 0 25 0 1 0 854421002 69140480 15348 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16880 15348 566 18 0 16862 0
vsize: 67520
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 564298 0 0 0 3924 1075 0 0 25 0 1 0 854421002 79638528 17904 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19443 17904 566 18 0 19425 0
vsize: 77772
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 566123 0 0 0 4919 1080 0 0 25 0 1 0 854421002 87101440 19729 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21265 19729 566 18 0 21247 0
vsize: 85060
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 567901 0 0 0 5915 1084 0 0 25 0 1 0 854421002 94466048 21507 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23063 21507 566 18 0 23045 0
vsize: 92252
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 569886 0 0 0 6910 1089 0 0 25 0 1 0 854421002 102592512 23492 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25047 23492 566 18 0 25029 0
vsize: 100188
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 571544 0 0 0 7906 1093 0 0 25 0 1 0 854421002 109326336 25150 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26691 25150 566 18 0 26673 0
vsize: 106764
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 573031 0 0 0 8903 1096 0 0 25 0 1 0 854421002 115392512 26637 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28172 26637 566 18 0 28154 0
vsize: 112688
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 574357 0 0 0 9900 1099 0 0 25 0 1 0 854421002 120983552 27963 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29537 27963 566 18 0 29519 0
vsize: 118148
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 575853 0 0 0 10896 1104 0 0 25 0 1 0 854421002 127070208 29459 4294967295 134512640 134581267 3221224576 3221223488 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31023 29460 566 18 0 31005 0
vsize: 124092
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 577177 0 0 0 11893 1107 0 0 25 0 1 0 854421002 132513792 30783 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32352 30783 566 18 0 32334 0
vsize: 129408
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 578673 0 0 0 12889 1111 0 0 25 0 1 0 854421002 138608640 32279 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 32279 566 18 0 33822 0
vsize: 135360
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 580086 0 0 0 13886 1115 0 0 25 0 1 0 854421002 144449536 33692 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35266 33692 566 18 0 35248 0
vsize: 141064
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 581486 0 0 0 14881 1120 0 0 25 0 1 0 854421002 150077440 35092 4294967295 134512640 134581267 3221224576 3221223504 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36640 35092 566 18 0 36622 0
vsize: 146560
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 583003 0 0 0 15878 1123 0 0 25 0 1 0 854421002 156409856 36609 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38186 36609 566 18 0 38168 0
vsize: 152744
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 16874 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223536 134516716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 17874 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 18874 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223464 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 19874 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 20874 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 21875 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 22875 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585395 0 0 0 23875 1127 0 0 25 0 1 0 854421002 166137856 39001 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39001 566 18 0 40543 0
vsize: 162244
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 24875 1127 0 0 25 0 1 0 854421002 166137856 39002 4294967295 134512640 134581267 3221224576 3221223536 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40561 39002 566 18 0 40543 0
vsize: 162244
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 25875 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 26876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 27876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 28876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 29876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 30876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 31876 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 32877 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 585396 0 0 0 33877 1127 0 0 25 0 1 0 854421002 166064128 38993 4294967295 134512640 134581267 3221224576 3221223440 134528310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40543 38993 566 18 0 40525 0
vsize: 162172
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 586619 0 0 0 34875 1130 0 0 25 0 1 0 854421002 171171840 40216 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41790 40216 566 18 0 41772 0
vsize: 167160
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 588948 0 0 0 35871 1133 0 0 25 0 1 0 854421002 180670464 42545 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44109 42545 566 18 0 44091 0
vsize: 176436
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 36868 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223520 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 37869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 38869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 39869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 40869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 41869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 42869 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 590564 0 0 0 43870 1136 0 0 25 0 1 0 854421002 187424768 44161 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45758 44161 566 18 0 45740 0
vsize: 183032
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 591316 0 0 0 44868 1138 0 0 25 0 1 0 854421002 190537728 44913 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46518 44913 566 18 0 46500 0
vsize: 186072
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 593558 0 0 0 45864 1143 0 0 25 0 1 0 854421002 199634944 47155 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48739 47155 566 18 0 48721 0
vsize: 194956
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 595936 0 0 0 46859 1148 0 0 25 0 1 0 854421002 209477632 49533 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51142 49533 566 18 0 51124 0
vsize: 204568
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 598307 0 0 0 47853 1153 0 0 25 0 1 0 854421002 219181056 51904 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53511 51904 566 18 0 53493 0
vsize: 214044
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 600681 0 0 0 48848 1159 0 0 25 0 1 0 854421002 228814848 54278 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55863 54278 566 18 0 55845 0
vsize: 223452
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 49845 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 50846 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 51846 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 52846 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 53846 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 54846 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 55847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 56847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 57847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 58847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 59847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 60847 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 61848 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 62848 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 63848 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 64848 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 65848 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 66849 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 67849 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 68849 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 69849 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223520 134559417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 70849 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 71850 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223440 134560444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 72850 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 601857 0 0 0 73850 1162 0 0 25 0 1 0 854421002 233668608 55454 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57048 55454 566 18 0 57030 0
vsize: 228192
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602219 0 0 0 74850 1162 0 0 25 0 1 0 854421002 235167744 55816 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57414 55816 566 18 0 57396 0
vsize: 229656
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 75849 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+780.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 76849 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 77849 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 78850 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 79850 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 80850 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 81850 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 82850 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 83851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 84851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 85851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 86851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223464 134560149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 87851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 88851 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 89852 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223292 1075288837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+920.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 90852 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 91852 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 92852 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223472 134527752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 93852 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 94853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 95853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 96853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 97853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 98853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223352 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 99853 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 602723 0 0 0 100854 1163 0 0 25 0 1 0 854421002 237166592 56320 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57902 56320 566 18 0 57884 0
vsize: 231608
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 101853 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 102853 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223520 134558786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 103853 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 104853 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 105854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 106854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 107854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223536 134554650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 108854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 109854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 110854 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 111855 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 112855 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 113855 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223440 134528346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 114855 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 115855 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 116856 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 117856 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24413
Raw data (stat): 24413 (Pueblo-v2) R 24412 21152 21151 0 -1 0 603176 0 0 0 118856 1164 0 0 25 0 1 0 854421002 239046656 56773 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58361 56773 566 18 0 58343 0
vsize: 233444
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24413
Raw data (stat): 24413 (Pueblo-v2) Z 24412 21152 21151 0 -1 1036 603176 0 0 0 118856 1175 0 0 25 0 1 0 854421002 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.14
CPU time (s): 1200.31
CPU user time (s): 1188.56
CPU system time (s): 11.7502
CPU usage (%): 100.015
Max. virtual memory (Kb): 233444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####