PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
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 42809

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 15:15:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26017 boxname=wulflinc1 idbench=1317 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 26017
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        714900 kB
Buffers:         22040 kB
Cached:         273488 kB
SwapCached:       1156 kB
Active:          25840 kB
Inactive:       272028 kB
HighTotal:      131008 kB
HighFree:         1512 kB
LowTotal:       903652 kB
LowFree:        713388 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            15992 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:35:52 (client local time) WITH STATUS 10 IN 1201.69 SECONDS
stats: 26017 0 1201.69 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.2393 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+19.5763 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+20.9145 s]  setting bit 12 to 0
c [startup+71.7629 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 188.919/86400
c Decision: 65401/343960	Time: 339.994/86400
c Decision: 65401/343960	Time: 420.01/86400
c Decision: 66279/343960	Time: 1039.82/86400
c Decision: 66285/343960	Time: 1124.65/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.91 0.95 0.93 2/55 22228
Raw data (stat): 22228 (runsolver) R 22227 8378 8377 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 914911773 884736 93 4294967295 134512640 135332820 3221224464 3221219788 134958199 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99961 s]
Raw data (loadavg): 0.93 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 28923 0 0 0 937 61 0 0 25 0 1 0 914911773 87650304 17871 4294967295 134512640 135730672 3221224576 3221206028 135291115 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21399 17872 301 301 0 21098 0
vsize: 85596
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 54256 0 0 0 1886 112 0 0 25 0 1 0 914911773 171950080 30722 4294967295 134512640 135730672 3221224576 3221222680 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41980 30722 301 301 0 41679 0
vsize: 167920
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 55961 0 0 0 2883 116 0 0 25 0 1 0 914911773 173404160 30855 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42335 30855 301 301 0 42034 0
vsize: 169340
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 55989 0 0 0 3883 116 0 0 25 0 1 0 914911773 173404160 30883 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42335 30883 301 301 0 42034 0
vsize: 169340
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 56092 0 0 0 4882 117 0 0 25 0 1 0 914911773 173670400 30953 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42400 30953 301 301 0 42099 0
vsize: 169600
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 56097 0 0 0 5882 117 0 0 25 0 1 0 914911773 173670400 30958 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42400 30958 301 301 0 42099 0
vsize: 169600
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 56114 0 0 0 6882 118 0 0 25 0 1 0 914911773 173670400 30975 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42400 30975 301 301 0 42099 0
vsize: 169600
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 57738 0 0 0 7878 121 0 0 25 0 1 0 914911773 177094656 31600 4294967295 134512640 135730672 3221224576 3221223024 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43236 31600 301 301 0 42935 0
vsize: 172944
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 58730 0 0 0 8876 124 0 0 25 0 1 0 914911773 179601408 32168 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43848 32168 301 301 0 43547 0
vsize: 175392
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 58851 0 0 0 9876 124 0 0 25 0 1 0 914911773 179863552 32224 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43912 32224 301 301 0 43611 0
vsize: 175648
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 58865 0 0 0 10875 125 0 0 25 0 1 0 914911773 179863552 32238 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43912 32238 301 301 0 43611 0
vsize: 175648
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 59024 0 0 0 11875 126 0 0 25 0 1 0 914911773 180256768 32299 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44008 32299 301 301 0 43707 0
vsize: 176032
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 59260 0 0 0 12874 126 0 0 25 0 1 0 914911773 180916224 32437 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44169 32437 301 301 0 43868 0
vsize: 176676
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 59532 0 0 0 13874 127 0 0 25 0 1 0 914911773 181706752 32578 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44362 32578 301 301 0 44061 0
vsize: 177448
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 59545 0 0 0 14874 127 0 0 25 0 1 0 914911773 181706752 32591 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44362 32591 301 301 0 44061 0
vsize: 177448
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 59552 0 0 0 15873 128 0 0 25 0 1 0 914911773 181571584 32565 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44329 32565 301 301 0 44028 0
vsize: 177316
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 60114 0 0 0 16872 129 0 0 25 0 1 0 914911773 183672832 32946 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44842 32946 301 301 0 44541 0
vsize: 179368
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 60574 0 0 0 17872 130 0 0 25 0 1 0 914911773 184856576 33145 4294967295 134512640 135730672 3221224576 3221223032 134748654 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45131 33145 301 301 0 44830 0
vsize: 180524
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 60953 0 0 0 18871 131 0 0 25 0 1 0 914911773 186052608 33360 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45423 33360 301 301 0 45122 0
vsize: 181692
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 60978 0 0 0 19871 131 0 0 25 0 1 0 914911773 186187776 33385 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45456 33385 301 301 0 45155 0
vsize: 181824
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 61680 0 0 0 20870 132 0 0 25 0 1 0 914911773 188440576 33792 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46006 33792 301 301 0 45705 0
vsize: 184024
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 61684 0 0 0 21870 132 0 0 25 0 1 0 914911773 188440576 33796 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46006 33796 301 301 0 45705 0
vsize: 184024
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 61720 0 0 0 22869 133 0 0 25 0 1 0 914911773 188440576 33832 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46006 33832 301 301 0 45705 0
vsize: 184024
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 61732 0 0 0 23869 133 0 0 25 0 1 0 914911773 188440576 33844 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46006 33844 301 301 0 45705 0
vsize: 184024
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 62091 0 0 0 24869 134 0 0 25 0 1 0 914911773 189497344 34007 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46264 34007 301 301 0 45963 0
vsize: 185056
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 62808 0 0 0 25868 135 0 0 25 0 1 0 914911773 189763584 34052 4294967295 134512640 135730672 3221224576 3221222992 134783326 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46329 34052 301 301 0 46028 0
vsize: 185316
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 64128 0 0 0 26865 138 0 0 25 0 1 0 914911773 194179072 34806 4294967295 134512640 135730672 3221224576 3221222688 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47407 34806 301 301 0 47106 0
vsize: 189628
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 65247 0 0 0 27863 140 0 0 25 0 1 0 914911773 197746688 35484 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48278 35484 301 301 0 47977 0
vsize: 193112
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 65712 0 0 0 28862 142 0 0 25 0 1 0 914911773 198660096 35656 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48501 35656 301 301 0 48200 0
vsize: 194004
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 65956 0 0 0 29861 142 0 0 25 0 1 0 914911773 199516160 35770 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48710 35770 301 301 0 48409 0
vsize: 194840
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66180 0 0 0 30860 143 0 0 25 0 1 0 914911773 200040448 35864 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48838 35864 301 301 0 48537 0
vsize: 195352
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66417 0 0 0 31860 144 0 0 25 0 1 0 914911773 200830976 36036 4294967295 134512640 135730672 3221224576 3221222992 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49031 36036 301 301 0 48730 0
vsize: 196124
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66609 0 0 0 32860 145 0 0 25 0 1 0 914911773 201359360 36163 4294967295 134512640 135730672 3221224576 3221222880 135283013 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49160 36163 301 301 0 48859 0
vsize: 196640
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66750 0 0 0 33859 145 0 0 25 0 1 0 914911773 201621504 36239 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49224 36239 301 301 0 48923 0
vsize: 196896
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66772 0 0 0 34859 145 0 0 25 0 1 0 914911773 201621504 36261 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49224 36261 301 301 0 48923 0
vsize: 196896
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 66943 0 0 0 35859 146 0 0 25 0 1 0 914911773 201883648 36367 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49288 36367 301 301 0 48987 0
vsize: 197152
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67088 0 0 0 36859 146 0 0 25 0 1 0 914911773 202145792 36447 4294967295 134512640 135730672 3221224576 3221222864 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49352 36447 301 301 0 49051 0
vsize: 197408
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67119 0 0 0 37858 147 0 0 25 0 1 0 914911773 202145792 36478 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49352 36478 301 301 0 49051 0
vsize: 197408
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67173 0 0 0 38857 147 0 0 25 0 1 0 914911773 202145792 36532 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67199 0 0 0 39857 148 0 0 25 0 1 0 914911773 202145792 36558 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67254 0 0 0 40857 148 0 0 25 0 1 0 914911773 202145792 36613 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 67933 0 0 0 41854 151 0 0 25 0 1 0 914911773 202145792 36620 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49352 36620 301 301 0 49051 0
vsize: 197408
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68051 0 0 0 42854 151 0 0 25 0 1 0 914911773 202674176 36738 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68072 0 0 0 43854 151 0 0 25 0 1 0 914911773 202674176 36759 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68222 0 0 0 44853 152 0 0 25 0 1 0 914911773 202936320 36844 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68227 0 0 0 45853 152 0 0 25 0 1 0 914911773 202936320 36849 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36849 301 301 0 49244 0
vsize: 198180
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68232 0 0 0 46853 152 0 0 25 0 1 0 914911773 202936320 36854 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68238 0 0 0 47853 152 0 0 25 0 1 0 914911773 202936320 36860 4294967295 134512640 135730672 3221224576 3221222688 134732476 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.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68244 0 0 0 48853 153 0 0 25 0 1 0 914911773 202936320 36866 4294967295 134512640 135730672 3221224576 3221223024 134734847 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.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68248 0 0 0 49854 153 0 0 25 0 1 0 914911773 202936320 36870 4294967295 134512640 135730672 3221224576 3221223024 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49545 36870 301 301 0 49244 0
vsize: 198180
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68441 0 0 0 50853 153 0 0 25 0 1 0 914911773 203464704 36998 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49674 36998 301 301 0 49373 0
vsize: 198696
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 68643 0 0 0 51853 153 0 0 25 0 1 0 914911773 203988992 37070 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49802 37070 301 301 0 49501 0
vsize: 199208
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69187 0 0 0 52852 154 0 0 25 0 1 0 914911773 205774848 37403 4294967295 134512640 135730672 3221224576 3221222688 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50238 37403 301 301 0 49937 0
vsize: 200952
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69327 0 0 0 53852 155 0 0 25 0 1 0 914911773 206303232 37543 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37543 301 301 0 50066 0
vsize: 201468
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69351 0 0 0 54852 155 0 0 25 0 1 0 914911773 206303232 37567 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37567 301 301 0 50066 0
vsize: 201468
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69357 0 0 0 55852 155 0 0 25 0 1 0 914911773 206303232 37573 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37573 301 301 0 50066 0
vsize: 201468
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69366 0 0 0 56853 155 0 0 25 0 1 0 914911773 206303232 37582 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37582 301 301 0 50066 0
vsize: 201468
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69376 0 0 0 57852 155 0 0 25 0 1 0 914911773 206303232 37592 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37592 301 301 0 50066 0
vsize: 201468
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69387 0 0 0 58852 155 0 0 25 0 1 0 914911773 206303232 37603 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37603 301 301 0 50066 0
vsize: 201468
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69390 0 0 0 59853 155 0 0 25 0 1 0 914911773 206303232 37606 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37606 301 301 0 50066 0
vsize: 201468
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69398 0 0 0 60853 155 0 0 25 0 1 0 914911773 206303232 37614 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37614 301 301 0 50066 0
vsize: 201468
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69403 0 0 0 61853 155 0 0 25 0 1 0 914911773 206303232 37619 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37619 301 301 0 50066 0
vsize: 201468
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69408 0 0 0 62853 156 0 0 25 0 1 0 914911773 206303232 37624 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37624 301 301 0 50066 0
vsize: 201468
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69412 0 0 0 63853 156 0 0 25 0 1 0 914911773 206303232 37628 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37628 301 301 0 50066 0
vsize: 201468
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69415 0 0 0 64853 156 0 0 25 0 1 0 914911773 206303232 37631 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37631 301 301 0 50066 0
vsize: 201468
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69423 0 0 0 65853 156 0 0 25 0 1 0 914911773 206303232 37639 4294967295 134512640 135730672 3221224576 3221222864 134747552 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37639 301 301 0 50066 0
vsize: 201468
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69428 0 0 0 66853 156 0 0 25 0 1 0 914911773 206303232 37644 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37644 301 301 0 50066 0
vsize: 201468
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69432 0 0 0 67853 156 0 0 25 0 1 0 914911773 206303232 37648 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37648 301 301 0 50066 0
vsize: 201468
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69437 0 0 0 68853 156 0 0 25 0 1 0 914911773 206303232 37653 4294967295 134512640 135730672 3221224576 3221223016 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37653 301 301 0 50066 0
vsize: 201468
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69444 0 0 0 69853 156 0 0 25 0 1 0 914911773 206303232 37660 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37660 301 301 0 50066 0
vsize: 201468
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69449 0 0 0 70853 156 0 0 25 0 1 0 914911773 206303232 37665 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37665 301 301 0 50066 0
vsize: 201468
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69453 0 0 0 71853 156 0 0 25 0 1 0 914911773 206303232 37669 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37669 301 301 0 50066 0
vsize: 201468
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69458 0 0 0 72853 157 0 0 25 0 1 0 914911773 206303232 37674 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37674 301 301 0 50066 0
vsize: 201468
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69461 0 0 0 73853 157 0 0 25 0 1 0 914911773 206303232 37677 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37677 301 301 0 50066 0
vsize: 201468
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69466 0 0 0 74853 157 0 0 25 0 1 0 914911773 206303232 37682 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37682 301 301 0 50066 0
vsize: 201468
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69468 0 0 0 75854 157 0 0 25 0 1 0 914911773 206303232 37684 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37684 301 301 0 50066 0
vsize: 201468
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69474 0 0 0 76854 157 0 0 25 0 1 0 914911773 206303232 37690 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37690 301 301 0 50066 0
vsize: 201468
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69480 0 0 0 77854 157 0 0 25 0 1 0 914911773 206303232 37696 4294967295 134512640 135730672 3221224576 3221223056 134748535 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37696 301 301 0 50066 0
vsize: 201468
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69487 0 0 0 78854 157 0 0 25 0 1 0 914911773 206303232 37703 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37703 301 301 0 50066 0
vsize: 201468
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69497 0 0 0 79854 157 0 0 25 0 1 0 914911773 206303232 37713 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37713 301 301 0 50066 0
vsize: 201468
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69502 0 0 0 80854 158 0 0 25 0 1 0 914911773 206303232 37718 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37718 301 301 0 50066 0
vsize: 201468
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69505 0 0 0 81854 158 0 0 25 0 1 0 914911773 206303232 37721 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37721 301 301 0 50066 0
vsize: 201468
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69509 0 0 0 82854 158 0 0 25 0 1 0 914911773 206303232 37725 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37725 301 301 0 50066 0
vsize: 201468
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69512 0 0 0 83854 158 0 0 25 0 1 0 914911773 206303232 37728 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37728 301 301 0 50066 0
vsize: 201468
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69516 0 0 0 84855 158 0 0 25 0 1 0 914911773 206303232 37732 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37732 301 301 0 50066 0
vsize: 201468
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69521 0 0 0 85855 158 0 0 25 0 1 0 914911773 206303232 37737 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37737 301 301 0 50066 0
vsize: 201468
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69527 0 0 0 86855 158 0 0 25 0 1 0 914911773 206303232 37743 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37743 301 301 0 50066 0
vsize: 201468
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69552 0 0 0 87854 159 0 0 25 0 1 0 914911773 206303232 37768 4294967295 134512640 135730672 3221224576 3221223036 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37768 301 301 0 50066 0
vsize: 201468
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69556 0 0 0 88854 159 0 0 25 0 1 0 914911773 206303232 37772 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37772 301 301 0 50066 0
vsize: 201468
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69563 0 0 0 89854 159 0 0 25 0 1 0 914911773 206303232 37779 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37779 301 301 0 50066 0
vsize: 201468
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69589 0 0 0 90854 159 0 0 25 0 1 0 914911773 206303232 37805 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37805 301 301 0 50066 0
vsize: 201468
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69608 0 0 0 91854 159 0 0 25 0 1 0 914911773 206303232 37824 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37824 301 301 0 50066 0
vsize: 201468
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69903 0 0 0 92854 160 0 0 25 0 1 0 914911773 207351808 37861 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37861 301 301 0 50322 0
vsize: 202492
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69909 0 0 0 93854 160 0 0 25 0 1 0 914911773 207351808 37867 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37867 301 301 0 50322 0
vsize: 202492
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69920 0 0 0 94854 160 0 0 25 0 1 0 914911773 207351808 37878 4294967295 134512640 135730672 3221224576 3221223056 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37878 301 301 0 50322 0
vsize: 202492
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69926 0 0 0 95854 161 0 0 25 0 1 0 914911773 207351808 37884 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37884 301 301 0 50322 0
vsize: 202492
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69933 0 0 0 96854 161 0 0 25 0 1 0 914911773 207351808 37891 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37891 301 301 0 50322 0
vsize: 202492
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69943 0 0 0 97854 161 0 0 25 0 1 0 914911773 207351808 37901 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37901 301 301 0 50322 0
vsize: 202492
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69946 0 0 0 98854 161 0 0 25 0 1 0 914911773 207351808 37904 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37904 301 301 0 50322 0
vsize: 202492
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69951 0 0 0 99854 161 0 0 25 0 1 0 914911773 207351808 37909 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37909 301 301 0 50322 0
vsize: 202492
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69956 0 0 0 100854 162 0 0 25 0 1 0 914911773 207351808 37914 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37914 301 301 0 50322 0
vsize: 202492
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 69959 0 0 0 101854 162 0 0 25 0 1 0 914911773 207351808 37917 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37917 301 301 0 50322 0
vsize: 202492
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70042 0 0 0 102854 162 0 0 25 0 1 0 914911773 207486976 37968 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37968 301 301 0 50355 0
vsize: 202624
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70049 0 0 0 103854 162 0 0 25 0 1 0 914911773 207486976 37975 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37975 301 301 0 50355 0
vsize: 202624
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70054 0 0 0 104854 162 0 0 25 0 1 0 914911773 207486976 37980 4294967295 134512640 135730672 3221224576 3221222864 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37980 301 301 0 50355 0
vsize: 202624
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70058 0 0 0 105854 162 0 0 25 0 1 0 914911773 207486976 37984 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37984 301 301 0 50355 0
vsize: 202624
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70066 0 0 0 106854 162 0 0 25 0 1 0 914911773 207486976 37992 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37992 301 301 0 50355 0
vsize: 202624
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70072 0 0 0 107854 163 0 0 25 0 1 0 914911773 207486976 37998 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37998 301 301 0 50355 0
vsize: 202624
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70080 0 0 0 108854 163 0 0 25 0 1 0 914911773 207486976 38006 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38006 301 301 0 50355 0
vsize: 202624
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70085 0 0 0 109854 163 0 0 25 0 1 0 914911773 207486976 38011 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38011 301 301 0 50355 0
vsize: 202624
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70090 0 0 0 110854 163 0 0 25 0 1 0 914911773 207486976 38016 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38016 301 301 0 50355 0
vsize: 202624
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70765 0 0 0 111852 165 0 0 25 0 1 0 914911773 207486976 38019 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38019 301 301 0 50355 0
vsize: 202624
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70775 0 0 0 112852 165 0 0 25 0 1 0 914911773 207486976 38029 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38029 301 301 0 50355 0
vsize: 202624
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70781 0 0 0 113852 165 0 0 25 0 1 0 914911773 207486976 38035 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38035 301 301 0 50355 0
vsize: 202624
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70788 0 0 0 114852 166 0 0 25 0 1 0 914911773 207486976 38042 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38042 301 301 0 50355 0
vsize: 202624
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70794 0 0 0 115852 166 0 0 25 0 1 0 914911773 207486976 38048 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38048 301 301 0 50355 0
vsize: 202624
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70802 0 0 0 116852 166 0 0 25 0 1 0 914911773 207486976 38056 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38056 301 301 0 50355 0
vsize: 202624
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70807 0 0 0 117852 166 0 0 25 0 1 0 914911773 207486976 38061 4294967295 134512640 135730672 3221224576 3221223040 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38061 301 301 0 50355 0
vsize: 202624
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 70816 0 0 0 118852 166 0 0 25 0 1 0 914911773 207486976 38070 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38070 301 301 0 50355 0
vsize: 202624
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 22228
Raw data (stat): 22228 (pb2sat-v2) R 22227 8378 8377 0 -1 0 71492 0 0 0 119851 168 0 0 25 0 1 0 914911773 207486976 38074 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38074 301 301 0 50355 0
vsize: 202624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.52 s]
Raw data (loadavg): 0.99 0.97 0.93 1/55 22228
Raw data (stat): 22228 (pb2sat-v2) Z 22227 8378 8377 0 -1 12 71494 0 0 0 119993 175 0 0 25 0 1 0 914911773 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: 10
Real time (s): 1201.52
CPU time (s): 1201.69
CPU user time (s): 1199.93
CPU system time (s): 1.75673
CPU usage (%): 100.014
Max. virtual memory (Kb): 202624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2500
#### END VERIFIER DATA ####