PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881324 kB
Buffers:         32948 kB
Cached:          99004 kB
SwapCached:        240 kB
Active:          49536 kB
Inactive:        85016 kB
HighTotal:      131008 kB
HighFree:        29904 kB
LowTotal:       903652 kB
LowFree:        851420 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6324 kB
Slab:            13220 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:40:23 (client local time) WITH STATUS 10 IN 1202.3 SECONDS
stats: 24461 0 1202.3 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.4147 s]  setting bit 14 to 1
c CONFLICT during preprocess 
c [startup+57.3529 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+61.2887 s]  setting bit 12 to 0

Decision: 651145/947803	Time: 390.725/86400
Decision: 651300/947803	Time: 623.043/86400
Decision: 651736/947803	Time: 922.971/86400
Decision: 651736/947803	Time: 1035.12/86400s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 -C1004_bit0 C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 C1009_bit0 -C1010_bit0 -C1011_bit0 C1012_bit0 -C1013_bit0 -C1014_bit0 C1015_bit0 C1016_bit0 -C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 C1146_bit0 -C1147_bit0 -C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 -C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 -C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 C1181_bit0 -C1182_bit0 -C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 -C1188_bit0 C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 C1198_bit0 -C1199_bit0 -C1200_bit0 -C1201_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.89 0.95 0.90 2/54 28304
Raw data (stat): 28304 (runsolver) R 28303 20224 20223 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 806526232 884736 93 4294967295 134512640 135332820 3221224464 3221217488 135007234 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0003 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 30618 0 0 0 931 67 0 0 25 0 1 0 806526232 90259456 19472 4294967295 134512640 135726644 3221224592 3221199308 134604451 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22036 19472 300 300 0 21736 0
vsize: 88144
[startup+20.0006 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 60356 0 0 0 1871 127 0 0 25 0 1 0 806526232 177569792 37984 4294967295 134512640 135726644 3221224592 3221194176 134773398 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43352 37984 300 300 0 43052 0
vsize: 173408
[startup+30.0004 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 99959 0 0 0 2788 211 0 0 25 0 1 0 806526232 332861440 55403 4294967295 134512640 135726644 3221224592 3221190896 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81265 55404 300 300 0 80965 0
vsize: 325060
[startup+40.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 119077 0 0 0 3748 251 0 0 25 0 1 0 806526232 351244288 74264 4294967295 134512640 135726644 3221224592 3221202896 134782666 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85753 74264 300 300 0 85453 0
vsize: 343012
[startup+50.0022 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 129709 0 0 0 4727 272 0 0 25 0 1 0 806526232 371900416 82497 4294967295 134512640 135726644 3221224592 3221223088 134744214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90796 82497 300 300 0 90496 0
vsize: 363184
[startup+60.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 134993 0 0 0 5714 284 0 0 25 0 1 0 806526232 378527744 83783 4294967295 134512640 135726644 3221224592 3221223136 134745790 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.0031 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138459 0 0 0 6705 292 0 0 25 0 1 0 806526232 384270336 84622 4294967295 134512640 135726644 3221224592 3221223088 134744063 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.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138638 0 0 0 7705 292 0 0 25 0 1 0 806526232 384663552 84703 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84703 300 300 0 93612 0
vsize: 375648
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138672 0 0 0 8705 293 0 0 25 0 1 0 806526232 384663552 84737 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138707 0 0 0 9705 293 0 0 25 0 1 0 806526232 384663552 84772 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93912 84772 300 300 0 93612 0
vsize: 375648
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138730 0 0 0 10705 293 0 0 25 0 1 0 806526232 384663552 84795 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.96 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138860 0 0 0 11705 293 0 0 25 0 1 0 806526232 385097728 84860 4294967295 134512640 135726644 3221224592 3221223088 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.006 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138939 0 0 0 12705 293 0 0 25 0 1 0 806526232 385232896 84939 4294967295 134512640 135726644 3221224592 3221223248 134731175 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): 1.05 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 138943 0 0 0 13705 294 0 0 25 0 1 0 806526232 385232896 84943 4294967295 134512640 135726644 3221224592 3221223088 134744163 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.007 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139039 0 0 0 14705 294 0 0 25 0 1 0 806526232 385630208 85023 4294967295 134512640 135726644 3221224592 3221223088 134743955 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.012 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139126 0 0 0 15706 294 0 0 25 0 1 0 806526232 385892352 85045 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94212 85045 300 300 0 93912 0
vsize: 376848
[startup+170.012 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139273 0 0 0 16706 294 0 0 25 0 1 0 806526232 386285568 85094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85094 300 300 0 94008 0
vsize: 377232
[startup+180.012 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139280 0 0 0 17706 294 0 0 25 0 1 0 806526232 386285568 85101 4294967295 134512640 135726644 3221224592 3221223088 134743982 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.018 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139283 0 0 0 18706 294 0 0 25 0 1 0 806526232 386285568 85104 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85104 300 300 0 94008 0
vsize: 377232
[startup+200.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139291 0 0 0 19707 294 0 0 25 0 1 0 806526232 386285568 85112 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94308 85112 300 300 0 94008 0
vsize: 377232
[startup+210.019 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139394 0 0 0 20706 295 0 0 25 0 1 0 806526232 386547712 85150 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94372 85150 300 300 0 94072 0
vsize: 377488
[startup+220.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139465 0 0 0 21706 295 0 0 25 0 1 0 806526232 386547712 85221 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94372 85221 300 300 0 94072 0
vsize: 377488
[startup+230.019 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 139825 0 0 0 22705 296 0 0 25 0 1 0 806526232 388038656 85483 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94736 85483 300 300 0 94436 0
vsize: 378944
[startup+240.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 140563 0 0 0 23703 299 0 0 25 0 1 0 806526232 390295552 85943 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95287 85943 300 300 0 94987 0
vsize: 381148
[startup+250.02 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 140826 0 0 0 24703 299 0 0 25 0 1 0 806526232 391225344 86141 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95514 86141 300 300 0 95214 0
vsize: 382056
[startup+260.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141139 0 0 0 25703 300 0 0 25 0 1 0 806526232 392011776 86260 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86260 300 300 0 95406 0
vsize: 382824
[startup+270.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141173 0 0 0 26703 300 0 0 25 0 1 0 806526232 392011776 86294 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86294 300 300 0 95406 0
vsize: 382824
[startup+280.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141183 0 0 0 27703 300 0 0 25 0 1 0 806526232 392011776 86304 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95706 86304 300 300 0 95406 0
vsize: 382824
[startup+290.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141345 0 0 0 28703 300 0 0 25 0 1 0 806526232 392536064 86337 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86337 300 300 0 95534 0
vsize: 383336
[startup+300.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141368 0 0 0 29703 300 0 0 25 0 1 0 806526232 392536064 86360 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86360 300 300 0 95534 0
vsize: 383336
[startup+310.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141372 0 0 0 30703 300 0 0 25 0 1 0 806526232 392536064 86364 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86364 300 300 0 95534 0
vsize: 383336
[startup+320.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141376 0 0 0 31703 300 0 0 25 0 1 0 806526232 392536064 86368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86368 300 300 0 95534 0
vsize: 383336
[startup+330.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141416 0 0 0 32704 301 0 0 25 0 1 0 806526232 392536064 86408 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95834 86408 300 300 0 95534 0
vsize: 383336
[startup+340.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141430 0 0 0 33704 301 0 0 25 0 1 0 806526232 392470528 86406 4294967295 134512640 135726644 3221224592 3221223088 134744022 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141454 0 0 0 34704 301 0 0 25 0 1 0 806526232 392470528 86430 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95818 86430 300 300 0 95518 0
vsize: 383272
[startup+360.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141775 0 0 0 35703 302 0 0 25 0 1 0 806526232 393519104 86493 4294967295 134512640 135726644 3221224592 3221223088 134743901 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141777 0 0 0 36704 302 0 0 25 0 1 0 806526232 393519104 86495 4294967295 134512640 135726644 3221224592 3221223184 134760008 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141778 0 0 0 37704 302 0 0 25 0 1 0 806526232 393519104 86496 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86496 300 300 0 95774 0
vsize: 384296
[startup+390.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141786 0 0 0 38704 302 0 0 25 0 1 0 806526232 393519104 86504 4294967295 134512640 135726644 3221224592 3221223264 134745056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86504 300 300 0 95774 0
vsize: 384296
[startup+400.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 141790 0 0 0 39705 302 0 0 25 0 1 0 806526232 393519104 86508 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96074 86508 300 300 0 95774 0
vsize: 384296
[startup+410.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 142454 0 0 0 40704 303 0 0 25 0 1 0 806526232 395702272 86847 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96607 86847 300 300 0 96307 0
vsize: 386428
[startup+420.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 143369 0 0 0 41702 305 0 0 25 0 1 0 806526232 398286848 87353 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97238 87353 300 300 0 96938 0
vsize: 388952
[startup+430.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 143642 0 0 0 42702 305 0 0 25 0 1 0 806526232 398811136 87495 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97366 87495 300 300 0 97066 0
vsize: 389464
[startup+440.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 143953 0 0 0 43702 306 0 0 25 0 1 0 806526232 399597568 87612 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97558 87612 300 300 0 97258 0
vsize: 390232
[startup+450.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 145860 0 0 0 44698 310 0 0 25 0 1 0 806526232 399728640 87634 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97590 87634 300 300 0 97290 0
vsize: 390360
[startup+460.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 145865 0 0 0 45697 310 0 0 25 0 1 0 806526232 399728640 87639 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97590 87639 300 300 0 97290 0
vsize: 390360
[startup+470.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 146230 0 0 0 46697 311 0 0 25 0 1 0 806526232 400982016 87807 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97896 87807 300 300 0 97596 0
vsize: 391584
[startup+480.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 146773 0 0 0 47696 312 0 0 25 0 1 0 806526232 402563072 88090 4294967295 134512640 135726644 3221224592 3221223200 135280414 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98282 88090 300 300 0 97982 0
vsize: 393128
[startup+490.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 147598 0 0 0 48695 313 0 0 25 0 1 0 806526232 404934656 88492 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98861 88492 300 300 0 98561 0
vsize: 395444
[startup+500.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 147724 0 0 0 49695 314 0 0 25 0 1 0 806526232 405196800 88553 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98925 88553 300 300 0 98625 0
vsize: 395700
[startup+510.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 147991 0 0 0 50696 314 0 0 25 0 1 0 806526232 405987328 88690 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99118 88690 300 300 0 98818 0
vsize: 396472
[startup+520.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148108 0 0 0 51696 314 0 0 25 0 1 0 806526232 406249472 88742 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99182 88742 300 300 0 98882 0
vsize: 396728
[startup+530.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148124 0 0 0 52696 314 0 0 25 0 1 0 806526232 406249472 88758 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99182 88758 300 300 0 98882 0
vsize: 396728
[startup+540.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148519 0 0 0 53695 315 0 0 25 0 1 0 806526232 407105536 88974 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99391 88974 300 300 0 99091 0
vsize: 397564
[startup+550.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148527 0 0 0 54706 315 0 0 25 0 1 0 806526232 407105536 88982 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99391 88982 300 300 0 99091 0
vsize: 397564
[startup+560.165 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148531 0 0 0 55706 315 0 0 25 0 1 0 806526232 407105536 88986 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99391 88986 300 300 0 99091 0
vsize: 397564
[startup+570.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148678 0 0 0 56705 316 0 0 25 0 1 0 806526232 407629824 89004 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99519 89004 300 300 0 99219 0
vsize: 398076
[startup+580.166 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148845 0 0 0 57705 316 0 0 25 0 1 0 806526232 408154112 89042 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89042 300 300 0 99347 0
vsize: 398588
[startup+590.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148847 0 0 0 58705 316 0 0 25 0 1 0 806526232 408154112 89044 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89044 300 300 0 99347 0
vsize: 398588
[startup+600.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 148852 0 0 0 59705 317 0 0 25 0 1 0 806526232 408154112 89049 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99647 89049 300 300 0 99347 0
vsize: 398588
[startup+610.167 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149028 0 0 0 60705 317 0 0 25 0 1 0 806526232 408678400 89096 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89096 300 300 0 99475 0
vsize: 399100
[startup+620.168 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149032 0 0 0 61705 317 0 0 25 0 1 0 806526232 408678400 89100 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89100 300 300 0 99475 0
vsize: 399100
[startup+630.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149038 0 0 0 62705 317 0 0 25 0 1 0 806526232 408678400 89106 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89106 300 300 0 99475 0
vsize: 399100
[startup+640.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149043 0 0 0 63706 317 0 0 25 0 1 0 806526232 408678400 89111 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99775 89111 300 300 0 99475 0
vsize: 399100
[startup+650.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149047 0 0 0 64705 317 0 0 25 0 1 0 806526232 408678400 89115 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89115 300 300 0 99475 0
vsize: 399100
[startup+660.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149057 0 0 0 65705 318 0 0 25 0 1 0 806526232 408678400 89125 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89125 300 300 0 99475 0
vsize: 399100
[startup+670.169 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149062 0 0 0 66705 318 0 0 25 0 1 0 806526232 408678400 89130 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89130 300 300 0 99475 0
vsize: 399100
[startup+680.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 149066 0 0 0 67705 318 0 0 25 0 1 0 806526232 408678400 89134 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89134 300 300 0 99475 0
vsize: 399100
[startup+690.17 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 150920 0 0 0 68700 322 0 0 25 0 1 0 806526232 408678400 89136 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89136 300 300 0 99475 0
vsize: 399100
[startup+700.171 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 150923 0 0 0 69700 322 0 0 25 0 1 0 806526232 408678400 89139 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89139 300 300 0 99475 0
vsize: 399100
[startup+710.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 150927 0 0 0 70701 323 0 0 25 0 1 0 806526232 408678400 89143 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99775 89143 300 300 0 99475 0
vsize: 399100
[startup+720.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 150983 0 0 0 71701 323 0 0 25 0 1 0 806526232 408809472 89166 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99807 89166 300 300 0 99507 0
vsize: 399228
[startup+730.172 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 150987 0 0 0 72701 323 0 0 25 0 1 0 806526232 408809472 89170 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99807 89170 300 300 0 99507 0
vsize: 399228
[startup+740.179 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151174 0 0 0 73701 323 0 0 25 0 1 0 806526232 409333760 89227 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89227 300 300 0 99635 0
vsize: 399740
[startup+750.285 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151178 0 0 0 74712 323 0 0 25 0 1 0 806526232 409333760 89231 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89231 300 300 0 99635 0
vsize: 399740
[startup+760.285 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151182 0 0 0 75712 323 0 0 25 0 1 0 806526232 409333760 89235 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89235 300 300 0 99635 0
vsize: 399740
[startup+770.285 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151193 0 0 0 76712 324 0 0 25 0 1 0 806526232 409333760 89246 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89246 300 300 0 99635 0
vsize: 399740
[startup+780.285 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151219 0 0 0 77712 324 0 0 25 0 1 0 806526232 409333760 89272 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89272 300 300 0 99635 0
vsize: 399740
[startup+790.285 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151221 0 0 0 78712 324 0 0 25 0 1 0 806526232 409333760 89274 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99935 89274 300 300 0 99635 0
vsize: 399740
[startup+800.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151372 0 0 0 79712 324 0 0 25 0 1 0 806526232 409858048 89296 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100063 89296 300 300 0 99763 0
vsize: 400252
[startup+810.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151374 0 0 0 80712 324 0 0 25 0 1 0 806526232 409858048 89298 4294967295 134512640 135726644 3221224592 3221222912 134728878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100063 89298 300 300 0 99763 0
vsize: 400252
[startup+820.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151379 0 0 0 81712 325 0 0 25 0 1 0 806526232 409858048 89303 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100063 89303 300 300 0 99763 0
vsize: 400252
[startup+830.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151381 0 0 0 82712 325 0 0 25 0 1 0 806526232 409858048 89305 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100063 89305 300 300 0 99763 0
vsize: 400252
[startup+840.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151396 0 0 0 83712 325 0 0 25 0 1 0 806526232 409858048 89320 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100063 89320 300 300 0 99763 0
vsize: 400252
[startup+850.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151560 0 0 0 84711 326 0 0 25 0 1 0 806526232 410251264 89386 4294967295 134512640 135726644 3221224592 3221223104 135279381 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89386 300 300 0 99859 0
vsize: 400636
[startup+860.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151562 0 0 0 85711 326 0 0 25 0 1 0 806526232 410251264 89388 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89388 300 300 0 99859 0
vsize: 400636
[startup+870.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151563 0 0 0 86712 326 0 0 25 0 1 0 806526232 410251264 89389 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89389 300 300 0 99859 0
vsize: 400636
[startup+880.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151565 0 0 0 87711 326 0 0 25 0 1 0 806526232 410251264 89391 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89391 300 300 0 99859 0
vsize: 400636
[startup+890.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151569 0 0 0 88711 326 0 0 25 0 1 0 806526232 410251264 89395 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89395 300 300 0 99859 0
vsize: 400636
[startup+900.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151571 0 0 0 89711 326 0 0 25 0 1 0 806526232 410251264 89397 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89397 300 300 0 99859 0
vsize: 400636
[startup+910.286 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151575 0 0 0 90711 326 0 0 25 0 1 0 806526232 410251264 89401 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89401 300 300 0 99859 0
vsize: 400636
[startup+920.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151578 0 0 0 91712 326 0 0 25 0 1 0 806526232 410251264 89404 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89404 300 300 0 99859 0
vsize: 400636
[startup+930.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151581 0 0 0 92712 327 0 0 25 0 1 0 806526232 410251264 89407 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89407 300 300 0 99859 0
vsize: 400636
[startup+940.287 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151586 0 0 0 93712 327 0 0 25 0 1 0 806526232 410251264 89412 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89412 300 300 0 99859 0
vsize: 400636
[startup+950.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151591 0 0 0 94712 327 0 0 25 0 1 0 806526232 410251264 89417 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89417 300 300 0 99859 0
vsize: 400636
[startup+960.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151593 0 0 0 95712 327 0 0 25 0 1 0 806526232 410251264 89419 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89419 300 300 0 99859 0
vsize: 400636
[startup+970.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151597 0 0 0 96712 327 0 0 25 0 1 0 806526232 410251264 89423 4294967295 134512640 135726644 3221224592 3221223196 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89423 300 300 0 99859 0
vsize: 400636
[startup+980.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 151600 0 0 0 97712 327 0 0 25 0 1 0 806526232 410251264 89426 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89426 300 300 0 99859 0
vsize: 400636
[startup+990.288 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153479 0 0 0 98708 331 0 0 25 0 1 0 806526232 410251264 89453 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89453 300 300 0 99859 0
vsize: 400636
[startup+1000.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153514 0 0 0 99708 331 0 0 25 0 1 0 806526232 410251264 89488 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89488 300 300 0 99859 0
vsize: 400636
[startup+1010.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153519 0 0 0 100708 332 0 0 25 0 1 0 806526232 410251264 89493 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89493 300 300 0 99859 0
vsize: 400636
[startup+1020.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153526 0 0 0 101708 332 0 0 25 0 1 0 806526232 410251264 89500 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89500 300 300 0 99859 0
vsize: 400636
[startup+1030.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153530 0 0 0 102709 332 0 0 25 0 1 0 806526232 410251264 89504 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89504 300 300 0 99859 0
vsize: 400636
[startup+1040.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153533 0 0 0 103709 332 0 0 25 0 1 0 806526232 410251264 89507 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89507 300 300 0 99859 0
vsize: 400636
[startup+1050.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153538 0 0 0 104709 332 0 0 25 0 1 0 806526232 410251264 89512 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89512 300 300 0 99859 0
vsize: 400636
[startup+1060.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153541 0 0 0 105709 332 0 0 25 0 1 0 806526232 410251264 89515 4294967295 134512640 135726644 3221224592 3221223280 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89515 300 300 0 99859 0
vsize: 400636
[startup+1070.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153546 0 0 0 106709 332 0 0 25 0 1 0 806526232 410251264 89520 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89520 300 300 0 99859 0
vsize: 400636
[startup+1080.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153551 0 0 0 107709 332 0 0 25 0 1 0 806526232 410251264 89525 4294967295 134512640 135726644 3221224592 3221223088 134744059 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89525 300 300 0 99859 0
vsize: 400636
[startup+1090.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 153556 0 0 0 108709 332 0 0 25 0 1 0 806526232 410251264 89530 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89530 300 300 0 99859 0
vsize: 400636
[startup+1100.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155411 0 0 0 109705 337 0 0 25 0 1 0 806526232 410251264 89533 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89533 300 300 0 99859 0
vsize: 400636
[startup+1110.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155416 0 0 0 110705 337 0 0 25 0 1 0 806526232 410251264 89538 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89538 300 300 0 99859 0
vsize: 400636
[startup+1120.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155420 0 0 0 111705 337 0 0 25 0 1 0 806526232 410251264 89542 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89542 300 300 0 99859 0
vsize: 400636
[startup+1130.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155425 0 0 0 112705 337 0 0 25 0 1 0 806526232 410251264 89547 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89547 300 300 0 99859 0
vsize: 400636
[startup+1140.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155428 0 0 0 113705 337 0 0 25 0 1 0 806526232 410251264 89550 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89550 300 300 0 99859 0
vsize: 400636
[startup+1150.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155431 0 0 0 114706 337 0 0 25 0 1 0 806526232 410251264 89553 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89553 300 300 0 99859 0
vsize: 400636
[startup+1160.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155437 0 0 0 115706 337 0 0 25 0 1 0 806526232 410251264 89559 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89559 300 300 0 99859 0
vsize: 400636
[startup+1170.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155442 0 0 0 116706 337 0 0 25 0 1 0 806526232 410251264 89564 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89564 300 300 0 99859 0
vsize: 400636
[startup+1180.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155449 0 0 0 117706 337 0 0 25 0 1 0 806526232 410251264 89571 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89571 300 300 0 99859 0
vsize: 400636
[startup+1190.29 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155453 0 0 0 118706 337 0 0 25 0 1 0 806526232 410251264 89575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89575 300 300 0 99859 0
vsize: 400636
[startup+1200.3 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 28304
Raw data (stat): 28304 (pb2sat) R 28303 20224 20223 0 -1 0 155456 0 0 0 119706 337 0 0 25 0 1 0 806526232 410251264 89578 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100159 89578 300 300 0 99859 0
vsize: 400636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.15 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 28304
Raw data (stat): 28304 (pb2sat) Z 28303 20224 20223 0 -1 12 155457 0 0 0 119873 355 0 0 25 0 1 0 806526232 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1202.15
CPU time (s): 1202.3
CPU user time (s): 1198.74
CPU system time (s): 3.55946
CPU usage (%): 100.012
Max. virtual memory (Kb): 400636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	2412
#### END VERIFIER DATA ####