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-n370b.opb
MD5SUM	10d985feb1b2e2f9239f0fbace6cd870
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	39138571845
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	39138571845
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.960853
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 39279

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-03 01:56:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27345 boxname=wulflinc5 idbench=1473 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  10d985feb1b2e2f9239f0fbace6cd870  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370b.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-n370b.opb
IDLAUNCH: 27345
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        581920 kB
Buffers:         31904 kB
Cached:         396948 kB
SwapCached:        568 kB
Active:          42148 kB
Inactive:       388772 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        581668 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            16068 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 02:16:46 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 27345 7 1200.3 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.88 0.97 0.92 2/54 15852
Raw data (stat): 15852 (runsolver) R 15851 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854638783 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.0002 s]
Raw data (loadavg): 0.90 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 82271 0 0 0 844 155 0 0 25 0 1 0 854638783 57847808 12458 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14123 12468 566 18 0 14105 0
vsize: 56492
[startup+20.0013 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 395544 0 0 0 1301 698 0 0 25 0 1 0 854638783 59469824 12920 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14519 12922 566 18 0 14501 0
vsize: 58076
[startup+30.0011 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 559222 0 0 0 2011 988 0 0 25 0 1 0 854638783 58822656 12828 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14361 12828 566 18 0 14343 0
vsize: 57444
[startup+40.0008 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 559222 0 0 0 3011 988 0 0 25 0 1 0 854638783 58822656 12828 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14361 12828 566 18 0 14343 0
vsize: 57444
[startup+50.0012 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 559442 0 0 0 4011 989 0 0 25 0 1 0 854638783 59711488 13048 4294967295 134512640 134581267 3221224576 3221223440 134528326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14578 13048 566 18 0 14560 0
vsize: 58312
[startup+60.0013 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 560387 0 0 0 5009 990 0 0 25 0 1 0 854638783 63647744 13993 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15539 13993 566 18 0 15521 0
vsize: 62156
[startup+70.0021 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 561346 0 0 0 6007 993 0 0 25 0 1 0 854638783 67559424 14952 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16494 14952 566 18 0 16476 0
vsize: 65976
[startup+80.0029 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 562295 0 0 0 7005 995 0 0 25 0 1 0 854638783 71458816 15901 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17446 15901 566 18 0 17428 0
vsize: 69784
[startup+90.0026 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 563254 0 0 0 8003 998 0 0 25 0 1 0 854638783 75358208 16860 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18398 16860 566 18 0 18380 0
vsize: 73592
[startup+100.003 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 564195 0 0 0 9000 1000 0 0 25 0 1 0 854638783 79245312 17801 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19347 17801 566 18 0 19329 0
vsize: 77388
[startup+110.003 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 565148 0 0 0 9998 1003 0 0 25 0 1 0 854638783 83124224 18754 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20294 18754 566 18 0 20276 0
vsize: 81176
[startup+120.005 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 566057 0 0 0 10995 1006 0 0 25 0 1 0 854638783 86872064 19663 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21209 19663 566 18 0 21191 0
vsize: 84836
[startup+130.005 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 566920 0 0 0 11992 1009 0 0 25 0 1 0 854638783 90365952 20526 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22062 20526 566 18 0 22044 0
vsize: 88248
[startup+140.004 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 567760 0 0 0 12990 1012 0 0 25 0 1 0 854638783 93863936 21366 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22916 21366 566 18 0 22898 0
vsize: 91664
[startup+150.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 568625 0 0 0 13987 1014 0 0 25 0 1 0 854638783 97353728 22231 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23768 22231 566 18 0 23750 0
vsize: 95072
[startup+160.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 569477 0 0 0 14985 1017 0 0 25 0 1 0 854638783 100855808 23083 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24623 23083 566 18 0 24605 0
vsize: 98492
[startup+170.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 570333 0 0 0 15982 1020 0 0 25 0 1 0 854638783 104357888 23939 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25478 23939 566 18 0 25460 0
vsize: 101912
[startup+180.006 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 571180 0 0 0 16980 1023 0 0 25 0 1 0 854638783 107855872 24786 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26332 24786 566 18 0 26314 0
vsize: 105328
[startup+190.006 s]
Raw data (loadavg): 1.10 1.02 0.94 2/54 15852
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 571999 0 0 0 17978 1025 0 0 25 0 1 0 854638783 111210496 25605 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27151 25605 566 18 0 27133 0
vsize: 108604
[startup+200.009 s]
Raw data (loadavg): 1.08 1.02 0.94 3/55 15853
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 572814 0 0 0 18975 1027 0 0 25 0 1 0 854638783 114548736 26420 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27966 26420 566 18 0 27948 0
vsize: 111864
[startup+210.009 s]
Raw data (loadavg): 1.14 1.03 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 573605 0 0 0 19973 1030 0 0 25 0 1 0 854638783 117743616 27211 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28746 27211 566 18 0 28728 0
vsize: 114984
[startup+220.009 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 574405 0 0 0 20971 1032 0 0 25 0 1 0 854638783 121077760 28011 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29560 28011 566 18 0 29542 0
vsize: 118240
[startup+230.009 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 575208 0 0 0 21969 1034 0 0 25 0 1 0 854638783 124305408 28814 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30348 28814 566 18 0 30330 0
vsize: 121392
[startup+240.009 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 576009 0 0 0 22967 1036 0 0 25 0 1 0 854638783 127549440 29615 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31140 29615 566 18 0 31122 0
vsize: 124560
[startup+250.009 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 576804 0 0 0 23964 1039 0 0 25 0 1 0 854638783 130805760 30410 4294967295 134512640 134581267 3221224576 3221223488 134527952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31935 30410 566 18 0 31917 0
vsize: 127740
[startup+260.009 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 577592 0 0 0 24963 1041 0 0 25 0 1 0 854638783 134082560 31198 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32735 31198 566 18 0 32717 0
vsize: 130940
[startup+270.009 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 15905
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 578385 0 0 0 25960 1043 0 0 25 0 1 0 854638783 137371648 31991 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33538 31991 566 18 0 33520 0
vsize: 134152
[startup+280.009 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 579175 0 0 0 26959 1045 0 0 25 0 1 0 854638783 140546048 32781 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34313 32781 566 18 0 34295 0
vsize: 137252
[startup+290.009 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 579963 0 0 0 27956 1048 0 0 25 0 1 0 854638783 143831040 33569 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35115 33569 566 18 0 35097 0
vsize: 140460
[startup+300.01 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 580750 0 0 0 28953 1051 0 0 25 0 1 0 854638783 147091456 34356 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35911 34356 566 18 0 35893 0
vsize: 143644
[startup+310.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 581519 0 0 0 29951 1053 0 0 25 0 1 0 854638783 150228992 35125 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36677 35125 566 18 0 36659 0
vsize: 146708
[startup+320.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 582303 0 0 0 30950 1055 0 0 25 0 1 0 854638783 153374720 35909 4294967295 134512640 134581267 3221224576 3221223488 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37445 35909 566 18 0 37427 0
vsize: 149780
[startup+330.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 583084 0 0 0 31947 1057 0 0 25 0 1 0 854638783 156643328 36690 4294967295 134512640 134581267 3221224576 3221223520 134558901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38243 36691 566 18 0 38225 0
vsize: 152972
[startup+340.008 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 583864 0 0 0 32945 1060 0 0 25 0 1 0 854638783 159784960 37470 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39010 37470 566 18 0 38992 0
vsize: 156040
[startup+350.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 584645 0 0 0 33943 1062 0 0 25 0 1 0 854638783 163041280 38251 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39805 38251 566 18 0 39787 0
vsize: 159220
[startup+360.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 585419 0 0 0 34941 1064 0 0 25 0 1 0 854638783 166170624 39025 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40569 39025 566 18 0 40551 0
vsize: 162276
[startup+370.01 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 586188 0 0 0 35940 1066 0 0 25 0 1 0 854638783 169291776 39794 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41331 39794 566 18 0 41313 0
vsize: 165324
[startup+380.009 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 586951 0 0 0 36938 1068 0 0 25 0 1 0 854638783 172408832 40557 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42092 40557 566 18 0 42074 0
vsize: 168368
[startup+390.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 587718 0 0 0 37936 1070 0 0 25 0 1 0 854638783 175644672 41324 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42882 41324 566 18 0 42864 0
vsize: 171528
[startup+400.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 588484 0 0 0 38933 1073 0 0 25 0 1 0 854638783 178753536 42090 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43641 42092 566 18 0 43623 0
vsize: 174564
[startup+410.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 589245 0 0 0 39932 1075 0 0 25 0 1 0 854638783 181870592 42851 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44402 42851 566 18 0 44384 0
vsize: 177608
[startup+420.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 590008 0 0 0 40930 1077 0 0 25 0 1 0 854638783 184975360 43614 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45160 43614 566 18 0 45142 0
vsize: 180640
[startup+430.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 590757 0 0 0 41929 1078 0 0 25 0 1 0 854638783 188092416 44363 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45921 44363 566 18 0 45903 0
vsize: 183684
[startup+440.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 591509 0 0 0 42926 1080 0 0 25 0 1 0 854638783 191074304 45115 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46649 45115 566 18 0 46631 0
vsize: 186596
[startup+450.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 592251 0 0 0 43924 1083 0 0 25 0 1 0 854638783 194162688 45857 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47403 45857 566 18 0 47385 0
vsize: 189612
[startup+460.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 592994 0 0 0 44922 1086 0 0 25 0 1 0 854638783 197234688 46600 4294967295 134512640 134581267 3221224576 3221223396 1075289765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48153 46600 566 18 0 48135 0
vsize: 192612
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 593742 0 0 0 45919 1088 0 0 25 0 1 0 854638783 200196096 47348 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48876 47348 566 18 0 48858 0
vsize: 195504
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 594489 0 0 0 46918 1090 0 0 25 0 1 0 854638783 203300864 48095 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49634 48095 566 18 0 49616 0
vsize: 198536
[startup+490.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 595230 0 0 0 47916 1092 0 0 25 0 1 0 854638783 206303232 48836 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50367 48836 566 18 0 50349 0
vsize: 201468
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 595970 0 0 0 48913 1095 0 0 25 0 1 0 854638783 209317888 49576 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51103 49576 566 18 0 51085 0
vsize: 204412
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 596699 0 0 0 49912 1096 0 0 25 0 1 0 854638783 212357120 50305 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51845 50305 566 18 0 51827 0
vsize: 207380
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 597429 0 0 0 50910 1099 0 0 25 0 1 0 854638783 215392256 51035 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52586 51035 566 18 0 52568 0
vsize: 210344
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15907
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 598161 0 0 0 51908 1101 0 0 25 0 1 0 854638783 218296320 51767 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53295 51767 566 18 0 53277 0
vsize: 213180
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 598888 0 0 0 52905 1103 0 0 25 0 1 0 854638783 221306880 52494 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54030 52494 566 18 0 54012 0
vsize: 216120
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 599617 0 0 0 53904 1105 0 0 25 0 1 0 854638783 224301056 53223 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54761 53223 566 18 0 54743 0
vsize: 219044
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 600343 0 0 0 54902 1107 0 0 25 0 1 0 854638783 227303424 53949 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55494 53949 566 18 0 55476 0
vsize: 221976
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601057 0 0 0 55901 1109 0 0 25 0 1 0 854638783 230178816 54663 4294967295 134512640 134581267 3221224576 3221223440 134528340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56196 54663 566 18 0 56178 0
vsize: 224784
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 56900 1109 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 57900 1110 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 58900 1110 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 59900 1110 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 60900 1110 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 61900 1111 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 62900 1111 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 63900 1111 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+660.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 64900 1111 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+670.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 65900 1111 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+680.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 66900 1112 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 67900 1112 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+700.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 68900 1112 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 69899 1112 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223428 134527197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 70899 1113 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+730.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 71899 1113 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223396 1075289793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+740.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 72899 1113 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+750.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 73899 1114 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223472 134517897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+760.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 74899 1114 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+770.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 75899 1114 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 76899 1114 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 77899 1115 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 78899 1115 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 79899 1115 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 80898 1116 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223520 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 81898 1116 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 82898 1116 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 83897 1117 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 84897 1117 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+870.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 85898 1117 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 86897 1118 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 87897 1118 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 88897 1118 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 89897 1119 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+920.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 90897 1119 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+930.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 91897 1119 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+940.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 92897 1119 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223324 1075285163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 93897 1119 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+960.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 94897 1120 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 95897 1120 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+980.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 96897 1120 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 97897 1120 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 98897 1120 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 99897 1121 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 100897 1121 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 101897 1121 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 102896 1122 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 103896 1122 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 104896 1122 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 105896 1123 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 106896 1123 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223456 134520266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 107896 1123 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 108896 1123 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 109896 1123 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 110896 1124 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 111896 1124 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 112896 1124 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223568 134561015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 113896 1124 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 114896 1125 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 115896 1125 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223568 134560734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 116896 1125 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223520 134558778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 117896 1125 0 0 25 0 1 0 854638783 230432768 54733 4294967295 134512640 134581267 3221224576 3221223536 134516740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56258 54733 566 18 0 56240 0
vsize: 225032
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15909
Raw data (stat): 15852 (Pueblo-v2) R 15851 7266 7265 0 -1 0 601127 0 0 0 118894 1128 0 0 25 0 1 0 854638783 174956544 41192 4294967295 134512640 134581267 3221224576 3221223440 134528257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42714 41192 566 18 0 42696 0
vsize: 170856
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 15909
Raw data (stat): 15852 (Pueblo-v2) Z 15851 7266 7265 0 -1 1036 601127 0 0 0 118894 1135 0 0 25 0 1 0 854638783 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.3
CPU user time (s): 1188.94
CPU system time (s): 11.3583
CPU usage (%): 100.016
Max. virtual memory (Kb): 225032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####