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-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
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	39212410939
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	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
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 39276

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        185828 kB
Buffers:         33416 kB
Cached:         790144 kB
SwapCached:        668 kB
Active:          54500 kB
Inactive:       771344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        185576 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5828 kB
Slab:            17272 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:03:14 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 27342 7 1200.28 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/55 15972
Raw data (stat): 15972 (runsolver) R 15971 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 797700922 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+9.99996 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 81513 0 0 0 844 154 0 0 25 0 1 0 797700922 57880576 12421 4294967295 134512640 134581267 3221224576 3221223364 1075298458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14131 12431 566 18 0 14113 0
vsize: 56524
[startup+20.0001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 392726 0 0 0 1296 703 0 0 25 0 1 0 797700922 59502592 12883 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 12891 566 18 0 14509 0
vsize: 58108
[startup+30.0005 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 559219 0 0 0 2008 991 0 0 25 0 1 0 797700922 58843136 12825 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14366 12825 566 18 0 14348 0
vsize: 57464
[startup+40.0003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 559369 0 0 0 3007 992 0 0 25 0 1 0 797700922 59465728 12975 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14518 12975 566 18 0 14500 0
vsize: 58072
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 561655 0 0 0 4001 998 0 0 25 0 1 0 797700922 68820992 15261 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16802 15261 566 18 0 16784 0
vsize: 67208
[startup+60.0009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 563968 0 0 0 4994 1005 0 0 25 0 1 0 797700922 78241792 17574 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19102 17574 566 18 0 19084 0
vsize: 76408
[startup+70.0007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 564905 0 0 0 5991 1008 0 0 25 0 1 0 797700922 82178048 18511 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20063 18511 566 18 0 20045 0
vsize: 80252
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 565187 0 0 0 6990 1010 0 0 25 0 1 0 797700922 83316736 18793 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20341 18793 566 18 0 20323 0
vsize: 81364
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 565380 0 0 0 7990 1010 0 0 25 0 1 0 797700922 84131840 18986 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20540 18986 566 18 0 20522 0
vsize: 82160
[startup+100.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 565969 0 0 0 8988 1012 0 0 25 0 1 0 797700922 86450176 19575 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21106 19575 566 18 0 21088 0
vsize: 84424
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 566519 0 0 0 9987 1013 0 0 25 0 1 0 797700922 88788992 20125 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21677 20125 566 18 0 21659 0
vsize: 86708
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 566937 0 0 0 10986 1014 0 0 25 0 1 0 797700922 90484736 20543 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22091 20543 566 18 0 22073 0
vsize: 88364
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 567780 0 0 0 11984 1016 0 0 25 0 1 0 797700922 93929472 21386 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22932 21386 566 18 0 22914 0
vsize: 91728
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 569075 0 0 0 12982 1019 0 0 25 0 1 0 797700922 99262464 22681 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24234 22681 566 18 0 24216 0
vsize: 96936
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 570484 0 0 0 13979 1022 0 0 25 0 1 0 797700922 104972288 24090 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25628 24090 566 18 0 25610 0
vsize: 102512
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 571894 0 0 0 14975 1026 0 0 25 0 1 0 797700922 110813184 25500 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27054 25500 566 18 0 27036 0
vsize: 108216
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 573117 0 0 0 15972 1029 0 0 25 0 1 0 797700922 115765248 26723 4294967295 134512640 134581267 3221224576 3221223556 134560749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28263 26723 566 18 0 28245 0
vsize: 113052
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 574323 0 0 0 16970 1032 0 0 25 0 1 0 797700922 120717312 27929 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29472 27929 566 18 0 29454 0
vsize: 117888
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 575347 0 0 0 17967 1034 0 0 25 0 1 0 797700922 124923904 28953 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30499 28953 566 18 0 30481 0
vsize: 121996
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 575836 0 0 0 18966 1035 0 0 25 0 1 0 797700922 126951424 29442 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30994 29442 566 18 0 30976 0
vsize: 123976
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 577025 0 0 0 19963 1039 0 0 25 0 1 0 797700922 131887104 30631 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32199 30631 566 18 0 32181 0
vsize: 128796
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 578411 0 0 0 20960 1042 0 0 25 0 1 0 797700922 137670656 32017 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33611 32017 566 18 0 33593 0
vsize: 134444
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 579769 0 0 0 21957 1045 0 0 25 0 1 0 797700922 143208448 33375 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34963 33375 566 18 0 34945 0
vsize: 139852
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 581129 0 0 0 22955 1048 0 0 25 0 1 0 797700922 148742144 34735 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36314 34735 566 18 0 36296 0
vsize: 145256
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 582490 0 0 0 23952 1050 0 0 25 0 1 0 797700922 154275840 36096 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37665 36096 566 18 0 37647 0
vsize: 150660
[startup+260.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 584423 0 0 0 24948 1055 0 0 25 0 1 0 797700922 162230272 38029 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39607 38029 566 18 0 39589 0
vsize: 158428
[startup+270.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 586704 0 0 0 25943 1060 0 0 25 0 1 0 797700922 171634688 40310 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41903 40310 566 18 0 41885 0
vsize: 167612
[startup+280.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 588725 0 0 0 26939 1064 0 0 25 0 1 0 797700922 179789824 42331 4294967295 134512640 134581267 3221224576 3221223456 134560153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43894 42331 566 18 0 43876 0
vsize: 175576
[startup+290.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 590497 0 0 0 27934 1069 0 0 25 0 1 0 797700922 187068416 44103 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45671 44103 566 18 0 45653 0
vsize: 182684
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 592180 0 0 0 28930 1074 0 0 25 0 1 0 797700922 193957888 45786 4294967295 134512640 134581267 3221224576 3221223456 134520222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47353 45786 566 18 0 47335 0
vsize: 189412
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 593879 0 0 0 29925 1078 0 0 25 0 1 0 797700922 200957952 47485 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49062 47485 566 18 0 49044 0
vsize: 196248
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 30922 1080 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+330.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 31923 1080 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 32923 1080 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+350.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 33922 1081 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+360.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 34922 1081 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223520 134558775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 35922 1081 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223472 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 36922 1081 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+390.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 37922 1082 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+400.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 38922 1082 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+410.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 39922 1082 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 40922 1082 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+430.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 41922 1083 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223472 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+440.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 42922 1083 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+450.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 43922 1083 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+460.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 594931 0 0 0 44922 1083 0 0 25 0 1 0 797700922 205221888 48537 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50103 48537 566 18 0 50085 0
vsize: 200412
[startup+470.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 595350 0 0 0 45920 1085 0 0 25 0 1 0 797700922 206974976 48956 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50531 48956 566 18 0 50513 0
vsize: 202124
[startup+480.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 597125 0 0 0 46916 1088 0 0 25 0 1 0 797700922 214241280 50731 4294967295 134512640 134581267 3221224576 3221223456 134520219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52305 50731 566 18 0 52287 0
vsize: 209220
[startup+490.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 598916 0 0 0 47913 1092 0 0 25 0 1 0 797700922 221614080 52522 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54105 52522 566 18 0 54087 0
vsize: 216420
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 600711 0 0 0 48909 1096 0 0 25 0 1 0 797700922 228970496 54317 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55901 54317 566 18 0 55883 0
vsize: 223604
[startup+510.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 602473 0 0 0 49906 1100 0 0 25 0 1 0 797700922 236187648 56079 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57663 56079 566 18 0 57645 0
vsize: 230652
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 604184 0 0 0 50902 1103 0 0 25 0 1 0 797700922 243146752 57790 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59362 57790 566 18 0 59344 0
vsize: 237448
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 605907 0 0 0 51898 1107 0 0 25 0 1 0 797700922 250204160 59513 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61085 59513 566 18 0 61067 0
vsize: 244340
[startup+540.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607637 0 0 0 52894 1112 0 0 25 0 1 0 797700922 257384448 61243 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62838 61243 566 18 0 62820 0
vsize: 251352
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 53893 1113 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 54893 1113 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+570.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 55893 1113 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 56893 1113 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 57893 1113 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 58893 1114 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223520 134558756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 59893 1114 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 60893 1114 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 61893 1114 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+640.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 62893 1114 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+650.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 63893 1115 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 64893 1115 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 65893 1115 0 0 25 0 1 0 797700922 258129920 61402 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63020 61402 566 18 0 63002 0
vsize: 252080
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 66893 1115 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+690.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 67893 1116 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+700.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 68893 1116 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+710.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 69893 1117 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 70892 1117 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 71892 1117 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 72892 1118 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+750.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 73892 1118 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+760.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 74892 1118 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 75892 1119 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 76892 1119 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+790.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 77892 1119 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 78892 1119 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 79892 1119 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+820.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 80891 1120 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+830.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 81891 1120 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+840.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 82891 1120 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 83891 1120 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+860.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 84891 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 85891 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 86891 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+890.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 87891 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+900.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 88892 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134560418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+910.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 89892 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+920.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 90891 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 91892 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+940.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 92892 1121 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+950.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 93892 1122 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223520 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 94892 1122 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 95892 1122 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+980.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 96892 1122 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 97892 1123 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 98892 1123 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 15972
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 99892 1123 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1020.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 16025
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 100889 1125 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1030.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 16025
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 101888 1125 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1040.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 16025
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 102888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1050.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 16025
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 103888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1060.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16025
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 104889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1070.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 16027
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 105888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1080.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 106888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1090.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 107888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223456 134520291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1100.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 108888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1110.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 109888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1120.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 110888 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1130.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 111889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223568 134561078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1140.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 112889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 113889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 114889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 115889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 116889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 117889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 16029
Raw data (stat): 15972 (Pueblo-v2) R 15971 8378 8377 0 -1 0 607796 0 0 0 118889 1126 0 0 25 0 1 0 797700922 253911040 60396 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61990 60396 566 18 0 61972 0
vsize: 247960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 16029
Raw data (stat): 15972 (Pueblo-v2) Z 15971 8378 8377 0 -1 1036 607796 0 0 0 118889 1137 0 0 25 0 1 0 797700922 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.28
CPU user time (s): 1188.9
CPU system time (s): 11.3783
CPU usage (%): 100.012
Max. virtual memory (Kb): 252080
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####