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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 38427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-02 09:25:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26479 boxname=wulflinc2 idbench=209 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4-c.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4-c.opb
IDLAUNCH: 26479
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        708008 kB
Buffers:         33792 kB
Cached:         271004 kB
SwapCached:       1136 kB
Active:          54188 kB
Inactive:       253044 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        707756 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            13752 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 09:45:37 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 26479 7 1200.23 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.84 0.94 0.90 2/54 21175
Raw data (stat): 21175 (runsolver) R 21174 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848694597 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+9.99973 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 741 0 0 0 997 1 0 0 25 0 1 0 848694597 8720384 715 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2129 715 566 18 0 2111 0
vsize: 8516
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 853 0 0 0 1997 2 0 0 25 0 1 0 848694597 9244672 827 4294967295 134512640 134581267 3221224592 3221223472 134560340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2257 827 566 18 0 2239 0
vsize: 9028
[startup+30.0011 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 922 0 0 0 2997 2 0 0 25 0 1 0 848694597 9506816 896 4294967295 134512640 134581267 3221224592 3221223552 134519892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2321 896 566 18 0 2303 0
vsize: 9284
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1023 0 0 0 3997 2 0 0 25 0 1 0 848694597 9900032 997 4294967295 134512640 134581267 3221224592 3221223472 134560340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2417 997 566 18 0 2399 0
vsize: 9668
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1025 0 0 0 4997 2 0 0 25 0 1 0 848694597 9900032 999 4294967295 134512640 134581267 3221224592 3221223472 134520266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2417 999 566 18 0 2399 0
vsize: 9668
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1057 0 0 0 5997 2 0 0 25 0 1 0 848694597 10035200 1031 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2450 1031 566 18 0 2432 0
vsize: 9800
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1119 0 0 0 6998 2 0 0 25 0 1 0 848694597 10317824 1093 4294967295 134512640 134581267 3221224592 3221223552 134516726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2519 1093 566 18 0 2501 0
vsize: 10076
[startup+80.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1134 0 0 0 7998 2 0 0 25 0 1 0 848694597 10317824 1108 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2519 1108 566 18 0 2501 0
vsize: 10076
[startup+90.0013 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1288 0 0 0 8998 2 0 0 25 0 1 0 848694597 10981376 1262 4294967295 134512640 134581267 3221224592 3221223472 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2681 1262 566 18 0 2663 0
vsize: 10724
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1302 0 0 0 9998 2 0 0 25 0 1 0 848694597 11112448 1276 4294967295 134512640 134581267 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2713 1276 566 18 0 2695 0
vsize: 10852
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1336 0 0 0 10998 3 0 0 25 0 1 0 848694597 11247616 1310 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 1310 566 18 0 2728 0
vsize: 10984
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1342 0 0 0 11998 3 0 0 25 0 1 0 848694597 11247616 1316 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2746 1316 566 18 0 2728 0
vsize: 10984
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1413 0 0 0 12998 3 0 0 25 0 1 0 848694597 11513856 1387 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1387 566 18 0 2793 0
vsize: 11244
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1417 0 0 0 13998 3 0 0 25 0 1 0 848694597 11513856 1391 4294967295 134512640 134581267 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1391 566 18 0 2793 0
vsize: 11244
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1417 0 0 0 14998 3 0 0 25 0 1 0 848694597 11513856 1391 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1391 566 18 0 2793 0
vsize: 11244
[startup+160.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1417 0 0 0 15998 3 0 0 25 0 1 0 848694597 11513856 1391 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1391 566 18 0 2793 0
vsize: 11244
[startup+170.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1425 0 0 0 16998 3 0 0 25 0 1 0 848694597 11513856 1399 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1399 566 18 0 2793 0
vsize: 11244
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1425 0 0 0 17999 3 0 0 25 0 1 0 848694597 11513856 1399 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2811 1399 566 18 0 2793 0
vsize: 11244
[startup+190.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1433 0 0 0 18999 3 0 0 25 0 1 0 848694597 11649024 1407 4294967295 134512640 134581267 3221224592 3221223584 134561108 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2844 1407 566 18 0 2826 0
vsize: 11376
[startup+200.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1502 0 0 0 19999 3 0 0 25 0 1 0 848694597 11915264 1476 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2909 1476 566 18 0 2891 0
vsize: 11636
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1545 0 0 0 20999 4 0 0 25 0 1 0 848694597 12046336 1519 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2941 1519 566 18 0 2923 0
vsize: 11764
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1545 0 0 0 21999 4 0 0 25 0 1 0 848694597 12046336 1519 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2941 1519 566 18 0 2923 0
vsize: 11764
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1574 0 0 0 22999 4 0 0 25 0 1 0 848694597 12177408 1548 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 1548 566 18 0 2955 0
vsize: 11892
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1574 0 0 0 23999 4 0 0 25 0 1 0 848694597 12177408 1548 4294967295 134512640 134581267 3221224592 3221223520 134519820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 1548 566 18 0 2955 0
vsize: 11892
[startup+250.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1579 0 0 0 24999 4 0 0 25 0 1 0 848694597 12177408 1553 4294967295 134512640 134581267 3221224592 3221223584 134561101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 1553 566 18 0 2955 0
vsize: 11892
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1579 0 0 0 25999 4 0 0 25 0 1 0 848694597 12177408 1553 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 1553 566 18 0 2955 0
vsize: 11892
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1579 0 0 0 27000 4 0 0 25 0 1 0 848694597 12177408 1553 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2973 1553 566 18 0 2955 0
vsize: 11892
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1585 0 0 0 28000 4 0 0 25 0 1 0 848694597 12333056 1559 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1559 566 18 0 2993 0
vsize: 12044
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1590 0 0 0 29000 4 0 0 25 0 1 0 848694597 12333056 1564 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1564 566 18 0 2993 0
vsize: 12044
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1598 0 0 0 30000 4 0 0 25 0 1 0 848694597 12333056 1572 4294967295 134512640 134581267 3221224592 3221223536 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3011 1572 566 18 0 2993 0
vsize: 12044
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1680 0 0 0 31000 4 0 0 25 0 1 0 848694597 12726272 1654 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1654 566 18 0 3089 0
vsize: 12428
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1681 0 0 0 32000 4 0 0 25 0 1 0 848694597 12726272 1655 4294967295 134512640 134581267 3221224592 3221223536 134558803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1655 566 18 0 3089 0
vsize: 12428
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1682 0 0 0 33001 4 0 0 25 0 1 0 848694597 12726272 1656 4294967295 134512640 134581267 3221224592 3221223472 134560340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1656 566 18 0 3089 0
vsize: 12428
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1700 0 0 0 34001 4 0 0 25 0 1 0 848694597 12726272 1674 4294967295 134512640 134581267 3221224592 3221223572 134561052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1674 566 18 0 3089 0
vsize: 12428
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1700 0 0 0 35001 4 0 0 25 0 1 0 848694597 12726272 1674 4294967295 134512640 134581267 3221224592 3221223472 134560306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1674 566 18 0 3089 0
vsize: 12428
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1700 0 0 0 36001 4 0 0 25 0 1 0 848694597 12726272 1674 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1674 566 18 0 3089 0
vsize: 12428
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1712 0 0 0 37001 4 0 0 25 0 1 0 848694597 12726272 1686 4294967295 134512640 134581267 3221224592 3221223536 134559046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1686 566 18 0 3089 0
vsize: 12428
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1712 0 0 0 38002 4 0 0 25 0 1 0 848694597 12726272 1686 4294967295 134512640 134581267 3221224592 3221223244 1075288233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1686 566 18 0 3089 0
vsize: 12428
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1712 0 0 0 39002 4 0 0 25 0 1 0 848694597 12726272 1686 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1686 566 18 0 3089 0
vsize: 12428
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1712 0 0 0 40002 4 0 0 25 0 1 0 848694597 12726272 1686 4294967295 134512640 134581267 3221224592 3221223584 134561015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1686 566 18 0 3089 0
vsize: 12428
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1713 0 0 0 41002 4 0 0 25 0 1 0 848694597 12726272 1687 4294967295 134512640 134581267 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1687 566 18 0 3089 0
vsize: 12428
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 42002 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223584 134561093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 43003 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 44003 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223584 134561090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 45003 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223584 134561029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 46003 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223472 134560389 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1714 0 0 0 47003 4 0 0 25 0 1 0 848694597 12726272 1688 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1688 566 18 0 3089 0
vsize: 12428
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1715 0 0 0 48004 4 0 0 25 0 1 0 848694597 12726272 1689 4294967295 134512640 134581267 3221224592 3221223472 134560194 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 1689 566 18 0 3089 0
vsize: 12428
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1750 0 0 0 49004 4 0 0 25 0 1 0 848694597 12992512 1724 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1724 566 18 0 3154 0
vsize: 12688
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1774 0 0 0 50004 4 0 0 25 0 1 0 848694597 12992512 1748 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1748 566 18 0 3154 0
vsize: 12688
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1776 0 0 0 51004 4 0 0 25 0 1 0 848694597 12992512 1750 4294967295 134512640 134581267 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3172 1750 566 18 0 3154 0
vsize: 12688
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1790 0 0 0 52004 4 0 0 25 0 1 0 848694597 13135872 1764 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1764 566 18 0 3189 0
vsize: 12828
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1796 0 0 0 53004 4 0 0 25 0 1 0 848694597 13135872 1770 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1770 566 18 0 3189 0
vsize: 12828
[startup+540.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1802 0 0 0 54005 4 0 0 25 0 1 0 848694597 13135872 1776 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1776 566 18 0 3189 0
vsize: 12828
[startup+550.012 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1802 0 0 0 55005 4 0 0 25 0 1 0 848694597 13135872 1776 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3207 1776 566 18 0 3189 0
vsize: 12828
[startup+560.011 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1807 0 0 0 56005 4 0 0 25 0 1 0 848694597 13271040 1781 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1781 566 18 0 3222 0
vsize: 12960
[startup+570.012 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1807 0 0 0 57005 4 0 0 25 0 1 0 848694597 13271040 1781 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1781 566 18 0 3222 0
vsize: 12960
[startup+580.012 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1807 0 0 0 58005 4 0 0 25 0 1 0 848694597 13271040 1781 4294967295 134512640 134581267 3221224592 3221223584 134561104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1781 566 18 0 3222 0
vsize: 12960
[startup+590.012 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1816 0 0 0 59006 4 0 0 25 0 1 0 848694597 13271040 1790 4294967295 134512640 134581267 3221224592 3221223568 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1790 566 18 0 3222 0
vsize: 12960
[startup+600.012 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1816 0 0 0 60006 5 0 0 25 0 1 0 848694597 13271040 1790 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1790 566 18 0 3222 0
vsize: 12960
[startup+610.012 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1832 0 0 0 61006 5 0 0 25 0 1 0 848694597 13271040 1806 4294967295 134512640 134581267 3221224592 3221223472 134560340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3240 1806 566 18 0 3222 0
vsize: 12960
[startup+620.013 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1842 0 0 0 62006 5 0 0 25 0 1 0 848694597 13402112 1816 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1816 566 18 0 3254 0
vsize: 13088
[startup+630.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1846 0 0 0 63006 5 0 0 25 0 1 0 848694597 13402112 1820 4294967295 134512640 134581267 3221224592 3221223520 134519869 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1820 566 18 0 3254 0
vsize: 13088
[startup+640.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1846 0 0 0 64006 5 0 0 25 0 1 0 848694597 13402112 1820 4294967295 134512640 134581267 3221224592 3221223520 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1820 566 18 0 3254 0
vsize: 13088
[startup+650.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1846 0 0 0 65007 5 0 0 25 0 1 0 848694597 13402112 1820 4294967295 134512640 134581267 3221224592 3221223520 134519835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1820 566 18 0 3254 0
vsize: 13088
[startup+660.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1846 0 0 0 66007 5 0 0 25 0 1 0 848694597 13402112 1820 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1820 566 18 0 3254 0
vsize: 13088
[startup+670.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1846 0 0 0 67007 5 0 0 25 0 1 0 848694597 13402112 1820 4294967295 134512640 134581267 3221224592 3221223564 134519895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1820 566 18 0 3254 0
vsize: 13088
[startup+680.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1853 0 0 0 68007 5 0 0 25 0 1 0 848694597 13402112 1827 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 1827 566 18 0 3254 0
vsize: 13088
[startup+690.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1874 0 0 0 69007 5 0 0 25 0 1 0 848694597 13533184 1848 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3304 1848 566 18 0 3286 0
vsize: 13216
[startup+700.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1874 0 0 0 70008 5 0 0 25 0 1 0 848694597 13533184 1848 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3304 1848 566 18 0 3286 0
vsize: 13216
[startup+710.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1874 0 0 0 71008 5 0 0 25 0 1 0 848694597 13512704 1848 4294967295 134512640 134581267 3221224592 3221223472 134520297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3299 1848 566 18 0 3281 0
vsize: 13196
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1878 0 0 0 72008 5 0 0 25 0 1 0 848694597 13512704 1852 4294967295 134512640 134581267 3221224592 3221223536 134559175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3299 1852 566 18 0 3281 0
vsize: 13196
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1879 0 0 0 73008 5 0 0 25 0 1 0 848694597 13512704 1853 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3299 1853 566 18 0 3281 0
vsize: 13196
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1907 0 0 0 74008 5 0 0 25 0 1 0 848694597 13643776 1881 4294967295 134512640 134581267 3221224592 3221223500 134560148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 1881 566 18 0 3313 0
vsize: 13324
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1926 0 0 0 75008 5 0 0 25 0 1 0 848694597 13643776 1900 4294967295 134512640 134581267 3221224592 3221223584 134561106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3331 1900 566 18 0 3313 0
vsize: 13324
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1944 0 0 0 76008 5 0 0 25 0 1 0 848694597 13774848 1918 4294967295 134512640 134581267 3221224592 3221223520 134519883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 1918 566 18 0 3345 0
vsize: 13452
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1953 0 0 0 77009 5 0 0 25 0 1 0 848694597 13774848 1927 4294967295 134512640 134581267 3221224592 3221223520 134520109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 1927 566 18 0 3345 0
vsize: 13452
[startup+780.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1953 0 0 0 78009 5 0 0 25 0 1 0 848694597 13774848 1927 4294967295 134512640 134581267 3221224592 3221223472 134520219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 1927 566 18 0 3345 0
vsize: 13452
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1953 0 0 0 79009 5 0 0 25 0 1 0 848694597 13774848 1927 4294967295 134512640 134581267 3221224592 3221223472 134560172 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 1927 566 18 0 3345 0
vsize: 13452
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1957 0 0 0 80009 5 0 0 25 0 1 0 848694597 13774848 1931 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 1931 566 18 0 3345 0
vsize: 13452
[startup+810.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1965 0 0 0 81009 5 0 0 25 0 1 0 848694597 13905920 1939 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1939 566 18 0 3377 0
vsize: 13580
[startup+820.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1979 0 0 0 82010 5 0 0 25 0 1 0 848694597 13905920 1953 4294967295 134512640 134581267 3221224592 3221223536 134559268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1953 566 18 0 3377 0
vsize: 13580
[startup+830.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1979 0 0 0 83010 5 0 0 25 0 1 0 848694597 13905920 1953 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1953 566 18 0 3377 0
vsize: 13580
[startup+840.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1979 0 0 0 84010 5 0 0 25 0 1 0 848694597 13905920 1953 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1953 566 18 0 3377 0
vsize: 13580
[startup+850.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 1979 0 0 0 85010 5 0 0 25 0 1 0 848694597 13905920 1953 4294967295 134512640 134581267 3221224592 3221223556 134519893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3395 1953 566 18 0 3377 0
vsize: 13580
[startup+860.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 86010 5 0 0 25 0 1 0 848694597 14036992 1975 4294967295 134512640 134581267 3221224592 3221223472 134560430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 1975 566 18 0 3409 0
vsize: 13708
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 87010 5 0 0 25 0 1 0 848694597 14036992 1975 4294967295 134512640 134581267 3221224592 3221223384 1075288611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 1975 566 18 0 3409 0
vsize: 13708
[startup+880.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 88011 5 0 0 25 0 1 0 848694597 14036992 1975 4294967295 134512640 134581267 3221224592 3221223520 134519797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 1975 566 18 0 3409 0
vsize: 13708
[startup+890.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 89011 5 0 0 25 0 1 0 848694597 14036992 1975 4294967295 134512640 134581267 3221224592 3221223536 134559049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3427 1975 566 18 0 3409 0
vsize: 13708
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 90011 5 0 0 25 0 1 0 848694597 14020608 1975 4294967295 134512640 134581267 3221224592 3221223536 134558934 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1975 566 18 0 3405 0
vsize: 13692
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 91011 5 0 0 25 0 1 0 848694597 14020608 1975 4294967295 134512640 134581267 3221224592 3221223472 134560427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3423 1975 566 18 0 3405 0
vsize: 13692
[startup+920.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 92011 5 0 0 25 0 1 0 848694597 14016512 1975 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3422 1975 566 18 0 3404 0
vsize: 13688
[startup+930.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 93012 5 0 0 25 0 1 0 848694597 14000128 1975 4294967295 134512640 134581267 3221224592 3221223556 134519780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 1975 566 18 0 3400 0
vsize: 13672
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 94012 5 0 0 25 0 1 0 848694597 14000128 1975 4294967295 134512640 134581267 3221224592 3221223488 134517630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 1975 566 18 0 3400 0
vsize: 13672
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 95012 5 0 0 25 0 1 0 848694597 14000128 1975 4294967295 134512640 134581267 3221224592 3221223568 134560677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 1975 566 18 0 3400 0
vsize: 13672
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 96012 5 0 0 25 0 1 0 848694597 14000128 1975 4294967295 134512640 134581267 3221224592 3221223472 134560276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 1975 566 18 0 3400 0
vsize: 13672
[startup+970.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 97012 5 0 0 25 0 1 0 848694597 14000128 1975 4294967295 134512640 134581267 3221224592 3221223536 134559219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3418 1975 566 18 0 3400 0
vsize: 13672
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 98012 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223584 134561024 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+990.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 99013 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223584 134560938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 100013 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223520 134519838 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 101013 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 102013 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 103013 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 104014 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 105014 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223504 134566357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 106014 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223520 134519896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 107014 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223568 134561057 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 108014 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223520 134520027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2001 0 0 0 109015 5 0 0 25 0 1 0 848694597 13996032 1975 4294967295 134512640 134581267 3221224592 3221223536 134559225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1975 566 18 0 3399 0
vsize: 13668
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2002 0 0 0 110015 5 0 0 25 0 1 0 848694597 13996032 1976 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1976 566 18 0 3399 0
vsize: 13668
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2002 0 0 0 111015 5 0 0 25 0 1 0 848694597 13996032 1976 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1976 566 18 0 3399 0
vsize: 13668
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2002 0 0 0 112015 5 0 0 25 0 1 0 848694597 13996032 1976 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3417 1976 566 18 0 3399 0
vsize: 13668
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2081 0 0 0 113015 5 0 0 25 0 1 0 848694597 14393344 2055 4294967295 134512640 134581267 3221224592 3221223584 134560942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2055 566 18 0 3496 0
vsize: 14056
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2081 0 0 0 114015 5 0 0 25 0 1 0 848694597 14393344 2055 4294967295 134512640 134581267 3221224592 3221223524 134558724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2055 566 18 0 3496 0
vsize: 14056
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2086 0 0 0 115016 5 0 0 25 0 1 0 848694597 14393344 2060 4294967295 134512640 134581267 3221224592 3221223584 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2060 566 18 0 3496 0
vsize: 14056
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2109 0 0 0 116016 5 0 0 25 0 1 0 848694597 14524416 2083 4294967295 134512640 134581267 3221224592 3221223564 134554608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2083 566 18 0 3528 0
vsize: 14184
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2114 0 0 0 117016 5 0 0 25 0 1 0 848694597 14524416 2088 4294967295 134512640 134581267 3221224592 3221223520 134519829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2088 566 18 0 3528 0
vsize: 14184
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2157 0 0 0 118016 5 0 0 25 0 1 0 848694597 14659584 2131 4294967295 134512640 134581267 3221224592 3221223536 134559033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2131 566 18 0 3561 0
vsize: 14316
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2167 0 0 0 119016 5 0 0 25 0 1 0 848694597 14659584 2141 4294967295 134512640 134581267 3221224592 3221223568 134561060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2141 566 18 0 3561 0
vsize: 14316
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 21175
Raw data (stat): 21175 (Pueblo-v2) R 21174 31399 31398 0 -1 0 2167 0 0 0 120016 5 0 0 25 0 1 0 848694597 14659584 2141 4294967295 134512640 134581267 3221224592 3221223584 134561040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3579 2141 566 18 0 3561 0
vsize: 14316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 21175
Raw data (stat): 21175 (Pueblo-v2) Z 21174 31399 31398 0 -1 1036 2167 0 0 0 120017 6 0 0 25 0 1 0 848694597 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.03
CPU time (s): 1200.23
CPU user time (s): 1200.17
CPU system time (s): 0.06399
CPU usage (%): 100.017
Max. virtual memory (Kb): 14316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####