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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM8c361d02d5162bb0b133ab6ed38f9294
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1523
Optimality of the best value was proved YES
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 numbers15
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark212.013
Number of variables201
Total number of constraints334
Number of constraints which are clauses20
Number of constraints which are cardinality constraints (but not clauses)227
Number of constraints which are nor clauses,nor cardinality constraints87
Minimum length of a constraint1
Maximum length of a constraint67

Trace number 10147

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 16:58:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8856 boxname=wulflinc3 idbench=652 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /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: 8856
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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:        930284 kB
Buffers:         13044 kB
Cached:          74336 kB
SwapCached:          0 kB
Active:          44004 kB
Inactive:        46256 kB
HighTotal:      131008 kB
HighFree:        52360 kB
LowTotal:       903652 kB
LowFree:        877924 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8448 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:19:00 (client local time) WITH STATUS 10 IN 1209.73 SECONDS
stats: 8856 0 1209.73 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 2500
c small objective detected
c CONFLICT during preprocess 
c [startup+18.6448 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+20.0041 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+21.3569 s]  setting bit 12 to 0
c [startup+73.0558 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 193.065/86400
c Decision: 65401/343960	Time: 349.451/86400
c Decision: 65401/343960	Time: 433.117/86400
c Decision: 66279/343960	Time: 1074.85/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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21828461 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 373 2 364 364 0 9 0
[pid=9457] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0201.opb

[startup+10.0016 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 31566 0 0 0 931 65 0 0 25 0 1 0 21828461 97669120 20424 4294967295 134512640 135987407 3221224560 3221192224 134640042 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 23845 20424 364 364 0 23481 0
[pid=9457] vsize: 95380
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 95380

[startup+20.0024 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 58016 0 0 0 1869 124 0 0 25 0 1 0 21828461 187191296 34395 4294967295 134512640 135987407 3221224560 3221223360 134802471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 45701 34395 364 364 0 45337 0
[pid=9457] vsize: 182804
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 182804

[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 61009 0 0 0 2860 132 0 0 25 0 1 0 21828461 193384448 35718 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 47213 35718 364 364 0 46849 0
[pid=9457] vsize: 188852
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 188852

[startup+40.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 61070 0 0 0 3858 132 0 0 25 0 1 0 21828461 193650688 35779 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 47278 35779 364 364 0 46914 0
[pid=9457] vsize: 189112
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 189112

[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 61163 0 0 0 4857 133 0 0 25 0 1 0 21828461 193916928 35839 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 47343 35839 364 364 0 46979 0
[pid=9457] vsize: 189372
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 189372

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 61181 0 0 0 5856 133 0 0 25 0 1 0 21828461 193916928 35857 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 47343 35857 364 364 0 46979 0
[pid=9457] vsize: 189372
Current children cumulated CPU time (s) 59.89
Current children cumulated vsize (Kb) 189372

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9457
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 61198 0 0 0 6855 134 0 0 25 0 1 0 21828461 193916928 35874 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 47343 35874 364 364 0 46979 0
[pid=9457] vsize: 189372
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 189372

[startup+80.0055 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 62545 0 0 0 7850 138 0 0 25 0 1 0 21828461 196497408 36353 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 47973 36353 364 364 0 47609 0
[pid=9457] vsize: 191892
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 191892

[startup+90.0053 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 63775 0 0 0 8845 142 0 0 25 0 1 0 21828461 199798784 37028 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 48779 37028 364 364 0 48415 0
[pid=9457] vsize: 195116
Current children cumulated CPU time (s) 89.87
Current children cumulated vsize (Kb) 195116

[startup+100.006 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 63926 0 0 0 9844 143 0 0 25 0 1 0 21828461 200060928 37114 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 48843 37114 364 364 0 48479 0
[pid=9457] vsize: 195372
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 195372

[startup+110.007 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 63933 0 0 0 10843 143 0 0 25 0 1 0 21828461 200060928 37121 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 48843 37121 364 364 0 48479 0
[pid=9457] vsize: 195372
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 195372

[startup+120.008 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 63956 0 0 0 11842 144 0 0 25 0 1 0 21828461 200060928 37144 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 48843 37144 364 364 0 48479 0
[pid=9457] vsize: 195372
Current children cumulated CPU time (s) 119.86
Current children cumulated vsize (Kb) 195372

[startup+130.009 s]
Raw data (loadavg): 1.02 0.98 0.91 2/55 9512
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 64338 0 0 0 12840 146 0 0 25 0 1 0 21828461 201113600 37330 4294967295 134512640 135987407 3221224560 3221222976 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 49100 37330 364 364 0 48736 0
[pid=9457] vsize: 196400
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 196400

[startup+140.008 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 9514
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 64610 0 0 0 13839 147 0 0 25 0 1 0 21828461 201904128 37471 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 49293 37471 364 364 0 48929 0
[pid=9457] vsize: 197172
Current children cumulated CPU time (s) 139.86
Current children cumulated vsize (Kb) 197172

[startup+150.009 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 9516
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 64623 0 0 0 14838 147 0 0 25 0 1 0 21828461 201904128 37484 4294967295 134512640 135987407 3221224560 3221223104 134812112 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 49293 37484 364 364 0 48929 0
[pid=9457] vsize: 197172
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 197172

[startup+160.009 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 64628 0 0 0 15836 147 0 0 25 0 1 0 21828461 201904128 37489 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 49293 37489 364 364 0 48929 0
[pid=9457] vsize: 197172
Current children cumulated CPU time (s) 159.83
Current children cumulated vsize (Kb) 197172

[startup+170.009 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 64635 0 0 0 16835 148 0 0 25 0 1 0 21828461 201768960 37463 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 49260 37463 364 364 0 48896 0
[pid=9457] vsize: 197040
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 197040

[startup+180.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 65308 0 0 0 17833 149 0 0 25 0 1 0 21828461 204165120 37890 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 49845 37890 364 364 0 49481 0
[pid=9457] vsize: 199380
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 199380

[startup+190.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 65941 0 0 0 18830 151 0 0 25 0 1 0 21828461 206282752 38262 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 50362 38262 364 364 0 49998 0
[pid=9457] vsize: 201448
Current children cumulated CPU time (s) 189.81
Current children cumulated vsize (Kb) 201448

[startup+200.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 65946 0 0 0 19829 152 0 0 25 0 1 0 21828461 206282752 38267 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 50362 38267 364 364 0 49998 0
[pid=9457] vsize: 201448
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 201448

[startup+210.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 66694 0 0 0 20827 153 0 0 25 0 1 0 21828461 208805888 38720 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 50978 38720 364 364 0 50614 0
[pid=9457] vsize: 203912
Current children cumulated CPU time (s) 209.8
Current children cumulated vsize (Kb) 203912

[startup+220.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 66699 0 0 0 21825 154 0 0 25 0 1 0 21828461 208805888 38725 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 50978 38725 364 364 0 50614 0
[pid=9457] vsize: 203912
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 203912

[startup+230.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 66702 0 0 0 22823 154 0 0 25 0 1 0 21828461 208805888 38728 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 50978 38728 364 364 0 50614 0
[pid=9457] vsize: 203912
Current children cumulated CPU time (s) 229.77
Current children cumulated vsize (Kb) 203912

[startup+240.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 66738 0 0 0 23822 155 0 0 25 0 1 0 21828461 208805888 38764 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 50978 38764 364 364 0 50614 0
[pid=9457] vsize: 203912
Current children cumulated CPU time (s) 239.77
Current children cumulated vsize (Kb) 203912

[startup+250.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 66749 0 0 0 24821 155 0 0 25 0 1 0 21828461 208805888 38775 4294967295 134512640 135987407 3221224560 3221223104 134812049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 50978 38775 364 364 0 50614 0
[pid=9457] vsize: 203912
Current children cumulated CPU time (s) 249.76
Current children cumulated vsize (Kb) 203912

[startup+260.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 67108 0 0 0 25819 157 0 0 25 0 1 0 21828461 209862656 38938 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 51236 38938 364 364 0 50872 0
[pid=9457] vsize: 204944
Current children cumulated CPU time (s) 259.76
Current children cumulated vsize (Kb) 204944

[startup+270.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 67944 0 0 0 26815 160 0 0 25 0 1 0 21828461 210255872 39004 4294967295 134512640 135987407 3221224560 3221223104 134812135 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 51332 39004 364 364 0 50968 0
[pid=9457] vsize: 205328
Current children cumulated CPU time (s) 269.75
Current children cumulated vsize (Kb) 205328

[startup+280.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 69796 0 0 0 27810 164 0 0 25 0 1 0 21828461 216539136 40118 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 52866 40118 364 364 0 52502 0
[pid=9457] vsize: 211464
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (Kb) 211464

[startup+290.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 70412 0 0 0 28807 165 0 0 25 0 1 0 21828461 218247168 40441 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 53283 40441 364 364 0 52919 0
[pid=9457] vsize: 213132
Current children cumulated CPU time (s) 289.72
Current children cumulated vsize (Kb) 213132

[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 70759 0 0 0 29805 167 0 0 25 0 1 0 21828461 218898432 40560 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 53442 40560 364 364 0 53078 0
[pid=9457] vsize: 213768
Current children cumulated CPU time (s) 299.72
Current children cumulated vsize (Kb) 213768

[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71107 0 0 0 30803 168 0 0 25 0 1 0 21828461 219881472 40713 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 53682 40713 364 364 0 53318 0
[pid=9457] vsize: 214728
Current children cumulated CPU time (s) 309.71
Current children cumulated vsize (Kb) 214728

[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71219 0 0 0 31802 169 0 0 25 0 1 0 21828461 220143616 40760 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 53746 40760 364 364 0 53382 0
[pid=9457] vsize: 214984
Current children cumulated CPU time (s) 319.71
Current children cumulated vsize (Kb) 214984

[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71456 0 0 0 32801 169 0 0 25 0 1 0 21828461 220934144 40932 4294967295 134512640 135987407 3221224560 3221222876 135480852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 53939 40932 364 364 0 53575 0
[pid=9457] vsize: 215756
Current children cumulated CPU time (s) 329.7
Current children cumulated vsize (Kb) 215756

[startup+340.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71655 0 0 0 33799 170 0 0 25 0 1 0 21828461 221462528 41066 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54068 41066 364 364 0 53704 0
[pid=9457] vsize: 216272
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (Kb) 216272

[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71768 0 0 0 34798 170 0 0 25 0 1 0 21828461 221724672 41114 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54132 41114 364 364 0 53768 0
[pid=9457] vsize: 216528
Current children cumulated CPU time (s) 349.68
Current children cumulated vsize (Kb) 216528

[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 71790 0 0 0 35796 171 0 0 25 0 1 0 21828461 221724672 41136 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54132 41136 364 364 0 53768 0
[pid=9457] vsize: 216528
Current children cumulated CPU time (s) 359.67
Current children cumulated vsize (Kb) 216528

[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72031 0 0 0 36795 172 0 0 25 0 1 0 21828461 222248960 41247 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41247 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 369.67
Current children cumulated vsize (Kb) 217040

[startup+380.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72106 0 0 0 37794 172 0 0 25 0 1 0 21828461 222248960 41322 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41322 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 379.66
Current children cumulated vsize (Kb) 217040

[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72136 0 0 0 38792 173 0 0 25 0 1 0 21828461 222248960 41352 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41352 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 389.65
Current children cumulated vsize (Kb) 217040

[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72190 0 0 0 39791 173 0 0 25 0 1 0 21828461 222248960 41406 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41406 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 399.64
Current children cumulated vsize (Kb) 217040

[startup+410.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9518
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72216 0 0 0 40790 174 0 0 25 0 1 0 21828461 222248960 41432 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41432 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 409.64
Current children cumulated vsize (Kb) 217040

[startup+420.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72272 0 0 0 41789 174 0 0 25 0 1 0 21828461 222248960 41488 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41488 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 419.63
Current children cumulated vsize (Kb) 217040

[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 72947 0 0 0 42786 176 0 0 25 0 1 0 21828461 222248960 41491 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54260 41491 364 364 0 53896 0
[pid=9457] vsize: 217040
Current children cumulated CPU time (s) 429.62
Current children cumulated vsize (Kb) 217040

[startup+440.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73068 0 0 0 43785 177 0 0 25 0 1 0 21828461 222777344 41612 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54389 41612 364 364 0 54025 0
[pid=9457] vsize: 217556
Current children cumulated CPU time (s) 439.62
Current children cumulated vsize (Kb) 217556

[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73081 0 0 0 44784 178 0 0 25 0 1 0 21828461 222777344 41625 4294967295 134512640 135987407 3221224560 3221223200 134812389 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54389 41625 364 364 0 54025 0
[pid=9457] vsize: 217556
Current children cumulated CPU time (s) 449.62
Current children cumulated vsize (Kb) 217556

[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73239 0 0 0 45783 179 0 0 25 0 1 0 21828461 223039488 41718 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41718 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 459.62
Current children cumulated vsize (Kb) 217812

[startup+470.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73243 0 0 0 46782 179 0 0 25 0 1 0 21828461 223039488 41722 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41722 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 469.61
Current children cumulated vsize (Kb) 217812

[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73249 0 0 0 47782 179 0 0 25 0 1 0 21828461 223039488 41728 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41728 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 479.61
Current children cumulated vsize (Kb) 217812

[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73253 0 0 0 48781 180 0 0 25 0 1 0 21828461 223039488 41732 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41732 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 489.61
Current children cumulated vsize (Kb) 217812

[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73259 0 0 0 49780 180 0 0 25 0 1 0 21828461 223039488 41738 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41738 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 499.6
Current children cumulated vsize (Kb) 217812

[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73262 0 0 0 50778 181 0 0 25 0 1 0 21828461 223039488 41741 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41741 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 509.59
Current children cumulated vsize (Kb) 217812

[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73267 0 0 0 51777 181 0 0 25 0 1 0 21828461 223039488 41746 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54453 41746 364 364 0 54089 0
[pid=9457] vsize: 217812
Current children cumulated CPU time (s) 519.58
Current children cumulated vsize (Kb) 217812

[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73461 0 0 0 52775 182 0 0 25 0 1 0 21828461 223502336 41859 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54566 41859 364 364 0 54202 0
[pid=9457] vsize: 218264
Current children cumulated CPU time (s) 529.57
Current children cumulated vsize (Kb) 218264

[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 73660 0 0 0 53774 183 0 0 25 0 1 0 21828461 224026624 41928 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 54694 41928 364 364 0 54330 0
[pid=9457] vsize: 218776
Current children cumulated CPU time (s) 539.57
Current children cumulated vsize (Kb) 218776

[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74269 0 0 0 54772 184 0 0 25 0 1 0 21828461 225878016 42342 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55146 42342 364 364 0 54782 0
[pid=9457] vsize: 220584
Current children cumulated CPU time (s) 549.56
Current children cumulated vsize (Kb) 220584

[startup+560.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74362 0 0 0 55770 185 0 0 25 0 1 0 21828461 226406400 42435 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42435 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 559.55
Current children cumulated vsize (Kb) 221100

[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74368 0 0 0 56768 185 0 0 25 0 1 0 21828461 226406400 42441 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42441 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (Kb) 221100

[startup+580.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74374 0 0 0 57768 186 0 0 25 0 1 0 21828461 226406400 42447 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42447 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 579.54
Current children cumulated vsize (Kb) 221100

[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74383 0 0 0 58767 186 0 0 25 0 1 0 21828461 226406400 42456 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42456 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 589.53
Current children cumulated vsize (Kb) 221100

[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74394 0 0 0 59766 186 0 0 25 0 1 0 21828461 226406400 42467 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42467 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 599.52
Current children cumulated vsize (Kb) 221100

[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74403 0 0 0 60765 187 0 0 25 0 1 0 21828461 226406400 42476 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42476 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 609.52
Current children cumulated vsize (Kb) 221100

[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74406 0 0 0 61763 187 0 0 25 0 1 0 21828461 226406400 42479 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42479 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 619.5
Current children cumulated vsize (Kb) 221100

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74415 0 0 0 62763 188 0 0 25 0 1 0 21828461 226406400 42488 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42488 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 629.51
Current children cumulated vsize (Kb) 221100

[startup+640.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74419 0 0 0 63761 188 0 0 25 0 1 0 21828461 226406400 42492 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42492 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 639.49
Current children cumulated vsize (Kb) 221100

[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74424 0 0 0 64760 189 0 0 25 0 1 0 21828461 226406400 42497 4294967295 134512640 135987407 3221224560 3221223104 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42497 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 649.49
Current children cumulated vsize (Kb) 221100

[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74428 0 0 0 65758 190 0 0 25 0 1 0 21828461 226406400 42501 4294967295 134512640 135987407 3221224560 3221223232 134824504 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42501 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 659.48
Current children cumulated vsize (Kb) 221100

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74431 0 0 0 66757 190 0 0 25 0 1 0 21828461 226406400 42504 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42504 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 669.47
Current children cumulated vsize (Kb) 221100

[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74437 0 0 0 67756 190 0 0 25 0 1 0 21828461 226406400 42510 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42510 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 679.46
Current children cumulated vsize (Kb) 221100

[startup+690.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74442 0 0 0 68756 191 0 0 25 0 1 0 21828461 226406400 42515 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42515 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 689.47
Current children cumulated vsize (Kb) 221100

[startup+700.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74446 0 0 0 69755 191 0 0 25 0 1 0 21828461 226406400 42519 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42519 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 699.46
Current children cumulated vsize (Kb) 221100

[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74451 0 0 0 70754 191 0 0 25 0 1 0 21828461 226406400 42524 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42524 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 709.45
Current children cumulated vsize (Kb) 221100

[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74454 0 0 0 71753 191 0 0 25 0 1 0 21828461 226406400 42527 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42527 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 719.44
Current children cumulated vsize (Kb) 221100

[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74464 0 0 0 72752 192 0 0 25 0 1 0 21828461 226406400 42537 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42537 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 729.44
Current children cumulated vsize (Kb) 221100

[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74468 0 0 0 73751 192 0 0 25 0 1 0 21828461 226406400 42541 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42541 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 739.43
Current children cumulated vsize (Kb) 221100

[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74473 0 0 0 74750 193 0 0 25 0 1 0 21828461 226406400 42546 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42546 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 749.43
Current children cumulated vsize (Kb) 221100

[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74476 0 0 0 75749 193 0 0 25 0 1 0 21828461 226406400 42549 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42549 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 759.42
Current children cumulated vsize (Kb) 221100

[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74479 0 0 0 76748 194 0 0 25 0 1 0 21828461 226406400 42552 4294967295 134512640 135987407 3221224560 3221223104 134811768 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42552 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 769.42
Current children cumulated vsize (Kb) 221100

[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74484 0 0 0 77747 194 0 0 25 0 1 0 21828461 226406400 42557 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42557 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 779.41
Current children cumulated vsize (Kb) 221100

[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74487 0 0 0 78746 194 0 0 25 0 1 0 21828461 226406400 42560 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55275 42560 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 789.4
Current children cumulated vsize (Kb) 221100

[startup+800.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74493 0 0 0 79745 195 0 0 25 0 1 0 21828461 226406400 42566 4294967295 134512640 135987407 3221224560 3221222944 134775173 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42566 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 799.4
Current children cumulated vsize (Kb) 221100

[startup+810.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74499 0 0 0 80744 195 0 0 25 0 1 0 21828461 226406400 42572 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42572 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 809.39
Current children cumulated vsize (Kb) 221100

[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74504 0 0 0 81743 195 0 0 25 0 1 0 21828461 226406400 42577 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42577 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 819.38
Current children cumulated vsize (Kb) 221100

[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74514 0 0 0 82742 196 0 0 25 0 1 0 21828461 226406400 42587 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42587 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 829.38
Current children cumulated vsize (Kb) 221100

[startup+840.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74517 0 0 0 83740 197 0 0 25 0 1 0 21828461 226406400 42590 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42590 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 839.37
Current children cumulated vsize (Kb) 221100

[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74520 0 0 0 84738 198 0 0 25 0 1 0 21828461 226406400 42593 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42593 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 849.36
Current children cumulated vsize (Kb) 221100

[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74525 0 0 0 85736 198 0 0 25 0 1 0 21828461 226406400 42598 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42598 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 859.34
Current children cumulated vsize (Kb) 221100

[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74528 0 0 0 86735 199 0 0 25 0 1 0 21828461 226406400 42601 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42601 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 869.34
Current children cumulated vsize (Kb) 221100

[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74534 0 0 0 87733 199 0 0 25 0 1 0 21828461 226406400 42607 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42607 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 879.32
Current children cumulated vsize (Kb) 221100

[startup+890.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74538 0 0 0 88732 199 0 0 25 0 1 0 21828461 226406400 42611 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42611 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 889.31
Current children cumulated vsize (Kb) 221100

[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74544 0 0 0 89732 200 0 0 25 0 1 0 21828461 226406400 42617 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42617 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 899.32
Current children cumulated vsize (Kb) 221100

[startup+910.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74569 0 0 0 90731 200 0 0 25 0 1 0 21828461 226406400 42642 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42642 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 909.31
Current children cumulated vsize (Kb) 221100

[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74573 0 0 0 91730 200 0 0 25 0 1 0 21828461 226406400 42646 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42646 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 919.3
Current children cumulated vsize (Kb) 221100

[startup+930.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74580 0 0 0 92730 201 0 0 25 0 1 0 21828461 226406400 42653 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42653 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 929.31
Current children cumulated vsize (Kb) 221100

[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74605 0 0 0 93729 201 0 0 25 0 1 0 21828461 226406400 42678 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42678 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 939.3
Current children cumulated vsize (Kb) 221100

[startup+950.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74622 0 0 0 94728 201 0 0 25 0 1 0 21828461 226406400 42695 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55275 42695 364 364 0 54911 0
[pid=9457] vsize: 221100
Current children cumulated CPU time (s) 949.29
Current children cumulated vsize (Kb) 221100

[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74919 0 0 0 95727 202 0 0 25 0 1 0 21828461 227454976 42734 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42734 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 959.29
Current children cumulated vsize (Kb) 222124

[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74923 0 0 0 96726 203 0 0 25 0 1 0 21828461 227454976 42738 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42738 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 969.29
Current children cumulated vsize (Kb) 222124

[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74926 0 0 0 97724 203 0 0 25 0 1 0 21828461 227454976 42741 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42741 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 979.27
Current children cumulated vsize (Kb) 222124

[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74939 0 0 0 98722 204 0 0 25 0 1 0 21828461 227454976 42754 4294967295 134512640 135987407 3221224560 3221223200 134812363 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42754 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 989.26
Current children cumulated vsize (Kb) 222124

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74947 0 0 0 99721 204 0 0 25 0 1 0 21828461 227454976 42762 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42762 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 999.25
Current children cumulated vsize (Kb) 222124

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74954 0 0 0 100720 205 0 0 25 0 1 0 21828461 227454976 42769 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42769 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1009.25
Current children cumulated vsize (Kb) 222124

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74960 0 0 0 101720 205 0 0 25 0 1 0 21828461 227454976 42775 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42775 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1019.25
Current children cumulated vsize (Kb) 222124

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74963 0 0 0 102719 205 0 0 25 0 1 0 21828461 227454976 42778 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42778 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1029.24
Current children cumulated vsize (Kb) 222124

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74969 0 0 0 103718 206 0 0 25 0 1 0 21828461 227454976 42784 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42784 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1039.24
Current children cumulated vsize (Kb) 222124

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74973 0 0 0 104717 206 0 0 25 0 1 0 21828461 227454976 42788 4294967295 134512640 135987407 3221224560 3221222876 135480906 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42788 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1049.23
Current children cumulated vsize (Kb) 222124

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 74989 0 0 0 105715 206 0 0 25 0 1 0 21828461 227454976 42804 4294967295 134512640 135987407 3221224560 3221223280 134812597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55531 42804 364 364 0 55167 0
[pid=9457] vsize: 222124
Current children cumulated CPU time (s) 1059.21
Current children cumulated vsize (Kb) 222124

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75097 0 0 0 106714 207 0 0 25 0 1 0 21828461 227856384 42880 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55629 42880 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1069.21
Current children cumulated vsize (Kb) 222516

[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75103 0 0 0 107713 207 0 0 25 0 1 0 21828461 227856384 42886 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55629 42886 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1079.2
Current children cumulated vsize (Kb) 222516

[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75108 0 0 0 108712 208 0 0 25 0 1 0 21828461 227856384 42891 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55629 42891 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1089.2
Current children cumulated vsize (Kb) 222516

[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75113 0 0 0 109711 209 0 0 25 0 1 0 21828461 227856384 42896 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55629 42896 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1099.2
Current children cumulated vsize (Kb) 222516

[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75121 0 0 0 110710 209 0 0 25 0 1 0 21828461 227856384 42904 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9457/statm): 55629 42904 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1109.19
Current children cumulated vsize (Kb) 222516

[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75126 0 0 0 111709 209 0 0 25 0 1 0 21828461 227856384 42909 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42909 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1119.18
Current children cumulated vsize (Kb) 222516

[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75134 0 0 0 112708 210 0 0 25 0 1 0 21828461 227856384 42917 4294967295 134512640 135987407 3221224560 3221223104 134788799 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42917 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1129.18
Current children cumulated vsize (Kb) 222516

[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75138 0 0 0 113706 210 0 0 25 0 1 0 21828461 227856384 42921 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42921 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1139.16
Current children cumulated vsize (Kb) 222516

[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75814 0 0 0 114704 212 0 0 25 0 1 0 21828461 227856384 42925 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42925 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1149.16
Current children cumulated vsize (Kb) 222516

[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75818 0 0 0 115703 213 0 0 25 0 1 0 21828461 227856384 42929 4294967295 134512640 135987407 3221224560 3221223192 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42929 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1159.16
Current children cumulated vsize (Kb) 222516

[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75829 0 0 0 116703 213 0 0 25 0 1 0 21828461 227856384 42940 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42940 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1169.16
Current children cumulated vsize (Kb) 222516

[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75834 0 0 0 117702 213 0 0 25 0 1 0 21828461 227856384 42945 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42945 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1179.15
Current children cumulated vsize (Kb) 222516

[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75840 0 0 0 118702 213 0 0 25 0 1 0 21828461 227856384 42951 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42951 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1189.15
Current children cumulated vsize (Kb) 222516

[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75846 0 0 0 119701 214 0 0 25 0 1 0 21828461 227856384 42957 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42957 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1199.15
Current children cumulated vsize (Kb) 222516

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75854 0 0 0 120700 214 0 0 25 0 1 0 21828461 227856384 42965 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42965 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1209.14
Current children cumulated vsize (Kb) 222516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 9520
Raw data (/proc/9457/stat): 9457 (pb2sat) R 9456 9457 4060 0 -1 0 75854 0 0 0 120700 214 0 0 25 0 1 0 21828461 227856384 42965 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9457/statm): 55629 42965 364 364 0 55265 0
[pid=9457] vsize: 222516
Current children cumulated CPU time (s) 1209.14
Current children cumulated vsize (Kb) 222516

Sending SIGTERM to -9457
Sleeping 2 seconds
One traced child (pid=9457) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.64
CPU time (s): 1209.73
CPU user time (s): 1207.5
CPU system time (s): 2.23166
CPU usage (%): 99.9246
Max. virtual memory (cumulated for all children) (Kb): 222516

Verifier Data

Verifier:	OK	2500