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/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 42544

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 10:04:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25755 boxname=wulflinc3 idbench=1055 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 25755
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        735424 kB
Buffers:         11520 kB
Cached:         265848 kB
SwapCached:        820 kB
Active:          32748 kB
Inactive:       246808 kB
HighTotal:      131008 kB
HighFree:         2520 kB
LowTotal:       903652 kB
LowFree:        732904 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13964 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:25:03 (client local time) WITH STATUS 10 IN 1201.67 SECONDS
stats: 25755 0 1201.67 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 2500
c small objective detected
c CONFLICT during preprocess 
c [startup+18.1313 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+19.4681 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+20.806 s]  setting bit 12 to 0
c [startup+71.6793 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 189.049/86400
c Decision: 65401/343960	Time: 340.563/86400
c Decision: 65401/343960	Time: 421.358/86400
c Decision: 66279/343960	Time: 1042.42/86400
c Decision: 66285/343960	Time: 1128.16/86400s SATISFIABLE
v C1001_bit0 -C1002_bit0 -C1003_bit0 C1004_bit0 C1005_bit0 -C1006_bit0 -C1007_bit0 C1008_bit0 -C1009_bit0 -C1010_bit0 C1011_bit0 C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 C1016_bit0 -C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 C1120_bit0 -C1121_bit0 -C1122_bit0 C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 C1138_bit0 C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 C1186_bit0 -C1187_bit0 -C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 
#### 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
Raw data (loadavg): 0.77 0.92 0.89 2/54 21105
Raw data (stat): 21105 (runsolver) R 21104 20224 20223 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 969894634 884736 93 4294967295 134512640 135332820 3221224464 3221219748 134517057 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0001 s]
Raw data (loadavg): 0.81 0.92 0.89 2/54 21105
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 29123 0 0 0 942 57 0 0 25 0 1 0 969894634 87920640 18069 4294967295 134512640 135730672 3221224576 3221201920 134607970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21465 18070 301 301 0 21164 0
vsize: 85860
[startup+20.0007 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 21105
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 54256 0 0 0 1889 109 0 0 25 0 1 0 969894634 171950080 30722 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41980 30722 301 301 0 41679 0
vsize: 167920
[startup+30.0015 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 21105
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 55961 0 0 0 2885 113 0 0 25 0 1 0 969894634 173404160 30855 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42335 30855 301 301 0 42034 0
vsize: 169340
[startup+40.0021 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 55989 0 0 0 3884 113 0 0 25 0 1 0 969894634 173404160 30883 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42335 30883 301 301 0 42034 0
vsize: 169340
[startup+50.0032 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 56092 0 0 0 4884 114 0 0 25 0 1 0 969894634 173670400 30953 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 30953 301 301 0 42099 0
vsize: 169600
[startup+60.0031 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 56097 0 0 0 5884 115 0 0 25 0 1 0 969894634 173670400 30958 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 30958 301 301 0 42099 0
vsize: 169600
[startup+70.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 56114 0 0 0 6883 115 0 0 25 0 1 0 969894634 173670400 30975 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42400 30975 301 301 0 42099 0
vsize: 169600
[startup+80.0038 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 57738 0 0 0 7879 119 0 0 25 0 1 0 969894634 177094656 31600 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43236 31600 301 301 0 42935 0
vsize: 172944
[startup+90.0036 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 58730 0 0 0 8877 121 0 0 25 0 1 0 969894634 179601408 32168 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43848 32168 301 301 0 43547 0
vsize: 175392
[startup+100.005 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 58851 0 0 0 9876 122 0 0 25 0 1 0 969894634 179863552 32224 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43912 32224 301 301 0 43611 0
vsize: 175648
[startup+110.006 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 58865 0 0 0 10876 122 0 0 25 0 1 0 969894634 179863552 32238 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43912 32238 301 301 0 43611 0
vsize: 175648
[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 59024 0 0 0 11876 123 0 0 25 0 1 0 969894634 180256768 32299 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44008 32299 301 301 0 43707 0
vsize: 176032
[startup+130.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 59260 0 0 0 12875 124 0 0 25 0 1 0 969894634 180916224 32437 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44169 32437 301 301 0 43868 0
vsize: 176676
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 59532 0 0 0 13874 124 0 0 25 0 1 0 969894634 181706752 32578 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44362 32578 301 301 0 44061 0
vsize: 177448
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 59545 0 0 0 14874 125 0 0 25 0 1 0 969894634 181706752 32591 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44362 32591 301 301 0 44061 0
vsize: 177448
[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 59552 0 0 0 15874 125 0 0 25 0 1 0 969894634 181571584 32565 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44329 32565 301 301 0 44028 0
vsize: 177316
[startup+170.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 60114 0 0 0 16872 127 0 0 25 0 1 0 969894634 183672832 32946 4294967295 134512640 135730672 3221224576 3221222988 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44842 32946 301 301 0 44541 0
vsize: 179368
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 60574 0 0 0 17871 128 0 0 25 0 1 0 969894634 184856576 33145 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45131 33145 301 301 0 44830 0
vsize: 180524
[startup+190.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 60953 0 0 0 18871 129 0 0 25 0 1 0 969894634 186052608 33360 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45423 33360 301 301 0 45122 0
vsize: 181692
[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 60976 0 0 0 19871 129 0 0 25 0 1 0 969894634 186187776 33383 4294967295 134512640 135730672 3221224576 3221222992 134748069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45456 33383 301 301 0 45155 0
vsize: 181824
[startup+210.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 61680 0 0 0 20869 131 0 0 25 0 1 0 969894634 188440576 33792 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46006 33792 301 301 0 45705 0
vsize: 184024
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 61684 0 0 0 21869 131 0 0 25 0 1 0 969894634 188440576 33796 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46006 33796 301 301 0 45705 0
vsize: 184024
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 61720 0 0 0 22869 132 0 0 25 0 1 0 969894634 188440576 33832 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46006 33832 301 301 0 45705 0
vsize: 184024
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 61732 0 0 0 23868 132 0 0 25 0 1 0 969894634 188440576 33844 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46006 33844 301 301 0 45705 0
vsize: 184024
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 62091 0 0 0 24868 133 0 0 25 0 1 0 969894634 189497344 34007 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46264 34007 301 301 0 45963 0
vsize: 185056
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 62808 0 0 0 25866 135 0 0 25 0 1 0 969894634 189763584 34052 4294967295 134512640 135730672 3221224576 3221222992 134783291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46329 34052 301 301 0 46028 0
vsize: 185316
[startup+270.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 64128 0 0 0 26863 138 0 0 25 0 1 0 969894634 194179072 34806 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47407 34806 301 301 0 47106 0
vsize: 189628
[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 65244 0 0 0 27860 141 0 0 25 0 1 0 969894634 197746688 35481 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48278 35481 301 301 0 47977 0
vsize: 193112
[startup+290.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 65712 0 0 0 28859 142 0 0 25 0 1 0 969894634 198660096 35656 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48501 35656 301 301 0 48200 0
vsize: 194004
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 65956 0 0 0 29859 142 0 0 25 0 1 0 969894634 199516160 35770 4294967295 134512640 135730672 3221224576 3221222700 134739216 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48710 35770 301 301 0 48409 0
vsize: 194840
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66180 0 0 0 30858 143 0 0 25 0 1 0 969894634 200040448 35864 4294967295 134512640 135730672 3221224576 3221223056 134748543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48838 35864 301 301 0 48537 0
vsize: 195352
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66417 0 0 0 31858 144 0 0 25 0 1 0 969894634 200830976 36036 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49031 36036 301 301 0 48730 0
vsize: 196124
[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66609 0 0 0 32857 144 0 0 25 0 1 0 969894634 201359360 36163 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49160 36163 301 301 0 48859 0
vsize: 196640
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66750 0 0 0 33857 145 0 0 25 0 1 0 969894634 201621504 36239 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49224 36239 301 301 0 48923 0
vsize: 196896
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66772 0 0 0 34857 145 0 0 25 0 1 0 969894634 201621504 36261 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49224 36261 301 301 0 48923 0
vsize: 196896
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 66943 0 0 0 35856 146 0 0 25 0 1 0 969894634 201883648 36367 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49288 36367 301 301 0 48987 0
vsize: 197152
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67088 0 0 0 36856 146 0 0 25 0 1 0 969894634 202145792 36447 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36447 301 301 0 49051 0
vsize: 197408
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67119 0 0 0 37856 147 0 0 25 0 1 0 969894634 202145792 36478 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36478 301 301 0 49051 0
vsize: 197408
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67173 0 0 0 38855 147 0 0 25 0 1 0 969894634 202145792 36532 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36532 301 301 0 49051 0
vsize: 197408
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67199 0 0 0 39856 147 0 0 25 0 1 0 969894634 202145792 36558 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36558 301 301 0 49051 0
vsize: 197408
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67254 0 0 0 40855 148 0 0 25 0 1 0 969894634 202145792 36613 4294967295 134512640 135730672 3221224576 3221222992 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36613 301 301 0 49051 0
vsize: 197408
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 67933 0 0 0 41854 149 0 0 25 0 1 0 969894634 202145792 36620 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49352 36620 301 301 0 49051 0
vsize: 197408
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68051 0 0 0 42854 149 0 0 25 0 1 0 969894634 202674176 36738 4294967295 134512640 135730672 3221224576 3221222972 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49481 36738 301 301 0 49180 0
vsize: 197924
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68072 0 0 0 43854 149 0 0 25 0 1 0 969894634 202674176 36759 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49481 36759 301 301 0 49180 0
vsize: 197924
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68222 0 0 0 44854 150 0 0 25 0 1 0 969894634 202936320 36844 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36844 301 301 0 49244 0
vsize: 198180
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68226 0 0 0 45853 151 0 0 25 0 1 0 969894634 202936320 36848 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36848 301 301 0 49244 0
vsize: 198180
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68232 0 0 0 46853 151 0 0 25 0 1 0 969894634 202936320 36854 4294967295 134512640 135730672 3221224576 3221222992 134748255 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36854 301 301 0 49244 0
vsize: 198180
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68238 0 0 0 47853 151 0 0 25 0 1 0 969894634 202936320 36860 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36860 301 301 0 49244 0
vsize: 198180
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68244 0 0 0 48853 151 0 0 25 0 1 0 969894634 202936320 36866 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36866 301 301 0 49244 0
vsize: 198180
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68247 0 0 0 49853 151 0 0 25 0 1 0 969894634 202936320 36869 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36869 301 301 0 49244 0
vsize: 198180
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68321 0 0 0 50853 152 0 0 25 0 1 0 969894634 203202560 36943 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49610 36943 301 301 0 49309 0
vsize: 198440
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68529 0 0 0 51852 152 0 0 25 0 1 0 969894634 203726848 37021 4294967295 134512640 135730672 3221224576 3221222864 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49738 37021 301 301 0 49437 0
vsize: 198952
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 68963 0 0 0 52851 153 0 0 25 0 1 0 969894634 205045760 37260 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50060 37260 301 301 0 49759 0
vsize: 200240
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69258 0 0 0 53851 154 0 0 25 0 1 0 969894634 205774848 37474 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50238 37474 301 301 0 49937 0
vsize: 200952
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69350 0 0 0 54850 155 0 0 25 0 1 0 969894634 206303232 37566 4294967295 134512640 135730672 3221224576 3221222616 135285475 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37566 301 301 0 50066 0
vsize: 201468
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69356 0 0 0 55850 155 0 0 25 0 1 0 969894634 206303232 37572 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37572 301 301 0 50066 0
vsize: 201468
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69365 0 0 0 56850 156 0 0 25 0 1 0 969894634 206303232 37581 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37581 301 301 0 50066 0
vsize: 201468
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69368 0 0 0 57850 156 0 0 25 0 1 0 969894634 206303232 37584 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37584 301 301 0 50066 0
vsize: 201468
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69386 0 0 0 58850 156 0 0 25 0 1 0 969894634 206303232 37602 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37602 301 301 0 50066 0
vsize: 201468
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69389 0 0 0 59850 157 0 0 25 0 1 0 969894634 206303232 37605 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37605 301 301 0 50066 0
vsize: 201468
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69397 0 0 0 60849 157 0 0 25 0 1 0 969894634 206303232 37613 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37613 301 301 0 50066 0
vsize: 201468
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69401 0 0 0 61849 158 0 0 25 0 1 0 969894634 206303232 37617 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37617 301 301 0 50066 0
vsize: 201468
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69406 0 0 0 62849 158 0 0 25 0 1 0 969894634 206303232 37622 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37622 301 301 0 50066 0
vsize: 201468
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69411 0 0 0 63849 158 0 0 25 0 1 0 969894634 206303232 37627 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37627 301 301 0 50066 0
vsize: 201468
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69414 0 0 0 64849 158 0 0 25 0 1 0 969894634 206303232 37630 4294967295 134512640 135730672 3221224576 3221222864 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37630 301 301 0 50066 0
vsize: 201468
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69420 0 0 0 65849 158 0 0 25 0 1 0 969894634 206303232 37636 4294967295 134512640 135730672 3221224576 3221223008 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37636 301 301 0 50066 0
vsize: 201468
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69427 0 0 0 66849 158 0 0 25 0 1 0 969894634 206303232 37643 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37643 301 301 0 50066 0
vsize: 201468
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69431 0 0 0 67849 158 0 0 25 0 1 0 969894634 206303232 37647 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37647 301 301 0 50066 0
vsize: 201468
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69436 0 0 0 68849 159 0 0 25 0 1 0 969894634 206303232 37652 4294967295 134512640 135730672 3221224576 3221222864 134747465 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37652 301 301 0 50066 0
vsize: 201468
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69439 0 0 0 69848 159 0 0 25 0 1 0 969894634 206303232 37655 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37655 301 301 0 50066 0
vsize: 201468
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69448 0 0 0 70848 159 0 0 25 0 1 0 969894634 206303232 37664 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37664 301 301 0 50066 0
vsize: 201468
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69452 0 0 0 71848 159 0 0 25 0 1 0 969894634 206303232 37668 4294967295 134512640 135730672 3221224576 3221222960 134763998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37668 301 301 0 50066 0
vsize: 201468
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69457 0 0 0 72848 159 0 0 25 0 1 0 969894634 206303232 37673 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37673 301 301 0 50066 0
vsize: 201468
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69460 0 0 0 73849 159 0 0 25 0 1 0 969894634 206303232 37676 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37676 301 301 0 50066 0
vsize: 201468
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69465 0 0 0 74849 160 0 0 25 0 1 0 969894634 206303232 37681 4294967295 134512640 135730672 3221224576 3221222864 134747711 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37681 301 301 0 50066 0
vsize: 201468
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69468 0 0 0 75849 160 0 0 25 0 1 0 969894634 206303232 37684 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37684 301 301 0 50066 0
vsize: 201468
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69473 0 0 0 76849 160 0 0 25 0 1 0 969894634 206303232 37689 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37689 301 301 0 50066 0
vsize: 201468
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69478 0 0 0 77849 160 0 0 25 0 1 0 969894634 206303232 37694 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37694 301 301 0 50066 0
vsize: 201468
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69485 0 0 0 78849 160 0 0 25 0 1 0 969894634 206303232 37701 4294967295 134512640 135730672 3221224576 3221222688 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37701 301 301 0 50066 0
vsize: 201468
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69496 0 0 0 79849 160 0 0 25 0 1 0 969894634 206303232 37712 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37712 301 301 0 50066 0
vsize: 201468
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69501 0 0 0 80849 160 0 0 25 0 1 0 969894634 206303232 37717 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37717 301 301 0 50066 0
vsize: 201468
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69503 0 0 0 81849 161 0 0 25 0 1 0 969894634 206303232 37719 4294967295 134512640 135730672 3221224576 3221222992 134748073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37719 301 301 0 50066 0
vsize: 201468
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69508 0 0 0 82849 161 0 0 25 0 1 0 969894634 206303232 37724 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37724 301 301 0 50066 0
vsize: 201468
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69511 0 0 0 83849 161 0 0 25 0 1 0 969894634 206303232 37727 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37727 301 301 0 50066 0
vsize: 201468
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69515 0 0 0 84849 161 0 0 25 0 1 0 969894634 206303232 37731 4294967295 134512640 135730672 3221224576 3221222992 134748194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37731 301 301 0 50066 0
vsize: 201468
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69520 0 0 0 85849 161 0 0 25 0 1 0 969894634 206303232 37736 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37736 301 301 0 50066 0
vsize: 201468
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69525 0 0 0 86849 161 0 0 25 0 1 0 969894634 206303232 37741 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37741 301 301 0 50066 0
vsize: 201468
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69530 0 0 0 87849 161 0 0 25 0 1 0 969894634 206303232 37746 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37746 301 301 0 50066 0
vsize: 201468
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69554 0 0 0 88849 161 0 0 25 0 1 0 969894634 206303232 37770 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37770 301 301 0 50066 0
vsize: 201468
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69563 0 0 0 89849 161 0 0 25 0 1 0 969894634 206303232 37779 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37779 301 301 0 50066 0
vsize: 201468
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69588 0 0 0 90849 162 0 0 25 0 1 0 969894634 206303232 37804 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37804 301 301 0 50066 0
vsize: 201468
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69598 0 0 0 91849 162 0 0 25 0 1 0 969894634 206303232 37814 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50367 37814 301 301 0 50066 0
vsize: 201468
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69902 0 0 0 92848 162 0 0 25 0 1 0 969894634 207351808 37860 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37860 301 301 0 50322 0
vsize: 202492
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69907 0 0 0 93849 162 0 0 25 0 1 0 969894634 207351808 37865 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37865 301 301 0 50322 0
vsize: 202492
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69911 0 0 0 94849 163 0 0 25 0 1 0 969894634 207351808 37869 4294967295 134512640 135730672 3221224576 3221222864 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37869 301 301 0 50322 0
vsize: 202492
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69924 0 0 0 95849 163 0 0 25 0 1 0 969894634 207351808 37882 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37882 301 301 0 50322 0
vsize: 202492
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69932 0 0 0 96849 163 0 0 25 0 1 0 969894634 207351808 37890 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37890 301 301 0 50322 0
vsize: 202492
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69939 0 0 0 97849 163 0 0 25 0 1 0 969894634 207351808 37897 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37897 301 301 0 50322 0
vsize: 202492
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69945 0 0 0 98849 163 0 0 25 0 1 0 969894634 207351808 37903 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37903 301 301 0 50322 0
vsize: 202492
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69949 0 0 0 99849 163 0 0 25 0 1 0 969894634 207351808 37907 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37907 301 301 0 50322 0
vsize: 202492
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69955 0 0 0 100849 163 0 0 25 0 1 0 969894634 207351808 37913 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37913 301 301 0 50322 0
vsize: 202492
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69958 0 0 0 101849 163 0 0 25 0 1 0 969894634 207351808 37916 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37916 301 301 0 50322 0
vsize: 202492
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 69985 0 0 0 102849 164 0 0 25 0 1 0 969894634 207351808 37943 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50623 37943 301 301 0 50322 0
vsize: 202492
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70047 0 0 0 103849 164 0 0 25 0 1 0 969894634 207486976 37973 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 37973 301 301 0 50355 0
vsize: 202624
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70052 0 0 0 104849 164 0 0 25 0 1 0 969894634 207486976 37978 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 37978 301 301 0 50355 0
vsize: 202624
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70057 0 0 0 105849 164 0 0 25 0 1 0 969894634 207486976 37983 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 37983 301 301 0 50355 0
vsize: 202624
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70063 0 0 0 106849 164 0 0 25 0 1 0 969894634 207486976 37989 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 37989 301 301 0 50355 0
vsize: 202624
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70070 0 0 0 107850 164 0 0 25 0 1 0 969894634 207486976 37996 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 37996 301 301 0 50355 0
vsize: 202624
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70077 0 0 0 108850 164 0 0 25 0 1 0 969894634 207486976 38003 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 38003 301 301 0 50355 0
vsize: 202624
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70084 0 0 0 109850 165 0 0 25 0 1 0 969894634 207486976 38010 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 38010 301 301 0 50355 0
vsize: 202624
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70089 0 0 0 110850 165 0 0 25 0 1 0 969894634 207486976 38015 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 38015 301 301 0 50355 0
vsize: 202624
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70764 0 0 0 111848 166 0 0 25 0 1 0 969894634 207486976 38018 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38018 301 301 0 50355 0
vsize: 202624
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70769 0 0 0 112848 167 0 0 25 0 1 0 969894634 207486976 38023 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38023 301 301 0 50355 0
vsize: 202624
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70779 0 0 0 113847 167 0 0 25 0 1 0 969894634 207486976 38033 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38033 301 301 0 50355 0
vsize: 202624
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70786 0 0 0 114847 167 0 0 25 0 1 0 969894634 207486976 38040 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38040 301 301 0 50355 0
vsize: 202624
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70792 0 0 0 115847 167 0 0 25 0 1 0 969894634 207486976 38046 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38046 301 301 0 50355 0
vsize: 202624
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70798 0 0 0 116847 167 0 0 25 0 1 0 969894634 207486976 38052 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38052 301 301 0 50355 0
vsize: 202624
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70806 0 0 0 117847 168 0 0 25 0 1 0 969894634 207486976 38060 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38060 301 301 0 50355 0
vsize: 202624
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 70813 0 0 0 118846 169 0 0 25 0 1 0 969894634 207486976 38067 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38067 301 301 0 50355 0
vsize: 202624
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21107
Raw data (stat): 21105 (pb2sat-v2) R 21104 20224 20223 0 -1 0 71490 0 0 0 119844 171 0 0 25 0 1 0 969894634 207486976 38072 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38072 301 301 0 50355 0
vsize: 202624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.55 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21107
Raw data (stat): 21105 (pb2sat-v2) Z 21104 20224 20223 0 -1 12 71492 0 0 0 119987 178 0 0 25 0 1 0 969894634 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.55
CPU time (s): 1201.67
CPU user time (s): 1199.88
CPU system time (s): 1.78973
CPU usage (%): 100.01
Max. virtual memory (Kb): 202624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2500
#### END VERIFIER DATA ####