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/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb
MD5SUM	df52a42b636b50954671d81e4d85c221
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-16384
Optimality of the best value was proved	NO
Number of terms in the objective function	19
Biggest coefficient in the objective function	262144
Number of bits for the biggest coefficient in the objective function	19
Sum of the numbers in the objective function	524287
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	393216
Number of bits of the biggest number in a constraint	19
Biggest sum of numbers in a constraint	917503
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.03
Number of variables	787
Total number of constraints	833
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	816
Number of constraints which are nor clauses,nor cardinality constraints	17
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 35299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 12:26:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24519 boxname=wulflinc4 idbench=991 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  df52a42b636b50954671d81e4d85c221  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-opt1217.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-opt1217.opb
IDLAUNCH: 24519
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        659032 kB
Buffers:         34264 kB
Cached:         320804 kB
SwapCached:        504 kB
Active:          23188 kB
Inactive:       334332 kB
HighTotal:      131008 kB
HighFree:         5236 kB
LowTotal:       903652 kB
LowFree:        653796 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            12436 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:46:45 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 24519 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+1.36681 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+1.46268 s]  setting bit 17 to 0

Decision: 2415/30615	Time: 49.7184/86400
Decision: 2415/30615	Time: 54.8057/86400
Decision: 2415/30615	Time: 60.8218/86400
Decision: 2415/30615	Time: 66.7429/86400
Decision: 2415/30615	Time: 73.3189/86400
Decision: 2415/30615	Time: 79.5789/86400
Decision: 2415/30615	Time: 84.9291/86400
Decision: 2415/30615	Time: 92.6229/86400
Decision: 2415/30615	Time: 98.539/86400
Decision: 2415/30615	Time: 104.74/86400
Decision: 2415/30615	Time: 111.582/86400
Decision: 2415/30615	Time: 118.283/86400
Decision: 2415/30615	Time: 124.589/86400
Decision: 2415/30615	Time: 131.501/86400
Decision: 2415/30615	Time: 138.804/86400
Decision: 2415/30615	Time: 146.214/86400
Decision: 2415/30615	Time: 152.822/86400
Decision: 2415/30615	Time: 159.152/86400
Decision: 2415/30615	Time: 166.767/86400
Decision: 2415/30615	Time: 173.702/86400
Decision: 2415/30615	Time: 181.957/86400
Decision: 2415/30615	Time: 188.035/86400
Decision: 2415/30615	Time: 195.279/86400
Decision: 2415/30615	Time: 201.993/86400
Decision: 2415/30615	Time: 208.132/86400
Decision: 2415/30615	Time: 214.516/86400
Decision: 2415/30615	Time: 221.235/86400
Decision: 2415/30615	Time: 228.352/86400
Decision: 2415/30615	Time: 235.694/86400
Decision: 2415/30615	Time: 243.301/86400
Decision: 2415/30615	Time: 250.22/86400
Decision: 2415/30615	Time: 258.025/86400
Decision: 2415/30615	Time: 264.129/86400
Decision: 2415/30615	Time: 269.733/86400
Decision: 2415/30615	Time: 276.48/86400
Decision: 2415/30615	Time: 284.413/86400
Decision: 2415/30615	Time: 291.616/86400
Decision: 2415/30615	Time: 298.866/86400
Decision: 2415/30615	Time: 305.74/86400
Decision: 2415/30615	Time: 312.197/86400
Decision: 2415/30615	Time: 319.101/86400
Decision: 2415/30615	Time: 326.005/86400
Decision: 2415/30615	Time: 333.289/86400
Decision: 2415/30615	Time: 341.209/86400
Decision: 2415/30615	Time: 348.218/86400
Decision: 2415/30615	Time: 356.054/86400
Decision: 2415/30615	Time: 362.725/86400
Decision: 2415/30615	Time: 369.478/86400
Decision: 2415/30615	Time: 377.177/86400
Decision: 2415/30615	Time: 384.25/86400
Decision: 2415/30615	Time: 391.764/86400
Decision: 2415/30615	Time: 399.021/86400
Decision: 2415/30615	Time: 406.614/86400
Decision: 2415/30615	Time: 414.094/86400
Decision: 2415/30615	Time: 421.207/86400
Decision: 2415/30615	Time: 428.3/86400
Decision: 2415/30615	Time: 436.872/86400
Decision: 2415/30615	Time: 443.591/86400
Decision: 2415/30615	Time: 450.678/86400
Decision: 2415/30615	Time: 458.245/86400
Decision: 2415/30615	Time: 466.515/86400
Decision: 2415/30615	Time: 473.799/86400
Decision: 2415/30615	Time: 481.224/86400
Decision: 2415/30615	Time: 489.183/86400
Decision: 2415/30615	Time: 496.431/86400
Decision: 2415/30615	Time: 504.261/86400
Decision: 2415/30615	Time: 511.13/86400
Decision: 2415/30615	Time: 519.448/86400
Decision: 2415/30615	Time: 527.246/86400
Decision: 2415/30615	Time: 535.15/86400
Decision: 2415/30615	Time: 543.824/86400
Decision: 2415/30615	Time: 551.93/86400
Decision: 2415/30615	Time: 559.949/86400
Decision: 2415/30615	Time: 568.344/86400
Decision: 2415/30615	Time: 575.587/86400
Decision: 2415/30615	Time: 584.159/86400
Decision: 2415/30615	Time: 593.117/86400
Decision: 2415/30615	Time: 600.807/86400
Decision: 2415/30615	Time: 608.237/86400
Decision: 2415/30615	Time: 617.019/86400
Decision: 2415/30615	Time: 625.674/86400
Decision: 2415/30615	Time: 633.507/86400
Decision: 2415/30615	Time: 642.322/86400
Decision: 2415/30615	Time: 650.286/86400
Decision: 2415/30615	Time: 658.117/86400
Decision: 2415/30615	Time: 664.715/86400
Decision: 2415/30615	Time: 672.843/86400
Decision: 2415/30615	Time: 680.488/86400
Decision: 2415/30615	Time: 689.541/86400
Decision: 2415/30615	Time: 697.744/86400
Decision: 2415/30615	Time: 706.336/86400
Decision: 2415/30615	Time: 714.92/86400
Decision: 2415/30615	Time: 722.851/86400
Decision: 2415/30615	Time: 732.016/86400
Decision: 2415/30615	Time: 740.429/86400
Decision: 2415/30615	Time: 749.733/86400
Decision: 2415/30615	Time: 757.752/86400
Decision: 2415/30615	Time: 765.564/86400
Decision: 2415/30615	Time: 773.475/86400
Decision: 2415/30615	Time: 781.04/86400
Decision: 2415/30615	Time: 789.834/86400
Decision: 2415/30615	Time: 798.294/86400
Decision: 2415/30615	Time: 806.68/86400
Decision: 2415/30615	Time: 816.414/86400
Decision: 2415/30615	Time: 824.66/86400
Decision: 2415/30615	Time: 834.184/86400
Decision: 2415/30615	Time: 843.133/86400
Decision: 2415/30615	Time: 852.877/86400
Decision: 2415/30615	Time: 861.113/86400
Decision: 2415/30615	Time: 870.158/86400
Decision: 2415/30615	Time: 879.334/86400
Decision: 2415/30615	Time: 887.759/86400
Decision: 2415/30615	Time: 895.561/86400
Decision: 2415/30615	Time: 904.485/86400
Decision: 2415/30615	Time: 913.334/86400
Decision: 2415/30615	Time: 920.689/86400
Decision: 2415/30615	Time: 927.913/86400
Decision: 2415/30615	Time: 936.386/86400
Decision: 2415/30615	Time: 944.873/86400
Decision: 2415/30615	Time: 954.724/86400
Decision: 2415/30615	Time: 964.089/86400
Decision: 2415/30615	Time: 973.459/86400
Decision: 2415/30615	Time: 982.777/86400
Decision: 2415/30615	Time: 993.053/86400
Decision: 2415/30615	Time: 1001.39/86400
Decision: 2415/30615	Time: 1012.21/86400
Decision: 2415/30615	Time: 1022.41/86400
Decision: 2415/30615	Time: 1031.12/86400
Decision: 2415/30615	Time: 1039.67/86400
Decision: 2415/30615	Time: 1048.09/86400
Decision: 2415/30615	Time: 1057.69/86400
Decision: 2415/30615	Time: 1066.93/86400
Decision: 2415/30615	Time: 1075.83/86400
Decision: 2415/30615	Time: 1085.31/86400
Decision: 2415/30615	Time: 1094.58/86400
Decision: 2415/30615	Time: 1103.66/86400
Decision: 2415/30615	Time: 1113.74/86400
Decision: 2415/30615	Time: 1123.11/86400
Decision: 2415/30615	Time: 1132.78/86400
Decision: 2415/30615	Time: 1142.42/86400
Decision: 2415/30615	Time: 1152.15/86400
Decision: 2415/30615	Time: 1159.84/86400
Decision: 2415/30615	Time: 1167.88/86400
Decision: 2415/30615	Time: 1177.28/86400
Decision: 2415/30615	Time: 1185.56/86400
Decision: 2415/30615	Time: 1194.78/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.87 0.95 0.90 1/54 30102
Raw data (stat): 30102 (runsolver) D 30101 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 806563712 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4130 0 0 0 988 9 0 0 25 0 1 0 806563712 12550144 2640 4294967295 134512640 135726644 3221224576 3221223264 134745143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3064 2640 300 300 0 2764 0
vsize: 12256
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4309 0 0 0 1987 9 0 0 25 0 1 0 806563712 13189120 2819 4294967295 134512640 135726644 3221224576 3221223200 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3220 2819 300 300 0 2920 0
vsize: 12880
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4662 0 0 0 2986 11 0 0 25 0 1 0 806563712 16711680 3172 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4080 3172 300 300 0 3780 0
vsize: 16320
[startup+40.002 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4796 0 0 0 3985 12 0 0 25 0 1 0 806563712 16908288 3306 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4128 3306 300 300 0 3828 0
vsize: 16512
[startup+50.0072 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 4917 0 0 0 4985 13 0 0 25 0 1 0 806563712 17301504 3427 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4224 3427 300 300 0 3924 0
vsize: 16896
[startup+60.0067 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5246 0 0 0 5983 14 0 0 25 0 1 0 806563712 18145280 3636 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4430 3636 300 300 0 4130 0
vsize: 17720
[startup+70.0105 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5477 0 0 0 6982 16 0 0 25 0 1 0 806563712 18472960 3747 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4510 3747 300 300 0 4210 0
vsize: 18040
[startup+80.0159 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5611 0 0 0 7981 18 0 0 25 0 1 0 806563712 18472960 3821 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4510 3821 300 300 0 4210 0
vsize: 18040
[startup+90.0153 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5793 0 0 0 8979 20 0 0 25 0 1 0 806563712 18636800 3883 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4550 3883 300 300 0 4250 0
vsize: 18200
[startup+100.015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 5960 0 0 0 9977 22 0 0 25 0 1 0 806563712 18919424 3930 4294967295 134512640 135726644 3221224576 3221222992 134738149 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4619 3930 300 300 0 4319 0
vsize: 18476
[startup+110.016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 6107 0 0 0 10975 23 0 0 25 0 1 0 806563712 19189760 4017 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4685 4017 300 300 0 4385 0
vsize: 18740
[startup+120.018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 6246 0 0 0 11974 25 0 0 25 0 1 0 806563712 19189760 4036 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4685 4036 300 300 0 4385 0
vsize: 18740
[startup+130.018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7099 0 0 0 12970 28 0 0 25 0 1 0 806563712 22532096 4060 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5501 4060 300 300 0 5201 0
vsize: 22004
[startup+140.018 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7195 0 0 0 13969 29 0 0 25 0 1 0 806563712 22532096 4096 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5501 4096 300 300 0 5201 0
vsize: 22004
[startup+150.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7340 0 0 0 14967 31 0 0 25 0 1 0 806563712 22532096 4121 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5501 4121 300 300 0 5201 0
vsize: 22004
[startup+160.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7417 0 0 0 15966 32 0 0 25 0 1 0 806563712 22532096 4138 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5501 4138 300 300 0 5201 0
vsize: 22004
[startup+170.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7563 0 0 0 16964 34 0 0 25 0 1 0 806563712 22667264 4164 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5534 4164 300 300 0 5234 0
vsize: 22136
[startup+180.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7635 0 0 0 17963 35 0 0 25 0 1 0 806563712 22667264 4176 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5534 4176 300 300 0 5234 0
vsize: 22136
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7776 0 0 0 18962 36 0 0 25 0 1 0 806563712 22667264 4197 4294967295 134512640 135726644 3221224576 3221223264 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5534 4197 300 300 0 5234 0
vsize: 22136
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 7881 0 0 0 19960 38 0 0 25 0 1 0 806563712 22802432 4242 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 5567 4242 300 300 0 5267 0
vsize: 22268
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8046 0 0 0 20959 40 0 0 25 0 1 0 806563712 22933504 4287 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5599 4287 300 300 0 5299 0
vsize: 22396
[startup+220.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8140 0 0 0 21958 41 0 0 25 0 1 0 806563712 22933504 4321 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5599 4321 300 300 0 5299 0
vsize: 22396
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8286 0 0 0 22958 42 0 0 25 0 1 0 806563712 22933504 4347 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5599 4347 300 300 0 5299 0
vsize: 22396
[startup+240.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8388 0 0 0 23956 43 0 0 25 0 1 0 806563712 23064576 4389 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5631 4389 300 300 0 5331 0
vsize: 22524
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8488 0 0 0 24956 44 0 0 25 0 1 0 806563712 23064576 4429 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5631 4429 300 300 0 5331 0
vsize: 22524
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8628 0 0 0 25955 45 0 0 25 0 1 0 806563712 23064576 4449 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5631 4449 300 300 0 5331 0
vsize: 22524
[startup+270.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8720 0 0 0 26955 45 0 0 25 0 1 0 806563712 23195648 4481 4294967295 134512640 135726644 3221224576 3221223072 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5663 4481 300 300 0 5363 0
vsize: 22652
[startup+280.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8889 0 0 0 27953 47 0 0 25 0 1 0 806563712 23195648 4530 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5663 4530 300 300 0 5363 0
vsize: 22652
[startup+290.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 8978 0 0 0 28952 48 0 0 25 0 1 0 806563712 23326720 4559 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5695 4559 300 300 0 5395 0
vsize: 22780
[startup+300.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9051 0 0 0 29951 49 0 0 25 0 1 0 806563712 23326720 4572 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5695 4572 300 300 0 5395 0
vsize: 22780
[startup+310.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9204 0 0 0 30949 51 0 0 25 0 1 0 806563712 23326720 4605 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5695 4605 300 300 0 5395 0
vsize: 22780
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9304 0 0 0 31948 52 0 0 25 0 1 0 806563712 27652096 4645 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6751 4645 300 300 0 6451 0
vsize: 27004
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9453 0 0 0 32948 53 0 0 25 0 1 0 806563712 27652096 4674 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6751 4674 300 300 0 6451 0
vsize: 27004
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9557 0 0 0 33946 55 0 0 25 0 1 0 806563712 27652096 4718 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6751 4718 300 300 0 6451 0
vsize: 27004
[startup+350.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9716 0 0 0 34944 57 0 0 25 0 1 0 806563712 27787264 4757 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6784 4757 300 300 0 6484 0
vsize: 27136
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9819 0 0 0 35943 58 0 0 25 0 1 0 806563712 27787264 4800 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6784 4800 300 300 0 6484 0
vsize: 27136
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 9912 0 0 0 36942 59 0 0 25 0 1 0 806563712 27787264 4833 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6784 4833 300 300 0 6484 0
vsize: 27136
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10083 0 0 0 37941 61 0 0 25 0 1 0 806563712 27918336 4884 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6816 4884 300 300 0 6516 0
vsize: 27264
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10182 0 0 0 38940 62 0 0 25 0 1 0 806563712 27918336 4923 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6816 4923 300 300 0 6516 0
vsize: 27264
[startup+400.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10267 0 0 0 39939 63 0 0 25 0 1 0 806563712 28053504 4948 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6849 4948 300 300 0 6549 0
vsize: 27396
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10430 0 0 0 40938 64 0 0 25 0 1 0 806563712 28053504 4991 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6849 4991 300 300 0 6549 0
vsize: 27396
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10533 0 0 0 41937 65 0 0 25 0 1 0 806563712 28184576 5034 4294967295 134512640 135726644 3221224576 3221223168 134760001 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5034 300 300 0 6581 0
vsize: 27524
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10690 0 0 0 42936 66 0 0 25 0 1 0 806563712 28184576 5071 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5071 300 300 0 6581 0
vsize: 27524
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10784 0 0 0 43935 68 0 0 25 0 1 0 806563712 28184576 5105 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5105 300 300 0 6581 0
vsize: 27524
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 10888 0 0 0 44935 68 0 0 25 0 1 0 806563712 28184576 5149 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6881 5149 300 300 0 6581 0
vsize: 27524
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11053 0 0 0 45933 70 0 0 25 0 1 0 806563712 28315648 5194 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6913 5194 300 300 0 6613 0
vsize: 27652
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11150 0 0 0 46933 71 0 0 25 0 1 0 806563712 28315648 5231 4294967295 134512640 135726644 3221224576 3221223200 134744555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6913 5231 300 300 0 6613 0
vsize: 27652
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11247 0 0 0 47932 71 0 0 25 0 1 0 806563712 28450816 5268 4294967295 134512640 135726644 3221224576 3221223184 134741191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6946 5268 300 300 0 6646 0
vsize: 27784
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11343 0 0 0 48931 73 0 0 25 0 1 0 806563712 28450816 5304 4294967295 134512640 135726644 3221224576 3221223072 134744150 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6946 5304 300 300 0 6646 0
vsize: 27784
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11512 0 0 0 49930 74 0 0 25 0 1 0 806563712 28450816 5353 4294967295 134512640 135726644 3221224576 3221222756 135277577 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6946 5353 300 300 0 6646 0
vsize: 27784
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11610 0 0 0 50930 74 0 0 25 0 1 0 806563712 28581888 5391 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6978 5391 300 300 0 6678 0
vsize: 27912
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11709 0 0 0 51929 76 0 0 25 0 1 0 806563712 28581888 5430 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6978 5430 300 300 0 6678 0
vsize: 27912
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11871 0 0 0 52928 77 0 0 25 0 1 0 806563712 28581888 5472 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6978 5472 300 300 0 6678 0
vsize: 27912
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 11970 0 0 0 53927 78 0 0 25 0 1 0 806563712 28581888 5511 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6978 5511 300 300 0 6678 0
vsize: 27912
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12060 0 0 0 54926 78 0 0 25 0 1 0 806563712 28712960 5541 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7010 5541 300 300 0 6710 0
vsize: 28040
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12151 0 0 0 55926 79 0 0 25 0 1 0 806563712 28712960 5572 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7010 5572 300 300 0 6710 0
vsize: 28040
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12318 0 0 0 56925 80 0 0 25 0 1 0 806563712 28712960 5619 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7010 5619 300 300 0 6710 0
vsize: 28040
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12427 0 0 0 57924 81 0 0 25 0 1 0 806563712 28848128 5668 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7043 5668 300 300 0 6743 0
vsize: 28172
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12517 0 0 0 58923 82 0 0 25 0 1 0 806563712 28848128 5698 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7043 5698 300 300 0 6743 0
vsize: 28172
[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12608 0 0 0 59923 83 0 0 25 0 1 0 806563712 28848128 5729 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7043 5729 300 300 0 6743 0
vsize: 28172
[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12779 0 0 0 60922 84 0 0 25 0 1 0 806563712 28983296 5780 4294967295 134512640 135726644 3221224576 3221223072 134744036 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7076 5780 300 300 0 6776 0
vsize: 28304
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12872 0 0 0 61921 85 0 0 25 0 1 0 806563712 28983296 5813 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7076 5813 300 300 0 6776 0
vsize: 28304
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 12959 0 0 0 62920 86 0 0 25 0 1 0 806563712 29118464 5840 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7109 5840 300 300 0 6809 0
vsize: 28436
[startup+640.036 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13034 0 0 0 63920 87 0 0 25 0 1 0 806563712 29118464 5855 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7109 5855 300 300 0 6809 0
vsize: 28436
[startup+650.036 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13143 0 0 0 64919 88 0 0 25 0 1 0 806563712 29118464 5904 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7109 5904 300 300 0 6809 0
vsize: 28436
[startup+660.036 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13319 0 0 0 65918 89 0 0 25 0 1 0 806563712 29118464 5960 4294967295 134512640 135726644 3221224576 3221223264 134744961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7109 5960 300 300 0 6809 0
vsize: 28436
[startup+670.037 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13422 0 0 0 66917 90 0 0 25 0 1 0 806563712 29253632 6003 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7142 6003 300 300 0 6842 0
vsize: 28568
[startup+680.038 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13529 0 0 0 67916 91 0 0 25 0 1 0 806563712 29253632 6050 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7142 6050 300 300 0 6842 0
vsize: 28568
[startup+690.037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13637 0 0 0 68915 92 0 0 25 0 1 0 806563712 29388800 6098 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7175 6098 300 300 0 6875 0
vsize: 28700
[startup+700.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13798 0 0 0 69914 93 0 0 25 0 1 0 806563712 29388800 6139 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7175 6139 300 300 0 6875 0
vsize: 28700
[startup+710.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13895 0 0 0 70914 94 0 0 25 0 1 0 806563712 29388800 6176 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7175 6176 300 300 0 6875 0
vsize: 28700
[startup+720.039 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 13989 0 0 0 71912 96 0 0 25 0 1 0 806563712 29528064 6210 4294967295 134512640 135726644 3221224576 3221223072 134744145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6210 300 300 0 6909 0
vsize: 28836
[startup+730.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14091 0 0 0 72911 97 0 0 25 0 1 0 806563712 29528064 6252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6252 300 300 0 6909 0
vsize: 28836
[startup+740.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14191 0 0 0 73910 98 0 0 25 0 1 0 806563712 29528064 6292 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6292 300 300 0 6909 0
vsize: 28836
[startup+750.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14293 0 0 0 74910 99 0 0 25 0 1 0 806563712 29528064 6334 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7209 6334 300 300 0 6909 0
vsize: 28836
[startup+760.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14439 0 0 0 75909 100 0 0 25 0 1 0 806563712 29663232 6360 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7242 6360 300 300 0 6942 0
vsize: 28968
[startup+770.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14555 0 0 0 76908 101 0 0 25 0 1 0 806563712 38051840 6416 4294967295 134512640 135726644 3221224576 3221223072 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9290 6416 300 300 0 8990 0
vsize: 37160
[startup+780.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14666 0 0 0 77907 102 0 0 25 0 1 0 806563712 38191104 6467 4294967295 134512640 135726644 3221224576 3221223120 134736802 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9324 6467 300 300 0 9024 0
vsize: 37296
[startup+790.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14778 0 0 0 78906 103 0 0 25 0 1 0 806563712 38191104 6519 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9324 6519 300 300 0 9024 0
vsize: 37296
[startup+800.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 14942 0 0 0 79905 104 0 0 25 0 1 0 806563712 38191104 6563 4294967295 134512640 135726644 3221224576 3221223200 134744488 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9324 6563 300 300 0 9024 0
vsize: 37296
[startup+810.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15040 0 0 0 80904 105 0 0 25 0 1 0 806563712 38326272 6601 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9357 6601 300 300 0 9057 0
vsize: 37428
[startup+820.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15146 0 0 0 81903 106 0 0 25 0 1 0 806563712 38326272 6647 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9357 6647 300 300 0 9057 0
vsize: 37428
[startup+830.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15276 0 0 0 82903 107 0 0 25 0 1 0 806563712 38465536 6717 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9391 6717 300 300 0 9091 0
vsize: 37564
[startup+840.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15366 0 0 0 83902 108 0 0 25 0 1 0 806563712 38465536 6747 4294967295 134512640 135726644 3221224576 3221223168 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9391 6747 300 300 0 9091 0
vsize: 37564
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15439 0 0 0 84901 110 0 0 25 0 1 0 806563712 38465536 6760 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9391 6760 300 300 0 9091 0
vsize: 37564
[startup+860.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15549 0 0 0 85899 111 0 0 25 0 1 0 806563712 38600704 6810 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9424 6810 300 300 0 9124 0
vsize: 37696
[startup+870.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15648 0 0 0 86899 112 0 0 25 0 1 0 806563712 38600704 6849 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9424 6849 300 300 0 9124 0
vsize: 37696
[startup+880.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15745 0 0 0 87899 112 0 0 25 0 1 0 806563712 38600704 6886 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9424 6886 300 300 0 9124 0
vsize: 37696
[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 15897 0 0 0 88898 113 0 0 25 0 1 0 806563712 38735872 6918 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9457 6918 300 300 0 9157 0
vsize: 37828
[startup+900.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16000 0 0 0 89897 114 0 0 25 0 1 0 806563712 38735872 6961 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9457 6961 300 300 0 9157 0
vsize: 37828
[startup+910.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16105 0 0 0 90896 115 0 0 25 0 1 0 806563712 38735872 7006 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9457 7006 300 300 0 9157 0
vsize: 37828
[startup+920.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16232 0 0 0 91896 116 0 0 25 0 1 0 806563712 38871040 7073 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9490 7073 300 300 0 9190 0
vsize: 37960
[startup+930.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16396 0 0 0 92895 116 0 0 25 0 1 0 806563712 38871040 7117 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9490 7117 300 300 0 9190 0
vsize: 37960
[startup+940.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16493 0 0 0 93894 117 0 0 25 0 1 0 806563712 39006208 7154 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9523 7154 300 300 0 9223 0
vsize: 38092
[startup+950.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16588 0 0 0 94893 118 0 0 25 0 1 0 806563712 39006208 7189 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9523 7189 300 300 0 9223 0
vsize: 38092
[startup+960.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16689 0 0 0 95893 119 0 0 25 0 1 0 806563712 39006208 7230 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9523 7230 300 300 0 9223 0
vsize: 38092
[startup+970.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16771 0 0 0 96893 120 0 0 25 0 1 0 806563712 39006208 7252 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9523 7252 300 300 0 9223 0
vsize: 38092
[startup+980.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16858 0 0 0 97892 121 0 0 25 0 1 0 806563712 39141376 7279 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9556 7279 300 300 0 9256 0
vsize: 38224
[startup+990.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 16956 0 0 0 98891 122 0 0 25 0 1 0 806563712 39141376 7317 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9556 7317 300 300 0 9256 0
vsize: 38224
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17061 0 0 0 99890 123 0 0 25 0 1 0 806563712 39141376 7362 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9556 7362 300 300 0 9256 0
vsize: 38224
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17158 0 0 0 100889 124 0 0 25 0 1 0 806563712 39141376 7399 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9556 7399 300 300 0 9256 0
vsize: 38224
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17241 0 0 0 101888 125 0 0 25 0 1 0 806563712 39276544 7422 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9589 7422 300 300 0 9289 0
vsize: 38356
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17331 0 0 0 102888 126 0 0 25 0 1 0 806563712 39276544 7452 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9589 7452 300 300 0 9289 0
vsize: 38356
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17441 0 0 0 103888 126 0 0 25 0 1 0 806563712 39276544 7502 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9589 7502 300 300 0 9289 0
vsize: 38356
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17608 0 0 0 104887 128 0 0 25 0 1 0 806563712 39415808 7549 4294967295 134512640 135726644 3221224576 3221223072 134744359 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9623 7549 300 300 0 9323 0
vsize: 38492
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17710 0 0 0 105887 129 0 0 25 0 1 0 806563712 39415808 7591 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9623 7591 300 300 0 9323 0
vsize: 38492
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17784 0 0 0 106886 130 0 0 25 0 1 0 806563712 39415808 7605 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9623 7605 300 300 0 9323 0
vsize: 38492
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 17897 0 0 0 107885 131 0 0 25 0 1 0 806563712 39415808 7658 4294967295 134512640 135726644 3221224576 3221223232 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9623 7658 300 300 0 9323 0
vsize: 38492
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18005 0 0 0 108885 131 0 0 25 0 1 0 806563712 39550976 7706 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9656 7706 300 300 0 9356 0
vsize: 38624
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18107 0 0 0 109884 132 0 0 25 0 1 0 806563712 39550976 7748 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9656 7748 300 300 0 9356 0
vsize: 38624
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18193 0 0 0 110883 133 0 0 25 0 1 0 806563712 39550976 7774 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9656 7774 300 300 0 9356 0
vsize: 38624
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18282 0 0 0 111882 134 0 0 25 0 1 0 806563712 39686144 7803 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9689 7803 300 300 0 9389 0
vsize: 38756
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18382 0 0 0 112881 135 0 0 25 0 1 0 806563712 39686144 7843 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9689 7843 300 300 0 9389 0
vsize: 38756
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18482 0 0 0 113881 136 0 0 25 0 1 0 806563712 39686144 7883 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9689 7883 300 300 0 9389 0
vsize: 38756
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18577 0 0 0 114880 137 0 0 25 0 1 0 806563712 39686144 7918 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9689 7918 300 300 0 9389 0
vsize: 38756
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18686 0 0 0 115880 138 0 0 25 0 1 0 806563712 39821312 7967 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9722 7967 300 300 0 9422 0
vsize: 38888
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18857 0 0 0 116879 139 0 0 25 0 1 0 806563712 39821312 8018 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9722 8018 300 300 0 9422 0
vsize: 38888
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 18962 0 0 0 117878 139 0 0 25 0 1 0 806563712 39821312 8063 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9722 8063 300 300 0 9422 0
vsize: 38888
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 19073 0 0 0 118877 141 0 0 25 0 1 0 806563712 39956480 8114 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9755 8114 300 300 0 9455 0
vsize: 39020
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 30102
Raw data (stat): 30102 (pb2sat) R 30101 21152 21151 0 -1 0 19166 0 0 0 119876 142 0 0 25 0 1 0 806563712 39956480 8147 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 9755 8147 300 300 0 9455 0
vsize: 39020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 30102
Raw data (stat): 30102 (pb2sat) Z 30101 21152 21151 0 -1 12 19167 0 0 0 119884 143 0 0 25 0 1 0 806563712 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): 1200.17
CPU time (s): 1200.29
CPU user time (s): 1198.85
CPU system time (s): 1.43678
CPU usage (%): 100.01
Max. virtual memory (Kb): 39020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####