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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 38554

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 13:42:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26620 boxname=wulflinc2 idbench=350 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  5b8ef604a7452dcb7c7d749b75aed566  /oldhome/oroussel/tmp/wulflinc2/normalized-frb59-26-2.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb59-26-2.opb
IDLAUNCH: 26620
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        722184 kB
Buffers:         33680 kB
Cached:         256360 kB
SwapCached:       1136 kB
Active:          23532 kB
Inactive:       268956 kB
HighTotal:      131008 kB
HighFree:         4508 kB
LowTotal:       903652 kB
LowFree:        717676 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14192 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 13:58:38 (client local time) WITH STATUS 0 IN 966.062 SECONDS
stats: 26620 7 966.062 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
Pueblo-v2: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc2/normalized-frb59-26-2.opb
c #variables read: 1534 - #constraints read: 126164
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.01 0.99 0.92 2/54 22796
Raw data (stat): 22796 (runsolver) R 22795 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850236403 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.001 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 4549 0 0 0 985 13 0 0 25 0 1 0 850236403 24223744 4523 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5914 4523 566 18 0 5896 0
vsize: 23656
[startup+20.0016 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 7097 0 0 0 1979 18 0 0 25 0 1 0 850236403 34705408 7071 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8473 7071 566 18 0 8455 0
vsize: 33892
[startup+30.0027 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 10292 0 0 0 2973 25 0 0 25 0 1 0 850236403 47796224 10266 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11669 10266 566 18 0 11651 0
vsize: 46676
[startup+40.003 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 12813 0 0 0 3968 30 0 0 25 0 1 0 850236403 58200064 12787 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14209 12787 566 18 0 14191 0
vsize: 56836
[startup+50.0027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 16435 0 0 0 4961 37 0 0 25 0 1 0 850236403 73011200 16409 4294967295 134512640 134581267 3221224592 3221223488 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17825 16409 566 18 0 17807 0
vsize: 71300
[startup+60.0028 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 18978 0 0 0 5955 44 0 0 25 0 1 0 850236403 83427328 18952 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20368 18952 566 18 0 20350 0
vsize: 81472
[startup+70.0031 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 20347 0 0 0 6952 46 0 0 25 0 1 0 850236403 89137152 20321 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21762 20321 566 18 0 21744 0
vsize: 87048
[startup+80.0038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 22347 0 0 0 7948 51 0 0 25 0 1 0 850236403 97320960 22321 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23760 22323 566 18 0 23742 0
vsize: 95040
[startup+90.0038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 26202 0 0 0 8941 58 0 0 25 0 1 0 850236403 113102848 26176 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27613 26176 566 18 0 27595 0
vsize: 110452
[startup+100.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 29604 0 0 0 9936 63 0 0 25 0 1 0 850236403 127180800 29578 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31050 29578 566 18 0 31032 0
vsize: 124200
[startup+110.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 32630 0 0 0 10929 70 0 0 25 0 1 0 850236403 139591680 32604 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34080 32604 566 18 0 34062 0
vsize: 136320
[startup+120.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 34372 0 0 0 11927 73 0 0 25 0 1 0 850236403 146931712 34346 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35872 34346 566 18 0 35854 0
vsize: 143488
[startup+130.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 36782 0 0 0 12921 78 0 0 25 0 1 0 850236403 156991488 36756 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38328 36756 566 18 0 38310 0
vsize: 153312
[startup+140.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 39035 0 0 0 13918 82 0 0 25 0 1 0 850236403 166232064 39009 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40584 39009 566 18 0 40566 0
vsize: 162336
[startup+150.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 41036 0 0 0 14914 86 0 0 25 0 1 0 850236403 174530560 41010 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42610 41010 566 18 0 42592 0
vsize: 170440
[startup+160.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 43541 0 0 0 15908 92 0 0 25 0 1 0 850236403 184860672 43515 4294967295 134512640 134581267 3221224592 3221223456 134528243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45132 43516 566 18 0 45114 0
vsize: 180528
[startup+170.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 46586 0 0 0 16902 98 0 0 25 0 1 0 850236403 197337088 46560 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48178 46560 566 18 0 48160 0
vsize: 192712
[startup+180.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 49064 0 0 0 17897 104 0 0 25 0 1 0 850236403 207527936 49038 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50666 49038 566 18 0 50648 0
vsize: 202664
[startup+190.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 52482 0 0 0 18891 110 0 0 25 0 1 0 850236403 221597696 52456 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54101 52456 566 18 0 54083 0
vsize: 216404
[startup+200.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 55200 0 0 0 19885 116 0 0 25 0 1 0 850236403 232837120 55174 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56845 55174 566 18 0 56827 0
vsize: 227380
[startup+210.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 56905 0 0 0 20882 119 0 0 25 0 1 0 850236403 239874048 56879 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58563 56879 566 18 0 58545 0
vsize: 234252
[startup+220.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 58199 0 0 0 21880 121 0 0 25 0 1 0 850236403 245252096 58173 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59876 58173 566 18 0 59858 0
vsize: 239504
[startup+230.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 59938 0 0 0 22877 125 0 0 25 0 1 0 850236403 252350464 59912 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61609 59912 566 18 0 61591 0
vsize: 246436
[startup+240.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 61279 0 0 0 23875 127 0 0 25 0 1 0 850236403 257847296 61253 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62951 61253 566 18 0 62933 0
vsize: 251804
[startup+250.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 62694 0 0 0 24871 131 0 0 25 0 1 0 850236403 263712768 62668 4294967295 134512640 134581267 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64383 62668 566 18 0 64365 0
vsize: 257532
[startup+260.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 64160 0 0 0 25868 134 0 0 25 0 1 0 850236403 269705216 64134 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65846 64134 566 18 0 65828 0
vsize: 263384
[startup+270.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 64560 0 0 0 26867 135 0 0 25 0 1 0 850236403 271343616 64534 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66246 64534 566 18 0 66228 0
vsize: 264984
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 64791 0 0 0 27867 136 0 0 25 0 1 0 850236403 272498688 64765 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66528 64765 566 18 0 66510 0
vsize: 266112
[startup+290.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 66496 0 0 0 28864 139 0 0 25 0 1 0 850236403 279465984 66470 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68229 66470 566 18 0 68211 0
vsize: 272916
[startup+300.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 70295 0 0 0 29856 147 0 0 25 0 1 0 850236403 295120896 70269 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72051 70269 566 18 0 72033 0
vsize: 288204
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 74315 0 0 0 30848 155 0 0 25 0 1 0 850236403 311599104 74289 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76074 74289 566 18 0 76056 0
vsize: 304296
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 77110 0 0 0 31842 161 0 0 25 0 1 0 850236403 323035136 77084 4294967295 134512640 134581267 3221224592 3221223536 134558872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78866 77084 566 18 0 78848 0
vsize: 315464
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 81406 0 0 0 32832 172 0 0 25 0 1 0 850236403 340615168 81380 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83158 81380 566 18 0 83140 0
vsize: 332632
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 83705 0 0 0 33827 177 0 0 25 0 1 0 850236403 350056448 83679 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85463 83679 566 18 0 85445 0
vsize: 341852
[startup+350.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 86152 0 0 0 34822 182 0 0 25 0 1 0 850236403 360005632 86126 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87892 86126 566 18 0 87874 0
vsize: 351568
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 88636 0 0 0 35818 186 0 0 25 0 1 0 850236403 370237440 88610 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90390 88610 566 18 0 90372 0
vsize: 361560
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 90796 0 0 0 36815 190 0 0 25 0 1 0 850236403 379076608 90770 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92548 90770 566 18 0 92530 0
vsize: 370192
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 93686 0 0 0 37808 196 0 0 25 0 1 0 850236403 390922240 93660 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95440 93660 566 18 0 95422 0
vsize: 381760
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 95863 0 0 0 38805 200 0 0 25 0 1 0 850236403 399822848 95837 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97613 95837 566 18 0 97595 0
vsize: 390452
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 99011 0 0 0 39798 207 0 0 25 0 1 0 850236403 412786688 98985 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100778 98985 566 18 0 100760 0
vsize: 403112
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 100689 0 0 0 40795 210 0 0 25 0 1 0 850236403 419631104 100663 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102449 100663 566 18 0 102431 0
vsize: 409796
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 103928 0 0 0 41787 218 0 0 25 0 1 0 850236403 433090560 103902 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105735 103902 566 18 0 105717 0
vsize: 422940
[startup+430.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 105960 0 0 0 42783 222 0 0 25 0 1 0 850236403 441667584 105934 4294967295 134512640 134581267 3221224592 3221223472 134520222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107829 105934 566 18 0 107811 0
vsize: 431316
[startup+440.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 108437 0 0 0 43777 228 0 0 25 0 1 0 850236403 451784704 108411 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110299 108411 566 18 0 110281 0
vsize: 441196
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 110930 0 0 0 44772 233 0 0 25 0 1 0 850236403 462036992 110904 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112802 110904 566 18 0 112784 0
vsize: 451208
[startup+460.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 111963 0 0 0 45770 236 0 0 25 0 1 0 850236403 466415616 111937 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113871 111937 566 18 0 113853 0
vsize: 455484
[startup+470.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 112887 0 0 0 46768 238 0 0 25 0 1 0 850236403 470315008 112861 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114823 112861 566 18 0 114805 0
vsize: 459292
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 113815 0 0 0 47766 240 0 0 25 0 1 0 850236403 474021888 113789 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115728 113789 566 18 0 115710 0
vsize: 462912
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 116336 0 0 0 48760 246 0 0 25 0 1 0 850236403 484642816 116310 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118321 116310 566 18 0 118303 0
vsize: 473284
[startup+500.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 118447 0 0 0 49756 250 0 0 25 0 1 0 850236403 493264896 118421 4294967295 134512640 134581267 3221224592 3221223472 134520291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120426 118421 566 18 0 120408 0
vsize: 481704
[startup+510.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 120373 0 0 0 50752 254 0 0 25 0 1 0 850236403 501153792 120315 4294967295 134512640 134581267 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122352 120315 566 18 0 122334 0
vsize: 489408
[startup+520.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 123032 0 0 0 51748 259 0 0 25 0 1 0 850236403 512032768 122974 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125008 122974 566 18 0 124990 0
vsize: 500032
[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 124872 0 0 0 52744 263 0 0 25 0 1 0 850236403 519725056 124782 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126886 124782 566 18 0 126868 0
vsize: 507544
[startup+540.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 127667 0 0 0 53738 269 0 0 25 0 1 0 850236403 531087360 127577 4294967295 134512640 134581267 3221224592 3221223504 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129660 127578 566 18 0 129642 0
vsize: 518640
[startup+550.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 129559 0 0 0 54735 273 0 0 25 0 1 0 850236403 538890240 129437 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131565 129437 566 18 0 131547 0
vsize: 526260
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 132429 0 0 0 55728 279 0 0 25 0 1 0 850236403 550608896 132307 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134426 132307 566 18 0 134408 0
vsize: 537704
[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 134491 0 0 0 56724 284 0 0 25 0 1 0 850236403 559144960 134337 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136510 134337 566 18 0 136492 0
vsize: 546040
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 136777 0 0 0 57720 288 0 0 25 0 1 0 850236403 568532992 136623 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138802 136623 566 18 0 138784 0
vsize: 555208
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 138952 0 0 0 58715 293 0 0 25 0 1 0 850236403 577392640 138766 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140965 138766 566 18 0 140947 0
vsize: 563860
[startup+600.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 141005 0 0 0 59711 297 0 0 25 0 1 0 850236403 585838592 140819 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143027 140819 566 18 0 143009 0
vsize: 572108
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 143505 0 0 0 60706 303 0 0 25 0 1 0 850236403 596217856 143319 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145561 143319 566 18 0 145543 0
vsize: 582244
[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 146029 0 0 0 61701 308 0 0 25 0 1 0 850236403 606560256 145843 4294967295 134512640 134581267 3221224592 3221223352 1075291826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148086 145843 566 18 0 148068 0
vsize: 592344
[startup+630.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 147771 0 0 0 62698 311 0 0 25 0 1 0 850236403 613761024 147553 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149844 147553 566 18 0 149826 0
vsize: 599376
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 150178 0 0 0 63694 315 0 0 25 0 1 0 850236403 623620096 149960 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152251 149960 566 18 0 152233 0
vsize: 609004
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 151015 0 0 0 64692 317 0 0 25 0 1 0 850236403 626982912 150797 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153072 150797 566 18 0 153054 0
vsize: 612288
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 151024 0 0 0 65692 317 0 0 25 0 1 0 850236403 626982912 150806 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153072 150806 566 18 0 153054 0
vsize: 612288
[startup+670.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 152539 0 0 0 66689 320 0 0 25 0 1 0 850236403 633380864 152321 4294967295 134512640 134581267 3221224592 3221223536 134558786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154634 152321 566 18 0 154616 0
vsize: 618536
[startup+680.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 155055 0 0 0 67683 326 0 0 25 0 1 0 850236403 643620864 154837 4294967295 134512640 134581267 3221224592 3221223504 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157134 154837 566 18 0 157116 0
vsize: 628536
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 157069 0 0 0 68679 331 0 0 25 0 1 0 850236403 651845632 156851 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159142 156851 566 18 0 159124 0
vsize: 636568
[startup+700.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 158808 0 0 0 69676 334 0 0 25 0 1 0 850236403 658989056 158558 4294967295 134512640 134581267 3221224592 3221223536 134559434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 160886 158558 566 18 0 160868 0
vsize: 643544
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 161750 0 0 0 70671 339 0 0 25 0 1 0 850236403 671088640 161500 4294967295 134512640 134581267 3221224592 3221223564 134519776 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163840 161500 566 18 0 163822 0
vsize: 655360
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 163410 0 0 0 71668 342 0 0 25 0 1 0 850236403 677978112 163160 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165522 163160 566 18 0 165504 0
vsize: 662088
[startup+730.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 166118 0 0 0 72663 348 0 0 25 0 1 0 850236403 688979968 165868 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168208 165868 566 18 0 168190 0
vsize: 672832
[startup+740.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 168067 0 0 0 73659 352 0 0 25 0 1 0 850236403 697036800 167817 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170175 167817 566 18 0 170157 0
vsize: 680700
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 170181 0 0 0 74655 356 0 0 25 0 1 0 850236403 705552384 169899 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172254 169899 566 18 0 172236 0
vsize: 689016
[startup+760.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 172425 0 0 0 75650 361 0 0 25 0 1 0 850236403 714784768 172143 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174508 172143 566 18 0 174490 0
vsize: 698032
[startup+770.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 173865 0 0 0 76647 364 0 0 25 0 1 0 850236403 720596992 173551 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175927 173551 566 18 0 175909 0
vsize: 703708
[startup+780.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 176438 0 0 0 77642 369 0 0 25 0 1 0 850236403 731099136 176124 4294967295 134512640 134581267 3221224592 3221223488 134517615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178491 176124 566 18 0 178473 0
vsize: 713964
[startup+790.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 178506 0 0 0 78637 374 0 0 25 0 1 0 850236403 739590144 178192 4294967295 134512640 134581267 3221224592 3221223520 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180564 178192 566 18 0 180546 0
vsize: 722256
[startup+800.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 181831 0 0 0 79631 380 0 0 25 0 1 0 850236403 753258496 181517 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183901 181517 566 18 0 183883 0
vsize: 735604
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 185217 0 0 0 80623 389 0 0 25 0 1 0 850236403 767176704 184903 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187299 184903 566 18 0 187281 0
vsize: 749196
[startup+820.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 188250 0 0 0 81616 396 0 0 25 0 1 0 850236403 779501568 187936 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190308 187936 566 18 0 190290 0
vsize: 761232
[startup+830.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 190576 0 0 0 82612 400 0 0 25 0 1 0 850236403 789090304 190262 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192649 190262 566 18 0 192631 0
vsize: 770596
[startup+840.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 192931 0 0 0 83607 405 0 0 25 0 1 0 850236403 798724096 192617 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195001 192617 566 18 0 194983 0
vsize: 780004
[startup+850.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 196399 0 0 0 84599 413 0 0 25 0 1 0 850236403 812929024 196085 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198469 196085 566 18 0 198451 0
vsize: 793876
[startup+860.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 199221 0 0 0 85594 419 0 0 25 0 1 0 850236403 824504320 198907 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201295 198907 566 18 0 201277 0
vsize: 805180
[startup+870.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 202452 0 0 0 86587 426 0 0 25 0 1 0 850236403 838225920 202138 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204645 202138 566 18 0 204627 0
vsize: 818580
[startup+880.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 205020 0 0 0 87581 432 0 0 25 0 1 0 850236403 848666624 204706 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 207194 204706 566 18 0 207176 0
vsize: 828776
[startup+890.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 208191 0 0 0 88574 440 0 0 25 0 1 0 850236403 861753344 207877 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 210389 207877 566 18 0 210371 0
vsize: 841556
[startup+900.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 210695 0 1 0 89566 447 0 0 25 0 1 0 850236403 871849984 210351 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212854 210351 566 18 0 212836 0
vsize: 851416
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 213791 0 1 0 90559 454 0 0 25 0 1 0 850236403 884449280 213447 4294967295 134512640 134581267 3221224592 3221223580 134561046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 215930 213447 566 18 0 215912 0
vsize: 863720
[startup+920.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 216482 0 4 0 91551 460 0 0 25 0 1 0 850236403 895401984 216105 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 218604 216105 566 18 0 218586 0
vsize: 874416
[startup+930.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 218839 0 4 0 92543 467 0 0 25 0 1 0 850236403 905023488 218291 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220953 218291 566 18 0 220935 0
vsize: 883812
[startup+940.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 221642 0 48 0 93486 476 0 0 18 0 1 0 850236403 915615744 220657 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223539 220657 566 18 0 223521 0
vsize: 894156
[startup+950.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 224876 0 85 0 94442 486 0 0 25 0 1 0 850236403 927076352 223707 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 226337 223707 566 18 0 226319 0
vsize: 905348
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 227511 0 85 0 95434 494 0 0 25 0 1 0 850236403 937902080 226068 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228980 226068 566 18 0 228962 0
vsize: 915920
[startup+967.373 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 22796
Raw data (stat): 22796 (Pueblo-v2) R 22795 31399 31398 0 -1 0 227511 0 85 0 95434 494 0 0 25 0 1 0 850236403 937902080 226068 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 228980 226068 566 18 0 228962 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 967.372
CPU time (s): 966.062
CPU user time (s): 960.634
CPU system time (s): 5.42817
CPU usage (%): 99.8646
Max. virtual memory (Kb): 915920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####