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/milp/normalized-mps-v2-13-7-dano3_3.opb
MD5SUM	cb5fbc431eb68f8a2a8d0f81405ac2af
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	296.838
Number of variables	270305
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	3706
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 39304

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-03 03:02:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27368 boxname=wulflinc4 idbench=1496 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  cb5fbc431eb68f8a2a8d0f81405ac2af  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dano3_3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-dano3_3.opb
IDLAUNCH: 27368
/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:        538136 kB
Buffers:         32204 kB
Cached:         441188 kB
SwapCached:        568 kB
Active:          50936 kB
Inactive:       424540 kB
HighTotal:      131008 kB
HighFree:        33852 kB
LowTotal:       903652 kB
LowFree:        504284 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            15148 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 03:22:37 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 27368 7 1200.36 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.94 0.98 0.91 2/54 24987
Raw data (stat): 24987 (runsolver) R 24986 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 855024874 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 9115 0 0 0 973 25 0 0 25 0 1 0 855024874 42983424 9090 4294967295 134512640 134581267 3221224576 3217028848 1075243645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10494 9090 566 18 0 10476 0
vsize: 41976
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 11961 0 0 0 1961 37 0 0 25 0 1 0 855024874 54444032 11936 4294967295 134512640 134581267 3221224576 3217028840 1075245173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13292 11936 566 18 0 13274 0
vsize: 53168
[startup+30.0017 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 203223 0 0 0 2542 457 0 0 25 0 1 0 855024874 108920832 19247 4294967295 134512640 134581267 3221224576 3221223568 134531700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26592 19247 566 18 0 26574 0
vsize: 106368
[startup+40.0039 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 455466 0 0 0 2996 1003 0 0 25 0 1 0 855024874 121573376 22538 4294967295 134512640 134581267 3221224576 3221223792 134551607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29681 22538 566 18 0 29663 0
vsize: 118724
[startup+50.0059 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 730566 0 0 0 3403 1596 0 0 25 0 1 0 855024874 124854272 23342 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30482 23342 566 18 0 30464 0
vsize: 121928
[startup+60.0063 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 995434 0 0 0 3826 2173 0 0 25 0 1 0 855024874 139153408 26587 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33973 26587 566 18 0 33955 0
vsize: 135892
[startup+70.0095 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1243818 0 0 0 4280 2719 0 0 25 0 1 0 855024874 162664448 32354 4294967295 134512640 134581267 3221224576 3221223568 134531696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39713 32354 566 18 0 39695 0
vsize: 158852
[startup+80.0149 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1354339 0 0 0 5042 2957 0 0 25 0 1 0 855024874 165740544 33315 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40464 33315 566 18 0 40446 0
vsize: 161856
[startup+90.0158 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1354349 0 0 0 6042 2957 0 0 25 0 1 0 855024874 165740544 33325 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40464 33325 566 18 0 40446 0
vsize: 161856
[startup+100.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1354349 0 0 0 7042 2958 0 0 25 0 1 0 855024874 165740544 33325 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40464 33325 566 18 0 40446 0
vsize: 161856
[startup+110.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1355745 0 0 0 8040 2960 0 0 25 0 1 0 855024874 171388928 34721 4294967295 134512640 134581267 3221224576 3221223472 134517891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41843 34721 566 18 0 41825 0
vsize: 167372
[startup+120.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1357495 0 0 0 9036 2964 0 0 25 0 1 0 855024874 178532352 36471 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43587 36471 566 18 0 43569 0
vsize: 174348
[startup+130.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1359401 0 0 0 10031 2968 0 0 25 0 1 0 855024874 186347520 38377 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45495 38377 566 18 0 45477 0
vsize: 181980
[startup+140.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1361251 0 0 0 11028 2972 0 0 25 0 1 0 855024874 193998848 40227 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47363 40227 566 18 0 47345 0
vsize: 189452
[startup+150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1363174 0 0 0 12024 2976 0 0 25 0 1 0 855024874 201838592 42150 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49277 42150 566 18 0 49259 0
vsize: 197108
[startup+160.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24987
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1364994 0 0 0 13020 2980 0 0 25 0 1 0 855024874 209342464 43970 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51109 43970 566 18 0 51091 0
vsize: 204436
[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1366712 0 0 0 14016 2984 0 0 25 0 1 0 855024874 216334336 45688 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52816 45688 566 18 0 52798 0
vsize: 211264
[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1368422 0 0 0 15012 2988 0 0 25 0 1 0 855024874 223322112 47398 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54522 47398 566 18 0 54504 0
vsize: 218088
[startup+190.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1370057 0 0 0 16009 2991 0 0 25 0 1 0 855024874 230064128 49033 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56168 49033 566 18 0 56150 0
vsize: 224672
[startup+200.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1371355 0 0 0 17006 2994 0 0 25 0 1 0 855024874 235397120 50331 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57470 50331 566 18 0 57452 0
vsize: 229880
[startup+210.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1372628 0 0 0 18004 2996 0 0 25 0 1 0 855024874 240590848 51604 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58738 51604 566 18 0 58720 0
vsize: 234952
[startup+220.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1374029 0 0 0 19000 3000 0 0 25 0 1 0 855024874 246370304 53005 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60149 53005 566 18 0 60131 0
vsize: 240596
[startup+230.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1375541 0 0 0 19997 3003 0 0 25 0 1 0 855024874 252579840 54517 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61665 54517 566 18 0 61647 0
vsize: 246660
[startup+240.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1377056 0 0 0 20994 3006 0 0 25 0 1 0 855024874 258818048 56032 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63188 56032 566 18 0 63170 0
vsize: 252752
[startup+250.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1378462 0 0 0 21992 3009 0 0 25 0 1 0 855024874 264515584 57438 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64579 57438 566 18 0 64561 0
vsize: 258316
[startup+260.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1379895 0 0 0 22988 3012 0 0 25 0 1 0 855024874 270467072 58871 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66032 58871 566 18 0 66014 0
vsize: 264128
[startup+270.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1381258 0 0 0 23985 3016 0 0 25 0 1 0 855024874 276058112 60234 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67397 60234 566 18 0 67379 0
vsize: 269588
[startup+280.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1382645 0 0 0 24982 3019 0 0 25 0 1 0 855024874 281776128 61621 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68793 61621 566 18 0 68775 0
vsize: 275172
[startup+290.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1383985 0 0 0 25979 3022 0 0 25 0 1 0 855024874 287215616 62961 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70121 62961 566 18 0 70103 0
vsize: 280484
[startup+300.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1385286 0 0 0 26977 3025 0 0 25 0 1 0 855024874 292519936 64262 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71416 64262 566 18 0 71398 0
vsize: 285664
[startup+310.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1387035 0 0 0 27973 3028 0 0 25 0 1 0 855024874 299798528 66011 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73193 66011 566 18 0 73175 0
vsize: 292772
[startup+320.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1388264 0 0 0 28970 3031 0 0 25 0 1 0 855024874 304820224 67240 4294967295 134512640 134581267 3221224576 3221223504 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74419 67240 566 18 0 74401 0
vsize: 297676
[startup+330.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1388992 0 0 0 29968 3033 0 0 25 0 1 0 855024874 307716096 67968 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75126 67968 566 18 0 75108 0
vsize: 300504
[startup+340.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1389997 0 0 0 30966 3036 0 0 25 0 1 0 855024874 311877632 68973 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76142 68973 566 18 0 76124 0
vsize: 304568
[startup+350.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1391303 0 0 0 31963 3039 0 0 25 0 1 0 855024874 317181952 70279 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77437 70279 566 18 0 77419 0
vsize: 309748
[startup+360.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1392601 0 0 0 32959 3043 0 0 25 0 1 0 855024874 322486272 71577 4294967295 134512640 134581267 3221224576 3221223472 134517720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78732 71577 566 18 0 78714 0
vsize: 314928
[startup+370.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1393866 0 0 0 33956 3046 0 0 25 0 1 0 855024874 327667712 72842 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79997 72842 566 18 0 79979 0
vsize: 319988
[startup+380.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1395126 0 0 0 34953 3049 0 0 25 0 1 0 855024874 332845056 74102 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81261 74102 566 18 0 81243 0
vsize: 325044
[startup+390.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1396380 0 0 0 35951 3051 0 0 25 0 1 0 855024874 337895424 75356 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82494 75356 566 18 0 82476 0
vsize: 329976
[startup+400.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1397620 0 0 0 36949 3054 0 0 25 0 1 0 855024874 343072768 76596 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83758 76596 566 18 0 83740 0
vsize: 335032
[startup+410.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1398813 0 0 0 37947 3056 0 0 25 0 1 0 855024874 347860992 77789 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84927 77789 566 18 0 84909 0
vsize: 339708
[startup+420.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1400029 0 0 0 38944 3059 0 0 25 0 1 0 855024874 353091584 79005 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86204 79005 566 18 0 86186 0
vsize: 344816
[startup+430.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1401204 0 0 0 39942 3061 0 0 25 0 1 0 855024874 357883904 80180 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87374 80180 566 18 0 87356 0
vsize: 349496
[startup+440.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 40941 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+450.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 41941 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223440 134528304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+460.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 42941 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+470.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 43941 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223264 1075289347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+480.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 44942 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+490.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 45942 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+500.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 46942 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+510.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 47942 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+520.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 48942 3062 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223440 134528312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+530.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 49943 3063 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+540.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 50943 3063 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+550.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 51943 3063 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+560.043 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 52943 3063 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+570.044 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402027 0 0 0 53943 3063 0 0 25 0 1 0 855024874 361246720 81003 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81003 566 18 0 88177 0
vsize: 352780
[startup+580.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 54943 3063 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223264 1075289350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+590.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 55943 3063 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+600.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 56943 3063 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+610.045 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 57943 3063 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+620.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 58943 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+630.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 59943 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+640.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 60944 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+650.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 61944 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+660.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 62944 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+670.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1402028 0 0 0 63944 3064 0 0 25 0 1 0 855024874 361246720 81004 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88195 81004 566 18 0 88177 0
vsize: 352780
[startup+680.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403024 0 0 0 64943 3065 0 0 25 0 1 0 855024874 365391872 82000 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89207 82000 566 18 0 89189 0
vsize: 356828
[startup+690.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 65943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+700.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 66943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+710.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 67943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+720.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 68943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+730.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 69943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+740.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 70943 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+750.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 71944 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223504 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+760.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 72944 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+770.054 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 73944 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+780.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 74944 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+790.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 75944 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+800.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 76945 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+810.056 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 77945 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+820.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 78945 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+830.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 79945 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+840.057 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 80945 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+850.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 81946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+860.058 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 82946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517871 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+870.059 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 83946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223488 134527642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+880.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 84946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+890.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 85946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223568 134561090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+900.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 86946 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+910.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 87947 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+920.061 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 88947 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+930.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403366 0 0 0 89947 3066 0 0 25 0 1 0 855024874 366686208 82342 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89523 82342 566 18 0 89505 0
vsize: 358092
[startup+940.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1403971 0 0 0 90946 3068 0 0 25 0 1 0 855024874 369147904 82947 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90124 82947 566 18 0 90106 0
vsize: 360496
[startup+950.062 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 91944 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223536 134516751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+960.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 92944 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+970.064 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 93945 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+980.064 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 94945 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+990.065 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 95945 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 96945 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 97945 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 98946 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 99946 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 100946 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 101946 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 102946 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 103947 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 104947 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 105947 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 106947 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223520 134559425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 107947 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 108948 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 109948 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 110948 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 111948 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 112948 3070 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 113948 3071 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 114948 3071 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 115948 3071 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 24989
Raw data (stat): 24987 (Pueblo-v2) R 24986 21152 21151 0 -1 0 1405125 0 0 0 116949 3071 0 0 25 0 1 0 855024874 373936128 84101 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91293 84101 566 18 0 91275 0
vsize: 365172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 24989
Raw data (stat): 24987 (Pueblo-v2) Z 24986 21152 21151 0 -1 1036 1405125 0 0 0 116949 3086 0 0 25 0 1 0 855024874 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.23
CPU time (s): 1200.36
CPU user time (s): 1169.49
CPU system time (s): 30.8673
CPU usage (%): 100.01
Max. virtual memory (Kb): 365172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####