PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-03 01:49:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27343 boxname=wulflinc3 idbench=1471 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  40c6760f4e05a9ceb06922f685226f97  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3709.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3709.opb
IDLAUNCH: 27343
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        326724 kB
Buffers:         29104 kB
Cached:         655756 kB
SwapCached:        240 kB
Active:          43284 kB
Inactive:       644064 kB
HighTotal:      131008 kB
HighFree:        16520 kB
LowTotal:       903652 kB
LowFree:        310204 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6212 kB
Slab:            14688 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:09:34 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 27343 7 1200.33 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.92 0.95 0.90 2/54 22308
Raw data (stat): 22308 (runsolver) R 22307 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854587511 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+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 78249 0 0 0 845 153 0 0 25 0 1 0 854587511 57810944 12453 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14114 12463 566 18 0 14096 0
vsize: 56456
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 385552 0 0 0 1282 716 0 0 25 0 1 0 854587511 59432960 12816 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14510 12826 566 18 0 14492 0
vsize: 58040
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 559221 0 0 0 1970 1028 0 0 25 0 1 0 854587511 58908672 12827 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 12827 566 18 0 14364 0
vsize: 57528
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 559222 0 0 0 2970 1029 0 0 25 0 1 0 854587511 58908672 12828 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 12828 566 18 0 14364 0
vsize: 57528
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 560623 0 0 0 3968 1031 0 0 25 0 1 0 854587511 64581632 14229 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15767 14229 566 18 0 15749 0
vsize: 63068
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 562254 0 0 0 4965 1034 0 0 25 0 1 0 854587511 71262208 15860 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17398 15860 566 18 0 17380 0
vsize: 69592
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 563888 0 0 0 5961 1038 0 0 25 0 1 0 854587511 77946880 17494 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19030 17494 566 18 0 19012 0
vsize: 76120
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 565442 0 0 0 6958 1042 0 0 25 0 1 0 854587511 84373504 19048 4294967295 134512640 134581267 3221224576 3221223440 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20599 19050 566 18 0 20581 0
vsize: 82396
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 567022 0 0 0 7954 1046 0 0 25 0 1 0 854587511 90800128 20628 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22168 20628 566 18 0 22150 0
vsize: 88672
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 568639 0 0 0 8951 1049 0 0 25 0 1 0 854587511 97349632 22245 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23767 22245 566 18 0 23749 0
vsize: 95068
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 570223 0 0 0 9947 1054 0 0 25 0 1 0 854587511 103964672 23829 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25382 23829 566 18 0 25364 0
vsize: 101528
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 571858 0 0 0 10943 1057 0 0 25 0 1 0 854587511 110637056 25464 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27011 25464 566 18 0 26993 0
vsize: 108044
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 573441 0 0 0 11941 1060 0 0 25 0 1 0 854587511 117055488 27047 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28578 27047 566 18 0 28560 0
vsize: 114312
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 575052 0 0 0 12937 1064 0 0 25 0 1 0 854587511 123723776 28658 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30206 28658 566 18 0 30188 0
vsize: 120824
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 576635 0 0 0 13934 1068 0 0 25 0 1 0 854587511 130138112 30241 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31772 30241 566 18 0 31754 0
vsize: 127088
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 578215 0 0 0 14930 1072 0 0 25 0 1 0 854587511 136679424 31821 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33369 31821 566 18 0 33351 0
vsize: 133476
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 579863 0 0 0 15926 1076 0 0 25 0 1 0 854587511 143335424 33469 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34994 33469 566 18 0 34976 0
vsize: 139976
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 581449 0 0 0 16923 1079 0 0 25 0 1 0 854587511 149921792 35055 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36602 35055 566 18 0 36584 0
vsize: 146408
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 583052 0 0 0 17920 1082 0 0 25 0 1 0 854587511 156450816 36658 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38196 36658 566 18 0 38178 0
vsize: 152784
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 584631 0 0 0 18916 1086 0 0 25 0 1 0 854587511 162975744 38237 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39789 38237 566 18 0 39771 0
vsize: 159156
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 586257 0 0 0 19913 1090 0 0 25 0 1 0 854587511 169623552 39863 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41412 39863 566 18 0 41394 0
vsize: 165648
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 587823 0 0 0 20910 1093 0 0 25 0 1 0 854587511 176013312 41429 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42972 41429 566 18 0 42954 0
vsize: 171888
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 589373 0 0 0 21907 1096 0 0 25 0 1 0 854587511 182419456 42979 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44536 42979 566 18 0 44518 0
vsize: 178144
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 590990 0 0 0 22903 1100 0 0 25 0 1 0 854587511 189059072 44596 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46157 44596 566 18 0 46139 0
vsize: 184628
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 592544 0 0 0 23899 1104 0 0 25 0 1 0 854587511 195317760 46150 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47685 46150 566 18 0 47667 0
vsize: 190740
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 594154 0 0 0 24896 1108 0 0 25 0 1 0 854587511 201953280 47760 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49305 47760 566 18 0 49287 0
vsize: 197220
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 595680 0 0 0 25893 1110 0 0 25 0 1 0 854587511 208224256 49286 4294967295 134512640 134581267 3221224576 3221223292 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50836 49286 566 18 0 50818 0
vsize: 203344
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 597280 0 0 0 26890 1114 0 0 25 0 1 0 854587511 214728704 50886 4294967295 134512640 134581267 3221224576 3221223520 134559432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52424 50886 566 18 0 52406 0
vsize: 209696
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 598836 0 0 0 27887 1117 0 0 25 0 1 0 854587511 221102080 52442 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53980 52442 566 18 0 53962 0
vsize: 215920
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 600376 0 0 0 28884 1120 0 0 25 0 1 0 854587511 227356672 53982 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55507 53982 566 18 0 55489 0
vsize: 222028
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 601982 0 0 0 29880 1124 0 0 25 0 1 0 854587511 233988096 55588 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57126 55588 566 18 0 57108 0
vsize: 228504
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 30879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 31879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 32879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 33879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 34879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 35879 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 36880 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 37880 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 38880 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 39880 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223540 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 40880 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 41881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 42881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 43881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 44881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 45881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 46881 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 47882 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 602875 0 0 0 48882 1126 0 0 25 0 1 0 854587511 237613056 56481 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58011 56481 566 18 0 57993 0
vsize: 232044
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 49881 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 50881 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 51882 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 52882 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 53882 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 54882 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223472 134517779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 55882 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 56883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 57883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 58883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 59883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 60883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22308
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 61883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+640.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 62883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+650.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 63883 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223440 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+660.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 64884 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+670.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 65884 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+680.029 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 66884 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+690.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603264 0 0 0 67884 1127 0 0 25 0 1 0 854587511 239255552 56870 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58412 56870 566 18 0 58394 0
vsize: 233648
[startup+700.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22361
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603641 0 0 0 68883 1128 0 0 25 0 1 0 854587511 240742400 57247 4294967295 134512640 134581267 3221224576 3221223488 134527658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58775 57247 566 18 0 58757 0
vsize: 235100
[startup+710.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 69883 1129 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+720.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 70883 1129 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+730.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 71883 1129 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+740.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 72883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223472 134517754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+750.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 73883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223472 134517767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+760.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 74883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+770.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 75883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 76883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 77883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 78883 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 79884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 80884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 81884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 82884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 83884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 84884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 85884 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223520 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 86885 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 603819 0 0 0 87885 1130 0 0 25 0 1 0 854587511 241479680 57425 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58955 57425 566 18 0 58937 0
vsize: 235820
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604422 0 0 0 88884 1131 0 0 25 0 1 0 854587511 244121600 58028 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59600 58028 566 18 0 59582 0
vsize: 238400
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 89884 1131 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+920.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 90884 1131 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223564 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 91884 1131 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22363
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 92885 1131 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 93885 1131 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 94885 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 95885 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 96885 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 97886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 98886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 99886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 100886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 101886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 102886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 103886 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 104887 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 105887 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 106887 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 107887 1132 0 0 25 0 1 0 854587511 244494336 58117 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59691 58117 566 18 0 59673 0
vsize: 238764
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 108887 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 109887 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 110888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223568 134561067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 111888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 112888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 113888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 114888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223492 1075285509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 115888 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 116889 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223504 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 117889 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22365
Raw data (stat): 22308 (Pueblo-v2) R 22307 20224 20223 0 -1 0 604511 0 0 0 118889 1132 0 0 25 0 1 0 854587511 243609600 57922 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59475 57922 566 18 0 59457 0
vsize: 237900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 22365
Raw data (stat): 22308 (Pueblo-v2) Z 22307 20224 20223 0 -1 1036 604511 0 0 0 118889 1142 0 0 25 0 1 0 854587511 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.15
CPU time (s): 1200.33
CPU user time (s): 1188.9
CPU system time (s): 11.4293
CPU usage (%): 100.015
Max. virtual memory (Kb): 238764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####