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/miplib/normalized-mps-v2-20-10-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.02284
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 42425

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        700492 kB
Buffers:         34452 kB
Cached:         277880 kB
SwapCached:        944 kB
Active:          29084 kB
Inactive:       285400 kB
HighTotal:      131008 kB
HighFree:          392 kB
LowTotal:       903652 kB
LowFree:        700100 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13948 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:22:56 (client local time) WITH STATUS 10 IN 1201.7 SECONDS
stats: 25633 0 1201.7 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.1725 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+19.496 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+20.8204 s]  setting bit 12 to 0
c [startup+71.5783 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 188.932/86400
c Decision: 65401/343960	Time: 340.268/86400
c Decision: 65401/343960	Time: 421.024/86400
c Decision: 66279/343960	Time: 1047.61/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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.89 0.97 0.91 1/54 23412
Raw data (stat): 23412 (runsolver) R 23411 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968800903 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 29296 0 0 0 935 63 0 0 25 0 1 0 968800903 88190976 18240 4294967295 134512640 135730672 3221224576 3221150284 134608006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21531 18240 301 301 0 21230 0
vsize: 86124
[startup+20.0019 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 54256 0 0 0 1882 116 0 0 25 0 1 0 968800903 171950080 30722 4294967295 134512640 135730672 3221224576 3221222664 134765483 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.0022 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 55961 0 0 0 2878 120 0 0 25 0 1 0 968800903 173404160 30855 4294967295 134512640 135730672 3221224576 3221222864 134747568 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.002 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 55989 0 0 0 3879 120 0 0 25 0 1 0 968800903 173404160 30883 4294967295 134512640 135730672 3221224576 3221222864 134747708 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.95 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 56092 0 0 0 4879 120 0 0 25 0 1 0 968800903 173670400 30953 4294967295 134512640 135730672 3221224576 3221222864 134747616 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.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 56097 0 0 0 5879 120 0 0 25 0 1 0 968800903 173670400 30958 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.0037 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 56114 0 0 0 6879 120 0 0 25 0 1 0 968800903 173670400 30975 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.0048 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 57738 0 0 0 7876 123 0 0 25 0 1 0 968800903 177094656 31600 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 58730 0 0 0 8874 125 0 0 25 0 1 0 968800903 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.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 58851 0 0 0 9874 125 0 0 25 0 1 0 968800903 179863552 32224 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 58865 0 0 0 10874 126 0 0 25 0 1 0 968800903 179863552 32238 4294967295 134512640 135730672 3221224576 3221222848 134732774 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.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 59024 0 0 0 11874 126 0 0 25 0 1 0 968800903 180256768 32299 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 59260 0 0 0 12873 127 0 0 25 0 1 0 968800903 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 59532 0 0 0 13873 127 0 0 25 0 1 0 968800903 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 59545 0 0 0 14873 127 0 0 25 0 1 0 968800903 181706752 32591 4294967295 134512640 135730672 3221224576 3221222864 134747647 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23412
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 59552 0 0 0 15873 127 0 0 25 0 1 0 968800903 181571584 32565 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 60115 0 0 0 16872 128 0 0 25 0 1 0 968800903 183672832 32947 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44842 32947 301 301 0 44541 0
vsize: 179368
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 60574 0 0 0 17871 130 0 0 25 0 1 0 968800903 184856576 33145 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 60953 0 0 0 18871 130 0 0 25 0 1 0 968800903 186052608 33360 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 61023 0 0 0 19871 130 0 0 25 0 1 0 968800903 186458112 33430 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45522 33430 301 301 0 45221 0
vsize: 182088
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 61680 0 0 0 20870 132 0 0 25 0 1 0 968800903 188440576 33792 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 61684 0 0 0 21870 132 0 0 25 0 1 0 968800903 188440576 33796 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 61720 0 0 0 22870 132 0 0 25 0 1 0 968800903 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 61732 0 0 0 23870 132 0 0 25 0 1 0 968800903 188440576 33844 4294967295 134512640 135730672 3221224576 3221223056 134748449 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 62091 0 0 0 24869 133 0 0 25 0 1 0 968800903 189497344 34007 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 62808 0 0 0 25867 135 0 0 25 0 1 0 968800903 189763584 34052 4294967295 134512640 135730672 3221224576 3221222992 134783353 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 64220 0 0 0 26864 138 0 0 25 0 1 0 968800903 194576384 34882 4294967295 134512640 135730672 3221224576 3221222992 134748179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47504 34882 301 301 0 47203 0
vsize: 190016
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 65256 0 0 0 27862 140 0 0 25 0 1 0 968800903 197746688 35493 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48278 35493 301 301 0 47977 0
vsize: 193112
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 65712 0 0 0 28862 140 0 0 25 0 1 0 968800903 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 65968 0 0 0 29862 141 0 0 25 0 1 0 968800903 199516160 35782 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48710 35782 301 301 0 48409 0
vsize: 194840
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66180 0 0 0 30861 141 0 0 25 0 1 0 968800903 200040448 35864 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66417 0 0 0 31861 142 0 0 25 0 1 0 968800903 200830976 36036 4294967295 134512640 135730672 3221224576 3221222992 134748166 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66609 0 0 0 32861 142 0 0 25 0 1 0 968800903 201359360 36163 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66750 0 0 0 33861 143 0 0 25 0 1 0 968800903 201621504 36239 4294967295 134512640 135730672 3221224576 3221222864 134747892 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66772 0 0 0 34861 143 0 0 25 0 1 0 968800903 201621504 36261 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 66944 0 0 0 35860 143 0 0 25 0 1 0 968800903 201883648 36368 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49288 36368 301 301 0 48987 0
vsize: 197152
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67088 0 0 0 36860 143 0 0 25 0 1 0 968800903 202145792 36447 4294967295 134512640 135730672 3221224576 3221222960 134764022 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67119 0 0 0 37860 144 0 0 25 0 1 0 968800903 202145792 36478 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67173 0 0 0 38860 144 0 0 25 0 1 0 968800903 202145792 36532 4294967295 134512640 135730672 3221224576 3221222848 134732800 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67199 0 0 0 39860 144 0 0 25 0 1 0 968800903 202145792 36558 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67254 0 0 0 40860 144 0 0 25 0 1 0 968800903 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 67933 0 0 0 41859 146 0 0 25 0 1 0 968800903 202145792 36620 4294967295 134512640 135730672 3221224576 3221222864 134747892 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68051 0 0 0 42859 146 0 0 25 0 1 0 968800903 202674176 36738 4294967295 134512640 135730672 3221224576 3221222864 134747618 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68072 0 0 0 43859 146 0 0 25 0 1 0 968800903 202674176 36759 4294967295 134512640 135730672 3221224576 3221222956 134747723 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68222 0 0 0 44859 146 0 0 25 0 1 0 968800903 202936320 36844 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68226 0 0 0 45859 146 0 0 25 0 1 0 968800903 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68232 0 0 0 46859 146 0 0 25 0 1 0 968800903 202936320 36854 4294967295 134512640 135730672 3221224576 3221222864 134747563 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68238 0 0 0 47859 146 0 0 25 0 1 0 968800903 202936320 36860 4294967295 134512640 135730672 3221224576 3221222992 134748194 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68244 0 0 0 48859 146 0 0 25 0 1 0 968800903 202936320 36866 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68248 0 0 0 49859 146 0 0 25 0 1 0 968800903 202936320 36870 4294967295 134512640 135730672 3221224576 3221222864 134747543 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.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68422 0 0 0 50859 147 0 0 25 0 1 0 968800903 203464704 36979 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49674 36979 301 301 0 49373 0
vsize: 198696
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68633 0 0 0 51859 147 0 0 25 0 1 0 968800903 203988992 37060 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49802 37060 301 301 0 49501 0
vsize: 199208
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 68963 0 0 0 52858 148 0 0 25 0 1 0 968800903 205045760 37260 4294967295 134512640 135730672 3221224576 3221223056 134748554 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69259 0 0 0 53858 148 0 0 25 0 1 0 968800903 205774848 37475 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50238 37475 301 301 0 49937 0
vsize: 200952
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69351 0 0 0 54858 149 0 0 25 0 1 0 968800903 206303232 37567 4294967295 134512640 135730672 3221224576 3221222688 134732518 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69356 0 0 0 55858 149 0 0 25 0 1 0 968800903 206303232 37572 4294967295 134512640 135730672 3221224576 3221222864 134747489 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69365 0 0 0 56858 149 0 0 25 0 1 0 968800903 206303232 37581 4294967295 134512640 135730672 3221224576 3221222992 134748163 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69369 0 0 0 57859 149 0 0 25 0 1 0 968800903 206303232 37585 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37585 301 301 0 50066 0
vsize: 201468
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69386 0 0 0 58858 149 0 0 25 0 1 0 968800903 206303232 37602 4294967295 134512640 135730672 3221224576 3221222864 134747541 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69389 0 0 0 59859 149 0 0 25 0 1 0 968800903 206303232 37605 4294967295 134512640 135730672 3221224576 3221222864 134747651 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69398 0 0 0 60859 149 0 0 25 0 1 0 968800903 206303232 37614 4294967295 134512640 135730672 3221224576 3221222864 134747563 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69401 0 0 0 61859 150 0 0 25 0 1 0 968800903 206303232 37617 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37617 301 301 0 50066 0
vsize: 201468
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69407 0 0 0 62859 150 0 0 25 0 1 0 968800903 206303232 37623 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37623 301 301 0 50066 0
vsize: 201468
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69412 0 0 0 63859 150 0 0 25 0 1 0 968800903 206303232 37628 4294967295 134512640 135730672 3221224576 3221222608 134786278 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69414 0 0 0 64859 150 0 0 25 0 1 0 968800903 206303232 37630 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37630 301 301 0 50066 0
vsize: 201468
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69420 0 0 0 65859 150 0 0 25 0 1 0 968800903 206303232 37636 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37636 301 301 0 50066 0
vsize: 201468
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69427 0 0 0 66859 150 0 0 25 0 1 0 968800903 206303232 37643 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37643 301 301 0 50066 0
vsize: 201468
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69431 0 0 0 67859 150 0 0 25 0 1 0 968800903 206303232 37647 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37647 301 301 0 50066 0
vsize: 201468
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69436 0 0 0 68859 150 0 0 25 0 1 0 968800903 206303232 37652 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37652 301 301 0 50066 0
vsize: 201468
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69438 0 0 0 69860 150 0 0 25 0 1 0 968800903 206303232 37654 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37654 301 301 0 50066 0
vsize: 201468
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69448 0 0 0 70860 150 0 0 25 0 1 0 968800903 206303232 37664 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37664 301 301 0 50066 0
vsize: 201468
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69452 0 0 0 71860 150 0 0 25 0 1 0 968800903 206303232 37668 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37668 301 301 0 50066 0
vsize: 201468
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69456 0 0 0 72860 150 0 0 25 0 1 0 968800903 206303232 37672 4294967295 134512640 135730672 3221224576 3221222960 134763576 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37672 301 301 0 50066 0
vsize: 201468
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69460 0 0 0 73860 150 0 0 25 0 1 0 968800903 206303232 37676 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37676 301 301 0 50066 0
vsize: 201468
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69464 0 0 0 74860 150 0 0 25 0 1 0 968800903 206303232 37680 4294967295 134512640 135730672 3221224576 3221222864 134747708 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37680 301 301 0 50066 0
vsize: 201468
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69467 0 0 0 75860 150 0 0 25 0 1 0 968800903 206303232 37683 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37683 301 301 0 50066 0
vsize: 201468
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69472 0 0 0 76861 150 0 0 25 0 1 0 968800903 206303232 37688 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37688 301 301 0 50066 0
vsize: 201468
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69477 0 0 0 77861 150 0 0 25 0 1 0 968800903 206303232 37693 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37693 301 301 0 50066 0
vsize: 201468
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69484 0 0 0 78861 150 0 0 25 0 1 0 968800903 206303232 37700 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37700 301 301 0 50066 0
vsize: 201468
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69496 0 0 0 79861 150 0 0 25 0 1 0 968800903 206303232 37712 4294967295 134512640 135730672 3221224576 3221222688 134732459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37712 301 301 0 50066 0
vsize: 201468
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69499 0 0 0 80861 151 0 0 25 0 1 0 968800903 206303232 37715 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37715 301 301 0 50066 0
vsize: 201468
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69503 0 0 0 81861 151 0 0 25 0 1 0 968800903 206303232 37719 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37719 301 301 0 50066 0
vsize: 201468
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69506 0 0 0 82861 151 0 0 25 0 1 0 968800903 206303232 37722 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37722 301 301 0 50066 0
vsize: 201468
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69510 0 0 0 83861 151 0 0 25 0 1 0 968800903 206303232 37726 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37726 301 301 0 50066 0
vsize: 201468
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69514 0 0 0 84862 151 0 0 25 0 1 0 968800903 206303232 37730 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37730 301 301 0 50066 0
vsize: 201468
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69520 0 0 0 85862 151 0 0 25 0 1 0 968800903 206303232 37736 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37736 301 301 0 50066 0
vsize: 201468
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69524 0 0 0 86862 151 0 0 25 0 1 0 968800903 206303232 37740 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37740 301 301 0 50066 0
vsize: 201468
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69529 0 0 0 87862 151 0 0 25 0 1 0 968800903 206303232 37745 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37745 301 301 0 50066 0
vsize: 201468
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69553 0 0 0 88862 151 0 0 25 0 1 0 968800903 206303232 37769 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37769 301 301 0 50066 0
vsize: 201468
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69560 0 0 0 89862 151 0 0 25 0 1 0 968800903 206303232 37776 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37776 301 301 0 50066 0
vsize: 201468
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69588 0 0 0 90862 152 0 0 25 0 1 0 968800903 206303232 37804 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37804 301 301 0 50066 0
vsize: 201468
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69595 0 0 0 91862 152 0 0 25 0 1 0 968800903 206303232 37811 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50367 37811 301 301 0 50066 0
vsize: 201468
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69900 0 0 0 92861 152 0 0 25 0 1 0 968800903 207351808 37858 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37858 301 301 0 50322 0
vsize: 202492
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69906 0 0 0 93862 152 0 0 25 0 1 0 968800903 207351808 37864 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37864 301 301 0 50322 0
vsize: 202492
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69910 0 0 0 94862 152 0 0 25 0 1 0 968800903 207351808 37868 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37868 301 301 0 50322 0
vsize: 202492
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69922 0 0 0 95862 153 0 0 25 0 1 0 968800903 207351808 37880 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37880 301 301 0 50322 0
vsize: 202492
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69930 0 0 0 96862 153 0 0 25 0 1 0 968800903 207351808 37888 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37888 301 301 0 50322 0
vsize: 202492
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69935 0 0 0 97862 153 0 0 25 0 1 0 968800903 207351808 37893 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37893 301 301 0 50322 0
vsize: 202492
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69944 0 0 0 98862 153 0 0 25 0 1 0 968800903 207351808 37902 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37902 301 301 0 50322 0
vsize: 202492
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69947 0 0 0 99862 153 0 0 25 0 1 0 968800903 207351808 37905 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37905 301 301 0 50322 0
vsize: 202492
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69953 0 0 0 100862 153 0 0 25 0 1 0 968800903 207351808 37911 4294967295 134512640 135730672 3221224576 3221223056 134748420 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37911 301 301 0 50322 0
vsize: 202492
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69957 0 0 0 101863 153 0 0 25 0 1 0 968800903 207351808 37915 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37915 301 301 0 50322 0
vsize: 202492
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 69973 0 0 0 102863 153 0 0 25 0 1 0 968800903 207351808 37931 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50623 37931 301 301 0 50322 0
vsize: 202492
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70044 0 0 0 103863 153 0 0 25 0 1 0 968800903 207486976 37970 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37970 301 301 0 50355 0
vsize: 202624
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70051 0 0 0 104863 153 0 0 25 0 1 0 968800903 207486976 37977 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37977 301 301 0 50355 0
vsize: 202624
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70055 0 0 0 105863 154 0 0 25 0 1 0 968800903 207486976 37981 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37981 301 301 0 50355 0
vsize: 202624
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70059 0 0 0 106863 154 0 0 25 0 1 0 968800903 207486976 37985 4294967295 134512640 135730672 3221224576 3221222864 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37985 301 301 0 50355 0
vsize: 202624
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70068 0 0 0 107863 154 0 0 25 0 1 0 968800903 207486976 37994 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37994 301 301 0 50355 0
vsize: 202624
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70073 0 0 0 108863 154 0 0 25 0 1 0 968800903 207486976 37999 4294967295 134512640 135730672 3221224576 3221222864 134747552 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 37999 301 301 0 50355 0
vsize: 202624
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70082 0 0 0 109863 154 0 0 25 0 1 0 968800903 207486976 38008 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38008 301 301 0 50355 0
vsize: 202624
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70086 0 0 0 110863 154 0 0 25 0 1 0 968800903 207486976 38012 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38012 301 301 0 50355 0
vsize: 202624
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70762 0 0 0 111862 156 0 0 25 0 1 0 968800903 207486976 38016 4294967295 134512640 135730672 3221224576 3221222752 135109351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 38016 301 301 0 50355 0
vsize: 202624
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70766 0 0 0 112861 156 0 0 25 0 1 0 968800903 207486976 38020 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50656 38020 301 301 0 50355 0
vsize: 202624
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70777 0 0 0 113860 156 0 0 25 0 1 0 968800903 207486976 38031 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38031 301 301 0 50355 0
vsize: 202624
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70783 0 0 0 114861 156 0 0 25 0 1 0 968800903 207486976 38037 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38037 301 301 0 50355 0
vsize: 202624
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70789 0 0 0 115861 156 0 0 25 0 1 0 968800903 207486976 38043 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38043 301 301 0 50355 0
vsize: 202624
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70795 0 0 0 116861 156 0 0 25 0 1 0 968800903 207486976 38049 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38049 301 301 0 50355 0
vsize: 202624
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70803 0 0 0 117861 156 0 0 25 0 1 0 968800903 207486976 38057 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38057 301 301 0 50355 0
vsize: 202624
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70808 0 0 0 118861 156 0 0 25 0 1 0 968800903 207486976 38062 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38062 301 301 0 50355 0
vsize: 202624
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23414
Raw data (stat): 23412 (pb2sat-v2) R 23411 21152 21151 0 -1 0 70817 0 0 0 119861 156 0 0 25 0 1 0 968800903 207486976 38071 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50656 38071 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 23414
Raw data (stat): 23412 (pb2sat-v2) Z 23411 21152 21151 0 -1 12 70819 0 0 0 120005 164 0 0 25 0 1 0 968800903 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.54
CPU time (s): 1201.7
CPU user time (s): 1200.05
CPU system time (s): 1.64275
CPU usage (%): 100.013
Max. virtual memory (Kb): 202624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2500
#### END VERIFIER DATA ####