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/miplib3/normalized-mps-v2-13-7-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.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 35745

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 13:42:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24967 boxname=wulflinc27 idbench=1439 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 24967
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
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:        731164 kB
Buffers:         34368 kB
Cached:         239376 kB
SwapCached:        704 kB
Active:          22216 kB
Inactive:       253600 kB
HighTotal:      131008 kB
HighFree:        22960 kB
LowTotal:       903652 kB
LowFree:        708204 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            21968 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:02:46 (client local time) WITH STATUS 10 IN 1202.08 SECONDS
stats: 24967 0 1202.08 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: 2412
c [startup+52.958 s]  setting bit 14 to 1
c CONFLICT during preprocess 
c [startup+56.8739 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+60.7938 s]  setting bit 12 to 0

Decision: 651145/947803	Time: 386.936/86400
Decision: 651300/947803	Time: 617.007/86400
Decision: 651736/947803	Time: 916.238/86400
Decision: 651736/947803	Time: 1028.45/86400
Decision: 651736/947803	Time: 1136.51/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.91 0.93 0.90 2/54 21259
Raw data (stat): 21259 (runsolver) R 21258 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865243971 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.0011 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 30691 0 0 0 933 66 0 0 25 0 1 0 865243971 90394624 19545 4294967295 134512640 135726644 3221224576 3221172572 134783981 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22069 19545 300 300 0 21769 0
vsize: 88276
[startup+20.0023 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 60702 0 0 0 1875 124 0 0 25 0 1 0 865243971 178110464 38326 4294967295 134512640 135726644 3221224576 3221207724 134768801 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43484 38326 300 300 0 43184 0
vsize: 173936
[startup+30.0027 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 100377 0 0 0 2796 203 0 0 25 0 1 0 865243971 332861440 55814 4294967295 134512640 135726644 3221224576 3221204528 134554691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81265 55814 300 300 0 80965 0
vsize: 325060
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 120053 0 0 0 3759 240 0 0 25 0 1 0 865243971 352595968 75228 4294967295 134512640 135726644 3221224576 3221204632 135281270 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86083 75228 300 300 0 85783 0
vsize: 344332
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 129977 0 0 0 4736 263 0 0 25 0 1 0 865243971 373374976 82765 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91156 82765 300 300 0 90856 0
vsize: 364624
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 134993 0 0 0 5724 275 0 0 25 0 1 0 865243971 378527744 83783 4294967295 134512640 135726644 3221224576 3221223296 134736184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92414 83783 300 300 0 92114 0
vsize: 369656
[startup+70.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138459 0 0 0 6716 283 0 0 25 0 1 0 865243971 384270336 84622 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93816 84622 300 300 0 93516 0
vsize: 375264
[startup+80.0043 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138644 0 0 0 7716 284 0 0 25 0 1 0 865243971 384663552 84709 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84709 300 300 0 93612 0
vsize: 375648
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138672 0 0 0 8715 284 0 0 25 0 1 0 865243971 384663552 84737 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84737 300 300 0 93612 0
vsize: 375648
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138712 0 0 0 9715 285 0 0 25 0 1 0 865243971 384663552 84777 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84777 300 300 0 93612 0
vsize: 375648
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138730 0 0 0 10714 286 0 0 25 0 1 0 865243971 384663552 84795 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84795 300 300 0 93612 0
vsize: 375648
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138860 0 0 0 11713 287 0 0 25 0 1 0 865243971 385097728 84860 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94018 84860 300 300 0 93718 0
vsize: 376072
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138939 0 0 0 12713 287 0 0 25 0 1 0 865243971 385232896 84939 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94051 84939 300 300 0 93751 0
vsize: 376204
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 138943 0 0 0 13713 287 0 0 25 0 1 0 865243971 385232896 84943 4294967295 134512640 135726644 3221224576 3221223216 134744477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94051 84943 300 300 0 93751 0
vsize: 376204
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139039 0 0 0 14712 288 0 0 25 0 1 0 865243971 385630208 85023 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94148 85023 300 300 0 93848 0
vsize: 376592
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139127 0 0 0 15712 289 0 0 25 0 1 0 865243971 385892352 85046 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94212 85046 300 300 0 93912 0
vsize: 376848
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139276 0 0 0 16711 290 0 0 25 0 1 0 865243971 386285568 85097 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85097 300 300 0 94008 0
vsize: 377232
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139280 0 0 0 17711 290 0 0 25 0 1 0 865243971 386285568 85101 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85101 300 300 0 94008 0
vsize: 377232
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139285 0 0 0 18711 290 0 0 25 0 1 0 865243971 386285568 85106 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85106 300 300 0 94008 0
vsize: 377232
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139388 0 0 0 19710 291 0 0 25 0 1 0 865243971 386547712 85144 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94372 85144 300 300 0 94072 0
vsize: 377488
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139463 0 0 0 20710 291 0 0 25 0 1 0 865243971 386547712 85219 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94372 85219 300 300 0 94072 0
vsize: 377488
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139466 0 0 0 21710 291 0 0 25 0 1 0 865243971 386547712 85222 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94372 85222 300 300 0 94072 0
vsize: 377488
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 139835 0 0 0 22709 292 0 0 25 0 1 0 865243971 388038656 85493 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94736 85493 300 300 0 94436 0
vsize: 378944
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 140590 0 0 0 23707 294 0 0 25 0 1 0 865243971 390430720 85970 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95320 85970 300 300 0 95020 0
vsize: 381280
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 140838 0 0 0 24706 295 0 0 25 0 1 0 865243971 391225344 86153 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86153 300 300 0 95214 0
vsize: 382056
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141141 0 0 0 25705 297 0 0 25 0 1 0 865243971 392011776 86262 4294967295 134512640 135726644 3221224576 3221223264 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86262 300 300 0 95406 0
vsize: 382824
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141180 0 0 0 26705 297 0 0 25 0 1 0 865243971 392011776 86301 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86301 300 300 0 95406 0
vsize: 382824
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141184 0 0 0 27704 297 0 0 25 0 1 0 865243971 392011776 86305 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86305 300 300 0 95406 0
vsize: 382824
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141350 0 0 0 28704 298 0 0 25 0 1 0 865243971 392536064 86342 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86342 300 300 0 95534 0
vsize: 383336
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141370 0 0 0 29704 298 0 0 25 0 1 0 865243971 392536064 86362 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86362 300 300 0 95534 0
vsize: 383336
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141373 0 0 0 30704 299 0 0 25 0 1 0 865243971 392536064 86365 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86365 300 300 0 95534 0
vsize: 383336
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141415 0 0 0 31704 299 0 0 25 0 1 0 865243971 392536064 86407 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86407 300 300 0 95534 0
vsize: 383336
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141417 0 0 0 32704 299 0 0 25 0 1 0 865243971 392470528 86393 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95818 86393 300 300 0 95518 0
vsize: 383272
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141430 0 0 0 33702 300 0 0 25 0 1 0 865243971 392470528 86406 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95818 86406 300 300 0 95518 0
vsize: 383272
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141604 0 0 0 34702 301 0 0 25 0 1 0 865243971 392994816 86451 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95946 86451 300 300 0 95646 0
vsize: 383784
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141775 0 0 0 35701 302 0 0 25 0 1 0 865243971 393519104 86493 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86493 300 300 0 95774 0
vsize: 384296
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141777 0 0 0 36701 303 0 0 25 0 1 0 865243971 393519104 86495 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86495 300 300 0 95774 0
vsize: 384296
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141779 0 0 0 37701 303 0 0 25 0 1 0 865243971 393519104 86497 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86497 300 300 0 95774 0
vsize: 384296
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141788 0 0 0 38700 303 0 0 25 0 1 0 865243971 393519104 86506 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86506 300 300 0 95774 0
vsize: 384296
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 141791 0 0 0 39700 304 0 0 25 0 1 0 865243971 393519104 86509 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86509 300 300 0 95774 0
vsize: 384296
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 142901 0 0 0 40697 306 0 0 25 0 1 0 865243971 396828672 87114 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96882 87114 300 300 0 96582 0
vsize: 387528
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 143381 0 0 0 41696 308 0 0 25 0 1 0 865243971 398286848 87365 4294967295 134512640 135726644 3221224576 3221223120 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97238 87365 300 300 0 96938 0
vsize: 388952
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 143644 0 0 0 42696 308 0 0 25 0 1 0 865243971 398811136 87497 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97366 87497 300 300 0 97066 0
vsize: 389464
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 143954 0 0 0 43695 309 0 0 25 0 1 0 865243971 399597568 87613 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97558 87613 300 300 0 97258 0
vsize: 390232
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 145863 0 0 0 44690 314 0 0 25 0 1 0 865243971 399728640 87637 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97590 87637 300 300 0 97290 0
vsize: 390360
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 145958 0 0 0 45689 315 0 0 25 0 1 0 865243971 400187392 87667 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97702 87667 300 300 0 97402 0
vsize: 390808
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 146313 0 0 0 46688 316 0 0 25 0 1 0 865243971 401244160 87825 4294967295 134512640 135726644 3221224576 3221223200 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97960 87825 300 300 0 97660 0
vsize: 391840
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 147182 0 0 0 47686 318 0 0 25 0 1 0 865243971 403886080 88336 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98605 88336 300 300 0 98305 0
vsize: 394420
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 147723 0 0 0 48685 320 0 0 25 0 1 0 865243971 405196800 88552 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98925 88552 300 300 0 98625 0
vsize: 395700
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 147989 0 0 0 49685 320 0 0 25 0 1 0 865243971 405987328 88688 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99118 88688 300 300 0 98818 0
vsize: 396472
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 147992 0 0 0 50684 321 0 0 25 0 1 0 865243971 405987328 88691 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99118 88691 300 300 0 98818 0
vsize: 396472
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148123 0 0 0 51683 322 0 0 25 0 1 0 865243971 406249472 88757 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99182 88757 300 300 0 98882 0
vsize: 396728
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148149 0 0 0 52683 322 0 0 25 0 1 0 865243971 406249472 88783 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99182 88783 300 300 0 98882 0
vsize: 396728
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148525 0 0 0 53682 323 0 0 25 0 1 0 865243971 407105536 88980 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99391 88980 300 300 0 99091 0
vsize: 397564
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148529 0 0 0 54682 323 0 0 25 0 1 0 865243971 407105536 88984 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99391 88984 300 300 0 99091 0
vsize: 397564
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148676 0 0 0 55682 324 0 0 25 0 1 0 865243971 407629824 89002 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99519 89002 300 300 0 99219 0
vsize: 398076
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148827 0 0 0 56681 325 0 0 25 0 1 0 865243971 408154112 89024 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89024 300 300 0 99347 0
vsize: 398588
[startup+580.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148846 0 0 0 57681 325 0 0 25 0 1 0 865243971 408154112 89043 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89043 300 300 0 99347 0
vsize: 398588
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 148850 0 0 0 58681 326 0 0 25 0 1 0 865243971 408154112 89047 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89047 300 300 0 99347 0
vsize: 398588
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149026 0 0 0 59680 326 0 0 25 0 1 0 865243971 408678400 89094 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89094 300 300 0 99475 0
vsize: 399100
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149030 0 0 0 60679 327 0 0 25 0 1 0 865243971 408678400 89098 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89098 300 300 0 99475 0
vsize: 399100
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149035 0 0 0 61679 328 0 0 25 0 1 0 865243971 408678400 89103 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89103 300 300 0 99475 0
vsize: 399100
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149041 0 0 0 62679 328 0 0 25 0 1 0 865243971 408678400 89109 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89109 300 300 0 99475 0
vsize: 399100
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149046 0 0 0 63679 328 0 0 25 0 1 0 865243971 408678400 89114 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89114 300 300 0 99475 0
vsize: 399100
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149051 0 0 0 64678 329 0 0 25 0 1 0 865243971 408678400 89119 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89119 300 300 0 99475 0
vsize: 399100
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149060 0 0 0 65678 329 0 0 25 0 1 0 865243971 408678400 89128 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89128 300 300 0 99475 0
vsize: 399100
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 149064 0 0 0 66678 330 0 0 25 0 1 0 865243971 408678400 89132 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89132 300 300 0 99475 0
vsize: 399100
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 150920 0 0 0 67674 334 0 0 25 0 1 0 865243971 408678400 89136 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89136 300 300 0 99475 0
vsize: 399100
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 150922 0 0 0 68673 335 0 0 25 0 1 0 865243971 408678400 89138 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89138 300 300 0 99475 0
vsize: 399100
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 150926 0 0 0 69673 335 0 0 25 0 1 0 865243971 408678400 89142 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89142 300 300 0 99475 0
vsize: 399100
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 150983 0 0 0 70673 335 0 0 25 0 1 0 865243971 408809472 89166 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99807 89166 300 300 0 99507 0
vsize: 399228
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 150986 0 0 0 71672 336 0 0 25 0 1 0 865243971 408809472 89169 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99807 89169 300 300 0 99507 0
vsize: 399228
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151004 0 0 0 72672 337 0 0 25 0 1 0 865243971 408809472 89187 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99807 89187 300 300 0 99507 0
vsize: 399228
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151177 0 0 0 73672 337 0 0 25 0 1 0 865243971 409333760 89230 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89230 300 300 0 99635 0
vsize: 399740
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151181 0 0 0 74671 338 0 0 25 0 1 0 865243971 409333760 89234 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99935 89234 300 300 0 99635 0
vsize: 399740
[startup+760.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151191 0 0 0 75671 338 0 0 25 0 1 0 865243971 409333760 89244 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99935 89244 300 300 0 99635 0
vsize: 399740
[startup+770.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151211 0 0 0 76672 338 0 0 25 0 1 0 865243971 409333760 89264 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99935 89264 300 300 0 99635 0
vsize: 399740
[startup+780.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151220 0 0 0 77673 338 0 0 25 0 1 0 865243971 409333760 89273 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99935 89273 300 300 0 99635 0
vsize: 399740
[startup+790.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151371 0 0 0 78673 338 0 0 25 0 1 0 865243971 409858048 89295 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100063 89295 300 300 0 99763 0
vsize: 400252
[startup+800.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151374 0 0 0 79674 338 0 0 25 0 1 0 865243971 409858048 89298 4294967295 134512640 135726644 3221224576 3221223168 134760398 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100063 89298 300 300 0 99763 0
vsize: 400252
[startup+810.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151378 0 0 0 80674 338 0 0 25 0 1 0 865243971 409858048 89302 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100063 89302 300 300 0 99763 0
vsize: 400252
[startup+820.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151380 0 0 0 81674 338 0 0 25 0 1 0 865243971 409858048 89304 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100063 89304 300 300 0 99763 0
vsize: 400252
[startup+830.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151392 0 0 0 82675 339 0 0 25 0 1 0 865243971 409858048 89316 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100063 89316 300 300 0 99763 0
vsize: 400252
[startup+840.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151559 0 0 0 83674 339 0 0 25 0 1 0 865243971 410251264 89385 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89385 300 300 0 99859 0
vsize: 400636
[startup+850.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151561 0 0 0 84674 339 0 0 25 0 1 0 865243971 410251264 89387 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89387 300 300 0 99859 0
vsize: 400636
[startup+860.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151563 0 0 0 85674 339 0 0 25 0 1 0 865243971 410251264 89389 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89389 300 300 0 99859 0
vsize: 400636
[startup+870.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151564 0 0 0 86675 339 0 0 25 0 1 0 865243971 410251264 89390 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89390 300 300 0 99859 0
vsize: 400636
[startup+880.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151568 0 0 0 87675 339 0 0 25 0 1 0 865243971 410251264 89394 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89394 300 300 0 99859 0
vsize: 400636
[startup+890.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151570 0 0 0 88675 339 0 0 25 0 1 0 865243971 410251264 89396 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89396 300 300 0 99859 0
vsize: 400636
[startup+900.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151574 0 0 0 89675 340 0 0 25 0 1 0 865243971 410251264 89400 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89400 300 300 0 99859 0
vsize: 400636
[startup+910.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151577 0 0 0 90675 340 0 0 25 0 1 0 865243971 410251264 89403 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89403 300 300 0 99859 0
vsize: 400636
[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151580 0 0 0 91675 340 0 0 25 0 1 0 865243971 410251264 89406 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89406 300 300 0 99859 0
vsize: 400636
[startup+930.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151584 0 0 0 92675 340 0 0 25 0 1 0 865243971 410251264 89410 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89410 300 300 0 99859 0
vsize: 400636
[startup+940.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151590 0 0 0 93675 340 0 0 25 0 1 0 865243971 410251264 89416 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89416 300 300 0 99859 0
vsize: 400636
[startup+950.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151592 0 0 0 94675 340 0 0 25 0 1 0 865243971 410251264 89418 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89418 300 300 0 99859 0
vsize: 400636
[startup+960.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151596 0 0 0 95676 340 0 0 25 0 1 0 865243971 410251264 89422 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89422 300 300 0 99859 0
vsize: 400636
[startup+970.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 151600 0 0 0 96676 340 0 0 25 0 1 0 865243971 410251264 89426 4294967295 134512640 135726644 3221224576 3221222896 134728909 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89426 300 300 0 99859 0
vsize: 400636
[startup+980.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153460 0 0 0 97671 345 0 0 25 0 1 0 865243971 410251264 89434 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89434 300 300 0 99859 0
vsize: 400636
[startup+990.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153513 0 0 0 98671 345 0 0 25 0 1 0 865243971 410251264 89487 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89487 300 300 0 99859 0
vsize: 400636
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153517 0 0 0 99671 345 0 0 25 0 1 0 865243971 410251264 89491 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89491 300 300 0 99859 0
vsize: 400636
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153526 0 0 0 100674 345 0 0 25 0 1 0 865243971 410251264 89500 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89500 300 300 0 99859 0
vsize: 400636
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153529 0 0 0 101674 345 0 0 25 0 1 0 865243971 410251264 89503 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89503 300 300 0 99859 0
vsize: 400636
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153532 0 0 0 102674 345 0 0 25 0 1 0 865243971 410251264 89506 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89506 300 300 0 99859 0
vsize: 400636
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21259
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153537 0 0 0 103675 345 0 0 25 0 1 0 865243971 410251264 89511 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89511 300 300 0 99859 0
vsize: 400636
[startup+1050.11 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153539 0 0 0 104669 348 0 0 25 0 1 0 865243971 410251264 89513 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89513 300 300 0 99859 0
vsize: 400636
[startup+1060.11 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153544 0 0 0 105670 348 0 0 25 0 1 0 865243971 410251264 89518 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89518 300 300 0 99859 0
vsize: 400636
[startup+1070.13 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153549 0 0 0 106671 349 0 0 25 0 1 0 865243971 410251264 89523 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89523 300 300 0 99859 0
vsize: 400636
[startup+1080.13 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 153555 0 0 0 107671 349 0 0 25 0 1 0 865243971 410251264 89529 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89529 300 300 0 99859 0
vsize: 400636
[startup+1090.13 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155410 0 0 0 108667 353 0 0 25 0 1 0 865243971 410251264 89532 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89532 300 300 0 99859 0
vsize: 400636
[startup+1100.13 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155415 0 0 0 109667 353 0 0 25 0 1 0 865243971 410251264 89537 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89537 300 300 0 99859 0
vsize: 400636
[startup+1110.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21312
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155418 0 0 0 110667 353 0 0 25 0 1 0 865243971 410251264 89540 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89540 300 300 0 99859 0
vsize: 400636
[startup+1120.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155423 0 0 0 111668 353 0 0 25 0 1 0 865243971 410251264 89545 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89545 300 300 0 99859 0
vsize: 400636
[startup+1130.13 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155427 0 0 0 112668 353 0 0 25 0 1 0 865243971 410251264 89549 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89549 300 300 0 99859 0
vsize: 400636
[startup+1140.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155430 0 0 0 113668 353 0 0 25 0 1 0 865243971 410251264 89552 4294967295 134512640 135726644 3221224576 3221223264 134745093 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89552 300 300 0 99859 0
vsize: 400636
[startup+1150.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155435 0 0 0 114668 353 0 0 25 0 1 0 865243971 410251264 89557 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89557 300 300 0 99859 0
vsize: 400636
[startup+1160.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155441 0 0 0 115668 353 0 0 25 0 1 0 865243971 410251264 89563 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89563 300 300 0 99859 0
vsize: 400636
[startup+1170.13 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155448 0 0 0 116668 354 0 0 25 0 1 0 865243971 410251264 89570 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89570 300 300 0 99859 0
vsize: 400636
[startup+1180.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155451 0 0 0 117668 354 0 0 25 0 1 0 865243971 410251264 89573 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89573 300 300 0 99859 0
vsize: 400636
[startup+1190.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 155455 0 0 0 118668 354 0 0 25 0 1 0 865243971 410251264 89577 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89577 300 300 0 99859 0
vsize: 400636
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21314
Raw data (stat): 21259 (pb2sat) R 21258 3394 3393 0 -1 0 157310 0 0 0 119664 358 0 0 25 0 1 0 865243971 410251264 89580 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89580 300 300 0 99859 0
vsize: 400636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.98 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 21314
Raw data (stat): 21259 (pb2sat) Z 21258 3394 3393 0 -1 12 157311 0 0 0 119831 376 0 0 25 0 1 0 865243971 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.98
CPU time (s): 1202.08
CPU user time (s): 1198.31
CPU system time (s): 3.76343
CPU usage (%): 100.008
Max. virtual memory (Kb): 400636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2412
#### END VERIFIER DATA ####