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-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
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	39120920179
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	39120920179
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.973851
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 25576

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 20:47:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19078 boxname=wulflinc31 idbench=1468 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 19078
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        624488 kB
Buffers:         32516 kB
Cached:         356224 kB
SwapCached:       1172 kB
Active:         255068 kB
Inactive:       136064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624236 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13332 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 21:07:16 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19078 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
Raw data (loadavg): 0.85 0.94 0.92 2/55 2316
Raw data (stat): 2316 (runsolver) R 2315 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798648969 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.88 0.94 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 80379 0 0 0 840 157 0 0 25 0 1 0 798648969 56049664 12010 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13684 12019 566 18 0 13666 0
vsize: 54736
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 386887 0 0 0 1295 702 0 0 25 0 1 0 798648969 57679872 12402 4294967295 134512640 134581331 3221221792 3221220784 134531726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14082 12411 566 18 0 14064 0
vsize: 56328
[startup+30.001 s]
Raw data (loadavg): 0.91 0.94 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 1988 1009 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 2988 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 3987 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 4987 1010 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 558788 0 0 0 5987 1011 0 0 25 0 1 0 798648969 57044992 12396 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13927 12396 566 18 0 13909 0
vsize: 55708
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559019 0 0 0 6987 1011 0 0 25 0 1 0 798648969 57970688 12627 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14153 12627 566 18 0 14135 0
vsize: 56612
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559435 0 0 0 7985 1013 0 0 25 0 1 0 798648969 59723776 13043 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14581 13043 566 18 0 14563 0
vsize: 58324
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 559859 0 0 0 8984 1014 0 0 25 0 1 0 798648969 61476864 13467 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15009 13467 566 18 0 14991 0
vsize: 60036
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 560278 0 0 0 9983 1015 0 0 25 0 1 0 798648969 63119360 13886 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15410 13886 566 18 0 15392 0
vsize: 61640
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 560704 0 0 0 10982 1016 0 0 25 0 1 0 798648969 64884736 14312 4294967295 134512640 134581331 3221221792 3221220736 134560136 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15841 14312 566 18 0 15823 0
vsize: 63364
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561132 0 0 0 11980 1019 0 0 25 0 1 0 798648969 66686976 14740 4294967295 134512640 134581331 3221221792 3221220704 134527701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16281 14740 566 18 0 16263 0
vsize: 65124
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561558 0 0 0 12978 1021 0 0 25 0 1 0 798648969 68460544 15166 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16714 15166 566 18 0 16696 0
vsize: 66856
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 561982 0 0 0 13976 1023 0 0 25 0 1 0 798648969 70103040 15590 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17115 15590 566 18 0 17097 0
vsize: 68460
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 562415 0 0 0 14974 1026 0 0 25 0 1 0 798648969 71864320 16023 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17545 16023 566 18 0 17527 0
vsize: 70180
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 562847 0 0 0 15972 1028 0 0 25 0 1 0 798648969 73736192 16455 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18002 16455 566 18 0 17984 0
vsize: 72008
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 563281 0 0 0 16971 1029 0 0 25 0 1 0 798648969 75493376 16889 4294967295 134512640 134581331 3221221792 3221220672 134520219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18431 16889 566 18 0 18413 0
vsize: 73724
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 563713 0 0 0 17969 1031 0 0 25 0 1 0 798648969 77234176 17321 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18856 17321 566 18 0 18838 0
vsize: 75424
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564143 0 0 0 18968 1032 0 0 25 0 1 0 798648969 78999552 17751 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19287 17751 566 18 0 19269 0
vsize: 77148
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564576 0 0 0 19966 1034 0 0 25 0 1 0 798648969 80752640 18184 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19715 18184 566 18 0 19697 0
vsize: 78860
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564751 0 0 0 20965 1035 0 0 25 0 1 0 798648969 81461248 18359 4294967295 134512640 134581331 3221221792 3221220704 134527707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19888 18359 566 18 0 19870 0
vsize: 79552
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564867 0 0 0 21964 1036 0 0 25 0 1 0 798648969 82034688 18475 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20028 18475 566 18 0 20010 0
vsize: 80112
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 564980 0 0 0 22964 1037 0 0 25 0 1 0 798648969 82497536 18588 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20141 18588 566 18 0 20123 0
vsize: 80564
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565095 0 0 0 23963 1038 0 0 25 0 1 0 798648969 82956288 18703 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20253 18703 566 18 0 20235 0
vsize: 81012
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565344 0 0 0 24962 1039 0 0 25 0 1 0 798648969 83943424 18952 4294967295 134512640 134581331 3221221792 3221220720 134519947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20494 18952 566 18 0 20476 0
vsize: 81976
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565590 0 0 0 25961 1041 0 0 25 0 1 0 798648969 84955136 19198 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20741 19198 566 18 0 20723 0
vsize: 82964
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 565834 0 0 0 26960 1041 0 0 25 0 1 0 798648969 85929984 19442 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20979 19442 566 18 0 20961 0
vsize: 83916
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566055 0 0 0 27960 1042 0 0 25 0 1 0 798648969 86810624 19663 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21194 19663 566 18 0 21176 0
vsize: 84776
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566281 0 0 0 28959 1043 0 0 25 0 1 0 798648969 87740416 19889 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21421 19889 566 18 0 21403 0
vsize: 85684
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566505 0 0 0 29957 1045 0 0 25 0 1 0 798648969 88715264 20113 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21659 20113 566 18 0 21641 0
vsize: 86636
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566606 0 0 0 30957 1045 0 0 25 0 1 0 798648969 89075712 20214 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21747 20214 566 18 0 21729 0
vsize: 86988
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 566841 0 0 0 31957 1046 0 0 25 0 1 0 798648969 90054656 20449 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21986 20449 566 18 0 21968 0
vsize: 87944
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567075 0 0 0 32957 1046 0 0 25 0 1 0 798648969 91025408 20683 4294967295 134512640 134581331 3221221792 3221220656 134528336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22223 20683 566 18 0 22205 0
vsize: 88892
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567284 0 0 0 33956 1047 0 0 25 0 1 0 798648969 91881472 20892 4294967295 134512640 134581331 3221221792 3221220656 134528258 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22432 20892 566 18 0 22414 0
vsize: 89728
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567606 0 0 0 34955 1048 0 0 25 0 1 0 798648969 93130752 21214 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22737 21214 566 18 0 22719 0
vsize: 90948
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 567932 0 0 0 35954 1049 0 0 25 0 1 0 798648969 94494720 21540 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23070 21540 566 18 0 23052 0
vsize: 92280
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568134 0 0 0 36953 1050 0 0 25 0 1 0 798648969 95367168 21742 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23283 21742 566 18 0 23265 0
vsize: 93132
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568323 0 0 0 37953 1051 0 0 25 0 1 0 798648969 96088064 21931 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23459 21931 566 18 0 23441 0
vsize: 93836
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568608 0 0 0 38952 1052 0 0 25 0 1 0 798648969 97280000 22216 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23750 22216 566 18 0 23732 0
vsize: 95000
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 568924 0 0 0 39951 1053 0 0 25 0 1 0 798648969 98627584 22532 4294967295 134512640 134581331 3221221792 3221220656 134528368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24079 22532 566 18 0 24061 0
vsize: 96316
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569215 0 0 0 40950 1054 0 0 25 0 1 0 798648969 99823616 22823 4294967295 134512640 134581331 3221221792 3221220656 134527042 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24371 22823 566 18 0 24353 0
vsize: 97484
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569487 0 0 0 41949 1055 0 0 25 0 1 0 798648969 100855808 23095 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24623 23095 566 18 0 24605 0
vsize: 98492
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 569762 0 0 0 42949 1056 0 0 25 0 1 0 798648969 102055936 23370 4294967295 134512640 134581331 3221221792 3221220704 134527737 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24916 23370 566 18 0 24898 0
vsize: 99664
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570045 0 0 0 43948 1056 0 0 25 0 1 0 798648969 103165952 23653 4294967295 134512640 134581331 3221221792 3221220704 134527695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25187 23653 566 18 0 25169 0
vsize: 100748
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570293 0 0 0 44948 1057 0 0 25 0 1 0 798648969 104124416 23901 4294967295 134512640 134581331 3221221792 3221220768 134560718 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25421 23901 566 18 0 25403 0
vsize: 101684
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570539 0 0 0 45947 1058 0 0 25 0 1 0 798648969 105222144 24147 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25689 24147 566 18 0 25671 0
vsize: 102756
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 570821 0 0 0 46946 1060 0 0 25 0 1 0 798648969 106332160 24429 4294967295 134512640 134581331 3221221792 3221220720 134520076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25960 24429 566 18 0 25942 0
vsize: 103840
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571043 0 0 0 47945 1061 0 0 25 0 1 0 798648969 107307008 24651 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26198 24651 566 18 0 26180 0
vsize: 104792
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571284 0 0 0 48944 1062 0 0 25 0 1 0 798648969 108244992 24892 4294967295 134512640 134581331 3221221792 3221220704 134527457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26427 24892 566 18 0 26409 0
vsize: 105708
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571525 0 0 0 49943 1062 0 0 25 0 1 0 798648969 109215744 25133 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26664 25133 566 18 0 26646 0
vsize: 106656
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571783 0 0 0 50942 1063 0 0 25 0 1 0 798648969 110301184 25391 4294967295 134512640 134581331 3221221792 3221220704 134527692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26929 25391 566 18 0 26911 0
vsize: 107716
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 571960 0 0 0 51941 1064 0 0 25 0 1 0 798648969 111132672 25568 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27132 25568 566 18 0 27114 0
vsize: 108528
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572098 0 0 0 52941 1065 0 0 25 0 1 0 798648969 111616000 25706 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27250 25706 566 18 0 27232 0
vsize: 109000
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572204 0 0 0 53941 1065 0 0 25 0 1 0 798648969 112087040 25812 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27365 25812 566 18 0 27347 0
vsize: 109460
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572715 0 0 0 54940 1066 0 0 25 0 1 0 798648969 114196480 26323 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27880 26323 566 18 0 27862 0
vsize: 111520
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 572984 0 0 0 55939 1067 0 0 25 0 1 0 798648969 115253248 26592 4294967295 134512640 134581331 3221221792 3221220688 134517880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28138 26592 566 18 0 28120 0
vsize: 112552
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573257 0 0 0 56938 1069 0 0 25 0 1 0 798648969 116379648 26865 4294967295 134512640 134581331 3221221792 3221220704 134527703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28413 26865 566 18 0 28395 0
vsize: 113652
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573459 0 0 0 57937 1069 0 0 25 0 1 0 798648969 117239808 27067 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28623 27067 566 18 0 28605 0
vsize: 114492
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573668 0 0 0 58937 1070 0 0 25 0 1 0 798648969 118083584 27276 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28829 27276 566 18 0 28811 0
vsize: 115316
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573838 0 0 0 59936 1071 0 0 25 0 1 0 798648969 118804480 27446 4294967295 134512640 134581331 3221221792 3221220704 134527975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29005 27446 566 18 0 28987 0
vsize: 116020
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 573986 0 0 0 60936 1071 0 0 25 0 1 0 798648969 119386112 27594 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29147 27594 566 18 0 29129 0
vsize: 116588
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574146 0 0 0 61935 1072 0 0 25 0 1 0 798648969 119959552 27754 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29287 27754 566 18 0 29269 0
vsize: 117148
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574303 0 0 0 62935 1072 0 0 25 0 1 0 798648969 120668160 27911 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29460 27911 566 18 0 29442 0
vsize: 117840
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574463 0 0 0 63935 1073 0 0 25 0 1 0 798648969 121257984 28071 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29604 28071 566 18 0 29586 0
vsize: 118416
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574612 0 0 0 64935 1073 0 0 25 0 1 0 798648969 121970688 28220 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29778 28220 566 18 0 29760 0
vsize: 119112
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574771 0 0 0 65935 1074 0 0 25 0 1 0 798648969 122580992 28379 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29927 28379 566 18 0 29909 0
vsize: 119708
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 574914 0 0 0 66934 1074 0 0 25 0 1 0 798648969 123195392 28522 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30077 28522 566 18 0 30059 0
vsize: 120308
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575076 0 0 0 67934 1075 0 0 25 0 1 0 798648969 123813888 28684 4294967295 134512640 134581331 3221221792 3221220576 134528791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30228 28684 566 18 0 30210 0
vsize: 120912
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575228 0 0 0 68933 1075 0 0 25 0 1 0 798648969 124440576 28836 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30381 28836 566 18 0 30363 0
vsize: 121524
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575351 0 0 0 69933 1076 0 0 25 0 1 0 798648969 124923904 28959 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30499 28959 566 18 0 30481 0
vsize: 121996
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575487 0 0 0 70932 1077 0 0 25 0 1 0 798648969 125505536 29095 4294967295 134512640 134581331 3221221792 3221220704 134527652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30641 29095 566 18 0 30623 0
vsize: 122564
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575623 0 0 0 71932 1077 0 0 25 0 1 0 798648969 126099456 29231 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30786 29231 566 18 0 30768 0
vsize: 123144
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575793 0 0 0 72931 1078 0 0 25 0 1 0 798648969 126701568 29401 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30933 29401 566 18 0 30915 0
vsize: 123732
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 575924 0 0 0 73931 1079 0 0 25 0 1 0 798648969 127283200 29532 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31075 29532 566 18 0 31057 0
vsize: 124300
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2316
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576047 0 0 0 74930 1079 0 0 25 0 1 0 798648969 127746048 29655 4294967295 134512640 134581331 3221221792 3221220704 134527980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31188 29655 566 18 0 31170 0
vsize: 124752
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/56 2317
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576184 0 0 0 75930 1080 0 0 25 0 1 0 798648969 128372736 29792 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31341 29792 566 18 0 31323 0
vsize: 125364
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576299 0 0 0 76929 1080 0 0 25 0 1 0 798648969 128856064 29907 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31459 29907 566 18 0 31441 0
vsize: 125836
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576427 0 0 0 77929 1081 0 0 25 0 1 0 798648969 129351680 30035 4294967295 134512640 134581331 3221221792 3221220704 134527440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31580 30035 566 18 0 31562 0
vsize: 126320
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576560 0 0 0 78928 1082 0 0 25 0 1 0 798648969 129835008 30168 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31698 30168 566 18 0 31680 0
vsize: 126792
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576692 0 0 0 79928 1082 0 0 25 0 1 0 798648969 130428928 30300 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31843 30300 566 18 0 31825 0
vsize: 127372
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576828 0 0 0 80928 1082 0 0 25 0 1 0 798648969 131026944 30436 4294967295 134512640 134581331 3221221792 3221220736 134560142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31989 30436 566 18 0 31971 0
vsize: 127956
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 576958 0 0 0 81928 1083 0 0 25 0 1 0 798648969 131506176 30566 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32106 30566 566 18 0 32088 0
vsize: 128424
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2369
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577083 0 0 0 82927 1084 0 0 25 0 1 0 798648969 131981312 30691 4294967295 134512640 134581331 3221221792 3221220704 134527423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32222 30691 566 18 0 32204 0
vsize: 128888
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577211 0 0 0 83927 1084 0 0 25 0 1 0 798648969 132608000 30819 4294967295 134512640 134581331 3221221792 3221220704 134527772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32375 30819 566 18 0 32357 0
vsize: 129500
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577273 0 0 0 84926 1085 0 0 25 0 1 0 798648969 132857856 30881 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32436 30881 566 18 0 32418 0
vsize: 129744
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577395 0 0 0 85926 1085 0 0 25 0 1 0 798648969 133361664 31003 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32559 31003 566 18 0 32541 0
vsize: 130236
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577493 0 0 0 86926 1086 0 0 25 0 1 0 798648969 133718016 31101 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32646 31101 566 18 0 32628 0
vsize: 130584
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577576 0 0 0 87926 1086 0 0 25 0 1 0 798648969 134090752 31184 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32737 31184 566 18 0 32719 0
vsize: 130948
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577664 0 0 0 88926 1086 0 0 25 0 1 0 798648969 134438912 31272 4294967295 134512640 134581331 3221221792 3221220704 134527769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32822 31272 566 18 0 32804 0
vsize: 131288
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577746 0 0 0 89926 1086 0 0 25 0 1 0 798648969 134782976 31354 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32906 31354 566 18 0 32888 0
vsize: 131624
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577848 0 0 0 90926 1087 0 0 25 0 1 0 798648969 135151616 31456 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32996 31456 566 18 0 32978 0
vsize: 131984
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 577986 0 0 0 91926 1087 0 0 25 0 1 0 798648969 135778304 31594 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33149 31594 566 18 0 33131 0
vsize: 132596
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578120 0 0 0 92925 1088 0 0 25 0 1 0 798648969 136249344 31728 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33264 31728 566 18 0 33246 0
vsize: 133056
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578262 0 0 0 93925 1088 0 0 25 0 1 0 798648969 136847360 31870 4294967295 134512640 134581331 3221221792 3221220704 134527783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33410 31870 566 18 0 33392 0
vsize: 133640
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578347 0 0 0 94924 1089 0 0 25 0 1 0 798648969 137191424 31955 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33494 31955 566 18 0 33476 0
vsize: 133976
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578479 0 0 0 95925 1089 0 0 25 0 1 0 798648969 137777152 32087 4294967295 134512640 134581331 3221221792 3221220704 134527642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33637 32087 566 18 0 33619 0
vsize: 134548
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578618 0 0 0 96924 1089 0 0 25 0 1 0 798648969 138264576 32226 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33756 32226 566 18 0 33738 0
vsize: 135024
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 578894 0 0 0 97924 1090 0 0 25 0 1 0 798648969 139485184 32502 4294967295 134512640 134581331 3221221792 3221220704 134527442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34054 32502 566 18 0 34036 0
vsize: 136216
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579154 0 0 0 98923 1091 0 0 25 0 1 0 798648969 140521472 32762 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34307 32762 566 18 0 34289 0
vsize: 137228
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579457 0 0 0 99922 1092 0 0 25 0 1 0 798648969 141705216 33065 4294967295 134512640 134581331 3221221792 3221220704 134527639 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34596 33065 566 18 0 34578 0
vsize: 138384
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 579759 0 0 0 100921 1093 0 0 25 0 1 0 798648969 142987264 33367 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34909 33367 566 18 0 34891 0
vsize: 139636
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580107 0 0 0 101920 1095 0 0 25 0 1 0 798648969 144437248 33715 4294967295 134512640 134581331 3221221792 3221220720 134519950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35263 33715 566 18 0 35245 0
vsize: 141052
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580194 0 0 0 102920 1095 0 0 25 0 1 0 798648969 144818176 33802 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35356 33802 566 18 0 35338 0
vsize: 141424
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580339 0 0 0 103919 1096 0 0 25 0 1 0 798648969 145301504 33947 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35474 33947 566 18 0 35456 0
vsize: 141896
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580547 0 0 0 104919 1096 0 0 25 0 1 0 798648969 146182144 34155 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35689 34155 566 18 0 35671 0
vsize: 142756
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 580791 0 0 0 105918 1097 0 0 25 0 1 0 798648969 147144704 34399 4294967295 134512640 134581331 3221221792 3221220736 134560143 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35924 34399 566 18 0 35906 0
vsize: 143696
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581030 0 0 0 106918 1098 0 0 25 0 1 0 798648969 148131840 34638 4294967295 134512640 134581331 3221221792 3221220704 134527709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36165 34638 566 18 0 36147 0
vsize: 144660
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581225 0 0 0 107917 1099 0 0 25 0 1 0 798648969 148963328 34833 4294967295 134512640 134581331 3221221792 3221220704 134528072 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36368 34833 566 18 0 36350 0
vsize: 145472
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581450 0 0 0 108917 1100 0 0 25 0 1 0 798648969 149934080 35058 4294967295 134512640 134581331 3221221792 3221220576 134528765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36605 35058 566 18 0 36587 0
vsize: 146420
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 581609 0 0 0 109916 1101 0 0 25 0 1 0 798648969 150544384 35217 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36754 35217 566 18 0 36736 0
vsize: 147016
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 582624 0 0 0 110913 1104 0 0 25 0 1 0 798648969 154664960 36232 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37760 36232 566 18 0 37742 0
vsize: 151040
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2371
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 583163 0 0 0 111911 1105 0 0 25 0 1 0 798648969 156966912 36771 4294967295 134512640 134581331 3221221792 3221220736 134560149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38322 36772 566 18 0 38304 0
vsize: 153288
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 584033 0 0 0 112909 1108 0 0 25 0 1 0 798648969 160514048 37641 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39188 37641 566 18 0 39170 0
vsize: 156752
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 585298 0 0 0 113906 1111 0 0 25 0 1 0 798648969 165609472 38906 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40432 38906 566 18 0 40414 0
vsize: 161728
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 586654 0 0 0 114902 1115 0 0 25 0 1 0 798648969 171220992 40262 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41802 40262 566 18 0 41784 0
vsize: 167208
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 587919 0 0 0 115899 1118 0 0 25 0 1 0 798648969 176455680 41527 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43080 41527 566 18 0 43062 0
vsize: 172320
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 589209 0 0 0 116895 1123 0 0 25 0 1 0 798648969 181792768 42817 4294967295 134512640 134581331 3221221792 3221220428 1075289077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44383 42817 566 18 0 44365 0
vsize: 177532
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 590471 0 0 0 117893 1125 0 0 25 0 1 0 798648969 186961920 44079 4294967295 134512640 134581331 3221221792 3221220672 134520212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45645 44079 566 18 0 45627 0
vsize: 182580
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 2373
Raw data (stat): 2316 (Pueblo) R 2315 7876 7672 0 -1 0 591785 0 0 0 118889 1129 0 0 25 0 1 0 798648969 192364544 45393 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46964 45393 566 18 0 46946 0
vsize: 187856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.92 1/55 2373
Raw data (stat): 2316 (Pueblo) Z 2315 7876 7672 0 -1 1036 591785 0 0 0 118889 1138 0 0 25 0 1 0 798648969 0 0 4294967295 0 0 0 0 0 0 0 1 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.3803
CPU usage (%): 100.012
Max. virtual memory (Kb): 187856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####