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/miplib/normalized-mps-v2-13-7-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 benchmark209.173
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 10416

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 17:55:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9118 boxname=wulflinc19 idbench=914 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /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: 9118
/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:        902360 kB
Buffers:         16100 kB
Cached:          96780 kB
SwapCached:          0 kB
Active:          45808 kB
Inactive:        69964 kB
HighTotal:      131008 kB
HighFree:        38164 kB
LowTotal:       903652 kB
LowFree:        864196 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11048 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:16:05 (client local time) WITH STATUS 10 IN 1209.74 SECONDS
stats: 9118 0 1209.74 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.6076 s]  setting bit 14 to 0
c CONFLICT during preprocess 
c [startup+19.9551 s]  setting bit 13 to 0
c CONFLICT during preprocess 
c [startup+21.3021 s]  setting bit 12 to 0
c [startup+73.0317 s]  setting bit 11 to 0

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

[startup+10.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 31612 0 0 0 933 62 0 0 25 0 1 0 22153272 97804288 20470 4294967295 134512640 135987407 3221224560 3221186016 134855009 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 23878 20470 364 364 0 23514 0
[pid=9752] vsize: 95512
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 95512

[startup+20.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 58016 0 0 0 1877 116 0 0 25 0 1 0 22153272 187191296 34395 4294967295 134512640 135987407 3221224560 3221223312 134800232 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 45701 34395 364 364 0 45337 0
[pid=9752] vsize: 182804
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 182804

[startup+30.0038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 61009 0 0 0 2870 123 0 0 25 0 1 0 22153272 193384448 35718 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47213 35718 364 364 0 46849 0
[pid=9752] vsize: 188852
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 188852

[startup+40.0046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 61070 0 0 0 3868 123 0 0 25 0 1 0 22153272 193650688 35779 4294967295 134512640 135987407 3221224560 3221223156 135478563 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47278 35779 364 364 0 46914 0
[pid=9752] vsize: 189112
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 189112

[startup+50.0054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 61163 0 0 0 4866 124 0 0 25 0 1 0 22153272 193916928 35839 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47343 35839 364 364 0 46979 0
[pid=9752] vsize: 189372
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 189372

[startup+60.0062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 61181 0 0 0 5866 124 0 0 25 0 1 0 22153272 193916928 35857 4294967295 134512640 135987407 3221224560 3221223104 134811816 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47343 35857 364 364 0 46979 0
[pid=9752] vsize: 189372
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 189372

[startup+70.0071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 61198 0 0 0 6864 125 0 0 25 0 1 0 22153272 193916928 35874 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47343 35874 364 364 0 46979 0
[pid=9752] vsize: 189372
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (Kb) 189372

[startup+80.0079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 62545 0 0 0 7860 129 0 0 25 0 1 0 22153272 196497408 36353 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 47973 36353 364 364 0 47609 0
[pid=9752] vsize: 191892
Current children cumulated CPU time (s) 79.89
Current children cumulated vsize (Kb) 191892

[startup+90.0087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 63775 0 0 0 8855 132 0 0 25 0 1 0 22153272 199798784 37028 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 48779 37028 364 364 0 48415 0
[pid=9752] vsize: 195116
Current children cumulated CPU time (s) 89.87
Current children cumulated vsize (Kb) 195116

[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 63926 0 0 0 9855 132 0 0 25 0 1 0 22153272 200060928 37114 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 48843 37114 364 364 0 48479 0
[pid=9752] vsize: 195372
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (Kb) 195372

[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 63933 0 0 0 10854 133 0 0 25 0 1 0 22153272 200060928 37121 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 48843 37121 364 364 0 48479 0
[pid=9752] vsize: 195372
Current children cumulated CPU time (s) 109.87
Current children cumulated vsize (Kb) 195372

[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 63956 0 0 0 11853 133 0 0 25 0 1 0 22153272 200060928 37144 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 48843 37144 364 364 0 48479 0
[pid=9752] vsize: 195372
Current children cumulated CPU time (s) 119.86
Current children cumulated vsize (Kb) 195372

[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 64338 0 0 0 12852 134 0 0 25 0 1 0 22153272 201113600 37330 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49100 37330 364 364 0 48736 0
[pid=9752] vsize: 196400
Current children cumulated CPU time (s) 129.86
Current children cumulated vsize (Kb) 196400

[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 64610 0 0 0 13850 135 0 0 25 0 1 0 22153272 201904128 37471 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49293 37471 364 364 0 48929 0
[pid=9752] vsize: 197172
Current children cumulated CPU time (s) 139.85
Current children cumulated vsize (Kb) 197172

[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 64623 0 0 0 14849 136 0 0 25 0 1 0 22153272 201904128 37484 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49293 37484 364 364 0 48929 0
[pid=9752] vsize: 197172
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 197172

[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 64626 0 0 0 15848 136 0 0 25 0 1 0 22153272 201904128 37487 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49293 37487 364 364 0 48929 0
[pid=9752] vsize: 197172
Current children cumulated CPU time (s) 159.84
Current children cumulated vsize (Kb) 197172

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 64634 0 0 0 16847 137 0 0 25 0 1 0 22153272 201768960 37462 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49260 37462 364 364 0 48896 0
[pid=9752] vsize: 197040
Current children cumulated CPU time (s) 169.84
Current children cumulated vsize (Kb) 197040

[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 65305 0 0 0 17844 139 0 0 25 0 1 0 22153272 204165120 37887 4294967295 134512640 135987407 3221224560 3221223232 134812261 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 49845 37887 364 364 0 49481 0
[pid=9752] vsize: 199380
Current children cumulated CPU time (s) 179.83
Current children cumulated vsize (Kb) 199380

[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 65941 0 0 0 18842 140 0 0 25 0 1 0 22153272 206282752 38262 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50362 38262 364 364 0 49998 0
[pid=9752] vsize: 201448
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 201448

[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 65945 0 0 0 19841 140 0 0 25 0 1 0 22153272 206282752 38266 4294967295 134512640 135987407 3221224560 3221223280 134812752 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50362 38266 364 364 0 49998 0
[pid=9752] vsize: 201448
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 201448

[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 66694 0 0 0 20839 142 0 0 25 0 1 0 22153272 208805888 38720 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50978 38720 364 364 0 50614 0
[pid=9752] vsize: 203912
Current children cumulated CPU time (s) 209.81
Current children cumulated vsize (Kb) 203912

[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 66699 0 0 0 21837 142 0 0 25 0 1 0 22153272 208805888 38725 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50978 38725 364 364 0 50614 0
[pid=9752] vsize: 203912
Current children cumulated CPU time (s) 219.79
Current children cumulated vsize (Kb) 203912

[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 66702 0 0 0 22835 143 0 0 25 0 1 0 22153272 208805888 38728 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50978 38728 364 364 0 50614 0
[pid=9752] vsize: 203912
Current children cumulated CPU time (s) 229.78
Current children cumulated vsize (Kb) 203912

[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 66738 0 0 0 23835 143 0 0 25 0 1 0 22153272 208805888 38764 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50978 38764 364 364 0 50614 0
[pid=9752] vsize: 203912
Current children cumulated CPU time (s) 239.78
Current children cumulated vsize (Kb) 203912

[startup+250.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9752
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 66749 0 0 0 24834 144 0 0 25 0 1 0 22153272 208805888 38775 4294967295 134512640 135987407 3221224560 3221223280 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 50978 38775 364 364 0 50614 0
[pid=9752] vsize: 203912
Current children cumulated CPU time (s) 249.78
Current children cumulated vsize (Kb) 203912

[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9807
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 67107 0 0 0 25827 150 0 0 25 0 1 0 22153272 209862656 38937 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 51236 38937 364 364 0 50872 0
[pid=9752] vsize: 204944
Current children cumulated CPU time (s) 259.77
Current children cumulated vsize (Kb) 204944

[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9807
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 67830 0 0 0 26824 152 0 0 25 0 1 0 22153272 209993728 38955 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 51268 38955 364 364 0 50904 0
[pid=9752] vsize: 205072
Current children cumulated CPU time (s) 269.76
Current children cumulated vsize (Kb) 205072

[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9807
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 69604 0 0 0 27818 156 0 0 25 0 1 0 22153272 216010752 39991 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 52737 39991 364 364 0 52373 0
[pid=9752] vsize: 210948
Current children cumulated CPU time (s) 279.74
Current children cumulated vsize (Kb) 210948

[startup+290.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9807
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 70304 0 0 0 28815 158 0 0 25 0 1 0 22153272 217985024 40398 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 53219 40398 364 364 0 52855 0
[pid=9752] vsize: 212876
Current children cumulated CPU time (s) 289.73
Current children cumulated vsize (Kb) 212876

[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9807
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 70759 0 0 0 29812 160 0 0 25 0 1 0 22153272 218898432 40560 4294967295 134512640 135987407 3221224560 3221223104 134811948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 53442 40560 364 364 0 53078 0
[pid=9752] vsize: 213768
Current children cumulated CPU time (s) 299.72
Current children cumulated vsize (Kb) 213768

[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9809
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71086 0 0 0 30811 161 0 0 25 0 1 0 22153272 219881472 40692 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 53682 40692 364 364 0 53318 0
[pid=9752] vsize: 214728
Current children cumulated CPU time (s) 309.72
Current children cumulated vsize (Kb) 214728

[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9811
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71206 0 0 0 31810 162 0 0 25 0 1 0 22153272 220143616 40747 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 53746 40747 364 364 0 53382 0
[pid=9752] vsize: 214984
Current children cumulated CPU time (s) 319.72
Current children cumulated vsize (Kb) 214984

[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71456 0 0 0 32809 162 0 0 25 0 1 0 22153272 220934144 40932 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 53939 40932 364 364 0 53575 0
[pid=9752] vsize: 215756
Current children cumulated CPU time (s) 329.71
Current children cumulated vsize (Kb) 215756

[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71626 0 0 0 33807 163 0 0 25 0 1 0 22153272 221462528 41037 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 54068 41037 364 364 0 53704 0
[pid=9752] vsize: 216272
Current children cumulated CPU time (s) 339.7
Current children cumulated vsize (Kb) 216272

[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71767 0 0 0 34805 164 0 0 25 0 1 0 22153272 221724672 41113 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 54132 41113 364 364 0 53768 0
[pid=9752] vsize: 216528
Current children cumulated CPU time (s) 349.69
Current children cumulated vsize (Kb) 216528

[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71790 0 0 0 35804 164 0 0 25 0 1 0 22153272 221724672 41136 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 54132 41136 364 364 0 53768 0
[pid=9752] vsize: 216528
Current children cumulated CPU time (s) 359.68
Current children cumulated vsize (Kb) 216528

[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 71961 0 0 0 36803 165 0 0 25 0 1 0 22153272 221986816 41242 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9752/statm): 54196 41242 364 364 0 53832 0
[pid=9752] vsize: 216784
Current children cumulated CPU time (s) 369.68
Current children cumulated vsize (Kb) 216784

[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72105 0 0 0 37802 166 0 0 25 0 1 0 22153272 222248960 41321 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41321 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 379.68
Current children cumulated vsize (Kb) 217040

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72136 0 0 0 38802 166 0 0 25 0 1 0 22153272 222248960 41352 4294967295 134512640 135987407 3221224560 3221223200 134812319 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41352 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 389.68
Current children cumulated vsize (Kb) 217040

[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72189 0 0 0 39801 167 0 0 25 0 1 0 22153272 222248960 41405 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41405 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 399.68
Current children cumulated vsize (Kb) 217040

[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72216 0 0 0 40800 167 0 0 25 0 1 0 22153272 222248960 41432 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41432 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 409.67
Current children cumulated vsize (Kb) 217040

[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72272 0 0 0 41799 168 0 0 25 0 1 0 22153272 222248960 41488 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41488 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 419.67
Current children cumulated vsize (Kb) 217040

[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 72947 0 0 0 42797 170 0 0 25 0 1 0 22153272 222248960 41491 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54260 41491 364 364 0 53896 0
[pid=9752] vsize: 217040
Current children cumulated CPU time (s) 429.67
Current children cumulated vsize (Kb) 217040

[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73068 0 0 0 43796 170 0 0 25 0 1 0 22153272 222777344 41612 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54389 41612 364 364 0 54025 0
[pid=9752] vsize: 217556
Current children cumulated CPU time (s) 439.66
Current children cumulated vsize (Kb) 217556

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73081 0 0 0 44795 171 0 0 25 0 1 0 22153272 222777344 41625 4294967295 134512640 135987407 3221224560 3221223280 134812582 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54389 41625 364 364 0 54025 0
[pid=9752] vsize: 217556
Current children cumulated CPU time (s) 449.66
Current children cumulated vsize (Kb) 217556

[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73238 0 0 0 45794 172 0 0 25 0 1 0 22153272 223039488 41717 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41717 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 459.66
Current children cumulated vsize (Kb) 217812

[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73243 0 0 0 46793 172 0 0 25 0 1 0 22153272 223039488 41722 4294967295 134512640 135987407 3221224560 3221223104 134812033 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41722 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 469.65
Current children cumulated vsize (Kb) 217812

[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73248 0 0 0 47793 172 0 0 25 0 1 0 22153272 223039488 41727 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41727 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 479.65
Current children cumulated vsize (Kb) 217812

[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73253 0 0 0 48792 172 0 0 25 0 1 0 22153272 223039488 41732 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41732 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 489.64
Current children cumulated vsize (Kb) 217812

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73259 0 0 0 49791 173 0 0 25 0 1 0 22153272 223039488 41738 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41738 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 499.64
Current children cumulated vsize (Kb) 217812

[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73262 0 0 0 50790 173 0 0 25 0 1 0 22153272 223039488 41741 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41741 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 509.63
Current children cumulated vsize (Kb) 217812

[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73267 0 0 0 51789 173 0 0 25 0 1 0 22153272 223039488 41746 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54453 41746 364 364 0 54089 0
[pid=9752] vsize: 217812
Current children cumulated CPU time (s) 519.62
Current children cumulated vsize (Kb) 217812

[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73461 0 0 0 52786 174 0 0 25 0 1 0 22153272 223502336 41859 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54566 41859 364 364 0 54202 0
[pid=9752] vsize: 218264
Current children cumulated CPU time (s) 529.6
Current children cumulated vsize (Kb) 218264

[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 73659 0 0 0 53785 175 0 0 25 0 1 0 22153272 224026624 41927 4294967295 134512640 135987407 3221224560 3221223104 134788890 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 54694 41927 364 364 0 54330 0
[pid=9752] vsize: 218776
Current children cumulated CPU time (s) 539.6
Current children cumulated vsize (Kb) 218776

[startup+550.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9813
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74254 0 0 0 54780 177 0 0 25 0 1 0 22153272 225878016 42327 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55146 42327 364 364 0 54782 0
[pid=9752] vsize: 220584
Current children cumulated CPU time (s) 549.57
Current children cumulated vsize (Kb) 220584

[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74361 0 0 0 55777 179 0 0 25 0 1 0 22153272 226406400 42434 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42434 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 559.56
Current children cumulated vsize (Kb) 221100

[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74368 0 0 0 56776 179 0 0 25 0 1 0 22153272 226406400 42441 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42441 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 569.55
Current children cumulated vsize (Kb) 221100

[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74374 0 0 0 57775 179 0 0 25 0 1 0 22153272 226406400 42447 4294967295 134512640 135987407 3221224560 3221223104 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42447 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 579.54
Current children cumulated vsize (Kb) 221100

[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74382 0 0 0 58774 179 0 0 25 0 1 0 22153272 226406400 42455 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42455 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 589.53
Current children cumulated vsize (Kb) 221100

[startup+600.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74394 0 0 0 59773 180 0 0 25 0 1 0 22153272 226406400 42467 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42467 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 599.53
Current children cumulated vsize (Kb) 221100

[startup+610.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74403 0 0 0 60772 180 0 0 25 0 1 0 22153272 226406400 42476 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42476 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 609.52
Current children cumulated vsize (Kb) 221100

[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74406 0 0 0 61771 181 0 0 25 0 1 0 22153272 226406400 42479 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42479 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 619.52
Current children cumulated vsize (Kb) 221100

[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74415 0 0 0 62770 181 0 0 25 0 1 0 22153272 226406400 42488 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42488 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 629.51
Current children cumulated vsize (Kb) 221100

[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74419 0 0 0 63769 182 0 0 25 0 1 0 22153272 226406400 42492 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42492 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 639.51
Current children cumulated vsize (Kb) 221100

[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74423 0 0 0 64768 183 0 0 25 0 1 0 22153272 226406400 42496 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42496 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 649.51
Current children cumulated vsize (Kb) 221100

[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74428 0 0 0 65767 183 0 0 25 0 1 0 22153272 226406400 42501 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42501 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 659.5
Current children cumulated vsize (Kb) 221100

[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74431 0 0 0 66766 184 0 0 25 0 1 0 22153272 226406400 42504 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42504 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 669.5
Current children cumulated vsize (Kb) 221100

[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74436 0 0 0 67765 184 0 0 25 0 1 0 22153272 226406400 42509 4294967295 134512640 135987407 3221224560 3221223104 134811765 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42509 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 679.49
Current children cumulated vsize (Kb) 221100

[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74442 0 0 0 68765 184 0 0 25 0 1 0 22153272 226406400 42515 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42515 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 689.49
Current children cumulated vsize (Kb) 221100

[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74446 0 0 0 69764 185 0 0 25 0 1 0 22153272 226406400 42519 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42519 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 699.49
Current children cumulated vsize (Kb) 221100

[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74451 0 0 0 70763 185 0 0 25 0 1 0 22153272 226406400 42524 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42524 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 709.48
Current children cumulated vsize (Kb) 221100

[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74454 0 0 0 71762 186 0 0 25 0 1 0 22153272 226406400 42527 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42527 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 719.48
Current children cumulated vsize (Kb) 221100

[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74464 0 0 0 72761 186 0 0 25 0 1 0 22153272 226406400 42537 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42537 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 729.47
Current children cumulated vsize (Kb) 221100

[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74468 0 0 0 73760 187 0 0 25 0 1 0 22153272 226406400 42541 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42541 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 739.47
Current children cumulated vsize (Kb) 221100

[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74472 0 0 0 74759 187 0 0 25 0 1 0 22153272 226406400 42545 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42545 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 749.46
Current children cumulated vsize (Kb) 221100

[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74476 0 0 0 75758 187 0 0 25 0 1 0 22153272 226406400 42549 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42549 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 759.45
Current children cumulated vsize (Kb) 221100

[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74479 0 0 0 76757 188 0 0 25 0 1 0 22153272 226406400 42552 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42552 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 769.45
Current children cumulated vsize (Kb) 221100

[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74483 0 0 0 77756 188 0 0 25 0 1 0 22153272 226406400 42556 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42556 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 779.44
Current children cumulated vsize (Kb) 221100

[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74487 0 0 0 78755 188 0 0 25 0 1 0 22153272 226406400 42560 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42560 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 789.43
Current children cumulated vsize (Kb) 221100

[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74492 0 0 0 79754 188 0 0 25 0 1 0 22153272 226406400 42565 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42565 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 799.42
Current children cumulated vsize (Kb) 221100

[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74498 0 0 0 80753 189 0 0 25 0 1 0 22153272 226406400 42571 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42571 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 809.42
Current children cumulated vsize (Kb) 221100

[startup+820.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74503 0 0 0 81752 189 0 0 25 0 1 0 22153272 226406400 42576 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42576 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 819.41
Current children cumulated vsize (Kb) 221100

[startup+830.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74513 0 0 0 82751 189 0 0 25 0 1 0 22153272 226406400 42586 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42586 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 829.4
Current children cumulated vsize (Kb) 221100

[startup+840.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74517 0 0 0 83748 191 0 0 25 0 1 0 22153272 226406400 42590 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42590 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 839.39
Current children cumulated vsize (Kb) 221100

[startup+850.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74520 0 0 0 84746 191 0 0 25 0 1 0 22153272 226406400 42593 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42593 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 849.37
Current children cumulated vsize (Kb) 221100

[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74525 0 0 0 85745 191 0 0 25 0 1 0 22153272 226406400 42598 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42598 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 859.36
Current children cumulated vsize (Kb) 221100

[startup+870.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74527 0 0 0 86744 192 0 0 25 0 1 0 22153272 226406400 42600 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42600 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 869.36
Current children cumulated vsize (Kb) 221100

[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74531 0 0 0 87742 193 0 0 25 0 1 0 22153272 226406400 42604 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42604 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 879.35
Current children cumulated vsize (Kb) 221100

[startup+890.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74537 0 0 0 88741 193 0 0 25 0 1 0 22153272 226406400 42610 4294967295 134512640 135987407 3221224560 3221223228 134812262 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42610 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 889.34
Current children cumulated vsize (Kb) 221100

[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74543 0 0 0 89740 194 0 0 25 0 1 0 22153272 226406400 42616 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42616 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 899.34
Current children cumulated vsize (Kb) 221100

[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74547 0 0 0 90739 194 0 0 25 0 1 0 22153272 226406400 42620 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42620 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 909.33
Current children cumulated vsize (Kb) 221100

[startup+920.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74571 0 0 0 91738 194 0 0 25 0 1 0 22153272 226406400 42644 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42644 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 919.32
Current children cumulated vsize (Kb) 221100

[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74579 0 0 0 92738 195 0 0 25 0 1 0 22153272 226406400 42652 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42652 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 929.33
Current children cumulated vsize (Kb) 221100

[startup+940.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74604 0 0 0 93736 196 0 0 25 0 1 0 22153272 226406400 42677 4294967295 134512640 135987407 3221224560 3221222980 134788428 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42677 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 939.32
Current children cumulated vsize (Kb) 221100

[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74613 0 0 0 94736 196 0 0 25 0 1 0 22153272 226406400 42686 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55275 42686 364 364 0 54911 0
[pid=9752] vsize: 221100
Current children cumulated CPU time (s) 949.32
Current children cumulated vsize (Kb) 221100

[startup+960.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74917 0 0 0 95734 197 0 0 25 0 1 0 22153272 227454976 42732 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42732 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 959.31
Current children cumulated vsize (Kb) 222124

[startup+970.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74921 0 0 0 96733 198 0 0 25 0 1 0 22153272 227454976 42736 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42736 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 969.31
Current children cumulated vsize (Kb) 222124

[startup+980.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74925 0 0 0 97731 198 0 0 25 0 1 0 22153272 227454976 42740 4294967295 134512640 135987407 3221224560 3221223280 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42740 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 979.29
Current children cumulated vsize (Kb) 222124

[startup+990.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74937 0 0 0 98730 199 0 0 25 0 1 0 22153272 227454976 42752 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42752 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 989.29
Current children cumulated vsize (Kb) 222124

[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74945 0 0 0 99728 199 0 0 25 0 1 0 22153272 227454976 42760 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42760 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 999.27
Current children cumulated vsize (Kb) 222124

[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74950 0 0 0 100728 200 0 0 25 0 1 0 22153272 227454976 42765 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42765 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1009.28
Current children cumulated vsize (Kb) 222124

[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74959 0 0 0 101726 201 0 0 25 0 1 0 22153272 227454976 42774 4294967295 134512640 135987407 3221224560 3221223176 134811681 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42774 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1019.27
Current children cumulated vsize (Kb) 222124

[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74962 0 0 0 102725 201 0 0 25 0 1 0 22153272 227454976 42777 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42777 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1029.26
Current children cumulated vsize (Kb) 222124

[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74967 0 0 0 103725 201 0 0 25 0 1 0 22153272 227454976 42782 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42782 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1039.26
Current children cumulated vsize (Kb) 222124

[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74971 0 0 0 104724 201 0 0 25 0 1 0 22153272 227454976 42786 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42786 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1049.25
Current children cumulated vsize (Kb) 222124

[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 74981 0 0 0 105723 202 0 0 25 0 1 0 22153272 227454976 42796 4294967295 134512640 135987407 3221224560 3221223104 134811891 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55531 42796 364 364 0 55167 0
[pid=9752] vsize: 222124
Current children cumulated CPU time (s) 1059.25
Current children cumulated vsize (Kb) 222124

[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75095 0 0 0 106721 203 0 0 25 0 1 0 22153272 227856384 42878 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42878 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1069.24
Current children cumulated vsize (Kb) 222516

[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75101 0 0 0 107720 203 0 0 25 0 1 0 22153272 227856384 42884 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42884 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1079.23
Current children cumulated vsize (Kb) 222516

[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75106 0 0 0 108718 204 0 0 25 0 1 0 22153272 227856384 42889 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42889 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1089.22
Current children cumulated vsize (Kb) 222516

[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75110 0 0 0 109717 205 0 0 25 0 1 0 22153272 227856384 42893 4294967295 134512640 135987407 3221224560 3221223168 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42893 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1099.22
Current children cumulated vsize (Kb) 222516

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75117 0 0 0 110716 205 0 0 25 0 1 0 22153272 227856384 42900 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42900 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1109.21
Current children cumulated vsize (Kb) 222516

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75123 0 0 0 111715 206 0 0 25 0 1 0 22153272 227856384 42906 4294967295 134512640 135987407 3221224560 3221223232 134824727 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42906 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1119.21
Current children cumulated vsize (Kb) 222516

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75130 0 0 0 112714 206 0 0 25 0 1 0 22153272 227856384 42913 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42913 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1129.2
Current children cumulated vsize (Kb) 222516

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75136 0 0 0 113712 207 0 0 25 0 1 0 22153272 227856384 42919 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42919 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1139.19
Current children cumulated vsize (Kb) 222516

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) T 9751 9752 4060 0 -1 0 75141 0 0 0 114711 207 0 0 25 0 1 0 22153272 227856384 42924 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42924 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1149.18
Current children cumulated vsize (Kb) 222516

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75816 0 0 0 115709 209 0 0 25 0 1 0 22153272 227856384 42927 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42927 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1159.18
Current children cumulated vsize (Kb) 222516

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75821 0 0 0 116708 209 0 0 25 0 1 0 22153272 227856384 42932 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42932 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1169.17
Current children cumulated vsize (Kb) 222516

[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75831 0 0 0 117707 210 0 0 25 0 1 0 22153272 227856384 42942 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42942 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1179.17
Current children cumulated vsize (Kb) 222516

[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75838 0 0 0 118706 210 0 0 25 0 1 0 22153272 227856384 42949 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42949 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1189.16
Current children cumulated vsize (Kb) 222516

[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75843 0 0 0 119705 211 0 0 25 0 1 0 22153272 227856384 42954 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42954 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1199.16
Current children cumulated vsize (Kb) 222516

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75848 0 0 0 120704 211 0 0 25 0 1 0 22153272 227856384 42959 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42959 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1209.15
Current children cumulated vsize (Kb) 222516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9815
Raw data (/proc/9752/stat): 9752 (pb2sat) R 9751 9752 4060 0 -1 0 75848 0 0 0 120704 211 0 0 25 0 1 0 22153272 227856384 42959 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9752/statm): 55629 42959 364 364 0 55265 0
[pid=9752] vsize: 222516
Current children cumulated CPU time (s) 1209.15
Current children cumulated vsize (Kb) 222516

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

Child status: 10
Real time (s): 1210.65
CPU time (s): 1209.74
CPU user time (s): 1207.53
CPU system time (s): 2.20267
CPU usage (%): 99.9244
Max. virtual memory (cumulated for all children) (Kb): 222516

Verifier Data

Verifier:	OK	2500