PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-28 12:38:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24583 boxname=wulflinc21 idbench=1055 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 24583
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        847848 kB
Buffers:         34632 kB
Cached:         129176 kB
SwapCached:        956 kB
Active:          53976 kB
Inactive:       112000 kB
HighTotal:      131008 kB
HighFree:          588 kB
LowTotal:       903652 kB
LowFree:        847260 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15296 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:58:33 (client local time) WITH STATUS 10 IN 1202.12 SECONDS
stats: 24583 0 1202.12 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+53.2102 s]  setting bit 14 to 1
c CONFLICT during preprocess 
c [startup+57.1854 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+61.1528 s]  setting bit 12 to 0

Decision: 651145/947803	Time: 387.145/86400
Decision: 651300/947803	Time: 617.312/86400
Decision: 651736/947803	Time: 914.368/86400
Decision: 651736/947803	Time: 1025.48/86400
Decision: 651736/947803	Time: 1132.52/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.90 0.93 0.90 2/55 14593
Raw data (stat): 14593 (runsolver) D 14592 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 742129654 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 30499 0 0 0 935 64 0 0 25 0 1 0 742129654 90124288 19355 4294967295 134512640 135726644 3221224576 3221205292 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22003 19355 300 300 0 21703 0
vsize: 88012
[startup+20.0008 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 60456 0 0 0 1876 124 0 0 25 0 1 0 742129654 177704960 38083 4294967295 134512640 135726644 3221224576 3221194872 134809928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43385 38085 300 300 0 43085 0
vsize: 173540
[startup+30.0004 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 100217 0 0 0 2795 204 0 0 25 0 1 0 742129654 332861440 55656 4294967295 134512640 135726644 3221224576 3221181804 134634291 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81265 55656 300 300 0 80965 0
vsize: 325060
[startup+40.0001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 119808 0 0 0 3754 246 0 0 25 0 1 0 742129654 352325632 74986 4294967295 134512640 135726644 3221224576 3221208480 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86017 74987 300 300 0 85717 0
vsize: 344068
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 129769 0 0 0 4732 268 0 0 25 0 1 0 742129654 372359168 82557 4294967295 134512640 135726644 3221224576 3221222824 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90908 82557 300 300 0 90608 0
vsize: 363632
[startup+60.0006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 134993 0 0 0 5719 280 0 0 25 0 1 0 742129654 378527744 83783 4294967295 134512640 135726644 3221224576 3221223120 134746052 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92414 83783 300 300 0 92114 0
vsize: 369656
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138459 0 0 0 6711 288 0 0 25 0 1 0 742129654 384270336 84622 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93816 84622 300 300 0 93516 0
vsize: 375264
[startup+80.0019 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138639 0 0 0 7711 288 0 0 25 0 1 0 742129654 384663552 84704 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93912 84704 300 300 0 93612 0
vsize: 375648
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138672 0 0 0 8711 288 0 0 25 0 1 0 742129654 384663552 84737 4294967295 134512640 135726644 3221224576 3221223072 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93912 84737 300 300 0 93612 0
vsize: 375648
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138712 0 0 0 9711 288 0 0 25 0 1 0 742129654 384663552 84777 4294967295 134512640 135726644 3221224576 3221223232 134731251 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.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138730 0 0 0 10710 288 0 0 25 0 1 0 742129654 384663552 84795 4294967295 134512640 135726644 3221224576 3221222896 134728934 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.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138860 0 0 0 11710 289 0 0 25 0 1 0 742129654 385097728 84860 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94018 84860 300 300 0 93718 0
vsize: 376072
[startup+130.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138939 0 0 0 12710 289 0 0 25 0 1 0 742129654 385232896 84939 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94051 84939 300 300 0 93751 0
vsize: 376204
[startup+140.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 138943 0 0 0 13710 289 0 0 25 0 1 0 742129654 385232896 84943 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94051 84943 300 300 0 93751 0
vsize: 376204
[startup+150.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139039 0 0 0 14710 289 0 0 25 0 1 0 742129654 385630208 85023 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94148 85023 300 300 0 93848 0
vsize: 376592
[startup+160.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139127 0 0 0 15710 289 0 0 25 0 1 0 742129654 385892352 85046 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94212 85046 300 300 0 93912 0
vsize: 376848
[startup+170.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139276 0 0 0 16710 290 0 0 25 0 1 0 742129654 386285568 85097 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94308 85097 300 300 0 94008 0
vsize: 377232
[startup+180.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139280 0 0 0 17710 290 0 0 25 0 1 0 742129654 386285568 85101 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94308 85101 300 300 0 94008 0
vsize: 377232
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139285 0 0 0 18710 290 0 0 25 0 1 0 742129654 386285568 85106 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94308 85106 300 300 0 94008 0
vsize: 377232
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139388 0 0 0 19710 290 0 0 25 0 1 0 742129654 386547712 85144 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94372 85144 300 300 0 94072 0
vsize: 377488
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139463 0 0 0 20710 290 0 0 25 0 1 0 742129654 386547712 85219 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94372 85219 300 300 0 94072 0
vsize: 377488
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139466 0 0 0 21710 290 0 0 25 0 1 0 742129654 386547712 85222 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94372 85222 300 300 0 94072 0
vsize: 377488
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 139825 0 0 0 22710 291 0 0 25 0 1 0 742129654 388038656 85483 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94736 85483 300 300 0 94436 0
vsize: 378944
[startup+240.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 140569 0 0 0 23709 292 0 0 25 0 1 0 742129654 390295552 85949 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95287 85949 300 300 0 94987 0
vsize: 381148
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 140838 0 0 0 24708 293 0 0 25 0 1 0 742129654 391225344 86153 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95514 86153 300 300 0 95214 0
vsize: 382056
[startup+260.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141141 0 0 0 25708 293 0 0 25 0 1 0 742129654 392011776 86262 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95706 86262 300 300 0 95406 0
vsize: 382824
[startup+270.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141180 0 0 0 26708 294 0 0 25 0 1 0 742129654 392011776 86301 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95706 86301 300 300 0 95406 0
vsize: 382824
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141184 0 0 0 27708 294 0 0 25 0 1 0 742129654 392011776 86305 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95706 86305 300 300 0 95406 0
vsize: 382824
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141346 0 0 0 28708 294 0 0 25 0 1 0 742129654 392536064 86338 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95834 86338 300 300 0 95534 0
vsize: 383336
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141370 0 0 0 29708 294 0 0 25 0 1 0 742129654 392536064 86362 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95834 86362 300 300 0 95534 0
vsize: 383336
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141373 0 0 0 30708 294 0 0 25 0 1 0 742129654 392536064 86365 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95834 86365 300 300 0 95534 0
vsize: 383336
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141415 0 0 0 31708 295 0 0 25 0 1 0 742129654 392536064 86407 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95834 86407 300 300 0 95534 0
vsize: 383336
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141416 0 0 0 32708 295 0 0 25 0 1 0 742129654 392470528 86392 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95818 86392 300 300 0 95518 0
vsize: 383272
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141430 0 0 0 33708 295 0 0 25 0 1 0 742129654 392470528 86406 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95818 86406 300 300 0 95518 0
vsize: 383272
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141604 0 0 0 34708 295 0 0 25 0 1 0 742129654 392994816 86451 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95946 86451 300 300 0 95646 0
vsize: 383784
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141775 0 0 0 35707 296 0 0 25 0 1 0 742129654 393519104 86493 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96074 86493 300 300 0 95774 0
vsize: 384296
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141777 0 0 0 36707 296 0 0 25 0 1 0 742129654 393519104 86495 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96074 86495 300 300 0 95774 0
vsize: 384296
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141779 0 0 0 37707 296 0 0 25 0 1 0 742129654 393519104 86497 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96074 86497 300 300 0 95774 0
vsize: 384296
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141788 0 0 0 38708 296 0 0 25 0 1 0 742129654 393519104 86506 4294967295 134512640 135726644 3221224576 3221223168 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96074 86506 300 300 0 95774 0
vsize: 384296
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 141791 0 0 0 39708 296 0 0 25 0 1 0 742129654 393519104 86509 4294967295 134512640 135726644 3221224576 3221223200 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96074 86509 300 300 0 95774 0
vsize: 384296
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 142849 0 0 0 40706 298 0 0 25 0 1 0 742129654 396697600 87095 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96850 87095 300 300 0 96550 0
vsize: 387400
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 143371 0 0 0 41705 299 0 0 25 0 1 0 742129654 398286848 87355 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97238 87355 300 300 0 96938 0
vsize: 388952
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 143643 0 0 0 42705 300 0 0 25 0 1 0 742129654 398811136 87496 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97366 87496 300 300 0 97066 0
vsize: 389464
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 143954 0 0 0 43704 300 0 0 25 0 1 0 742129654 399597568 87613 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97558 87613 300 300 0 97258 0
vsize: 390232
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 145863 0 0 0 44700 305 0 0 25 0 1 0 742129654 399728640 87637 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 145876 0 0 0 45699 305 0 0 25 0 1 0 742129654 399925248 87650 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97638 87650 300 300 0 97338 0
vsize: 390552
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 146313 0 0 0 46698 307 0 0 25 0 1 0 742129654 401244160 87825 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97960 87825 300 300 0 97660 0
vsize: 391840
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 147182 0 0 0 47697 308 0 0 25 0 1 0 742129654 403886080 88336 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98605 88336 300 300 0 98305 0
vsize: 394420
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 147723 0 0 0 48696 309 0 0 25 0 1 0 742129654 405196800 88552 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98925 88552 300 300 0 98625 0
vsize: 395700
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 147989 0 0 0 49694 311 0 0 25 0 1 0 742129654 405987328 88688 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99118 88688 300 300 0 98818 0
vsize: 396472
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 147992 0 0 0 50694 311 0 0 25 0 1 0 742129654 405987328 88691 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99118 88691 300 300 0 98818 0
vsize: 396472
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148123 0 0 0 51694 311 0 0 25 0 1 0 742129654 406249472 88757 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99182 88757 300 300 0 98882 0
vsize: 396728
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148130 0 0 0 52694 311 0 0 25 0 1 0 742129654 406249472 88764 4294967295 134512640 135726644 3221224576 3221223072 134744305 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99182 88764 300 300 0 98882 0
vsize: 396728
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148525 0 0 0 53694 312 0 0 25 0 1 0 742129654 407105536 88980 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99391 88980 300 300 0 99091 0
vsize: 397564
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148528 0 0 0 54694 312 0 0 25 0 1 0 742129654 407105536 88983 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99391 88983 300 300 0 99091 0
vsize: 397564
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148533 0 0 0 55694 313 0 0 25 0 1 0 742129654 407105536 88988 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99391 88988 300 300 0 99091 0
vsize: 397564
[startup+570.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148827 0 0 0 56693 313 0 0 25 0 1 0 742129654 408154112 89024 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99647 89024 300 300 0 99347 0
vsize: 398588
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148846 0 0 0 57693 314 0 0 25 0 1 0 742129654 408154112 89043 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99647 89043 300 300 0 99347 0
vsize: 398588
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 148850 0 0 0 58693 314 0 0 25 0 1 0 742129654 408154112 89047 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99647 89047 300 300 0 99347 0
vsize: 398588
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149025 0 0 0 59693 314 0 0 25 0 1 0 742129654 408678400 89093 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89093 300 300 0 99475 0
vsize: 399100
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149030 0 0 0 60693 314 0 0 25 0 1 0 742129654 408678400 89098 4294967295 134512640 135726644 3221224576 3221223072 134743925 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89098 300 300 0 99475 0
vsize: 399100
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149034 0 0 0 61693 315 0 0 25 0 1 0 742129654 408678400 89102 4294967295 134512640 135726644 3221224576 3221223168 134760407 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89102 300 300 0 99475 0
vsize: 399100
[startup+630.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149041 0 0 0 62693 315 0 0 25 0 1 0 742129654 408678400 89109 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89109 300 300 0 99475 0
vsize: 399100
[startup+640.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149045 0 0 0 63693 315 0 0 25 0 1 0 742129654 408678400 89113 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89113 300 300 0 99475 0
vsize: 399100
[startup+650.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149050 0 0 0 64693 315 0 0 25 0 1 0 742129654 408678400 89118 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89118 300 300 0 99475 0
vsize: 399100
[startup+660.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149060 0 0 0 65693 315 0 0 25 0 1 0 742129654 408678400 89128 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89128 300 300 0 99475 0
vsize: 399100
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 149064 0 0 0 66693 315 0 0 25 0 1 0 742129654 408678400 89132 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89132 300 300 0 99475 0
vsize: 399100
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 150920 0 0 0 67689 320 0 0 25 0 1 0 742129654 408678400 89136 4294967295 134512640 135726644 3221224576 3221223056 134729188 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.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 150922 0 0 0 68688 320 0 0 25 0 1 0 742129654 408678400 89138 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89138 300 300 0 99475 0
vsize: 399100
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 150925 0 0 0 69688 320 0 0 25 0 1 0 742129654 408678400 89141 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89141 300 300 0 99475 0
vsize: 399100
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 150971 0 0 0 70688 321 0 0 25 0 1 0 742129654 408809472 89154 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99807 89154 300 300 0 99507 0
vsize: 399228
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 150986 0 0 0 71688 321 0 0 25 0 1 0 742129654 408809472 89169 4294967295 134512640 135726644 3221224576 3221223072 134743928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99807 89169 300 300 0 99507 0
vsize: 399228
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151003 0 0 0 72688 321 0 0 25 0 1 0 742129654 408809472 89186 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99807 89186 300 300 0 99507 0
vsize: 399228
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151176 0 0 0 73688 321 0 0 25 0 1 0 742129654 409333760 89229 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99935 89229 300 300 0 99635 0
vsize: 399740
[startup+750.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151181 0 0 0 74688 321 0 0 25 0 1 0 742129654 409333760 89234 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151191 0 0 0 75688 321 0 0 25 0 1 0 742129654 409333760 89244 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151211 0 0 0 76688 321 0 0 25 0 1 0 742129654 409333760 89264 4294967295 134512640 135726644 3221224576 3221223072 134744169 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151220 0 0 0 77688 322 0 0 25 0 1 0 742129654 409333760 89273 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151371 0 0 0 78688 322 0 0 25 0 1 0 742129654 409858048 89295 4294967295 134512640 135726644 3221224576 3221223072 134743980 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151374 0 0 0 79688 322 0 0 25 0 1 0 742129654 409858048 89298 4294967295 134512640 135726644 3221224576 3221223072 134744163 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151378 0 0 0 80688 322 0 0 25 0 1 0 742129654 409858048 89302 4294967295 134512640 135726644 3221224576 3221223200 134744557 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151380 0 0 0 81688 322 0 0 25 0 1 0 742129654 409858048 89304 4294967295 134512640 135726644 3221224576 3221223072 134744004 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151392 0 0 0 82688 322 0 0 25 0 1 0 742129654 409858048 89316 4294967295 134512640 135726644 3221224576 3221223072 134744163 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151559 0 0 0 83688 322 0 0 25 0 1 0 742129654 410251264 89385 4294967295 134512640 135726644 3221224576 3221223232 134731265 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151561 0 0 0 84688 323 0 0 25 0 1 0 742129654 410251264 89387 4294967295 134512640 135726644 3221224576 3221223232 134731263 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151563 0 0 0 85688 323 0 0 25 0 1 0 742129654 410251264 89389 4294967295 134512640 135726644 3221224576 3221223184 134744646 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151564 0 0 0 86688 323 0 0 25 0 1 0 742129654 410251264 89390 4294967295 134512640 135726644 3221224576 3221223168 134759980 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151568 0 0 0 87688 323 0 0 25 0 1 0 742129654 410251264 89394 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151570 0 0 0 88688 323 0 0 25 0 1 0 742129654 410251264 89396 4294967295 134512640 135726644 3221224576 3221223200 134744520 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151574 0 0 0 89688 323 0 0 25 0 1 0 742129654 410251264 89400 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151577 0 0 0 90689 323 0 0 25 0 1 0 742129654 410251264 89403 4294967295 134512640 135726644 3221224576 3221222904 134735638 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.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151581 0 0 0 91689 323 0 0 25 0 1 0 742129654 410251264 89407 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89407 300 300 0 99859 0
vsize: 400636
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151585 0 0 0 92689 323 0 0 25 0 1 0 742129654 410251264 89411 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89411 300 300 0 99859 0
vsize: 400636
[startup+940.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151590 0 0 0 93689 323 0 0 25 0 1 0 742129654 410251264 89416 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151593 0 0 0 94689 324 0 0 25 0 1 0 742129654 410251264 89419 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89419 300 300 0 99859 0
vsize: 400636
[startup+960.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151597 0 0 0 95689 324 0 0 25 0 1 0 742129654 410251264 89423 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89423 300 300 0 99859 0
vsize: 400636
[startup+970.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 151600 0 0 0 96689 324 0 0 25 0 1 0 742129654 410251264 89426 4294967295 134512640 135726644 3221224576 3221223232 134731263 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.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153461 0 0 0 97684 329 0 0 25 0 1 0 742129654 410251264 89435 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89435 300 300 0 99859 0
vsize: 400636
[startup+990.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153513 0 0 0 98684 329 0 0 25 0 1 0 742129654 410251264 89487 4294967295 134512640 135726644 3221224576 3221223072 134743961 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 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153518 0 0 0 99684 329 0 0 25 0 1 0 742129654 410251264 89492 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89492 300 300 0 99859 0
vsize: 400636
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153526 0 0 0 100685 329 0 0 25 0 1 0 742129654 410251264 89500 4294967295 134512640 135726644 3221224576 3221223072 134744163 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153529 0 0 0 101685 329 0 0 25 0 1 0 742129654 410251264 89503 4294967295 134512640 135726644 3221224576 3221223072 134743901 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153533 0 0 0 102685 329 0 0 25 0 1 0 742129654 410251264 89507 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89507 300 300 0 99859 0
vsize: 400636
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153538 0 0 0 103696 329 0 0 25 0 1 0 742129654 410251264 89512 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89512 300 300 0 99859 0
vsize: 400636
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153540 0 0 0 104695 329 0 0 25 0 1 0 742129654 410251264 89514 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89514 300 300 0 99859 0
vsize: 400636
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153545 0 0 0 105695 330 0 0 25 0 1 0 742129654 410251264 89519 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89519 300 300 0 99859 0
vsize: 400636
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153551 0 0 0 106696 330 0 0 25 0 1 0 742129654 410251264 89525 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89525 300 300 0 99859 0
vsize: 400636
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 153556 0 0 0 107696 330 0 0 25 0 1 0 742129654 410251264 89530 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89530 300 300 0 99859 0
vsize: 400636
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155411 0 0 0 108691 335 0 0 25 0 1 0 742129654 410251264 89533 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89533 300 300 0 99859 0
vsize: 400636
[startup+1100.11 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155416 0 0 0 109691 335 0 0 25 0 1 0 742129654 410251264 89538 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89538 300 300 0 99859 0
vsize: 400636
[startup+1110.11 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155420 0 0 0 110690 336 0 0 25 0 1 0 742129654 410251264 89542 4294967295 134512640 135726644 3221224576 3221223264 134744878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89542 300 300 0 99859 0
vsize: 400636
[startup+1120.11 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155425 0 0 0 111691 336 0 0 25 0 1 0 742129654 410251264 89547 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89547 300 300 0 99859 0
vsize: 400636
[startup+1130.11 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155428 0 0 0 112691 336 0 0 25 0 1 0 742129654 410251264 89550 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89550 300 300 0 99859 0
vsize: 400636
[startup+1140.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155431 0 0 0 113691 336 0 0 25 0 1 0 742129654 410251264 89553 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89553 300 300 0 99859 0
vsize: 400636
[startup+1150.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155437 0 0 0 114691 336 0 0 25 0 1 0 742129654 410251264 89559 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89559 300 300 0 99859 0
vsize: 400636
[startup+1160.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155443 0 0 0 115691 336 0 0 25 0 1 0 742129654 410251264 89565 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89565 300 300 0 99859 0
vsize: 400636
[startup+1170.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155449 0 0 0 116691 336 0 0 25 0 1 0 742129654 410251264 89571 4294967295 134512640 135726644 3221224576 3221222896 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89571 300 300 0 99859 0
vsize: 400636
[startup+1180.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155453 0 0 0 117691 336 0 0 25 0 1 0 742129654 410251264 89575 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89575 300 300 0 99859 0
vsize: 400636
[startup+1190.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 155456 0 0 0 118691 337 0 0 25 0 1 0 742129654 410251264 89578 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89578 300 300 0 99859 0
vsize: 400636
[startup+1200.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 14593
Raw data (stat): 14593 (pb2sat) R 14592 32363 32362 0 -1 0 157312 0 0 0 119687 341 0 0 25 0 1 0 742129654 410251264 89582 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100159 89582 300 300 0 99859 0
vsize: 400636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.95 s]
Raw data (loadavg): 1.01 0.99 0.91 1/55 14593
Raw data (stat): 14593 (pb2sat) Z 14592 32363 32362 0 -1 12 157313 0 0 0 119852 359 0 0 25 0 1 0 742129654 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.95
CPU time (s): 1202.12
CPU user time (s): 1198.53
CPU system time (s): 3.59445
CPU usage (%): 100.014
Max. virtual memory (Kb): 400636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2412
#### END VERIFIER DATA ####