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-3.opb
MD5SUM	b95391b071a3986ad670119101f16613
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-43
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.13
Number of variables	1534
Total number of constraints	126082
Number of constraints which are clauses	126082
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 38553

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-02 13:43:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26621 boxname=wulflinc1 idbench=351 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  b95391b071a3986ad670119101f16613  /oldhome/oroussel/tmp/wulflinc1/normalized-frb59-26-3.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-frb59-26-3.opb
IDLAUNCH: 26621
/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:        744644 kB
Buffers:         34504 kB
Cached:         230872 kB
SwapCached:        640 kB
Active:          23624 kB
Inactive:       243940 kB
HighTotal:      131008 kB
HighFree:        19796 kB
LowTotal:       903652 kB
LowFree:        724848 kB
SwapTotal:     2097136 kB
SwapFree:      2095412 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5820 kB
Slab:            16576 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 13:58:36 (client local time) WITH STATUS 0 IN 932.846 SECONDS
stats: 26621 7 932.846 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/wulflinc1/normalized-frb59-26-3.opb
c #variables read: 1534 - #constraints read: 126083
#### 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 1.00 0.92 2/55 4108
Raw data (stat): 4108 (runsolver) R 4107 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 793379438 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 4538 0 0 0 985 14 0 0 25 0 1 0 793379438 24223744 4512 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5914 4512 566 18 0 5896 0
vsize: 23656
[startup+20.0017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 7501 0 0 0 1976 22 0 0 25 0 1 0 793379438 36376576 7475 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8881 7475 566 18 0 8863 0
vsize: 35524
[startup+30.0025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 9583 0 0 0 2973 26 0 0 25 0 1 0 793379438 44969984 9557 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10979 9557 566 18 0 10961 0
vsize: 43916
[startup+40.0032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 12138 0 0 0 3968 31 0 0 25 0 1 0 793379438 55443456 12112 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13536 12112 566 18 0 13518 0
vsize: 54144
[startup+50.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 14116 0 0 0 4964 35 0 0 25 0 1 0 793379438 63537152 14090 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15512 14090 566 18 0 15494 0
vsize: 62048
[startup+60.0028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 16518 0 0 0 5959 40 0 0 25 0 1 0 793379438 73433088 16492 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16492 566 18 0 17910 0
vsize: 71712
[startup+70.0029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 18963 0 0 0 6954 46 0 0 25 0 1 0 793379438 83505152 18937 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20387 18937 566 18 0 20369 0
vsize: 81548
[startup+80.0034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 21300 0 0 0 7949 51 0 0 25 0 1 0 793379438 93081600 21274 4294967295 134512640 134581267 3221224592 3221223488 134517525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22725 21274 566 18 0 22707 0
vsize: 90900
[startup+90.0032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 23052 0 0 0 8945 55 0 0 25 0 1 0 793379438 100347904 23026 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24499 23026 566 18 0 24481 0
vsize: 97996
[startup+100.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 25594 0 0 0 9939 61 0 0 25 0 1 0 793379438 110661632 25568 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27017 25568 566 18 0 26999 0
vsize: 108068
[startup+110.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 28168 0 0 0 10935 66 0 0 25 0 1 0 793379438 121319424 28142 4294967295 134512640 134581267 3221224592 3221223472 134520266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29619 28142 566 18 0 29601 0
vsize: 118476
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 30032 0 0 0 11931 70 0 0 25 0 1 0 793379438 129114112 30006 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31522 30006 566 18 0 31504 0
vsize: 126088
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 31255 0 0 0 12928 73 0 0 25 0 1 0 793379438 134201344 31229 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32764 31229 566 18 0 32746 0
vsize: 131056
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 33001 0 0 0 13924 77 0 0 25 0 1 0 793379438 141381632 32975 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34517 32975 566 18 0 34499 0
vsize: 138068
[startup+150.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 34056 0 0 0 14921 80 0 0 25 0 1 0 793379438 145756160 34030 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35585 34030 566 18 0 35567 0
vsize: 142340
[startup+160.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 35615 0 0 0 15918 83 0 0 25 0 1 0 793379438 152100864 35589 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37134 35589 566 18 0 37116 0
vsize: 148536
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 36587 0 0 0 16916 86 0 0 25 0 1 0 793379438 156172288 36561 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38128 36561 566 18 0 38110 0
vsize: 152512
[startup+180.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 38185 0 0 0 17914 88 0 0 25 0 1 0 793379438 162836480 38159 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39755 38159 566 18 0 39737 0
vsize: 159020
[startup+190.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 39983 0 0 0 18910 92 0 0 25 0 1 0 793379438 170229760 39957 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41560 39957 566 18 0 41542 0
vsize: 166240
[startup+200.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 42077 0 0 0 19906 96 0 0 25 0 1 0 793379438 178720768 42051 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43633 42051 566 18 0 43615 0
vsize: 174532
[startup+210.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 43512 0 0 0 20903 99 0 0 25 0 1 0 793379438 184729600 43486 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45100 43486 566 18 0 45082 0
vsize: 180400
[startup+220.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 46257 0 0 0 21900 103 0 0 25 0 1 0 793379438 195944448 46231 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47838 46231 566 18 0 47820 0
vsize: 191352
[startup+230.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 47896 0 0 0 22896 106 0 0 25 0 1 0 793379438 202625024 47870 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49469 47870 566 18 0 49451 0
vsize: 197876
[startup+240.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 50493 0 0 0 23892 111 0 0 25 0 1 0 793379438 213356544 50467 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52089 50467 566 18 0 52071 0
vsize: 208356
[startup+250.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 53179 0 0 0 24886 117 0 0 25 0 1 0 793379438 224411648 53153 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54788 53153 566 18 0 54770 0
vsize: 219152
[startup+260.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 54889 0 0 0 25882 120 0 0 25 0 1 0 793379438 231522304 54863 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56524 54863 566 18 0 56506 0
vsize: 226096
[startup+270.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 57787 0 0 0 26877 126 0 0 25 0 1 0 793379438 243363840 57761 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59415 57761 566 18 0 59397 0
vsize: 237660
[startup+280.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 61203 0 0 0 27870 133 0 0 25 0 1 0 793379438 257433600 61177 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62850 61177 566 18 0 62832 0
vsize: 251400
[startup+290.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 63407 0 0 0 28867 136 0 0 25 0 1 0 793379438 266530816 63381 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65071 63381 566 18 0 65053 0
vsize: 260284
[startup+300.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 64724 0 0 0 29864 140 0 0 25 0 1 0 793379438 271925248 64698 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66388 64698 566 18 0 66370 0
vsize: 265552
[startup+310.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 64918 0 0 0 30863 140 0 0 25 0 1 0 793379438 272842752 64892 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66612 64892 566 18 0 66594 0
vsize: 266448
[startup+320.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 66738 0 0 0 31860 144 0 0 25 0 1 0 793379438 280449024 66712 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68469 66712 566 18 0 68451 0
vsize: 273876
[startup+330.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 68352 0 0 0 32856 148 0 0 25 0 1 0 793379438 287051776 68326 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70081 68326 566 18 0 70063 0
vsize: 280324
[startup+340.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 69379 0 0 0 33855 149 0 0 25 0 1 0 793379438 291377152 69353 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71137 69353 566 18 0 71119 0
vsize: 284548
[startup+350.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 71010 0 0 0 34851 153 0 0 25 0 1 0 793379438 298053632 70984 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72767 70984 566 18 0 72749 0
vsize: 291068
[startup+360.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 72939 0 0 0 35847 157 0 0 25 0 1 0 793379438 305991680 72913 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74705 72913 566 18 0 74687 0
vsize: 298820
[startup+370.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 75783 0 0 0 36842 163 0 0 25 0 1 0 793379438 317730816 75757 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77571 75757 566 18 0 77553 0
vsize: 310284
[startup+380.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 77842 0 0 0 37838 167 0 0 25 0 1 0 793379438 326180864 77816 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79634 77816 566 18 0 79616 0
vsize: 318536
[startup+390.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 80239 0 0 0 38832 173 0 0 25 0 1 0 793379438 336076800 80213 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82050 80213 566 18 0 82032 0
vsize: 328200
[startup+400.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 82217 0 0 0 39828 177 0 0 25 0 1 0 793379438 344190976 82191 4294967295 134512640 134581267 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84031 82191 566 18 0 84013 0
vsize: 336124
[startup+410.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 84672 0 0 0 40823 182 0 0 25 0 1 0 793379438 354295808 84646 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86498 84646 566 18 0 86480 0
vsize: 345992
[startup+420.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 85978 0 0 0 41821 185 0 0 25 0 1 0 793379438 359624704 85952 4294967295 134512640 134581267 3221224592 3221223504 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87799 85953 566 18 0 87781 0
vsize: 351196
[startup+430.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 87499 0 0 0 42817 188 0 0 25 0 1 0 793379438 365850624 87473 4294967295 134512640 134581267 3221224592 3221223308 1075289077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89319 87473 566 18 0 89301 0
vsize: 357276
[startup+440.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 89191 0 0 0 43814 192 0 0 25 0 1 0 793379438 372801536 89165 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91016 89165 566 18 0 90998 0
vsize: 364064
[startup+450.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 91831 0 0 0 44808 198 0 0 25 0 1 0 793379438 383627264 91805 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93659 91805 566 18 0 93641 0
vsize: 374636
[startup+460.003 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 93631 0 0 0 45804 203 0 0 25 0 1 0 793379438 391020544 93605 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95464 93605 566 18 0 95446 0
vsize: 381856
[startup+470.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 94995 0 0 0 46801 205 0 0 25 0 1 0 793379438 396623872 94969 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96832 94969 566 18 0 96814 0
vsize: 387328
[startup+480.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 96713 0 0 0 47796 210 0 0 25 0 1 0 793379438 403689472 96687 4294967295 134512640 134581267 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98557 96687 566 18 0 98539 0
vsize: 394228
[startup+490.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 98686 0 0 0 48791 215 0 0 25 0 1 0 793379438 411803648 98660 4294967295 134512640 134581267 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100538 98660 566 18 0 100520 0
vsize: 402152
[startup+500.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 100927 0 0 0 49785 220 0 0 25 0 1 0 793379438 421023744 100901 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102789 100901 566 18 0 102771 0
vsize: 411156
[startup+510.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 102272 0 0 0 50782 223 0 0 25 0 1 0 793379438 426369024 102246 4294967295 134512640 134581267 3221224592 3221223520 134519788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104094 102246 566 18 0 104076 0
vsize: 416376
[startup+520.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 104472 0 0 0 51779 226 0 0 25 0 1 0 793379438 435650560 104446 4294967295 134512640 134581267 3221224592 3221223536 134559429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106360 104446 566 18 0 106342 0
vsize: 425440
[startup+530.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 106172 0 0 0 52775 230 0 0 25 0 1 0 793379438 442961920 106146 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108145 106146 566 18 0 108127 0
vsize: 432580
[startup+540.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 108080 0 0 0 53772 234 0 0 25 0 1 0 793379438 450879488 108022 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110078 108022 566 18 0 110060 0
vsize: 440312
[startup+550.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 110712 0 0 0 54766 240 0 0 25 0 1 0 793379438 461647872 110654 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112707 110654 566 18 0 112689 0
vsize: 450828
[startup+560.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 112595 0 0 0 55763 244 0 0 25 0 1 0 793379438 469610496 112537 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114651 112537 566 18 0 114633 0
vsize: 458604
[startup+570.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 114306 0 0 0 56760 246 0 0 25 0 1 0 793379438 476610560 114248 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116360 114248 566 18 0 116342 0
vsize: 465440
[startup+580.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 118371 0 0 0 57752 255 0 0 25 0 1 0 793379438 493182976 118313 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120406 118313 566 18 0 120388 0
vsize: 481624
[startup+590.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 121468 0 0 0 58746 261 0 0 25 0 1 0 793379438 505810944 121410 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123489 121410 566 18 0 123471 0
vsize: 493956
[startup+600.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 125313 0 0 0 59740 267 0 0 25 0 1 0 793379438 521617408 125255 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127348 125255 566 18 0 127330 0
vsize: 509392
[startup+610.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 129584 0 0 0 60732 275 0 0 25 0 1 0 793379438 539123712 129526 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131622 129526 566 18 0 131604 0
vsize: 526488
[startup+620.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 133115 0 0 0 61726 282 0 0 25 0 1 0 793379438 553529344 133057 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135139 133057 566 18 0 135121 0
vsize: 540556
[startup+630.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 136651 0 0 0 62720 288 0 0 25 0 1 0 793379438 568012800 136593 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138675 136593 566 18 0 138657 0
vsize: 554700
[startup+640.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 140320 0 0 0 63714 294 0 0 25 0 1 0 793379438 583065600 140262 4294967295 134512640 134581267 3221224592 3221223536 134558912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142350 140262 566 18 0 142332 0
vsize: 569400
[startup+650.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 143914 0 0 0 64706 302 0 0 25 0 1 0 793379438 597700608 143856 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145923 143856 566 18 0 145905 0
vsize: 583692
[startup+660.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 146664 0 0 0 65700 308 0 0 25 0 1 0 793379438 608948224 146606 4294967295 134512640 134581267 3221224592 3221223520 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148669 146606 566 18 0 148651 0
vsize: 594676
[startup+670.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 149282 0 0 0 66696 313 0 0 25 0 1 0 793379438 619708416 149224 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151296 149224 566 18 0 151278 0
vsize: 605184
[startup+680.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 152482 0 0 0 67689 320 0 0 25 0 1 0 793379438 632762368 152424 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154483 152424 566 18 0 154465 0
vsize: 617932
[startup+690.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 155819 0 0 0 68682 327 0 0 25 0 1 0 793379438 646426624 155761 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157819 155761 566 18 0 157801 0
vsize: 631276
[startup+700.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 160741 0 0 0 69670 339 0 0 25 0 1 0 793379438 666595328 160683 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162743 160683 566 18 0 162725 0
vsize: 650972
[startup+710.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 165102 0 0 0 70661 348 0 0 25 0 1 0 793379438 684433408 165044 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167098 165044 566 18 0 167080 0
vsize: 668392
[startup+720.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 168958 0 0 0 71655 355 0 0 25 0 1 0 793379438 700297216 168900 4294967295 134512640 134581267 3221224592 3221223368 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170971 168901 566 18 0 170953 0
vsize: 683884
[startup+730.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 171239 0 0 0 72650 359 0 0 25 0 1 0 793379438 709672960 171181 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173260 171181 566 18 0 173242 0
vsize: 693040
[startup+740.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 172859 0 0 0 73648 362 0 0 25 0 1 0 793379438 716414976 172801 4294967295 134512640 134581267 3221224592 3221223536 134558798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174906 172801 566 18 0 174888 0
vsize: 699624
[startup+750.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 175515 0 0 0 74643 366 0 0 25 0 1 0 793379438 727277568 175457 4294967295 134512640 134581267 3221224592 3221223520 134520084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177558 175457 566 18 0 177540 0
vsize: 710232
[startup+760.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 179973 0 0 0 75636 374 0 0 25 0 1 0 793379438 745545728 179915 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182018 179916 566 18 0 182000 0
vsize: 728072
[startup+770.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 182122 0 0 0 76632 378 0 0 25 0 1 0 793379438 754323456 182064 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184161 182064 566 18 0 184143 0
vsize: 736644
[startup+780.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 183898 0 0 0 77628 382 0 0 25 0 1 0 793379438 761577472 183840 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185932 183840 566 18 0 185914 0
vsize: 743728
[startup+790.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 187908 0 0 0 78620 390 0 0 25 0 1 0 793379438 777994240 187850 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189940 187850 566 18 0 189922 0
vsize: 759760
[startup+800.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 192145 0 0 0 79612 399 0 0 25 0 1 0 793379438 795353088 192087 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194178 192087 566 18 0 194160 0
vsize: 776712
[startup+810.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 194176 0 0 0 80609 402 0 0 25 0 1 0 793379438 803725312 194118 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196222 194118 566 18 0 196204 0
vsize: 784888
[startup+820.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 195855 0 0 0 81605 406 0 0 25 0 1 0 793379438 810491904 195797 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197874 195797 566 18 0 197856 0
vsize: 791496
[startup+830.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 197521 0 0 0 82601 410 0 0 25 0 1 0 793379438 817389568 197463 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199558 197463 566 18 0 199540 0
vsize: 798232
[startup+840.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 200620 0 0 0 83593 419 0 0 25 0 1 0 793379438 830570496 200562 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202776 200562 566 18 0 202758 0
vsize: 811104
[startup+850.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 203824 0 0 0 84586 426 0 0 25 0 1 0 793379438 843677696 203766 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205976 203766 566 18 0 205958 0
vsize: 823904
[startup+860.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 206412 0 0 0 85580 432 0 0 25 0 1 0 793379438 854315008 206354 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208573 206354 566 18 0 208555 0
vsize: 834292
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 208729 0 0 0 86576 436 0 0 25 0 1 0 793379438 863821824 208671 4294967295 134512640 134581267 3221224592 3221223520 134519928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210894 208671 566 18 0 210876 0
vsize: 843576
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 212408 0 0 0 87566 447 0 0 25 0 1 0 793379438 878850048 212350 4294967295 134512640 134581267 3221224592 3221223520 134520076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214563 212350 566 18 0 214545 0
vsize: 858252
[startup+890.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 216951 0 0 0 88556 457 0 0 25 0 1 0 793379438 897486848 216892 4294967295 134512640 134581267 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219113 216892 566 18 0 219095 0
vsize: 876452
[startup+900.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 221584 0 0 0 89543 470 0 0 25 0 1 0 793379438 916434944 221116 4294967295 134512640 134581267 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223739 221116 566 18 0 223721 0
vsize: 894956
[startup+910.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 222387 0 55 0 90486 472 0 0 25 0 1 0 793379438 917004288 221678 4294967295 134512640 134581267 3221224592 3221223520 134519958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223878 221678 566 18 0 223860 0
vsize: 895512
[startup+920.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 224720 0 55 0 91480 479 0 0 25 0 1 0 793379438 926392320 223939 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 226170 223939 566 18 0 226152 0
vsize: 904680
[startup+930.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 228117 0 55 0 92469 490 0 0 25 0 1 0 793379438 940314624 226984 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229569 226984 566 18 0 229551 0
vsize: 918276
[startup+933.264 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 4108
Raw data (stat): 4108 (Pueblo-v2) R 4107 8378 8377 0 -1 0 228117 0 55 0 92469 490 0 0 25 0 1 0 793379438 940314624 226984 4294967295 134512640 134581267 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229569 226984 566 18 0 229551 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 933.263
CPU time (s): 932.846
CPU user time (s): 927.489
CPU system time (s): 5.35719
CPU usage (%): 99.9553
Max. virtual memory (Kb): 918276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####