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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
MD5SUM	14da1db0c6acfbdddee3af5ad3788f2d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12128256
Optimality of the best value was proved	NO
Number of terms in the objective function	7936
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1548380176990
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1548380176990
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1231.81
Number of variables	7936
Total number of constraints	296
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	296
Minimum length of a constraint	31
Maximum length of a constraint	960
Trace number 42591

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 11:52:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25806 boxname=wulflinc5 idbench=1106 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  14da1db0c6acfbdddee3af5ad3788f2d  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran8x32.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-ran8x32.opb
IDLAUNCH: 25806
/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:        732700 kB
Buffers:         29768 kB
Cached:         249160 kB
SwapCached:        688 kB
Active:          35896 kB
Inactive:       245168 kB
HighTotal:      131008 kB
HighFree:         7280 kB
LowTotal:       903652 kB
LowFree:        725420 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15320 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:12:14 (client local time) WITH STATUS 0 IN 1201.16 SECONDS
stats: 25806 7 1201.16 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 27286/344759	Time: 38.1822/86400
c Decision: 27289/344759	Time: 47.3638/86400
c Decision: 27289/344759	Time: 58.1872/86400
c Decision: 27289/344759	Time: 69.2435/86400
c Decision: 27289/344759	Time: 77.6912/86400
c Decision: 27289/344759	Time: 87.5807/86400
c Decision: 27289/344759	Time: 96.4203/86400
c Decision: 27289/344759	Time: 106.328/86400
c Decision: 27289/344759	Time: 114.387/86400
c Decision: 27289/344759	Time: 122.945/86400
c Decision: 27289/344759	Time: 131.902/86400
c Decision: 27289/344759	Time: 141.216/86400
c Decision: 27289/344759	Time: 148.383/86400
c Decision: 27289/344759	Time: 157.698/86400
c Decision: 27289/344759	Time: 166.442/86400
c Decision: 27289/344759	Time: 176.977/86400
c Decision: 27289/344759	Time: 185.51/86400
c Decision: 27289/344759	Time: 195.218/86400
c Decision: 27289/344759	Time: 203.618/86400
c Decision: 27289/344759	Time: 211.038/86400
c Decision: 27289/344759	Time: 220.727/86400
c Decision: 27289/344759	Time: 227.803/86400
c Decision: 27289/344759	Time: 236.53/86400
c Decision: 27289/344759	Time: 244.809/86400
c Decision: 27289/344759	Time: 251.654/86400
c Decision: 27289/344759	Time: 259.469/86400
c Decision: 27289/344759	Time: 268.316/86400
c Decision: 27289/344759	Time: 277.071/86400
c Decision: 27289/344759	Time: 286.965/86400
c Decision: 27289/344759	Time: 297.386/86400
c Decision: 27289/344759	Time: 306.825/86400
c Decision: 27289/344759	Time: 315.782/86400
c Decision: 27289/344759	Time: 325.598/86400
c Decision: 27289/344759	Time: 335.9/86400
c Decision: 27289/344759	Time: 345.62/86400
c Decision: 27289/344759	Time: 356.29/86400
c Decision: 27289/344759	Time: 365.968/86400
c Decision: 27289/344759	Time: 374.697/86400
c Decision: 27289/344759	Time: 384.405/86400
c Decision: 27289/344759	Time: 393.298/86400
c Decision: 27289/344759	Time: 405.747/86400
c Decision: 27289/344759	Time: 414.863/86400
c Decision: 27289/344759	Time: 424.628/86400
c Decision: 27289/344759	Time: 436.084/86400
c Decision: 27289/344759	Time: 445.224/86400
c Decision: 27289/344759	Time: 457.395/86400
c Decision: 27289/344759	Time: 466.879/86400
c Decision: 27289/344759	Time: 479.306/86400
c Decision: 27289/344759	Time: 490.828/86400
c Decision: 27289/344759	Time: 500.132/86400
c Decision: 27289/344759	Time: 513.459/86400
c Decision: 27289/344759	Time: 524.669/86400
c Decision: 27289/344759	Time: 534.052/86400
c Decision: 27289/344759	Time: 544.547/86400
c Decision: 27289/344759	Time: 556.018/86400
c Decision: 27289/344759	Time: 568.06/86400
c Decision: 27289/344759	Time: 576.79/86400
c Decision: 27289/344759	Time: 587.639/86400
c Decision: 27289/344759	Time: 600.72/86400
c Decision: 27289/344759	Time: 612.439/86400
c Decision: 27289/344759	Time: 622.328/86400
c Decision: 27289/344759	Time: 635.401/86400
c Decision: 27289/344759	Time: 646.585/86400
c Decision: 27289/344759	Time: 658.387/86400
c Decision: 27289/344759	Time: 668.855/86400
c Decision: 27289/344759	Time: 680.879/86400
c Decision: 27289/344759	Time: 692.159/86400
c Decision: 27289/344759	Time: 703.603/86400
c Decision: 27289/344759	Time: 714.833/86400
c Decision: 27289/344759	Time: 727.196/86400
c Decision: 27289/344759	Time: 740.058/86400
c Decision: 27289/344759	Time: 751.348/86400
c Decision: 27289/344759	Time: 765.614/86400
c Decision: 27289/344759	Time: 775.933/86400
c Decision: 27297/344759	Time: 796.033/86400
c Decision: 27297/344759	Time: 809.998/86400
c Decision: 27297/344759	Time: 827.669/86400
c Decision: 27297/344759	Time: 841.79/86400
c Decision: 27297/344759	Time: 855.925/86400
c Decision: 27297/344759	Time: 869.313/86400
c Decision: 27297/344759	Time: 884.535/86400
c Decision: 27297/344759	Time: 894.84/86400
c Decision: 27297/344759	Time: 907.65/86400
c Decision: 27297/344759	Time: 921.031/86400
c Decision: 27297/344759	Time: 936.828/86400
c Decision: 27297/344759	Time: 953.109/86400
c Decision: 27297/344759	Time: 967.841/86400
c Decision: 27297/344759	Time: 983.188/86400
c Decision: 27297/344759	Time: 995.373/86400
c Decision: 27297/344759	Time: 1007.03/86400
c Decision: 27297/344759	Time: 1025.56/86400
c Decision: 27297/344759	Time: 1038.94/86400
c Decision: 27297/344759	Time: 1052.75/86400
c Decision: 27297/344759	Time: 1066.81/86400
c Decision: 27297/344759	Time: 1082.29/86400
c Decision: 27297/344759	Time: 1105.75/86400
c Decision: 27297/344759	Time: 1117.77/86400
c Decision: 27297/344759	Time: 1131.98/86400
c Decision: 27297/344759	Time: 1148.65/86400
c Decision: 27297/344759	Time: 1165.65/86400
c Decision: 27297/344759	Time: 1180.74/86400s UNKNOWN
#### 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.91 1/54 13461
Raw data (stat): 13461 (runsolver) R 13460 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970547107 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 25667 0 0 0 940 58 0 0 25 0 1 0 970547107 78295040 14775 4294967295 134512640 135730672 3221224576 3220816208 135282755 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19115 14775 301 301 0 18814 0
vsize: 76460
[startup+20.001 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 48256 0 0 0 1890 107 0 0 25 0 1 0 970547107 153337856 25798 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37436 25798 301 301 0 37135 0
vsize: 149744
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 49333 0 0 0 2885 112 0 0 25 0 1 0 970547107 158306304 26875 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38649 26875 301 301 0 38348 0
vsize: 154596
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 49727 0 0 0 3883 115 0 0 25 0 1 0 970547107 160165888 27269 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39103 27269 301 301 0 38802 0
vsize: 156412
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 50028 0 0 0 4880 118 0 0 25 0 1 0 970547107 161640448 27570 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39463 27570 301 301 0 39162 0
vsize: 157852
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 50945 0 0 0 5875 122 0 0 25 0 1 0 970547107 162656256 27813 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39711 27813 301 301 0 39410 0
vsize: 158844
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 51993 0 0 0 6872 126 0 0 25 0 1 0 970547107 164528128 28187 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40168 28187 301 301 0 39867 0
vsize: 160672
[startup+80.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 52861 0 0 0 7869 129 0 0 25 0 1 0 970547107 165711872 28381 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40457 28381 301 301 0 40156 0
vsize: 161828
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 53598 0 0 0 8865 133 0 0 25 0 1 0 970547107 165908480 28444 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40505 28444 301 301 0 40204 0
vsize: 162020
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 54371 0 0 0 9862 136 0 0 25 0 1 0 970547107 166465536 28543 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40641 28543 301 301 0 40340 0
vsize: 162564
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 55091 0 0 0 10859 139 0 0 25 0 1 0 970547107 166629376 28589 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40681 28589 301 301 0 40380 0
vsize: 162724
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 55859 0 0 0 11857 142 0 0 25 0 1 0 970547107 167157760 28683 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40810 28683 301 301 0 40509 0
vsize: 163240
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 56639 0 0 0 12853 145 0 0 25 0 1 0 970547107 167747584 28789 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40954 28789 301 301 0 40653 0
vsize: 163816
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 57355 0 0 0 13848 150 0 0 25 0 1 0 970547107 167911424 28831 4294967295 134512640 135730672 3221224576 3221223072 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40994 28831 301 301 0 40693 0
vsize: 163976
[startup+150.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 58088 0 0 0 14844 155 0 0 25 0 1 0 970547107 168239104 28890 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41074 28890 301 301 0 40773 0
vsize: 164296
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 58806 0 0 0 15838 160 0 0 25 0 1 0 970547107 168402944 28934 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41114 28934 301 301 0 40813 0
vsize: 164456
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 58923 0 0 0 16836 163 0 0 25 0 1 0 970547107 169156608 29051 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29051 301 301 0 40997 0
vsize: 165192
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 59612 0 0 0 17832 167 0 0 25 0 1 0 970547107 169156608 29066 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29066 301 301 0 40997 0
vsize: 165192
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 60297 0 0 0 18828 171 0 0 25 0 1 0 970547107 169156608 29077 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29077 301 301 0 40997 0
vsize: 165192
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 60981 0 0 0 19825 175 0 0 25 0 1 0 970547107 169156608 29087 4294967295 134512640 135730672 3221224576 3221223184 134744428 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29087 301 301 0 40997 0
vsize: 165192
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 61665 0 0 0 20821 178 0 0 25 0 1 0 970547107 169156608 29097 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29097 301 301 0 40997 0
vsize: 165192
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 63024 0 0 0 21817 183 0 0 25 0 1 0 970547107 171917312 29782 4294967295 134512640 135730672 3221224576 3221222736 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41972 29782 301 301 0 41671 0
vsize: 167888
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 63712 0 0 0 22813 187 0 0 25 0 1 0 970547107 169156608 29122 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29122 301 301 0 40997 0
vsize: 165192
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 64398 0 0 0 23809 191 0 0 25 0 1 0 970547107 169156608 29134 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29134 301 301 0 40997 0
vsize: 165192
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 65100 0 0 0 24805 195 0 0 25 0 1 0 970547107 169156608 29162 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29162 301 301 0 40997 0
vsize: 165192
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 65796 0 0 0 25801 199 0 0 25 0 1 0 970547107 169156608 29184 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41298 29184 301 301 0 40997 0
vsize: 165192
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 66503 0 0 0 26798 202 0 0 25 0 1 0 970547107 169287680 29217 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41330 29217 301 301 0 41029 0
vsize: 165320
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 67194 0 0 0 27794 206 0 0 25 0 1 0 970547107 169287680 29234 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41330 29234 301 301 0 41029 0
vsize: 165320
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 67886 0 0 0 28790 211 0 0 25 0 1 0 970547107 169418752 29252 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41362 29252 301 301 0 41061 0
vsize: 165448
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 68606 0 0 0 29786 215 0 0 25 0 1 0 970547107 169615360 29298 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41410 29298 301 301 0 41109 0
vsize: 165640
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 69291 0 0 0 30783 218 0 0 25 0 1 0 970547107 169615360 29309 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41410 29309 301 301 0 41109 0
vsize: 165640
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 70000 0 0 0 31779 222 0 0 25 0 1 0 970547107 169762816 29344 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41446 29344 301 301 0 41145 0
vsize: 165784
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 70011 0 0 0 32778 224 0 0 25 0 1 0 970547107 169762816 29355 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41446 29355 301 301 0 41145 0
vsize: 165784
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 70725 0 0 0 33774 228 0 0 25 0 1 0 970547107 169922560 29395 4294967295 134512640 135730672 3221224576 3221223056 134732870 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41485 29395 301 301 0 41184 0
vsize: 165940
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 71416 0 0 0 34770 232 0 0 25 0 1 0 970547107 169922560 29412 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41485 29412 301 301 0 41184 0
vsize: 165940
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 72111 0 0 0 35765 236 0 0 25 0 1 0 970547107 169922560 29433 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41485 29433 301 301 0 41184 0
vsize: 165940
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 72816 0 0 0 36762 240 0 0 25 0 1 0 970547107 170061824 29464 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41519 29464 301 301 0 41218 0
vsize: 166076
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 73503 0 0 0 37759 244 0 0 25 0 1 0 970547107 170061824 29477 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41519 29477 301 301 0 41218 0
vsize: 166076
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 74201 0 0 0 38755 248 0 0 25 0 1 0 970547107 170061824 29501 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41519 29501 301 301 0 41218 0
vsize: 166076
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 74913 0 0 0 39752 251 0 0 25 0 1 0 970547107 170209280 29539 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41555 29539 301 301 0 41254 0
vsize: 166220
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 76272 0 0 0 40747 256 0 0 25 0 1 0 970547107 172969984 30224 4294967295 134512640 135730672 3221224576 3221222720 134768821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42229 30224 301 301 0 41928 0
vsize: 168916
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 76293 0 0 0 41745 258 0 0 25 0 1 0 970547107 170209280 29571 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41555 29571 301 301 0 41254 0
vsize: 166220
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 76979 0 0 0 42742 261 0 0 25 0 1 0 970547107 170209280 29583 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41555 29583 301 301 0 41254 0
vsize: 166220
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 77682 0 0 0 43739 264 0 0 25 0 1 0 970547107 170344448 29612 4294967295 134512640 135730672 3221224576 3221223200 134748182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41588 29612 301 301 0 41287 0
vsize: 166352
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 78370 0 0 0 44735 268 0 0 25 0 1 0 970547107 170344448 29626 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41588 29626 301 301 0 41287 0
vsize: 166352
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 79067 0 0 0 45732 272 0 0 25 0 1 0 970547107 170344448 29649 4294967295 134512640 135730672 3221224576 3221223184 134744821 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41588 29649 301 301 0 41287 0
vsize: 166352
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13461
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 79791 0 0 0 46729 275 0 0 25 0 1 0 970547107 170614784 29699 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41654 29699 301 301 0 41353 0
vsize: 166616
[startup+480.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 80476 0 0 0 47725 278 0 0 25 0 1 0 970547107 170614784 29710 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41654 29710 301 301 0 41353 0
vsize: 166616
[startup+490.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 81171 0 0 0 48722 282 0 0 25 0 1 0 970547107 170614784 29731 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41654 29731 301 301 0 41353 0
vsize: 166616
[startup+500.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 81911 0 0 0 49719 286 0 0 25 0 1 0 970547107 170885120 29797 4294967295 134512640 135730672 3221224576 3221223072 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41720 29797 301 301 0 41419 0
vsize: 166880
[startup+510.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 82611 0 0 0 50715 289 0 0 25 0 1 0 970547107 171028480 29823 4294967295 134512640 135730672 3221224576 3221223184 134744438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41755 29823 301 301 0 41454 0
vsize: 167020
[startup+520.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 83440 0 0 0 51712 293 0 0 25 0 1 0 970547107 171630592 29978 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41902 29978 301 301 0 41601 0
vsize: 167608
[startup+530.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 84219 0 0 0 52708 297 0 0 25 0 1 0 970547107 172044288 30083 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42003 30083 301 301 0 41702 0
vsize: 168012
[startup+540.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13514
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 84238 0 0 0 53705 300 0 0 25 0 1 0 970547107 172044288 30102 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42003 30102 301 301 0 41702 0
vsize: 168012
[startup+550.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 84927 0 0 0 54701 305 0 0 25 0 1 0 970547107 172044288 30117 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42003 30117 301 301 0 41702 0
vsize: 168012
[startup+560.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 85614 0 0 0 55697 309 0 0 25 0 1 0 970547107 172044288 30130 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42003 30130 301 301 0 41702 0
vsize: 168012
[startup+570.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 86371 0 0 0 56693 314 0 0 25 0 1 0 970547107 172453888 30213 4294967295 134512640 135730672 3221224576 3221223196 134730931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42103 30213 301 301 0 41802 0
vsize: 168412
[startup+580.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 87059 0 0 0 57689 318 0 0 25 0 1 0 970547107 172453888 30227 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42103 30227 301 301 0 41802 0
vsize: 168412
[startup+590.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 87747 0 0 0 58685 321 0 0 25 0 1 0 970547107 172453888 30241 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42103 30241 301 301 0 41802 0
vsize: 168412
[startup+600.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 88447 0 0 0 59681 326 0 0 25 0 1 0 970547107 172453888 30267 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42103 30267 301 301 0 41802 0
vsize: 168412
[startup+610.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 89131 0 0 0 60678 329 0 0 25 0 1 0 970547107 172589056 30277 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42136 30277 301 301 0 41835 0
vsize: 168544
[startup+620.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 89820 0 0 0 61676 331 0 0 25 0 1 0 970547107 172589056 30292 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42136 30292 301 301 0 41835 0
vsize: 168544
[startup+630.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 90528 0 0 0 62673 335 0 0 25 0 1 0 970547107 172761088 30326 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42178 30326 301 301 0 41877 0
vsize: 168712
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 91220 0 0 0 63670 338 0 0 25 0 1 0 970547107 172761088 30344 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42178 30344 301 301 0 41877 0
vsize: 168712
[startup+650.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 91225 0 0 0 64667 341 0 0 25 0 1 0 970547107 172761088 30349 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42178 30349 301 301 0 41877 0
vsize: 168712
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 91915 0 0 0 65663 345 0 0 25 0 1 0 970547107 172761088 30365 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42178 30365 301 301 0 41877 0
vsize: 168712
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 92614 0 0 0 66660 349 0 0 25 0 1 0 970547107 172900352 30390 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42212 30390 301 301 0 41911 0
vsize: 168848
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 93312 0 0 0 67656 352 0 0 25 0 1 0 970547107 172900352 30414 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42212 30414 301 301 0 41911 0
vsize: 168848
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 94002 0 0 0 68653 356 0 0 25 0 1 0 970547107 172900352 30430 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42212 30430 301 301 0 41911 0
vsize: 168848
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 94767 0 0 0 69649 360 0 0 25 0 1 0 970547107 173338624 30521 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42319 30521 301 301 0 42018 0
vsize: 169276
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 94791 0 0 0 70648 361 0 0 25 0 1 0 970547107 173338624 30545 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42319 30545 301 301 0 42018 0
vsize: 169276
[startup+720.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 95481 0 0 0 71644 365 0 0 25 0 1 0 970547107 176099328 31235 4294967295 134512640 135730672 3221224576 3221222748 134772806 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42993 31235 301 301 0 42692 0
vsize: 171972
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 95495 0 0 0 72643 367 0 0 25 0 1 0 970547107 173338624 30575 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42319 30575 301 301 0 42018 0
vsize: 169276
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 96210 0 0 0 73640 370 0 0 25 0 1 0 970547107 173486080 30616 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42355 30616 301 301 0 42054 0
vsize: 169420
[startup+750.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 96894 0 0 0 74636 374 0 0 25 0 1 0 970547107 173486080 30626 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42355 30626 301 301 0 42054 0
vsize: 169420
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 97648 0 0 0 75633 377 0 0 25 0 1 0 970547107 173936640 30706 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42465 30706 301 301 0 42164 0
vsize: 169860
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 98332 0 0 0 76629 381 0 0 25 0 1 0 970547107 173936640 30716 4294967295 134512640 135730672 3221224576 3221223184 134744862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42465 30716 301 301 0 42164 0
vsize: 169860
[startup+780.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 98484 0 0 0 77626 384 0 0 25 0 1 0 970547107 174546944 30868 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42614 30868 301 301 0 42313 0
vsize: 170456
[startup+790.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 99174 0 0 0 78622 389 0 0 25 0 1 0 970547107 174546944 30884 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42614 30884 301 301 0 42313 0
vsize: 170456
[startup+800.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 100169 0 0 0 79617 393 0 0 25 0 1 0 970547107 176168960 31205 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43010 31205 301 301 0 42709 0
vsize: 172040
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13516
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 100186 0 0 0 80614 396 0 0 25 0 1 0 970547107 176168960 31222 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43010 31222 301 301 0 42709 0
vsize: 172040
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 100877 0 0 0 81609 401 0 0 25 0 1 0 970547107 176168960 31239 4294967295 134512640 135730672 3221224576 3221223184 134744457 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43010 31239 301 301 0 42709 0
vsize: 172040
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 101619 0 0 0 82606 405 0 0 25 0 1 0 970547107 176472064 31307 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43084 31307 301 301 0 42783 0
vsize: 172336
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 101899 0 0 0 83603 407 0 0 25 0 1 0 970547107 177848320 31587 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43420 31587 301 301 0 43119 0
vsize: 173680
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 102610 0 0 0 84600 410 0 0 25 0 1 0 970547107 177995776 31624 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43456 31624 301 301 0 43155 0
vsize: 173824
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 103386 0 0 0 85598 413 0 0 25 0 1 0 970547107 178356224 31726 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43544 31726 301 301 0 43243 0
vsize: 174176
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 103501 0 0 0 86595 416 0 0 25 0 1 0 970547107 178946048 31841 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43688 31841 301 301 0 43387 0
vsize: 174752
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 104239 0 0 0 87591 420 0 0 25 0 1 0 970547107 179339264 31905 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43784 31905 301 301 0 43483 0
vsize: 175136
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 104957 0 0 0 88587 424 0 0 25 0 1 0 970547107 179535872 31949 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43832 31949 301 301 0 43531 0
vsize: 175328
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 105646 0 0 0 89584 427 0 0 25 0 1 0 970547107 182296576 32638 4294967295 134512640 135730672 3221224576 3221222716 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44506 32638 301 301 0 44205 0
vsize: 178024
[startup+910.137 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 105650 0 0 0 90592 429 0 0 25 0 1 0 970547107 179535872 31968 4294967295 134512640 135730672 3221224576 3221222824 135284337 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43832 31968 301 301 0 43531 0
vsize: 175328
[startup+920.144 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 106332 0 0 0 91587 434 0 0 25 0 1 0 970547107 179535872 31976 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43832 31976 301 301 0 43531 0
vsize: 175328
[startup+930.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 107077 0 0 0 92584 438 0 0 25 0 1 0 970547107 179732480 32047 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43880 32047 301 301 0 43579 0
vsize: 175520
[startup+940.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 107761 0 0 0 93580 441 0 0 25 0 1 0 970547107 179732480 32057 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43880 32057 301 301 0 43579 0
vsize: 175520
[startup+950.146 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 107875 0 0 0 94578 444 0 0 25 0 1 0 970547107 180322304 32171 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44024 32171 301 301 0 43723 0
vsize: 176096
[startup+960.146 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 108571 0 0 0 95575 447 0 0 25 0 1 0 970547107 180322304 32193 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44024 32193 301 301 0 43723 0
vsize: 176096
[startup+970.148 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 109332 0 0 0 96572 450 0 0 25 0 1 0 970547107 180850688 32280 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44153 32280 301 301 0 43852 0
vsize: 176612
[startup+980.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 109427 0 0 0 97570 452 0 0 25 0 1 0 970547107 181440512 32375 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44297 32375 301 301 0 43996 0
vsize: 177188
[startup+990.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 110122 0 0 0 98567 456 0 0 25 0 1 0 970547107 181440512 32396 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44297 32396 301 301 0 43996 0
vsize: 177188
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 110815 0 0 0 99563 459 0 0 25 0 1 0 970547107 181440512 32415 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44297 32415 301 301 0 43996 0
vsize: 177188
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 110826 0 0 0 100561 462 0 0 25 0 1 0 970547107 181440512 32426 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44297 32426 301 301 0 43996 0
vsize: 177188
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 111511 0 0 0 101557 466 0 0 25 0 1 0 970547107 181440512 32437 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44297 32437 301 301 0 43996 0
vsize: 177188
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 112231 0 0 0 102553 470 0 0 25 0 1 0 970547107 181637120 32483 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44345 32483 301 301 0 44044 0
vsize: 177380
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 112294 0 0 0 103550 473 0 0 25 0 1 0 970547107 182013952 32546 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44437 32546 301 301 0 44136 0
vsize: 177748
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 112972 0 0 0 104547 476 0 0 25 0 1 0 970547107 182013952 32550 4294967295 134512640 135730672 3221224576 3221223200 134748200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44437 32550 301 301 0 44136 0
vsize: 177748
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 113664 0 0 0 105543 480 0 0 25 0 1 0 970547107 182013952 32568 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44437 32568 301 301 0 44136 0
vsize: 177748
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 114400 0 0 0 106539 484 0 0 25 0 1 0 970547107 182210560 32630 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44485 32630 301 301 0 44184 0
vsize: 177940
[startup+1080.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 114445 0 0 0 107536 487 0 0 25 0 1 0 970547107 182407168 32675 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44533 32675 301 301 0 44232 0
vsize: 178132
[startup+1090.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 115127 0 0 0 108533 490 0 0 25 0 1 0 970547107 182407168 32683 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44533 32683 301 301 0 44232 0
vsize: 178132
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 115844 0 0 0 109530 493 0 0 25 0 1 0 970547107 182603776 32726 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44581 32726 301 301 0 44280 0
vsize: 178324
[startup+1110.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 116230 0 0 0 110527 497 0 0 25 0 1 0 970547107 184397824 33112 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45019 33112 301 301 0 44718 0
vsize: 180076
[startup+1120.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 116259 0 0 0 111525 499 0 0 25 0 1 0 970547107 184397824 33141 4294967295 134512640 135730672 3221224576 3221223088 134745798 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45019 33141 301 301 0 44718 0
vsize: 180076
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 116969 0 0 0 112521 503 0 0 25 0 1 0 970547107 184586240 33177 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45065 33177 301 301 0 44764 0
vsize: 180260
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 117724 0 0 0 113519 506 0 0 25 0 1 0 970547107 184979456 33258 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45161 33258 301 301 0 44860 0
vsize: 180644
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 118440 0 0 0 114515 510 0 0 25 0 1 0 970547107 185176064 33300 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45209 33300 301 301 0 44908 0
vsize: 180836
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 118493 0 0 0 115513 512 0 0 25 0 1 0 970547107 185569280 33353 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45305 33353 301 301 0 45004 0
vsize: 181220
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 119402 0 0 0 116508 517 0 0 25 0 1 0 970547107 186404864 33588 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45509 33588 301 301 0 45208 0
vsize: 182036
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 119432 0 0 0 117507 518 0 0 25 0 1 0 970547107 186540032 33618 4294967295 134512640 135730672 3221224576 3221223184 134744428 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45542 33618 301 301 0 45241 0
vsize: 182168
[startup+1190.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 120132 0 0 0 118504 521 0 0 25 0 1 0 970547107 186736640 33644 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45590 33644 301 301 0 45289 0
vsize: 182360
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13518
Raw data (stat): 13461 (pb2sat-v2) R 13460 7266 7265 0 -1 0 120818 0 0 0 119501 524 0 0 25 0 1 0 970547107 186736640 33656 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45590 33656 301 301 0 45289 0
vsize: 182360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 13518
Raw data (stat): 13461 (pb2sat-v2) Z 13460 7266 7265 0 -1 12 120820 0 0 0 119585 531 0 0 25 0 1 0 970547107 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 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 status: 0
Real time (s): 1201.06
CPU time (s): 1201.16
CPU user time (s): 1195.85
CPU system time (s): 5.31219
CPU usage (%): 100.008
Max. virtual memory (Kb): 182360
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####