PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39120920179
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39120920179
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.973851
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 39274

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 01:37:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27340 boxname=wulflinc2 idbench=1468 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 27340
/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:        387872 kB
Buffers:         32112 kB
Cached:         591852 kB
SwapCached:       1160 kB
Active:          65104 kB
Inactive:       561344 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        387620 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14616 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:57:54 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 27340 7 1200.42 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.91 0.95 0.90 2/54 2749
Raw data (stat): 2749 (runsolver) R 2748 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854529080 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.0014 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 82461 0 0 0 840 158 0 0 25 0 1 0 854529080 57827328 12442 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14118 12442 566 18 0 14100 0
vsize: 56472
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 395606 0 0 0 1289 710 0 0 25 0 1 0 854529080 59457536 12879 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14516 12879 566 18 0 14498 0
vsize: 58064
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559224 0 0 0 2006 993 0 0 25 0 1 0 854529080 58822656 12830 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12830 566 18 0 14343 0
vsize: 57444
[startup+40.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559224 0 0 0 3006 993 0 0 25 0 1 0 854529080 58822656 12830 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12830 566 18 0 14343 0
vsize: 57444
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559224 0 0 0 4006 993 0 0 25 0 1 0 854529080 58822656 12830 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12830 566 18 0 14343 0
vsize: 57444
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559224 0 0 0 5006 993 0 0 25 0 1 0 854529080 58822656 12830 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12830 566 18 0 14343 0
vsize: 57444
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559224 0 0 0 6006 994 0 0 25 0 1 0 854529080 58822656 12830 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14361 12830 566 18 0 14343 0
vsize: 57444
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559374 0 0 0 7005 994 0 0 25 0 1 0 854529080 59457536 12980 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14516 12980 566 18 0 14498 0
vsize: 58064
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 559852 0 0 0 8004 996 0 0 25 0 1 0 854529080 61362176 13458 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14981 13458 566 18 0 14963 0
vsize: 59924
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 560331 0 0 0 9003 997 0 0 25 0 1 0 854529080 63393792 13937 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15477 13937 566 18 0 15459 0
vsize: 61908
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 560818 0 0 0 10001 999 0 0 25 0 1 0 854529080 65425408 14424 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15973 14424 566 18 0 15955 0
vsize: 63892
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 561306 0 0 0 11000 1001 0 0 25 0 1 0 854529080 67330048 14912 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16438 14912 566 18 0 16420 0
vsize: 65752
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 561791 0 0 0 11998 1002 0 0 25 0 1 0 854529080 69361664 15397 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16934 15397 566 18 0 16916 0
vsize: 67736
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 562284 0 0 0 12998 1003 0 0 25 0 1 0 854529080 71393280 15890 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17430 15890 566 18 0 17412 0
vsize: 69720
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 562777 0 0 0 13996 1004 0 0 25 0 1 0 854529080 73424896 16383 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17926 16383 566 18 0 17908 0
vsize: 71704
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 563270 0 0 0 14996 1005 0 0 25 0 1 0 854529080 75456512 16876 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18422 16876 566 18 0 18404 0
vsize: 73688
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 563761 0 0 0 15994 1007 0 0 25 0 1 0 854529080 77361152 17367 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18887 17367 566 18 0 18869 0
vsize: 75548
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 564248 0 0 0 16992 1009 0 0 25 0 1 0 854529080 79392768 17854 4294967295 134512640 134581267 3221224576 3221223504 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 17854 566 18 0 19365 0
vsize: 77532
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 564452 0 0 0 17992 1010 0 0 25 0 1 0 854529080 80289792 18058 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19602 18058 566 18 0 19584 0
vsize: 78408
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 564567 0 0 0 18991 1011 0 0 25 0 1 0 854529080 80797696 18173 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19726 18173 566 18 0 19708 0
vsize: 78904
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 564680 0 0 0 19990 1011 0 0 25 0 1 0 854529080 81178624 18286 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19819 18286 566 18 0 19801 0
vsize: 79276
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 564794 0 0 0 20990 1012 0 0 25 0 1 0 854529080 81686528 18400 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19943 18400 566 18 0 19925 0
vsize: 79772
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 565084 0 0 0 21989 1013 0 0 25 0 1 0 854529080 82821120 18690 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20220 18690 566 18 0 20202 0
vsize: 80880
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 565343 0 0 0 22988 1014 0 0 25 0 1 0 854529080 83951616 18949 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20496 18949 566 18 0 20478 0
vsize: 81984
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 565580 0 0 0 23987 1015 0 0 25 0 1 0 854529080 84836352 19186 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20712 19186 566 18 0 20694 0
vsize: 82848
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 565812 0 0 0 24987 1015 0 0 25 0 1 0 854529080 85852160 19418 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20960 19418 566 18 0 20942 0
vsize: 83840
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 566072 0 0 0 25986 1016 0 0 25 0 1 0 854529080 86867968 19678 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21208 19678 566 18 0 21190 0
vsize: 84832
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 566189 0 0 0 26986 1017 0 0 25 0 1 0 854529080 87375872 19795 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21332 19795 566 18 0 21314 0
vsize: 85328
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 566409 0 0 0 27986 1017 0 0 25 0 1 0 854529080 88264704 20015 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21549 20015 566 18 0 21531 0
vsize: 86196
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 566655 0 0 0 28985 1018 0 0 25 0 1 0 854529080 89280512 20261 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21797 20261 566 18 0 21779 0
vsize: 87188
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 566888 0 0 0 29984 1019 0 0 25 0 1 0 854529080 90288128 20494 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22043 20494 566 18 0 22025 0
vsize: 88172
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 567243 0 0 0 30983 1021 0 0 25 0 1 0 854529080 91684864 20849 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22384 20849 566 18 0 22366 0
vsize: 89536
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 567566 0 0 0 31983 1022 0 0 25 0 1 0 854529080 93073408 21172 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22723 21172 566 18 0 22705 0
vsize: 90892
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 567758 0 0 0 32983 1022 0 0 25 0 1 0 854529080 93831168 21364 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22908 21364 566 18 0 22890 0
vsize: 91632
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 568002 0 0 0 33982 1023 0 0 25 0 1 0 854529080 94842880 21608 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23155 21608 566 18 0 23137 0
vsize: 92620
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 568342 0 0 0 34981 1024 0 0 25 0 1 0 854529080 96239616 21948 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23496 21948 566 18 0 23478 0
vsize: 93984
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 568664 0 0 0 35981 1025 0 0 25 0 1 0 854529080 97505280 22270 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23805 22270 566 18 0 23787 0
vsize: 95220
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 568964 0 0 0 36980 1025 0 0 25 0 1 0 854529080 98775040 22570 4294967295 134512640 134581267 3221224576 3221223520 134559230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24115 22570 566 18 0 24097 0
vsize: 96460
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 569265 0 0 0 37979 1027 0 0 25 0 1 0 854529080 99917824 22871 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24394 22871 566 18 0 24376 0
vsize: 97576
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 569568 0 0 0 38979 1027 0 0 25 0 1 0 854529080 101171200 23174 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24700 23174 566 18 0 24682 0
vsize: 98800
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 569845 0 0 0 39978 1028 0 0 25 0 1 0 854529080 102309888 23451 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24978 23451 566 18 0 24960 0
vsize: 99912
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 570094 0 0 0 40977 1029 0 0 25 0 1 0 854529080 103317504 23700 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25224 23700 566 18 0 25206 0
vsize: 100896
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 570541 0 0 0 41976 1030 0 0 25 0 1 0 854529080 105259008 24147 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25698 24147 566 18 0 25680 0
vsize: 102792
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 570725 0 0 0 42976 1030 0 0 25 0 1 0 854529080 106012672 24331 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25882 24331 566 18 0 25864 0
vsize: 103528
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 570987 0 0 0 43976 1031 0 0 25 0 1 0 854529080 107016192 24593 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26127 24593 566 18 0 26109 0
vsize: 104508
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 571280 0 0 0 44975 1032 0 0 25 0 1 0 854529080 108277760 24886 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26435 24886 566 18 0 26417 0
vsize: 105740
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 571522 0 0 0 45975 1032 0 0 25 0 1 0 854529080 109330432 25128 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26692 25128 566 18 0 26674 0
vsize: 106768
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 571640 0 0 0 46975 1033 0 0 25 0 1 0 854529080 109711360 25246 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26785 25246 566 18 0 26767 0
vsize: 107140
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 571768 0 0 0 47975 1033 0 0 25 0 1 0 854529080 110346240 25374 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26940 25374 566 18 0 26922 0
vsize: 107760
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 572228 0 0 0 48974 1034 0 0 25 0 1 0 854529080 112209920 25834 4294967295 134512640 134581267 3221224576 3221223504 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27395 25834 566 18 0 27377 0
vsize: 109580
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 572567 0 0 0 49972 1036 0 0 25 0 1 0 854529080 113627136 26173 4294967295 134512640 134581267 3221224576 3221223440 134528229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27741 26173 566 18 0 27723 0
vsize: 110964
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 572871 0 0 0 50972 1036 0 0 25 0 1 0 854529080 114761728 26477 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28018 26477 566 18 0 28000 0
vsize: 112072
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573154 0 0 0 51971 1037 0 0 25 0 1 0 854529080 115908608 26760 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28298 26760 566 18 0 28280 0
vsize: 113192
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573361 0 0 0 52971 1037 0 0 25 0 1 0 854529080 116785152 26967 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28512 26967 566 18 0 28494 0
vsize: 114048
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573527 0 0 0 53971 1038 0 0 25 0 1 0 854529080 117542912 27133 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28697 27133 566 18 0 28679 0
vsize: 114788
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573694 0 0 0 54971 1038 0 0 25 0 1 0 854529080 118165504 27300 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28849 27300 566 18 0 28831 0
vsize: 115396
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573850 0 0 0 55970 1039 0 0 25 0 1 0 854529080 118796288 27456 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29003 27456 566 18 0 28985 0
vsize: 116012
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 573993 0 0 0 56970 1039 0 0 25 0 1 0 854529080 119422976 27599 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29156 27599 566 18 0 29138 0
vsize: 116624
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574154 0 0 0 57970 1039 0 0 25 0 1 0 854529080 120053760 27760 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29310 27760 566 18 0 29292 0
vsize: 117240
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574310 0 0 0 58970 1040 0 0 25 0 1 0 854529080 120684544 27916 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29464 27916 566 18 0 29446 0
vsize: 117856
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574461 0 0 0 59969 1040 0 0 25 0 1 0 854529080 121311232 28067 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29617 28067 566 18 0 29599 0
vsize: 118468
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574625 0 0 0 60969 1041 0 0 25 0 1 0 854529080 121929728 28231 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29768 28231 566 18 0 29750 0
vsize: 119072
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574794 0 0 0 61969 1041 0 0 25 0 1 0 854529080 122683392 28400 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29952 28400 566 18 0 29934 0
vsize: 119808
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 574915 0 0 0 62969 1041 0 0 25 0 1 0 854529080 123191296 28521 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30076 28521 566 18 0 30058 0
vsize: 120304
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575056 0 0 0 63969 1042 0 0 25 0 1 0 854529080 123699200 28662 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30200 28662 566 18 0 30182 0
vsize: 120800
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575205 0 0 0 64968 1042 0 0 25 0 1 0 854529080 124334080 28811 4294967295 134512640 134581267 3221224576 3221223440 134528390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30355 28811 566 18 0 30337 0
vsize: 121420
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575384 0 0 0 65968 1043 0 0 25 0 1 0 854529080 125083648 28990 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30538 28990 566 18 0 30520 0
vsize: 122152
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575516 0 0 0 66967 1044 0 0 25 0 1 0 854529080 125587456 29122 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30661 29122 566 18 0 30643 0
vsize: 122644
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575652 0 0 0 67967 1044 0 0 25 0 1 0 854529080 126205952 29258 4294967295 134512640 134581267 3221224576 3221223440 134560377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30812 29258 566 18 0 30794 0
vsize: 123248
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575779 0 0 0 68967 1044 0 0 25 0 1 0 854529080 126705664 29385 4294967295 134512640 134581267 3221224576 3221223552 134560674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30934 29385 566 18 0 30916 0
vsize: 123736
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 575901 0 0 0 69967 1044 0 0 25 0 1 0 854529080 127209472 29507 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31057 29507 566 18 0 31039 0
vsize: 124228
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576045 0 0 0 70967 1045 0 0 25 0 1 0 854529080 127832064 29651 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31209 29651 566 18 0 31191 0
vsize: 124836
[startup+730.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576187 0 0 0 71967 1045 0 0 25 0 1 0 854529080 128327680 29793 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31330 29793 566 18 0 31312 0
vsize: 125320
[startup+740.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576324 0 0 0 72967 1046 0 0 25 0 1 0 854529080 128954368 29930 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31483 29930 566 18 0 31465 0
vsize: 125932
[startup+750.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576466 0 0 0 73966 1046 0 0 25 0 1 0 854529080 129458176 30072 4294967295 134512640 134581267 3221224576 3221223488 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31606 30072 566 18 0 31588 0
vsize: 126424
[startup+760.027 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576589 0 0 0 74966 1046 0 0 25 0 1 0 854529080 129953792 30195 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31727 30195 566 18 0 31709 0
vsize: 126908
[startup+770.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576731 0 0 0 75966 1047 0 0 25 0 1 0 854529080 130588672 30337 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31882 30337 566 18 0 31864 0
vsize: 127528
[startup+780.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576825 0 0 0 76966 1047 0 0 25 0 1 0 854529080 130965504 30431 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31974 30431 566 18 0 31956 0
vsize: 127896
[startup+790.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 576925 0 0 0 77966 1047 0 0 25 0 1 0 854529080 131346432 30531 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32067 30531 566 18 0 32049 0
vsize: 128268
[startup+800.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577017 0 0 0 78966 1048 0 0 25 0 1 0 854529080 131727360 30623 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32160 30623 566 18 0 32142 0
vsize: 128640
[startup+810.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577114 0 0 0 79965 1048 0 0 25 0 1 0 854529080 132108288 30720 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32253 30720 566 18 0 32235 0
vsize: 129012
[startup+820.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577211 0 0 0 80965 1048 0 0 25 0 1 0 854529080 132599808 30817 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32373 30817 566 18 0 32355 0
vsize: 129492
[startup+830.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577300 0 0 0 81966 1048 0 0 25 0 1 0 854529080 132853760 30906 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32435 30906 566 18 0 32417 0
vsize: 129740
[startup+840.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577390 0 0 0 82966 1049 0 0 25 0 1 0 854529080 133234688 30996 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32528 30996 566 18 0 32510 0
vsize: 130112
[startup+850.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577533 0 0 0 83965 1049 0 0 25 0 1 0 854529080 133865472 31139 4294967295 134512640 134581267 3221224576 3221223488 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32682 31139 566 18 0 32664 0
vsize: 130728
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577673 0 0 0 84965 1050 0 0 25 0 1 0 854529080 134488064 31279 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32834 31279 566 18 0 32816 0
vsize: 131336
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577827 0 0 0 85964 1051 0 0 25 0 1 0 854529080 135118848 31433 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32988 31433 566 18 0 32970 0
vsize: 131952
[startup+880.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 577914 0 0 0 86964 1051 0 0 25 0 1 0 854529080 135364608 31520 4294967295 134512640 134581267 3221224576 3221223440 134528222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33048 31520 566 18 0 33030 0
vsize: 132192
[startup+890.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 578054 0 0 0 87964 1051 0 0 25 0 1 0 854529080 135987200 31660 4294967295 134512640 134581267 3221224576 3221223520 134558909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33200 31660 566 18 0 33182 0
vsize: 132800
[startup+900.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 578195 0 0 0 88964 1051 0 0 25 0 1 0 854529080 136617984 31801 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33354 31801 566 18 0 33336 0
vsize: 133416
[startup+910.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 578597 0 0 0 89963 1053 0 0 25 0 1 0 854529080 138158080 32203 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33730 32203 566 18 0 33712 0
vsize: 134920
[startup+920.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 578840 0 0 0 90963 1053 0 0 25 0 1 0 854529080 139173888 32446 4294967295 134512640 134581267 3221224576 3221223488 134527779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33978 32446 566 18 0 33960 0
vsize: 135912
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 579178 0 0 0 91962 1054 0 0 25 0 1 0 854529080 140566528 32784 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34318 32784 566 18 0 34300 0
vsize: 137272
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 579530 0 0 0 92961 1055 0 0 25 0 1 0 854529080 142090240 33136 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34690 33136 566 18 0 34672 0
vsize: 138760
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 579729 0 0 0 93961 1055 0 0 25 0 1 0 854529080 142839808 33335 4294967295 134512640 134581267 3221224576 3221223488 134527645 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34873 33335 566 18 0 34855 0
vsize: 139492
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 579853 0 0 0 94961 1056 0 0 25 0 1 0 854529080 143343616 33459 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34996 33459 566 18 0 34978 0
vsize: 139984
[startup+970.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 580145 0 0 0 95961 1056 0 0 25 0 1 0 854529080 144494592 33751 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35277 33751 566 18 0 35259 0
vsize: 141108
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 580418 0 0 0 96960 1057 0 0 25 0 1 0 854529080 145637376 34024 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35556 34024 566 18 0 35538 0
vsize: 142224
[startup+990.033 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 580655 0 0 0 97960 1058 0 0 25 0 1 0 854529080 146640896 34261 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35801 34261 566 18 0 35783 0
vsize: 143204
[startup+1000.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 580867 0 0 0 98959 1058 0 0 25 0 1 0 854529080 147521536 34473 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36016 34473 566 18 0 35998 0
vsize: 144064
[startup+1010.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 581097 0 0 0 99959 1058 0 0 25 0 1 0 854529080 148398080 34703 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36230 34703 566 18 0 36212 0
vsize: 144920
[startup+1020.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 581273 0 0 0 100959 1059 0 0 25 0 1 0 854529080 149155840 34879 4294967295 134512640 134581267 3221224576 3221223472 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36415 34879 566 18 0 36397 0
vsize: 145660
[startup+1030.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 582300 0 0 0 101957 1061 0 0 25 0 1 0 854529080 153427968 35906 4294967295 134512640 134581267 3221224576 3221223472 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37458 35906 566 18 0 37440 0
vsize: 149832
[startup+1040.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 583003 0 0 0 102955 1063 0 0 25 0 1 0 854529080 156217344 36609 4294967295 134512640 134581267 3221224576 3221223440 134528255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38139 36609 566 18 0 38121 0
vsize: 152556
[startup+1050.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 584509 0 0 0 103952 1067 0 0 25 0 1 0 854529080 162353152 38115 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39637 38115 566 18 0 39619 0
vsize: 158548
[startup+1060.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 586206 0 0 0 104948 1070 0 0 25 0 1 0 854529080 169357312 39812 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41347 39812 566 18 0 41329 0
vsize: 165388
[startup+1070.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 587837 0 0 0 105944 1074 0 0 25 0 1 0 854529080 176123904 41443 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42999 41443 566 18 0 42981 0
vsize: 171996
[startup+1080.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 589457 0 0 0 106940 1079 0 0 25 0 1 0 854529080 182747136 43063 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44616 43063 566 18 0 44598 0
vsize: 178464
[startup+1090.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 590950 0 0 0 107937 1082 0 0 25 0 1 0 854529080 189001728 44556 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46143 44556 566 18 0 46125 0
vsize: 184572
[startup+1100.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 592501 0 0 0 108933 1086 0 0 25 0 1 0 854529080 195375104 46107 4294967295 134512640 134581267 3221224576 3221223472 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47699 46107 566 18 0 47681 0
vsize: 190796
[startup+1110.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594018 0 0 0 109929 1090 0 0 25 0 1 0 854529080 201482240 47624 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49190 47624 566 18 0 49172 0
vsize: 196760
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 110927 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 111937 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 112938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 113938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 114938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 115938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 116938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1190.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 117938 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 2749
Raw data (stat): 2749 (Pueblo-v2) R 2748 31399 31398 0 -1 0 594984 0 0 0 118939 1093 0 0 25 0 1 0 854529080 205479936 48590 4294967295 134512640 134581267 3221224576 3221223492 1075285486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50166 48590 566 18 0 50148 0
vsize: 200664
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 2749
Raw data (stat): 2749 (Pueblo-v2) Z 2748 31399 31398 0 -1 1036 594984 0 0 0 118939 1102 0 0 25 0 1 0 854529080 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.23
CPU time (s): 1200.42
CPU user time (s): 1189.39
CPU system time (s): 11.0243
CPU usage (%): 100.015
Max. virtual memory (Kb): 200664
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####