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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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 benchmark208.773
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 10540

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 18:36:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9240 boxname=wulflinc19 idbench=1036 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 9240
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901900 kB
Buffers:         16320 kB
Cached:          96832 kB
SwapCached:          0 kB
Active:          45820 kB
Inactive:        70236 kB
HighTotal:      131008 kB
HighFree:        38080 kB
LowTotal:       903652 kB
LowFree:        863820 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11076 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:57:01 (client local time) WITH STATUS 10 IN 1209.7 SECONDS
stats: 9240 0 1209.7 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.586 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+19.9359 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+21.2826 s]  setting bit 12 to 0
c [startup+73.0112 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 194.408/86400
c Decision: 65401/343960	Time: 350.849/86400
c Decision: 65401/343960	Time: 433.905/86400
c Decision: 66279/343960	Time: 1078.6/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/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22398955 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 373 2 364 364 0 9 0
[pid=10039] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-p0201.opb

[startup+10.0023 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 31639 0 0 0 925 71 0 0 25 0 1 0 22398955 97804288 20497 4294967295 134512640 135987407 3221224560 3221170320 134878060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 23878 20497 364 364 0 23514 0
[pid=10039] vsize: 95512
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 95512

[startup+20.0032 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 58016 0 0 0 1866 128 0 0 25 0 1 0 22398955 187191296 34395 4294967295 134512640 135987407 3221224560 3221223312 134800229 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 45701 34395 364 364 0 45337 0
[pid=10039] vsize: 182804
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 182804

[startup+30.004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 61009 0 0 0 2859 134 0 0 25 0 1 0 22398955 193384448 35718 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47213 35718 364 364 0 46849 0
[pid=10039] vsize: 188852
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 188852

[startup+40.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 61070 0 0 0 3858 135 0 0 25 0 1 0 22398955 193650688 35779 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47278 35779 364 364 0 46914 0
[pid=10039] vsize: 189112
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 189112

[startup+50.0036 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 61163 0 0 0 4856 136 0 0 25 0 1 0 22398955 193916928 35839 4294967295 134512640 135987407 3221224560 3221223232 134812451 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47343 35839 364 364 0 46979 0
[pid=10039] vsize: 189372
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (Kb) 189372

[startup+60.0044 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 61181 0 0 0 5854 136 0 0 25 0 1 0 22398955 193916928 35857 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47343 35857 364 364 0 46979 0
[pid=10039] vsize: 189372
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 189372

[startup+70.0052 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 61198 0 0 0 6853 137 0 0 25 0 1 0 22398955 193916928 35874 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47343 35874 364 364 0 46979 0
[pid=10039] vsize: 189372
Current children cumulated CPU time (s) 69.9
Current children cumulated vsize (Kb) 189372

[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 62545 0 0 0 7849 141 0 0 25 0 1 0 22398955 196497408 36353 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 47973 36353 364 364 0 47609 0
[pid=10039] vsize: 191892
Current children cumulated CPU time (s) 79.9
Current children cumulated vsize (Kb) 191892

[startup+90.0069 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 63775 0 0 0 8845 143 0 0 25 0 1 0 22398955 199798784 37028 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 48779 37028 364 364 0 48415 0
[pid=10039] vsize: 195116
Current children cumulated CPU time (s) 89.88
Current children cumulated vsize (Kb) 195116

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 63926 0 0 0 9843 144 0 0 25 0 1 0 22398955 200060928 37114 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 48843 37114 364 364 0 48479 0
[pid=10039] vsize: 195372
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 195372

[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 63933 0 0 0 10841 145 0 0 25 0 1 0 22398955 200060928 37121 4294967295 134512640 135987407 3221224560 3221223280 134812650 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 48843 37121 364 364 0 48479 0
[pid=10039] vsize: 195372
Current children cumulated CPU time (s) 109.86
Current children cumulated vsize (Kb) 195372

[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 63956 0 0 0 11841 146 0 0 25 0 1 0 22398955 200060928 37144 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 48843 37144 364 364 0 48479 0
[pid=10039] vsize: 195372
Current children cumulated CPU time (s) 119.87
Current children cumulated vsize (Kb) 195372

[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 64338 0 0 0 12839 147 0 0 25 0 1 0 22398955 201113600 37330 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49100 37330 364 364 0 48736 0
[pid=10039] vsize: 196400
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 196400

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 64610 0 0 0 13836 148 0 0 25 0 1 0 22398955 201904128 37471 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49293 37471 364 364 0 48929 0
[pid=10039] vsize: 197172
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 197172

[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 64623 0 0 0 14835 148 0 0 25 0 1 0 22398955 201904128 37484 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49293 37484 364 364 0 48929 0
[pid=10039] vsize: 197172
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 197172

[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 64626 0 0 0 15834 149 0 0 25 0 1 0 22398955 201904128 37487 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49293 37487 364 364 0 48929 0
[pid=10039] vsize: 197172
Current children cumulated CPU time (s) 159.83
Current children cumulated vsize (Kb) 197172

[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 64634 0 0 0 16834 149 0 0 25 0 1 0 22398955 201768960 37462 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49260 37462 364 364 0 48896 0
[pid=10039] vsize: 197040
Current children cumulated CPU time (s) 169.83
Current children cumulated vsize (Kb) 197040

[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 65305 0 0 0 17830 152 0 0 25 0 1 0 22398955 204165120 37887 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 49845 37887 364 364 0 49481 0
[pid=10039] vsize: 199380
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 199380

[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 65941 0 0 0 18827 154 0 0 25 0 1 0 22398955 206282752 38262 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50362 38262 364 364 0 49998 0
[pid=10039] vsize: 201448
Current children cumulated CPU time (s) 189.81
Current children cumulated vsize (Kb) 201448

[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 65945 0 0 0 19827 154 0 0 25 0 1 0 22398955 206282752 38266 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50362 38266 364 364 0 49998 0
[pid=10039] vsize: 201448
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 201448

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 66694 0 0 0 20824 155 0 0 25 0 1 0 22398955 208805888 38720 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50978 38720 364 364 0 50614 0
[pid=10039] vsize: 203912
Current children cumulated CPU time (s) 209.79
Current children cumulated vsize (Kb) 203912

[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 66699 0 0 0 21823 156 0 0 25 0 1 0 22398955 208805888 38725 4294967295 134512640 135987407 3221224560 3221223104 134811704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50978 38725 364 364 0 50614 0
[pid=10039] vsize: 203912
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 203912

[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 66702 0 0 0 22822 156 0 0 25 0 1 0 22398955 208805888 38728 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50978 38728 364 364 0 50614 0
[pid=10039] vsize: 203912
Current children cumulated CPU time (s) 229.78
Current children cumulated vsize (Kb) 203912

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 66738 0 0 0 23821 156 0 0 25 0 1 0 22398955 208805888 38764 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50978 38764 364 364 0 50614 0
[pid=10039] vsize: 203912
Current children cumulated CPU time (s) 239.77
Current children cumulated vsize (Kb) 203912

[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 66749 0 0 0 24820 156 0 0 25 0 1 0 22398955 208805888 38775 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 50978 38775 364 364 0 50614 0
[pid=10039] vsize: 203912
Current children cumulated CPU time (s) 249.76
Current children cumulated vsize (Kb) 203912

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 67107 0 0 0 25818 157 0 0 25 0 1 0 22398955 209862656 38937 4294967295 134512640 135987407 3221224560 3221223104 134811940 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 51236 38937 364 364 0 50872 0
[pid=10039] vsize: 204944
Current children cumulated CPU time (s) 259.75
Current children cumulated vsize (Kb) 204944

[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 67830 0 0 0 26815 160 0 0 25 0 1 0 22398955 209993728 38955 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 51268 38955 364 364 0 50904 0
[pid=10039] vsize: 205072
Current children cumulated CPU time (s) 269.75
Current children cumulated vsize (Kb) 205072

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 69604 0 0 0 27809 163 0 0 25 0 1 0 22398955 216010752 39991 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 52737 39991 364 364 0 52373 0
[pid=10039] vsize: 210948
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (Kb) 210948

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 70304 0 0 0 28807 164 0 0 25 0 1 0 22398955 217985024 40398 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 53219 40398 364 364 0 52855 0
[pid=10039] vsize: 212876
Current children cumulated CPU time (s) 289.71
Current children cumulated vsize (Kb) 212876

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 70759 0 0 0 29805 166 0 0 25 0 1 0 22398955 218898432 40560 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 53442 40560 364 364 0 53078 0
[pid=10039] vsize: 213768
Current children cumulated CPU time (s) 299.71
Current children cumulated vsize (Kb) 213768

[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71086 0 0 0 30803 167 0 0 25 0 1 0 22398955 219881472 40692 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 53682 40692 364 364 0 53318 0
[pid=10039] vsize: 214728
Current children cumulated CPU time (s) 309.7
Current children cumulated vsize (Kb) 214728

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71206 0 0 0 31802 168 0 0 25 0 1 0 22398955 220143616 40747 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 53746 40747 364 364 0 53382 0
[pid=10039] vsize: 214984
Current children cumulated CPU time (s) 319.7
Current children cumulated vsize (Kb) 214984

[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71456 0 0 0 32801 168 0 0 25 0 1 0 22398955 220934144 40932 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 53939 40932 364 364 0 53575 0
[pid=10039] vsize: 215756
Current children cumulated CPU time (s) 329.69
Current children cumulated vsize (Kb) 215756

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71626 0 0 0 33799 169 0 0 25 0 1 0 22398955 221462528 41037 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54068 41037 364 364 0 53704 0
[pid=10039] vsize: 216272
Current children cumulated CPU time (s) 339.68
Current children cumulated vsize (Kb) 216272

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71767 0 0 0 34797 170 0 0 25 0 1 0 22398955 221724672 41113 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54132 41113 364 364 0 53768 0
[pid=10039] vsize: 216528
Current children cumulated CPU time (s) 349.67
Current children cumulated vsize (Kb) 216528

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71789 0 0 0 35796 170 0 0 25 0 1 0 22398955 221724672 41135 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54132 41135 364 364 0 53768 0
[pid=10039] vsize: 216528
Current children cumulated CPU time (s) 359.66
Current children cumulated vsize (Kb) 216528

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 71960 0 0 0 36795 171 0 0 25 0 1 0 22398955 221986816 41241 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54196 41241 364 364 0 53832 0
[pid=10039] vsize: 216784
Current children cumulated CPU time (s) 369.66
Current children cumulated vsize (Kb) 216784

[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72105 0 0 0 37794 171 0 0 25 0 1 0 22398955 222248960 41321 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41321 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 379.65
Current children cumulated vsize (Kb) 217040

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72135 0 0 0 38793 172 0 0 25 0 1 0 22398955 222248960 41351 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41351 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 389.65
Current children cumulated vsize (Kb) 217040

[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72188 0 0 0 39792 172 0 0 25 0 1 0 22398955 222248960 41404 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41404 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 399.64
Current children cumulated vsize (Kb) 217040

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72203 0 0 0 40792 172 0 0 25 0 1 0 22398955 222248960 41419 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41419 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 409.64
Current children cumulated vsize (Kb) 217040

[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72250 0 0 0 41791 173 0 0 25 0 1 0 22398955 222248960 41466 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41466 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 419.64
Current children cumulated vsize (Kb) 217040

[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 72947 0 0 0 42788 174 0 0 25 0 1 0 22398955 222248960 41491 4294967295 134512640 135987407 3221224560 3221222976 134788502 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54260 41491 364 364 0 53896 0
[pid=10039] vsize: 217040
Current children cumulated CPU time (s) 429.62
Current children cumulated vsize (Kb) 217040

[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73068 0 0 0 43788 175 0 0 25 0 1 0 22398955 222777344 41612 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 54389 41612 364 364 0 54025 0
[pid=10039] vsize: 217556
Current children cumulated CPU time (s) 439.63
Current children cumulated vsize (Kb) 217556

[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73081 0 0 0 44787 175 0 0 25 0 1 0 22398955 222777344 41625 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54389 41625 364 364 0 54025 0
[pid=10039] vsize: 217556
Current children cumulated CPU time (s) 449.62
Current children cumulated vsize (Kb) 217556

[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73238 0 0 0 45786 175 0 0 25 0 1 0 22398955 223039488 41717 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41717 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 459.61
Current children cumulated vsize (Kb) 217812

[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73243 0 0 0 46785 176 0 0 25 0 1 0 22398955 223039488 41722 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41722 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 469.61
Current children cumulated vsize (Kb) 217812

[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73248 0 0 0 47784 177 0 0 25 0 1 0 22398955 223039488 41727 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41727 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 479.61
Current children cumulated vsize (Kb) 217812

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73252 0 0 0 48783 177 0 0 25 0 1 0 22398955 223039488 41731 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41731 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 489.6
Current children cumulated vsize (Kb) 217812

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73259 0 0 0 49783 177 0 0 25 0 1 0 22398955 223039488 41738 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41738 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 499.6
Current children cumulated vsize (Kb) 217812

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73262 0 0 0 50782 177 0 0 25 0 1 0 22398955 223039488 41741 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41741 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 509.59
Current children cumulated vsize (Kb) 217812

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73267 0 0 0 51780 178 0 0 25 0 1 0 22398955 223039488 41746 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54453 41746 364 364 0 54089 0
[pid=10039] vsize: 217812
Current children cumulated CPU time (s) 519.58
Current children cumulated vsize (Kb) 217812

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73461 0 0 0 52778 179 0 0 25 0 1 0 22398955 223502336 41859 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54566 41859 364 364 0 54202 0
[pid=10039] vsize: 218264
Current children cumulated CPU time (s) 529.57
Current children cumulated vsize (Kb) 218264

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 73659 0 0 0 53777 180 0 0 25 0 1 0 22398955 224026624 41927 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 54694 41927 364 364 0 54330 0
[pid=10039] vsize: 218776
Current children cumulated CPU time (s) 539.57
Current children cumulated vsize (Kb) 218776

[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74255 0 0 0 54774 181 0 0 25 0 1 0 22398955 225878016 42328 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55146 42328 364 364 0 54782 0
[pid=10039] vsize: 220584
Current children cumulated CPU time (s) 549.55
Current children cumulated vsize (Kb) 220584

[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74361 0 0 0 55773 182 0 0 25 0 1 0 22398955 226406400 42434 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42434 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 559.55
Current children cumulated vsize (Kb) 221100

[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74368 0 0 0 56771 182 0 0 25 0 1 0 22398955 226406400 42441 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42441 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 569.53
Current children cumulated vsize (Kb) 221100

[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74374 0 0 0 57770 183 0 0 25 0 1 0 22398955 226406400 42447 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42447 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 579.53
Current children cumulated vsize (Kb) 221100

[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74383 0 0 0 58769 183 0 0 25 0 1 0 22398955 226406400 42456 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42456 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 589.52
Current children cumulated vsize (Kb) 221100

[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74394 0 0 0 59768 184 0 0 25 0 1 0 22398955 226406400 42467 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42467 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 599.52
Current children cumulated vsize (Kb) 221100

[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74403 0 0 0 60767 184 0 0 25 0 1 0 22398955 226406400 42476 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10039/statm): 55275 42476 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 609.51
Current children cumulated vsize (Kb) 221100

[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74408 0 0 0 61766 184 0 0 25 0 1 0 22398955 226406400 42481 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42481 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 619.5
Current children cumulated vsize (Kb) 221100

[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74416 0 0 0 62765 184 0 0 25 0 1 0 22398955 226406400 42489 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42489 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (Kb) 221100

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74419 0 0 0 63765 185 0 0 25 0 1 0 22398955 226406400 42492 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42492 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 639.5
Current children cumulated vsize (Kb) 221100

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74424 0 0 0 64763 186 0 0 25 0 1 0 22398955 226406400 42497 4294967295 134512640 135987407 3221224560 3221223240 134812453 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42497 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 649.49
Current children cumulated vsize (Kb) 221100

[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74428 0 0 0 65762 186 0 0 25 0 1 0 22398955 226406400 42501 4294967295 134512640 135987407 3221224560 3221223200 134812298 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42501 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 659.48
Current children cumulated vsize (Kb) 221100

[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74431 0 0 0 66761 187 0 0 25 0 1 0 22398955 226406400 42504 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42504 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 669.48
Current children cumulated vsize (Kb) 221100

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74438 0 0 0 67760 187 0 0 25 0 1 0 22398955 226406400 42511 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42511 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 679.47
Current children cumulated vsize (Kb) 221100

[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74442 0 0 0 68759 188 0 0 25 0 1 0 22398955 226406400 42515 4294967295 134512640 135987407 3221224560 3221223104 134812138 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42515 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 689.47
Current children cumulated vsize (Kb) 221100

[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74446 0 0 0 69758 188 0 0 25 0 1 0 22398955 226406400 42519 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42519 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 699.46
Current children cumulated vsize (Kb) 221100

[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74452 0 0 0 70757 188 0 0 25 0 1 0 22398955 226406400 42525 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42525 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 709.45
Current children cumulated vsize (Kb) 221100

[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74454 0 0 0 71757 188 0 0 25 0 1 0 22398955 226406400 42527 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42527 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 719.45
Current children cumulated vsize (Kb) 221100

[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74464 0 0 0 72756 189 0 0 25 0 1 0 22398955 226406400 42537 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42537 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 729.45
Current children cumulated vsize (Kb) 221100

[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74468 0 0 0 73754 189 0 0 25 0 1 0 22398955 226406400 42541 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42541 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 739.43
Current children cumulated vsize (Kb) 221100

[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74473 0 0 0 74754 189 0 0 25 0 1 0 22398955 226406400 42546 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42546 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 749.43
Current children cumulated vsize (Kb) 221100

[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74476 0 0 0 75753 190 0 0 25 0 1 0 22398955 226406400 42549 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42549 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 759.43
Current children cumulated vsize (Kb) 221100

[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74479 0 0 0 76752 190 0 0 25 0 1 0 22398955 226406400 42552 4294967295 134512640 135987407 3221224560 3221223104 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42552 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 769.42
Current children cumulated vsize (Kb) 221100

[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74484 0 0 0 77752 190 0 0 25 0 1 0 22398955 226406400 42557 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42557 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 779.42
Current children cumulated vsize (Kb) 221100

[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74487 0 0 0 78750 191 0 0 25 0 1 0 22398955 226406400 42560 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42560 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 789.41
Current children cumulated vsize (Kb) 221100

[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74493 0 0 0 79750 191 0 0 25 0 1 0 22398955 226406400 42566 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42566 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (Kb) 221100

[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74499 0 0 0 80749 191 0 0 25 0 1 0 22398955 226406400 42572 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42572 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 809.4
Current children cumulated vsize (Kb) 221100

[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74504 0 0 0 81748 191 0 0 25 0 1 0 22398955 226406400 42577 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42577 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 819.39
Current children cumulated vsize (Kb) 221100

[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74514 0 0 0 82747 192 0 0 25 0 1 0 22398955 226406400 42587 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42587 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (Kb) 221100

[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74517 0 0 0 83744 193 0 0 25 0 1 0 22398955 226406400 42590 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42590 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 839.37
Current children cumulated vsize (Kb) 221100

[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74520 0 0 0 84743 193 0 0 25 0 1 0 22398955 226406400 42593 4294967295 134512640 135987407 3221224560 3221223232 134816659 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42593 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 849.36
Current children cumulated vsize (Kb) 221100

[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74525 0 0 0 85741 194 0 0 25 0 1 0 22398955 226406400 42598 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42598 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 859.35
Current children cumulated vsize (Kb) 221100

[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74528 0 0 0 86741 194 0 0 25 0 1 0 22398955 226406400 42601 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42601 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 869.35
Current children cumulated vsize (Kb) 221100

[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74532 0 0 0 87738 195 0 0 25 0 1 0 22398955 226406400 42605 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42605 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 879.33
Current children cumulated vsize (Kb) 221100

[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74537 0 0 0 88737 195 0 0 25 0 1 0 22398955 226406400 42610 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42610 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 889.32
Current children cumulated vsize (Kb) 221100

[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74544 0 0 0 89736 195 0 0 25 0 1 0 22398955 226406400 42617 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42617 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 899.31
Current children cumulated vsize (Kb) 221100

[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74568 0 0 0 90735 196 0 0 25 0 1 0 22398955 226406400 42641 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42641 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 909.31
Current children cumulated vsize (Kb) 221100

[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74572 0 0 0 91734 196 0 0 25 0 1 0 22398955 226406400 42645 4294967295 134512640 135987407 3221224560 3221223008 134775415 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42645 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 919.3
Current children cumulated vsize (Kb) 221100

[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74580 0 0 0 92733 197 0 0 25 0 1 0 22398955 226406400 42653 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42653 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 929.3
Current children cumulated vsize (Kb) 221100

[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74605 0 0 0 93732 197 0 0 25 0 1 0 22398955 226406400 42678 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42678 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 939.29
Current children cumulated vsize (Kb) 221100

[startup+950.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74614 0 0 0 94732 197 0 0 25 0 1 0 22398955 226406400 42687 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55275 42687 364 364 0 54911 0
[pid=10039] vsize: 221100
Current children cumulated CPU time (s) 949.29
Current children cumulated vsize (Kb) 221100

[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74917 0 0 0 95731 198 0 0 25 0 1 0 22398955 227454976 42732 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42732 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 959.29
Current children cumulated vsize (Kb) 222124

[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74921 0 0 0 96729 198 0 0 25 0 1 0 22398955 227454976 42736 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42736 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 969.27
Current children cumulated vsize (Kb) 222124

[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74925 0 0 0 97727 199 0 0 25 0 1 0 22398955 227454976 42740 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42740 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 222124

[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74937 0 0 0 98725 200 0 0 25 0 1 0 22398955 227454976 42752 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42752 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 989.25
Current children cumulated vsize (Kb) 222124

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74946 0 0 0 99723 201 0 0 25 0 1 0 22398955 227454976 42761 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42761 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 999.24
Current children cumulated vsize (Kb) 222124

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74951 0 0 0 100723 201 0 0 25 0 1 0 22398955 227454976 42766 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42766 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1009.24
Current children cumulated vsize (Kb) 222124

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74959 0 0 0 101722 202 0 0 25 0 1 0 22398955 227454976 42774 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42774 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1019.24
Current children cumulated vsize (Kb) 222124

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74962 0 0 0 102720 202 0 0 25 0 1 0 22398955 227454976 42777 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42777 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1029.22
Current children cumulated vsize (Kb) 222124

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74968 0 0 0 103719 203 0 0 25 0 1 0 22398955 227454976 42783 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42783 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1039.22
Current children cumulated vsize (Kb) 222124

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74972 0 0 0 104718 203 0 0 25 0 1 0 22398955 227454976 42787 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42787 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1049.21
Current children cumulated vsize (Kb) 222124

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 74988 0 0 0 105716 204 0 0 25 0 1 0 22398955 227454976 42803 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55531 42803 364 364 0 55167 0
[pid=10039] vsize: 222124
Current children cumulated CPU time (s) 1059.2
Current children cumulated vsize (Kb) 222124

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75095 0 0 0 106714 205 0 0 25 0 1 0 22398955 227856384 42878 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42878 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1069.19
Current children cumulated vsize (Kb) 222516

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75101 0 0 0 107713 206 0 0 25 0 1 0 22398955 227856384 42884 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42884 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1079.19
Current children cumulated vsize (Kb) 222516

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75106 0 0 0 108712 206 0 0 25 0 1 0 22398955 227856384 42889 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42889 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1089.18
Current children cumulated vsize (Kb) 222516

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75110 0 0 0 109711 207 0 0 25 0 1 0 22398955 227856384 42893 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42893 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1099.18
Current children cumulated vsize (Kb) 222516

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75119 0 0 0 110710 207 0 0 25 0 1 0 22398955 227856384 42902 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42902 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1109.17
Current children cumulated vsize (Kb) 222516

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75124 0 0 0 111710 207 0 0 25 0 1 0 22398955 227856384 42907 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42907 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1119.17
Current children cumulated vsize (Kb) 222516

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75132 0 0 0 112710 207 0 0 25 0 1 0 22398955 227856384 42915 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42915 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1129.17
Current children cumulated vsize (Kb) 222516

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75137 0 0 0 113709 208 0 0 25 0 1 0 22398955 227856384 42920 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42920 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1139.17
Current children cumulated vsize (Kb) 222516

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75141 0 0 0 114707 208 0 0 25 0 1 0 22398955 227856384 42924 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42924 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1149.15
Current children cumulated vsize (Kb) 222516

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75816 0 0 0 115704 210 0 0 25 0 1 0 22398955 227856384 42927 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42927 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1159.14
Current children cumulated vsize (Kb) 222516

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75823 0 0 0 116703 211 0 0 25 0 1 0 22398955 227856384 42934 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42934 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1169.14
Current children cumulated vsize (Kb) 222516

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75832 0 0 0 117702 211 0 0 25 0 1 0 22398955 227856384 42943 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42943 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1179.13
Current children cumulated vsize (Kb) 222516

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75838 0 0 0 118702 212 0 0 25 0 1 0 22398955 227856384 42949 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42949 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1189.14
Current children cumulated vsize (Kb) 222516

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75845 0 0 0 119701 212 0 0 25 0 1 0 22398955 227856384 42956 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42956 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1199.13
Current children cumulated vsize (Kb) 222516

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75849 0 0 0 120700 212 0 0 25 0 1 0 22398955 227856384 42960 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42960 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1209.12
Current children cumulated vsize (Kb) 222516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10039
Raw data (/proc/10039/stat): 10039 (pb2sat) R 10038 10039 4060 0 -1 0 75849 0 0 0 120700 212 0 0 25 0 1 0 22398955 227856384 42960 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10039/statm): 55629 42960 364 364 0 55265 0
[pid=10039] vsize: 222516
Current children cumulated CPU time (s) 1209.12
Current children cumulated vsize (Kb) 222516

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

Child status: 10
Real time (s): 1210.63
CPU time (s): 1209.7
CPU user time (s): 1207.48
CPU system time (s): 2.21566
CPU usage (%): 99.9231
Max. virtual memory (cumulated for all children) (Kb): 222516

Verifier Data

Verifier:	OK	2500