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/miplib/normalized-mps-v2-20-10-p0201.opb
MD5SUMffa3a55eb53181880328dd1b84f91e66
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 benchmark207.265
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 10038

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930864 kB
Buffers:         15976 kB
Cached:          69704 kB
SwapCached:          0 kB
Active:          43876 kB
Inactive:        44704 kB
HighTotal:      131008 kB
HighFree:        56980 kB
LowTotal:       903652 kB
LowFree:        873884 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9600 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:40:45 (client local time) WITH STATUS 10 IN 1209.67 SECONDS
stats: 8734 0 1209.67 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.675 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+20.0301 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+21.3816 s]  setting bit 12 to 0
c [startup+73.3342 s]  setting bit 11 to 0

c Decision: 65399/343960	Time: 195.348/86400
c Decision: 65401/343960	Time: 352.494/86400
c Decision: 65401/343960	Time: 436.557/86400
c Decision: 66279/343960	Time: 1085.25/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/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21583494 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 373 2 364 364 0 9 0
[pid=9080] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-p0201.opb

[startup+10.002 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 31541 0 0 0 926 70 0 0 25 0 1 0 21583494 97669120 20400 4294967295 134512640 135987407 3221224560 3221202528 134893003 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 23845 20400 364 364 0 23481 0
[pid=9080] vsize: 95380
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 95380

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 58016 0 0 0 1869 123 0 0 25 0 1 0 21583494 187191296 34395 4294967295 134512640 135987407 3221224560 3221223360 134802449 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 45701 34395 364 364 0 45337 0
[pid=9080] vsize: 182804
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 182804

[startup+30.0032 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 61005 0 0 0 2860 131 0 0 25 0 1 0 21583494 193384448 35714 4294967295 134512640 135987407 3221224560 3221223104 134812002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 47213 35714 364 364 0 46849 0
[pid=9080] vsize: 188852
Current children cumulated CPU time (s) 29.91
Current children cumulated vsize (Kb) 188852

[startup+40.0028 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 61070 0 0 0 3859 132 0 0 25 0 1 0 21583494 193650688 35779 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 47278 35779 364 364 0 46914 0
[pid=9080] vsize: 189112
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 189112

[startup+50.0034 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 61105 0 0 0 4858 132 0 0 25 0 1 0 21583494 193785856 35814 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 47311 35814 364 364 0 46947 0
[pid=9080] vsize: 189244
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 189244

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

[startup+70.0036 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 61198 0 0 0 6856 133 0 0 25 0 1 0 21583494 193916928 35874 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 47343 35874 364 364 0 46979 0
[pid=9080] vsize: 189372
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 189372

[startup+80.0042 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 62540 0 0 0 7851 137 0 0 25 0 1 0 21583494 196497408 36348 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 47973 36348 364 364 0 47609 0
[pid=9080] vsize: 191892
Current children cumulated CPU time (s) 79.88
Current children cumulated vsize (Kb) 191892

[startup+90.0039 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 63770 0 0 0 8847 139 0 0 25 0 1 0 21583494 199798784 37023 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 48779 37023 364 364 0 48415 0
[pid=9080] vsize: 195116
Current children cumulated CPU time (s) 89.86
Current children cumulated vsize (Kb) 195116

[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 63925 0 0 0 9847 140 0 0 25 0 1 0 21583494 200060928 37113 4294967295 134512640 135987407 3221224560 3221223024 135293365 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 48843 37113 364 364 0 48479 0
[pid=9080] vsize: 195372
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 195372

[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 63933 0 0 0 10845 140 0 0 25 0 1 0 21583494 200060928 37121 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 48843 37121 364 364 0 48479 0
[pid=9080] vsize: 195372
Current children cumulated CPU time (s) 109.85
Current children cumulated vsize (Kb) 195372

[startup+120.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 63956 0 0 0 11844 141 0 0 25 0 1 0 21583494 200060928 37144 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 48843 37144 364 364 0 48479 0
[pid=9080] vsize: 195372
Current children cumulated CPU time (s) 119.85
Current children cumulated vsize (Kb) 195372

[startup+130.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 64337 0 0 0 12842 142 0 0 25 0 1 0 21583494 201113600 37329 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49100 37329 364 364 0 48736 0
[pid=9080] vsize: 196400
Current children cumulated CPU time (s) 129.84
Current children cumulated vsize (Kb) 196400

[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 64609 0 0 0 13841 143 0 0 25 0 1 0 21583494 201904128 37470 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49293 37470 364 364 0 48929 0
[pid=9080] vsize: 197172
Current children cumulated CPU time (s) 139.84
Current children cumulated vsize (Kb) 197172

[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 64623 0 0 0 14840 143 0 0 25 0 1 0 21583494 201904128 37484 4294967295 134512640 135987407 3221224560 3221223264 134790052 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49293 37484 364 364 0 48929 0
[pid=9080] vsize: 197172
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 197172

[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 64626 0 0 0 15839 143 0 0 25 0 1 0 21583494 201904128 37487 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49293 37487 364 364 0 48929 0
[pid=9080] vsize: 197172
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 197172

[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 64634 0 0 0 16838 144 0 0 25 0 1 0 21583494 201768960 37462 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49260 37462 364 364 0 48896 0
[pid=9080] vsize: 197040
Current children cumulated CPU time (s) 169.82
Current children cumulated vsize (Kb) 197040

[startup+180.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 65204 0 0 0 17835 146 0 0 25 0 1 0 21583494 203902976 37851 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 49781 37851 364 364 0 49417 0
[pid=9080] vsize: 199124
Current children cumulated CPU time (s) 179.81
Current children cumulated vsize (Kb) 199124

[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 65941 0 0 0 18832 148 0 0 25 0 1 0 21583494 206282752 38262 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50362 38262 364 364 0 49998 0
[pid=9080] vsize: 201448
Current children cumulated CPU time (s) 189.8
Current children cumulated vsize (Kb) 201448

[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 65945 0 0 0 19832 149 0 0 25 0 1 0 21583494 206282752 38266 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50362 38266 364 364 0 49998 0
[pid=9080] vsize: 201448
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 201448

[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 66558 0 0 0 20829 151 0 0 25 0 1 0 21583494 208408576 38650 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50881 38650 364 364 0 50517 0
[pid=9080] vsize: 203524
Current children cumulated CPU time (s) 209.8
Current children cumulated vsize (Kb) 203524

[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 66698 0 0 0 21828 151 0 0 25 0 1 0 21583494 208805888 38724 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50978 38724 364 364 0 50614 0
[pid=9080] vsize: 203912
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 203912

[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 66701 0 0 0 22827 151 0 0 25 0 1 0 21583494 208805888 38727 4294967295 134512640 135987407 3221224560 3221223176 134812118 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50978 38727 364 364 0 50614 0
[pid=9080] vsize: 203912
Current children cumulated CPU time (s) 229.78
Current children cumulated vsize (Kb) 203912

[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 66737 0 0 0 23826 152 0 0 25 0 1 0 21583494 208805888 38763 4294967295 134512640 135987407 3221224560 3221223244 134812256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50978 38763 364 364 0 50614 0
[pid=9080] vsize: 203912
Current children cumulated CPU time (s) 239.78
Current children cumulated vsize (Kb) 203912

[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 66748 0 0 0 24826 152 0 0 25 0 1 0 21583494 208805888 38774 4294967295 134512640 135987407 3221224560 3221223104 134788843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 50978 38774 364 364 0 50614 0
[pid=9080] vsize: 203912
Current children cumulated CPU time (s) 249.78
Current children cumulated vsize (Kb) 203912

[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 67107 0 0 0 25822 154 0 0 25 0 1 0 21583494 209862656 38937 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 51236 38937 364 364 0 50872 0
[pid=9080] vsize: 204944
Current children cumulated CPU time (s) 259.76
Current children cumulated vsize (Kb) 204944

[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 67830 0 0 0 26820 156 0 0 25 0 1 0 21583494 209993728 38955 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 51268 38955 364 364 0 50904 0
[pid=9080] vsize: 205072
Current children cumulated CPU time (s) 269.76
Current children cumulated vsize (Kb) 205072

[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 69409 0 0 0 27814 160 0 0 25 0 1 0 21583494 215347200 39895 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 52575 39895 364 364 0 52211 0
[pid=9080] vsize: 210300
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (Kb) 210300

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 70304 0 0 0 28811 163 0 0 25 0 1 0 21583494 217985024 40398 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 53219 40398 364 364 0 52855 0
[pid=9080] vsize: 212876
Current children cumulated CPU time (s) 289.74
Current children cumulated vsize (Kb) 212876

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 70759 0 0 0 29808 164 0 0 25 0 1 0 21583494 218898432 40560 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 53442 40560 364 364 0 53078 0
[pid=9080] vsize: 213768
Current children cumulated CPU time (s) 299.72
Current children cumulated vsize (Kb) 213768

[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71086 0 0 0 30806 166 0 0 25 0 1 0 21583494 219881472 40692 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 53682 40692 364 364 0 53318 0
[pid=9080] vsize: 214728
Current children cumulated CPU time (s) 309.72
Current children cumulated vsize (Kb) 214728

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71197 0 0 0 31804 167 0 0 25 0 1 0 21583494 220143616 40738 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 53746 40738 364 364 0 53382 0
[pid=9080] vsize: 214984
Current children cumulated CPU time (s) 319.71
Current children cumulated vsize (Kb) 214984

[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71420 0 0 0 32803 167 0 0 25 0 1 0 21583494 220934144 40896 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 53939 40896 364 364 0 53575 0
[pid=9080] vsize: 215756
Current children cumulated CPU time (s) 329.7
Current children cumulated vsize (Kb) 215756

[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71626 0 0 0 33801 168 0 0 25 0 1 0 21583494 221462528 41037 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54068 41037 364 364 0 53704 0
[pid=9080] vsize: 216272
Current children cumulated CPU time (s) 339.69
Current children cumulated vsize (Kb) 216272

[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71767 0 0 0 34799 169 0 0 25 0 1 0 21583494 221724672 41113 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54132 41113 364 364 0 53768 0
[pid=9080] vsize: 216528
Current children cumulated CPU time (s) 349.68
Current children cumulated vsize (Kb) 216528

[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71781 0 0 0 35798 170 0 0 25 0 1 0 21583494 221724672 41127 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54132 41127 364 364 0 53768 0
[pid=9080] vsize: 216528
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (Kb) 216528

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 71948 0 0 0 36797 170 0 0 25 0 1 0 21583494 221986816 41229 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54196 41229 364 364 0 53832 0
[pid=9080] vsize: 216784
Current children cumulated CPU time (s) 369.67
Current children cumulated vsize (Kb) 216784

[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72104 0 0 0 37796 171 0 0 25 0 1 0 21583494 222248960 41320 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41320 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 379.67
Current children cumulated vsize (Kb) 217040

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72109 0 0 0 38794 171 0 0 25 0 1 0 21583494 222248960 41325 4294967295 134512640 135987407 3221224560 3221223200 134812334 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41325 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 389.65
Current children cumulated vsize (Kb) 217040

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72180 0 0 0 39794 172 0 0 25 0 1 0 21583494 222248960 41396 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41396 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 399.66
Current children cumulated vsize (Kb) 217040

[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72193 0 0 0 40793 172 0 0 25 0 1 0 21583494 222248960 41409 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41409 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 409.65
Current children cumulated vsize (Kb) 217040

[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72220 0 0 0 41793 172 0 0 25 0 1 0 21583494 222248960 41436 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41436 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 419.65
Current children cumulated vsize (Kb) 217040

[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 72946 0 0 0 42789 174 0 0 25 0 1 0 21583494 222248960 41490 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54260 41490 364 364 0 53896 0
[pid=9080] vsize: 217040
Current children cumulated CPU time (s) 429.63
Current children cumulated vsize (Kb) 217040

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73067 0 0 0 43789 175 0 0 25 0 1 0 21583494 222777344 41611 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54389 41611 364 364 0 54025 0
[pid=9080] vsize: 217556
Current children cumulated CPU time (s) 439.64
Current children cumulated vsize (Kb) 217556

[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73071 0 0 0 44788 175 0 0 25 0 1 0 21583494 222777344 41615 4294967295 134512640 135987407 3221224560 3221223032 135293361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54389 41615 364 364 0 54025 0
[pid=9080] vsize: 217556
Current children cumulated CPU time (s) 449.63
Current children cumulated vsize (Kb) 217556

[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73237 0 0 0 45787 176 0 0 25 0 1 0 21583494 223039488 41716 4294967295 134512640 135987407 3221224560 3221223280 134812606 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41716 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 459.63
Current children cumulated vsize (Kb) 217812

[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73242 0 0 0 46787 176 0 0 25 0 1 0 21583494 223039488 41721 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41721 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 469.63
Current children cumulated vsize (Kb) 217812

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73247 0 0 0 47786 177 0 0 25 0 1 0 21583494 223039488 41726 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41726 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 479.63
Current children cumulated vsize (Kb) 217812

[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73252 0 0 0 48786 177 0 0 25 0 1 0 21583494 223039488 41731 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41731 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 489.63
Current children cumulated vsize (Kb) 217812

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73258 0 0 0 49785 177 0 0 25 0 1 0 21583494 223039488 41737 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41737 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 499.62
Current children cumulated vsize (Kb) 217812

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73262 0 0 0 50784 177 0 0 25 0 1 0 21583494 223039488 41741 4294967295 134512640 135987407 3221224560 3221223136 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41741 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 509.61
Current children cumulated vsize (Kb) 217812

[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73264 0 0 0 51783 178 0 0 25 0 1 0 21583494 223039488 41743 4294967295 134512640 135987407 3221224560 3221223232 134824216 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54453 41743 364 364 0 54089 0
[pid=9080] vsize: 217812
Current children cumulated CPU time (s) 519.61
Current children cumulated vsize (Kb) 217812

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73458 0 0 0 52782 179 0 0 25 0 1 0 21583494 223502336 41856 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54566 41856 364 364 0 54202 0
[pid=9080] vsize: 218264
Current children cumulated CPU time (s) 529.61
Current children cumulated vsize (Kb) 218264

[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 73659 0 0 0 53780 180 0 0 25 0 1 0 21583494 224026624 41927 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 54694 41927 364 364 0 54330 0
[pid=9080] vsize: 218776
Current children cumulated CPU time (s) 539.6
Current children cumulated vsize (Kb) 218776

[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74197 0 0 0 54777 182 0 0 25 0 1 0 21583494 225878016 42270 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55146 42270 364 364 0 54782 0
[pid=9080] vsize: 220584
Current children cumulated CPU time (s) 549.59
Current children cumulated vsize (Kb) 220584

[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74343 0 0 0 55775 182 0 0 25 0 1 0 21583494 226406400 42416 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42416 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 559.57
Current children cumulated vsize (Kb) 221100

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74367 0 0 0 56773 183 0 0 25 0 1 0 21583494 226406400 42440 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42440 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 569.56
Current children cumulated vsize (Kb) 221100

[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74372 0 0 0 57772 183 0 0 25 0 1 0 21583494 226406400 42445 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42445 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 579.55
Current children cumulated vsize (Kb) 221100

[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74381 0 0 0 58771 183 0 0 25 0 1 0 21583494 226406400 42454 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42454 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 589.54
Current children cumulated vsize (Kb) 221100

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74384 0 0 0 59770 184 0 0 25 0 1 0 21583494 226406400 42457 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42457 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 599.54
Current children cumulated vsize (Kb) 221100

[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74401 0 0 0 60769 184 0 0 25 0 1 0 21583494 226406400 42474 4294967295 134512640 135987407 3221224560 3221222976 134788469 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42474 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 609.53
Current children cumulated vsize (Kb) 221100

[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74405 0 0 0 61768 184 0 0 25 0 1 0 21583494 226406400 42478 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42478 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 619.52
Current children cumulated vsize (Kb) 221100

[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74413 0 0 0 62768 185 0 0 25 0 1 0 21583494 226406400 42486 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42486 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 629.53
Current children cumulated vsize (Kb) 221100

[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74417 0 0 0 63766 185 0 0 25 0 1 0 21583494 226406400 42490 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42490 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 639.51
Current children cumulated vsize (Kb) 221100

[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74422 0 0 0 64764 186 0 0 25 0 1 0 21583494 226406400 42495 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42495 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 649.5
Current children cumulated vsize (Kb) 221100

[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74426 0 0 0 65762 187 0 0 25 0 1 0 21583494 226406400 42499 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42499 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 659.49
Current children cumulated vsize (Kb) 221100

[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74429 0 0 0 66762 187 0 0 25 0 1 0 21583494 226406400 42502 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42502 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 669.49
Current children cumulated vsize (Kb) 221100

[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74434 0 0 0 67761 187 0 0 25 0 1 0 21583494 226406400 42507 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42507 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 679.48
Current children cumulated vsize (Kb) 221100

[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74440 0 0 0 68760 188 0 0 25 0 1 0 21583494 226406400 42513 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42513 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 689.48
Current children cumulated vsize (Kb) 221100

[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74444 0 0 0 69759 188 0 0 25 0 1 0 21583494 226406400 42517 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42517 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 699.47
Current children cumulated vsize (Kb) 221100

[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74450 0 0 0 70759 189 0 0 25 0 1 0 21583494 226406400 42523 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42523 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 709.48
Current children cumulated vsize (Kb) 221100

[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74453 0 0 0 71757 189 0 0 25 0 1 0 21583494 226406400 42526 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42526 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 719.46
Current children cumulated vsize (Kb) 221100

[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74460 0 0 0 72757 189 0 0 25 0 1 0 21583494 226406400 42533 4294967295 134512640 135987407 3221224560 3221223104 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42533 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 729.46
Current children cumulated vsize (Kb) 221100

[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74467 0 0 0 73755 189 0 0 25 0 1 0 21583494 226406400 42540 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42540 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 739.44
Current children cumulated vsize (Kb) 221100

[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74470 0 0 0 74754 190 0 0 25 0 1 0 21583494 226406400 42543 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42543 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 749.44
Current children cumulated vsize (Kb) 221100

[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74475 0 0 0 75753 190 0 0 25 0 1 0 21583494 226406400 42548 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42548 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 759.43
Current children cumulated vsize (Kb) 221100

[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74478 0 0 0 76752 191 0 0 25 0 1 0 21583494 226406400 42551 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42551 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 769.43
Current children cumulated vsize (Kb) 221100

[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74483 0 0 0 77751 191 0 0 25 0 1 0 21583494 226406400 42556 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42556 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 779.42
Current children cumulated vsize (Kb) 221100

[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74485 0 0 0 78750 191 0 0 25 0 1 0 21583494 226406400 42558 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42558 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 789.41
Current children cumulated vsize (Kb) 221100

[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74490 0 0 0 79750 191 0 0 25 0 1 0 21583494 226406400 42563 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42563 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 799.41
Current children cumulated vsize (Kb) 221100

[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74496 0 0 0 80749 192 0 0 25 0 1 0 21583494 226406400 42569 4294967295 134512640 135987407 3221224560 3221223280 134812644 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42569 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 809.41
Current children cumulated vsize (Kb) 221100

[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74501 0 0 0 81749 192 0 0 25 0 1 0 21583494 226406400 42574 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42574 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 819.41
Current children cumulated vsize (Kb) 221100

[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74512 0 0 0 82747 193 0 0 25 0 1 0 21583494 226406400 42585 4294967295 134512640 135987407 3221224560 3221223104 134811741 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42585 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 829.4
Current children cumulated vsize (Kb) 221100

[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74515 0 0 0 83743 195 0 0 25 0 1 0 21583494 226406400 42588 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42588 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 839.38
Current children cumulated vsize (Kb) 221100

[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74518 0 0 0 84741 196 0 0 25 0 1 0 21583494 226406400 42591 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42591 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 849.37
Current children cumulated vsize (Kb) 221100

[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74521 0 0 0 85739 197 0 0 25 0 1 0 21583494 226406400 42594 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42594 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 859.36
Current children cumulated vsize (Kb) 221100

[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74526 0 0 0 86738 197 0 0 25 0 1 0 21583494 226406400 42599 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42599 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 869.35
Current children cumulated vsize (Kb) 221100

[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74530 0 0 0 87736 197 0 0 25 0 1 0 21583494 226406400 42603 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42603 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 879.33
Current children cumulated vsize (Kb) 221100

[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74535 0 0 0 88734 198 0 0 25 0 1 0 21583494 226406400 42608 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42608 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 889.32
Current children cumulated vsize (Kb) 221100

[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74540 0 0 0 89733 198 0 0 25 0 1 0 21583494 226406400 42613 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42613 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 899.31
Current children cumulated vsize (Kb) 221100

[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74546 0 0 0 90732 199 0 0 25 0 1 0 21583494 226406400 42619 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42619 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 909.31
Current children cumulated vsize (Kb) 221100

[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74570 0 0 0 91731 200 0 0 25 0 1 0 21583494 226406400 42643 4294967295 134512640 135987407 3221224560 3221223200 134812383 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42643 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 919.31
Current children cumulated vsize (Kb) 221100

[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74575 0 0 0 92730 200 0 0 25 0 1 0 21583494 226406400 42648 4294967295 134512640 135987407 3221224560 3221223232 134824240 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42648 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 929.3
Current children cumulated vsize (Kb) 221100

[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74583 0 0 0 93729 200 0 0 25 0 1 0 21583494 226406400 42656 4294967295 134512640 135987407 3221224560 3221223184 134812414 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42656 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 939.29
Current children cumulated vsize (Kb) 221100

[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74610 0 0 0 94728 200 0 0 25 0 1 0 21583494 226406400 42683 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55275 42683 364 364 0 54911 0
[pid=9080] vsize: 221100
Current children cumulated CPU time (s) 949.28
Current children cumulated vsize (Kb) 221100

[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74763 0 0 0 95727 201 0 0 25 0 1 0 21583494 226930688 42707 4294967295 134512640 135987407 3221224560 3221222876 135480852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55403 42707 364 364 0 55039 0
[pid=9080] vsize: 221612
Current children cumulated CPU time (s) 959.28
Current children cumulated vsize (Kb) 221612

[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74920 0 0 0 96726 201 0 0 25 0 1 0 21583494 227454976 42735 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42735 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 969.27
Current children cumulated vsize (Kb) 222124

[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74923 0 0 0 97724 202 0 0 25 0 1 0 21583494 227454976 42738 4294967295 134512640 135987407 3221224560 3221222876 135480545 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42738 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 979.26
Current children cumulated vsize (Kb) 222124

[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74935 0 0 0 98722 203 0 0 25 0 1 0 21583494 227454976 42750 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42750 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 989.25
Current children cumulated vsize (Kb) 222124

[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74939 0 0 0 99720 203 0 0 25 0 1 0 21583494 227454976 42754 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42754 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 999.23
Current children cumulated vsize (Kb) 222124

[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74948 0 0 0 100719 204 0 0 25 0 1 0 21583494 227454976 42763 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42763 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1009.23
Current children cumulated vsize (Kb) 222124

[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74955 0 0 0 101718 204 0 0 25 0 1 0 21583494 227454976 42770 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42770 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1019.22
Current children cumulated vsize (Kb) 222124

[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74960 0 0 0 102717 205 0 0 25 0 1 0 21583494 227454976 42775 4294967295 134512640 135987407 3221224560 3221223232 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42775 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1029.22
Current children cumulated vsize (Kb) 222124

[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74963 0 0 0 103716 205 0 0 25 0 1 0 21583494 227454976 42778 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42778 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1039.21
Current children cumulated vsize (Kb) 222124

[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74969 0 0 0 104715 206 0 0 25 0 1 0 21583494 227454976 42784 4294967295 134512640 135987407 3221224560 3221222944 134775168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42784 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1049.21
Current children cumulated vsize (Kb) 222124

[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74973 0 0 0 105714 206 0 0 25 0 1 0 21583494 227454976 42788 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42788 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1059.2
Current children cumulated vsize (Kb) 222124

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 74989 0 0 0 106712 207 0 0 25 0 1 0 21583494 227454976 42804 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55531 42804 364 364 0 55167 0
[pid=9080] vsize: 222124
Current children cumulated CPU time (s) 1069.19
Current children cumulated vsize (Kb) 222124

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75097 0 0 0 107709 208 0 0 25 0 1 0 21583494 227856384 42880 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42880 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1079.17
Current children cumulated vsize (Kb) 222516

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75103 0 0 0 108708 208 0 0 25 0 1 0 21583494 227856384 42886 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42886 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1089.16
Current children cumulated vsize (Kb) 222516

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75108 0 0 0 109707 208 0 0 25 0 1 0 21583494 227856384 42891 4294967295 134512640 135987407 3221224560 3221223104 134812010 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42891 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1099.15
Current children cumulated vsize (Kb) 222516

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75113 0 0 0 110706 209 0 0 25 0 1 0 21583494 227856384 42896 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42896 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1109.15
Current children cumulated vsize (Kb) 222516

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75121 0 0 0 111704 210 0 0 25 0 1 0 21583494 227856384 42904 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42904 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1119.14
Current children cumulated vsize (Kb) 222516

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75125 0 0 0 112703 211 0 0 25 0 1 0 21583494 227856384 42908 4294967295 134512640 135987407 3221224560 3221223104 134812063 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42908 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1129.14
Current children cumulated vsize (Kb) 222516

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75134 0 0 0 113702 211 0 0 25 0 1 0 21583494 227856384 42917 4294967295 134512640 135987407 3221224560 3221223232 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42917 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1139.13
Current children cumulated vsize (Kb) 222516

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75138 0 0 0 114701 212 0 0 25 0 1 0 21583494 227856384 42921 4294967295 134512640 135987407 3221224560 3221223164 134812115 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42921 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1149.13
Current children cumulated vsize (Kb) 222516

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75814 0 0 0 115698 213 0 0 25 0 1 0 21583494 227856384 42925 4294967295 134512640 135987407 3221224560 3221223244 134812454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42925 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1159.11
Current children cumulated vsize (Kb) 222516

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75818 0 0 0 116696 214 0 0 25 0 1 0 21583494 227856384 42929 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42929 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1169.1
Current children cumulated vsize (Kb) 222516

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75828 0 0 0 117696 214 0 0 25 0 1 0 21583494 227856384 42939 4294967295 134512640 135987407 3221224560 3221223200 134812394 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42939 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1179.1
Current children cumulated vsize (Kb) 222516

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75833 0 0 0 118694 214 0 0 25 0 1 0 21583494 227856384 42944 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42944 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1189.08
Current children cumulated vsize (Kb) 222516

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75840 0 0 0 119693 215 0 0 25 0 1 0 21583494 227856384 42951 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42951 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1199.08
Current children cumulated vsize (Kb) 222516

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75846 0 0 0 120693 215 0 0 25 0 1 0 21583494 227856384 42957 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42957 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1209.08
Current children cumulated vsize (Kb) 222516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9080
Raw data (/proc/9080/stat): 9080 (pb2sat) R 9079 9080 4060 0 -1 0 75846 0 0 0 120693 215 0 0 25 0 1 0 21583494 227856384 42957 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9080/statm): 55629 42957 364 364 0 55265 0
[pid=9080] vsize: 222516
Current children cumulated CPU time (s) 1209.08
Current children cumulated vsize (Kb) 222516

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

Child status: 10
Real time (s): 1210.61
CPU time (s): 1209.67
CPU user time (s): 1207.42
CPU system time (s): 2.24766
CPU usage (%): 99.9219
Max. virtual memory (cumulated for all children) (Kb): 222516

Verifier Data

Verifier:	OK	2500