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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-tr12-30.opb
MD5SUM9136d330eaa53552ba154b6915193b35
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 7560
Biggest coefficient in the objective function 2097152
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 876993750
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 2097152
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 876993750
Number of bits of the biggest sum of numbers30
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables14760
Total number of constraints1110
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)360
Number of constraints which are nor clauses,nor cardinality constraints750
Minimum length of a constraint1
Maximum length of a constraint252

Trace number 10640

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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:        912040 kB
Buffers:         13476 kB
Cached:          91856 kB
SwapCached:          0 kB
Active:          47320 kB
Inactive:        60888 kB
HighTotal:      131008 kB
HighFree:        38892 kB
LowTotal:       903652 kB
LowFree:        873148 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8796 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:35:32 (client local time) WITH STATUS 0 IN 1205.6 SECONDS
stats: 9363 7 1205.6 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9667/463744	Time: 21.7907/86400
c Decision: 9721/463744	Time: 31.0373/86400
c Decision: 9752/463744	Time: 52.733/86400
c Decision: 9774/463744	Time: 61.2377/86400
c Decision: 9776/463744	Time: 70.8882/86400
c Decision: 9973/463744	Time: 87.9406/86400
c Decision: 9975/463744	Time: 96.3873/86400
c Decision: 9975/463744	Time: 106.646/86400
c Decision: 9987/463744	Time: 116.562/86400
c Decision: 10085/463744	Time: 157.709/86400
c Decision: 10085/463744	Time: 169.652/86400
c Decision: 10132/463744	Time: 179.553/86400
c Decision: 10132/463744	Time: 189.549/86400
c Decision: 10137/463744	Time: 208.56/86400
c Decision: 10142/463744	Time: 220.622/86400
c Decision: 10142/463744	Time: 232.561/86400
c Decision: 10142/463744	Time: 243.505/86400
c Decision: 10187/463744	Time: 256.233/86400
c Decision: 10220/463744	Time: 266.678/86400
c Decision: 10220/463744	Time: 277.51/86400
c Decision: 10220/463744	Time: 290.091/86400
c Decision: 10220/463744	Time: 301.483/86400
c Decision: 10220/463744	Time: 313.118/86400
c Decision: 10224/463744	Time: 329.746/86400
c Decision: 10224/463744	Time: 341.886/86400
c Decision: 10224/463744	Time: 355.727/86400
c Decision: 10224/463744	Time: 367.815/86400
c Decision: 10224/463744	Time: 379.094/86400
c Decision: 10224/463744	Time: 391.219/86400
c Decision: 10224/463744	Time: 402.858/86400
c Decision: 10224/463744	Time: 415.922/86400
c Decision: 10224/463744	Time: 427.727/86400
c Decision: 10224/463744	Time: 437.559/86400
c Decision: 10262/463744	Time: 448.653/86400
c Decision: 10265/463744	Time: 459.09/86400
c Decision: 10276/463744	Time: 487.651/86400
c Decision: 10321/463744	Time: 499.087/86400
c Decision: 10323/463744	Time: 522.063/86400
c Decision: 10323/463744	Time: 535.163/86400
c Decision: 10323/463744	Time: 548.134/86400
c Decision: 10325/463744	Time: 572.736/86400
c Decision: 10333/463744	Time: 597.864/86400
c Decision: 10339/463744	Time: 619.662/86400
c Decision: 10339/463744	Time: 632.546/86400
c Decision: 10339/463744	Time: 645.842/86400
c Decision: 10342/463744	Time: 662.981/86400
c Decision: 10342/463744	Time: 676.355/86400
c Decision: 10342/463744	Time: 687.809/86400
c Decision: 10342/463744	Time: 701.042/86400
c Decision: 10342/463744	Time: 714.776/86400
c Decision: 10387/463744	Time: 739.077/86400
c Decision: 10387/463744	Time: 750.584/86400
c Decision: 10392/463744	Time: 771.179/86400
c Decision: 10392/463744	Time: 783.967/86400
c Decision: 10392/463744	Time: 797.7/86400
c Decision: 10392/463744	Time: 812.684/86400
c Decision: 10392/463744	Time: 826.732/86400
c Decision: 10392/463744	Time: 840.02/86400
c Decision: 10437/463744	Time: 857.042/86400
c Decision: 10437/463744	Time: 867.566/86400
c Decision: 10437/463744	Time: 883.077/86400
c Decision: 10437/463744	Time: 896.416/86400
c Decision: 10437/463744	Time: 909.85/86400
c Decision: 10437/463744	Time: 923.092/86400
c Decision: 10437/463744	Time: 937.363/86400
c Decision: 10486/463744	Time: 951.706/86400
c Decision: 10489/463744	Time: 973.564/86400
c Decision: 10489/463744	Time: 986.417/86400
c Decision: 10489/463744	Time: 1001.26/86400
c Decision: 10489/463744	Time: 1012.27/86400
c Decision: 10493/463744	Time: 1035.39/86400
c Decision: 10493/463744	Time: 1048.05/86400
c Decision: 10493/463744	Time: 1062.84/86400
c Decision: 10493/463744	Time: 1077.04/86400
c Decision: 10493/463744	Time: 1089.92/86400
c Decision: 10493/463744	Time: 1103.73/86400
c Decision: 10493/463744	Time: 1118.48/86400
c Decision: 10493/463744	Time: 1132.48/86400
c Decision: 10496/463744	Time: 1155.57/86400
c Decision: 10496/463744	Time: 1170.08/86400s UNKNOWN

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/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22644210 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 373 2 364 364 0 9 0
[pid=12049] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-tr12-30.opb

[startup+10.0024 s]
Raw data (loadavg): 0.93 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 26503 0 0 0 936 60 0 0 25 0 1 0 22644210 81485824 15371 4294967295 134512640 135987407 3221224560 3221190304 134856380 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 19894 15371 364 364 0 19530 0
[pid=12049] vsize: 79576
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 79576

[startup+20.0031 s]
Raw data (loadavg): 0.94 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 53535 0 0 0 1877 119 0 0 25 0 1 0 22644210 158928896 31170 4294967295 134512640 135987407 3221224560 3221221952 134616918 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 38801 31170 364 364 0 38437 0
[pid=12049] vsize: 155204
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 155204

[startup+30.0047 s]
Raw data (loadavg): 0.95 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 58747 0 0 0 2750 169 0 0 18 0 1 0 22644210 170405888 35446 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 41603 35446 364 364 0 41239 0
[pid=12049] vsize: 166412
Current children cumulated CPU time (s) 29.19
Current children cumulated vsize (Kb) 166412

[startup+40.0053 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 59466 0 0 0 3712 182 0 0 25 0 1 0 22644210 173596672 36165 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 42382 36165 364 364 0 42018 0
[pid=12049] vsize: 169528
Current children cumulated CPU time (s) 38.94
Current children cumulated vsize (Kb) 169528

[startup+50.006 s]
Raw data (loadavg): 0.96 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 60620 0 0 0 4693 191 0 0 25 0 1 0 22644210 174706688 36413 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 42653 36413 364 364 0 42289 0
[pid=12049] vsize: 170612
Current children cumulated CPU time (s) 48.84
Current children cumulated vsize (Kb) 170612

[startup+60.0066 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 61639 0 0 0 5675 199 0 0 25 0 1 0 22644210 175230976 36526 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 42781 36526 364 364 0 42417 0
[pid=12049] vsize: 171124
Current children cumulated CPU time (s) 58.74
Current children cumulated vsize (Kb) 171124

[startup+70.0072 s]
Raw data (loadavg): 0.97 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 61752 0 0 0 6653 207 0 0 25 0 1 0 22644210 175624192 36639 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 42877 36639 364 364 0 42513 0
[pid=12049] vsize: 171508
Current children cumulated CPU time (s) 68.6
Current children cumulated vsize (Kb) 171508

[startup+80.0078 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 62722 0 0 0 7637 215 0 0 25 0 1 0 22644210 175788032 36703 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 42917 36703 364 364 0 42553 0
[pid=12049] vsize: 171668
Current children cumulated CPU time (s) 78.52
Current children cumulated vsize (Kb) 171668

[startup+90.0085 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 63765 0 0 0 8617 224 0 0 25 0 1 0 22644210 176418816 36840 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43071 36840 364 364 0 42707 0
[pid=12049] vsize: 172284
Current children cumulated CPU time (s) 88.41
Current children cumulated vsize (Kb) 172284

[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 64866 0 0 0 9583 237 0 0 25 0 1 0 22644210 177160192 37035 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43252 37035 364 364 0 42888 0
[pid=12049] vsize: 173008
Current children cumulated CPU time (s) 98.2
Current children cumulated vsize (Kb) 173008

[startup+110.009 s]
Raw data (loadavg): 0.98 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 65903 0 0 0 10560 246 0 0 25 0 1 0 22644210 177717248 37166 4294967295 134512640 135987407 3221224560 3221223376 134876945 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43388 37166 364 364 0 43024 0
[pid=12049] vsize: 173552
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (Kb) 173552

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 66873 0 0 0 11546 252 0 0 25 0 1 0 22644210 177913856 37230 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43436 37230 364 364 0 43072 0
[pid=12049] vsize: 173744
Current children cumulated CPU time (s) 117.98
Current children cumulated vsize (Kb) 173744

[startup+130.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 67828 0 0 0 12526 259 0 0 25 0 1 0 22644210 181821440 38185 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44390 38185 364 364 0 44026 0
[pid=12049] vsize: 177560
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (Kb) 177560

[startup+140.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 68806 0 0 0 13509 267 0 0 25 0 1 0 22644210 182018048 38257 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44438 38257 364 364 0 44074 0
[pid=12049] vsize: 177752
Current children cumulated CPU time (s) 137.76
Current children cumulated vsize (Kb) 177752

[startup+150.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 68860 0 0 0 14489 274 0 0 25 0 1 0 22644210 178307072 37405 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43532 37405 364 364 0 43168 0
[pid=12049] vsize: 174128
Current children cumulated CPU time (s) 147.63
Current children cumulated vsize (Kb) 174128

[startup+160.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 68908 0 0 0 15468 281 0 0 25 0 1 0 22644210 178307072 37453 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43532 37453 364 364 0 43168 0
[pid=12049] vsize: 174128
Current children cumulated CPU time (s) 157.49
Current children cumulated vsize (Kb) 174128

[startup+170.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 68949 0 0 0 16444 290 0 0 25 0 1 0 22644210 178307072 37494 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43532 37494 364 364 0 43168 0
[pid=12049] vsize: 174128
Current children cumulated CPU time (s) 167.34
Current children cumulated vsize (Kb) 174128

[startup+180.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 69050 0 0 0 17421 297 0 0 25 0 1 0 22644210 178700288 37595 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43628 37595 364 364 0 43264 0
[pid=12049] vsize: 174512
Current children cumulated CPU time (s) 177.18
Current children cumulated vsize (Kb) 174512

[startup+190.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 70000 0 0 0 18398 308 0 0 25 0 1 0 22644210 178896896 37639 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43676 37639 364 364 0 43312 0
[pid=12049] vsize: 174704
Current children cumulated CPU time (s) 187.06
Current children cumulated vsize (Kb) 174704

[startup+200.022 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 70912 0 0 0 19379 315 0 0 25 0 1 0 22644210 178896896 37645 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43676 37645 364 364 0 43312 0
[pid=12049] vsize: 174704
Current children cumulated CPU time (s) 196.94
Current children cumulated vsize (Kb) 174704

[startup+210.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 71841 0 0 0 20358 324 0 0 25 0 1 0 22644210 179093504 37668 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43724 37668 364 364 0 43360 0
[pid=12049] vsize: 174896
Current children cumulated CPU time (s) 206.82
Current children cumulated vsize (Kb) 174896

[startup+220.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 72752 0 0 0 21339 331 0 0 25 0 1 0 22644210 179093504 37673 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43724 37673 364 364 0 43360 0
[pid=12049] vsize: 174896
Current children cumulated CPU time (s) 216.7
Current children cumulated vsize (Kb) 174896

[startup+230.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 72817 0 0 0 22316 340 0 0 25 0 1 0 22644210 179093504 37738 4294967295 134512640 135987407 3221224560 3221223248 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43724 37738 364 364 0 43360 0
[pid=12049] vsize: 174896
Current children cumulated CPU time (s) 226.56
Current children cumulated vsize (Kb) 174896

[startup+240.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 73762 0 0 0 23297 347 0 0 25 0 1 0 22644210 179093504 37777 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43724 37777 364 364 0 43360 0
[pid=12049] vsize: 174896
Current children cumulated CPU time (s) 236.44
Current children cumulated vsize (Kb) 174896

[startup+250.026 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) T 12048 12049 4059 0 -1 0 74726 0 0 0 24277 355 0 0 25 0 1 0 22644210 179290112 37835 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43772 37835 364 364 0 43408 0
[pid=12049] vsize: 175088
Current children cumulated CPU time (s) 246.32
Current children cumulated vsize (Kb) 175088

[startup+260.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 75657 0 0 0 25259 364 0 0 25 0 1 0 22644210 179290112 37860 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43772 37860 364 364 0 43408 0
[pid=12049] vsize: 175088
Current children cumulated CPU time (s) 256.23
Current children cumulated vsize (Kb) 175088

[startup+270.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 76569 0 0 0 26241 372 0 0 25 0 1 0 22644210 179290112 37866 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43772 37866 364 364 0 43408 0
[pid=12049] vsize: 175088
Current children cumulated CPU time (s) 266.13
Current children cumulated vsize (Kb) 175088

[startup+280.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 76608 0 0 0 27221 379 0 0 25 0 1 0 22644210 179290112 37905 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43772 37905 364 364 0 43408 0
[pid=12049] vsize: 175088
Current children cumulated CPU time (s) 276
Current children cumulated vsize (Kb) 175088

[startup+290.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 77548 0 0 0 28202 386 0 0 25 0 1 0 22644210 179290112 37939 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43772 37939 364 364 0 43408 0
[pid=12049] vsize: 175088
Current children cumulated CPU time (s) 285.88
Current children cumulated vsize (Kb) 175088

[startup+300.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 78491 0 0 0 29183 393 0 0 25 0 1 0 22644210 179437568 37976 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43808 37976 364 364 0 43444 0
[pid=12049] vsize: 175232
Current children cumulated CPU time (s) 295.76
Current children cumulated vsize (Kb) 175232

[startup+310.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 79444 0 0 0 30163 401 0 0 25 0 1 0 22644210 179437568 38023 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43808 38023 364 364 0 43444 0
[pid=12049] vsize: 175232
Current children cumulated CPU time (s) 305.64
Current children cumulated vsize (Kb) 175232

[startup+320.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 80383 0 0 0 31147 409 0 0 25 0 1 0 22644210 179437568 38056 4294967295 134512640 135987407 3221224560 3221223248 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43808 38056 364 364 0 43444 0
[pid=12049] vsize: 175232
Current children cumulated CPU time (s) 315.56
Current children cumulated vsize (Kb) 175232

[startup+330.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 81317 0 0 0 32130 417 0 0 25 0 1 0 22644210 179576832 38084 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43842 38084 364 364 0 43478 0
[pid=12049] vsize: 175368
Current children cumulated CPU time (s) 325.47
Current children cumulated vsize (Kb) 175368

[startup+340.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 82261 0 0 0 33108 425 0 0 25 0 1 0 22644210 179576832 38122 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43842 38122 364 364 0 43478 0
[pid=12049] vsize: 175368
Current children cumulated CPU time (s) 335.33
Current children cumulated vsize (Kb) 175368

[startup+350.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 82308 0 0 0 34087 432 0 0 25 0 1 0 22644210 179576832 38169 4294967295 134512640 135987407 3221224560 3221223408 134790091 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43842 38169 364 364 0 43478 0
[pid=12049] vsize: 175368
Current children cumulated CPU time (s) 345.19
Current children cumulated vsize (Kb) 175368

[startup+360.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 83292 0 0 0 35062 442 0 0 25 0 1 0 22644210 179912704 38247 4294967295 134512640 135987407 3221224560 3221223408 134789994 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43924 38247 364 364 0 43560 0
[pid=12049] vsize: 175696
Current children cumulated CPU time (s) 355.04
Current children cumulated vsize (Kb) 175696

[startup+370.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 84227 0 0 0 36038 452 0 0 25 0 1 0 22644210 179912704 38276 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43924 38276 364 364 0 43560 0
[pid=12049] vsize: 175696
Current children cumulated CPU time (s) 364.9
Current children cumulated vsize (Kb) 175696

[startup+380.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 85177 0 0 0 37015 461 0 0 25 0 1 0 22644210 183623680 39226 4294967295 134512640 135987407 3221224560 3221222944 134829342 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44830 39226 364 364 0 44466 0
[pid=12049] vsize: 179320
Current children cumulated CPU time (s) 374.76
Current children cumulated vsize (Kb) 179320

[startup+390.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 85180 0 0 0 37995 466 0 0 25 0 1 0 22644210 179912704 38323 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43924 38323 364 364 0 43560 0
[pid=12049] vsize: 175696
Current children cumulated CPU time (s) 384.61
Current children cumulated vsize (Kb) 175696

[startup+400.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 86091 0 0 0 38975 475 0 0 25 0 1 0 22644210 179912704 38328 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43924 38328 364 364 0 43560 0
[pid=12049] vsize: 175696
Current children cumulated CPU time (s) 394.5
Current children cumulated vsize (Kb) 175696

[startup+410.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 87010 0 0 0 39951 485 0 0 25 0 1 0 22644210 179912704 38341 4294967295 134512640 135987407 3221224560 3221223424 134812568 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43924 38341 364 364 0 43560 0
[pid=12049] vsize: 175696
Current children cumulated CPU time (s) 404.36
Current children cumulated vsize (Kb) 175696

[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.94 1/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) T 12048 12049 4059 0 -1 0 87927 0 0 0 40930 494 0 0 25 0 1 0 22644210 180047872 38352 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43957 38352 364 364 0 43593 0
[pid=12049] vsize: 175828
Current children cumulated CPU time (s) 414.24
Current children cumulated vsize (Kb) 175828

[startup+430.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 88871 0 0 0 41907 504 0 0 25 0 1 0 22644210 183758848 39296 4294967295 134512640 135987407 3221224560 3221222924 134827484 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44863 39296 364 364 0 44499 0
[pid=12049] vsize: 179452
Current children cumulated CPU time (s) 424.11
Current children cumulated vsize (Kb) 179452

[startup+440.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 88922 0 0 0 42883 512 0 0 25 0 1 0 22644210 180047872 38441 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43957 38441 364 364 0 43593 0
[pid=12049] vsize: 175828
Current children cumulated CPU time (s) 433.95
Current children cumulated vsize (Kb) 175828

[startup+450.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 89841 0 0 0 43868 518 0 0 25 0 1 0 22644210 180178944 38454 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 43989 38454 364 364 0 43625 0
[pid=12049] vsize: 175956
Current children cumulated CPU time (s) 443.86
Current children cumulated vsize (Kb) 175956

[startup+460.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 90774 0 0 0 44847 528 0 0 25 0 1 0 22644210 180178944 38481 4294967295 134512640 135987407 3221224560 3221223248 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43989 38481 364 364 0 43625 0
[pid=12049] vsize: 175956
Current children cumulated CPU time (s) 453.75
Current children cumulated vsize (Kb) 175956

[startup+470.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 91724 0 0 0 45832 535 0 0 25 0 1 0 22644210 180178944 38525 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43989 38525 364 364 0 43625 0
[pid=12049] vsize: 175956
Current children cumulated CPU time (s) 463.67
Current children cumulated vsize (Kb) 175956

[startup+480.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 92678 0 0 0 46817 541 0 0 25 0 1 0 22644210 180178944 38573 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43989 38573 364 364 0 43625 0
[pid=12049] vsize: 175956
Current children cumulated CPU time (s) 473.58
Current children cumulated vsize (Kb) 175956

[startup+490.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 93636 0 0 0 47805 546 0 0 25 0 1 0 22644210 180178944 38625 4294967295 134512640 135987407 3221224560 3221223152 134850887 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 43989 38625 364 364 0 43625 0
[pid=12049] vsize: 175956
Current children cumulated CPU time (s) 483.51
Current children cumulated vsize (Kb) 175956

[startup+500.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 93693 0 0 0 48784 553 0 0 25 0 1 0 22644210 180314112 38682 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44022 38682 364 364 0 43658 0
[pid=12049] vsize: 176088
Current children cumulated CPU time (s) 493.37
Current children cumulated vsize (Kb) 176088

[startup+510.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 93751 0 0 0 49762 561 0 0 25 0 1 0 22644210 180314112 38740 4294967295 134512640 135987407 3221224560 3221223248 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44022 38740 364 364 0 43658 0
[pid=12049] vsize: 176088
Current children cumulated CPU time (s) 503.23
Current children cumulated vsize (Kb) 176088

[startup+520.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 94688 0 0 0 50748 569 0 0 25 0 1 0 22644210 180449280 38771 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44055 38771 364 364 0 43691 0
[pid=12049] vsize: 176220
Current children cumulated CPU time (s) 513.17
Current children cumulated vsize (Kb) 176220

[startup+530.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 95599 0 0 0 51731 575 0 0 25 0 1 0 22644210 180449280 38776 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44055 38776 364 364 0 43691 0
[pid=12049] vsize: 176220
Current children cumulated CPU time (s) 523.06
Current children cumulated vsize (Kb) 176220

[startup+540.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 95634 0 0 0 52709 583 0 0 25 0 1 0 22644210 180641792 38811 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44102 38811 364 364 0 43738 0
[pid=12049] vsize: 176408
Current children cumulated CPU time (s) 532.92
Current children cumulated vsize (Kb) 176408

[startup+550.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 96577 0 0 0 53686 592 0 0 25 0 1 0 22644210 184352768 39754 4294967295 134512640 135987407 3221224560 3221222944 134828889 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 45008 39754 364 364 0 44644 0
[pid=12049] vsize: 180032
Current children cumulated CPU time (s) 542.78
Current children cumulated vsize (Kb) 180032

[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 96617 0 0 0 54665 600 0 0 25 0 1 0 22644210 180641792 38888 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44102 38888 364 364 0 43738 0
[pid=12049] vsize: 176408
Current children cumulated CPU time (s) 552.65
Current children cumulated vsize (Kb) 176408

[startup+570.041 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 97566 0 0 0 55644 609 0 0 25 0 1 0 22644210 180641792 38931 4294967295 134512640 135987407 3221224560 3221223424 134812703 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44102 38931 364 364 0 43738 0
[pid=12049] vsize: 176408
Current children cumulated CPU time (s) 562.53
Current children cumulated vsize (Kb) 176408

[startup+580.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 98515 0 0 0 56624 617 0 0 25 0 1 0 22644210 180641792 38974 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44102 38974 364 364 0 43738 0
[pid=12049] vsize: 176408
Current children cumulated CPU time (s) 572.41
Current children cumulated vsize (Kb) 176408

[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 98562 0 0 0 57598 626 0 0 25 0 1 0 22644210 180776960 39021 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44135 39021 364 364 0 43771 0
[pid=12049] vsize: 176540
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (Kb) 176540

[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 99511 0 0 0 58575 635 0 0 25 0 1 0 22644210 184487936 39970 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 45041 39970 364 364 0 44677 0
[pid=12049] vsize: 180164
Current children cumulated CPU time (s) 592.1
Current children cumulated vsize (Kb) 180164

[startup+610.043 s]
Raw data (loadavg): 0.99 0.98 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 99527 0 0 0 59562 639 0 0 25 0 1 0 22644210 180776960 39080 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44135 39080 364 364 0 43771 0
[pid=12049] vsize: 176540
Current children cumulated CPU time (s) 602.01
Current children cumulated vsize (Kb) 176540

[startup+620.043 s]
Raw data (loadavg): 1.07 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 99538 0 0 0 60539 648 0 0 25 0 1 0 22644210 180776960 39091 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44135 39091 364 364 0 43771 0
[pid=12049] vsize: 176540
Current children cumulated CPU time (s) 611.87
Current children cumulated vsize (Kb) 176540

[startup+630.044 s]
Raw data (loadavg): 1.06 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 100477 0 0 0 61520 656 0 0 25 0 1 0 22644210 180916224 39124 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44169 39124 364 364 0 43805 0
[pid=12049] vsize: 176676
Current children cumulated CPU time (s) 621.76
Current children cumulated vsize (Kb) 176676

[startup+640.044 s]
Raw data (loadavg): 1.05 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 100520 0 0 0 62490 667 0 0 25 0 1 0 22644210 180916224 39167 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44169 39167 364 364 0 43805 0
[pid=12049] vsize: 176676
Current children cumulated CPU time (s) 631.57
Current children cumulated vsize (Kb) 176676

[startup+650.044 s]
Raw data (loadavg): 1.04 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 101464 0 0 0 63468 676 0 0 25 0 1 0 22644210 180916224 39205 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44169 39205 364 364 0 43805 0
[pid=12049] vsize: 176676
Current children cumulated CPU time (s) 641.44
Current children cumulated vsize (Kb) 176676

[startup+660.045 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 101512 0 0 0 64444 683 0 0 25 0 1 0 22644210 181051392 39253 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44202 39253 364 364 0 43838 0
[pid=12049] vsize: 176808
Current children cumulated CPU time (s) 651.27
Current children cumulated vsize (Kb) 176808

[startup+670.045 s]
Raw data (loadavg): 1.03 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 102454 0 0 0 65426 690 0 0 25 0 1 0 22644210 181051392 39289 4294967295 134512640 135987407 3221224560 3221223376 134824504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44202 39289 364 364 0 43838 0
[pid=12049] vsize: 176808
Current children cumulated CPU time (s) 661.16
Current children cumulated vsize (Kb) 176808

[startup+680.046 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 103393 0 0 0 66406 700 0 0 25 0 1 0 22644210 181051392 39322 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44202 39322 364 364 0 43838 0
[pid=12049] vsize: 176808
Current children cumulated CPU time (s) 671.06
Current children cumulated vsize (Kb) 176808

[startup+690.047 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 103440 0 0 0 67386 707 0 0 25 0 1 0 22644210 181051392 39369 4294967295 134512640 135987407 3221224560 3221223408 134790071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44202 39369 364 364 0 43838 0
[pid=12049] vsize: 176808
Current children cumulated CPU time (s) 680.93
Current children cumulated vsize (Kb) 176808

[startup+700.046 s]
Raw data (loadavg): 1.02 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 104362 0 0 0 68370 714 0 0 25 0 1 0 22644210 181051392 39385 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44202 39385 364 364 0 43838 0
[pid=12049] vsize: 176808
Current children cumulated CPU time (s) 690.84
Current children cumulated vsize (Kb) 176808

[startup+710.047 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 105307 0 0 0 69352 721 0 0 25 0 1 0 22644210 181186560 39424 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44235 39424 364 364 0 43871 0
[pid=12049] vsize: 176940
Current children cumulated CPU time (s) 700.73
Current children cumulated vsize (Kb) 176940

[startup+720.046 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 106259 0 0 0 70332 729 0 0 25 0 1 0 22644210 181186560 39470 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44235 39470 364 364 0 43871 0
[pid=12049] vsize: 176940
Current children cumulated CPU time (s) 710.61
Current children cumulated vsize (Kb) 176940

[startup+730.047 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 106306 0 0 0 71310 737 0 0 25 0 1 0 22644210 181186560 39517 4294967295 134512640 135987407 3221224560 3221223248 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44235 39517 364 364 0 43871 0
[pid=12049] vsize: 176940
Current children cumulated CPU time (s) 720.47
Current children cumulated vsize (Kb) 176940

[startup+740.048 s]
Raw data (loadavg): 1.01 1.00 0.94 1/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) T 12048 12049 4059 0 -1 0 107252 0 0 0 72289 746 0 0 25 0 1 0 22644210 181321728 39557 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44268 39557 364 364 0 43904 0
[pid=12049] vsize: 177072
Current children cumulated CPU time (s) 730.35
Current children cumulated vsize (Kb) 177072

[startup+750.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 108210 0 0 0 73268 754 0 0 25 0 1 0 22644210 181321728 39609 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44268 39609 364 364 0 43904 0
[pid=12049] vsize: 177072
Current children cumulated CPU time (s) 740.22
Current children cumulated vsize (Kb) 177072

[startup+760.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 108249 0 0 0 74247 761 0 0 25 0 1 0 22644210 181321728 39648 4294967295 134512640 135987407 3221224560 3221223408 134790062 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44268 39648 364 364 0 43904 0
[pid=12049] vsize: 177072
Current children cumulated CPU time (s) 750.08
Current children cumulated vsize (Kb) 177072

[startup+770.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 109197 0 0 0 75229 769 0 0 25 0 1 0 22644210 181321728 39690 4294967295 134512640 135987407 3221224560 3221223376 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44268 39690 364 364 0 43904 0
[pid=12049] vsize: 177072
Current children cumulated CPU time (s) 759.98
Current children cumulated vsize (Kb) 177072

[startup+780.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 109208 0 0 0 76207 776 0 0 25 0 1 0 22644210 181460992 39701 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44302 39701 364 364 0 43938 0
[pid=12049] vsize: 177208
Current children cumulated CPU time (s) 769.83
Current children cumulated vsize (Kb) 177208

[startup+790.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 110129 0 0 0 77186 785 0 0 25 0 1 0 22644210 181460992 39716 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44302 39716 364 364 0 43938 0
[pid=12049] vsize: 177208
Current children cumulated CPU time (s) 779.71
Current children cumulated vsize (Kb) 177208

[startup+800.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 110162 0 0 0 78162 792 0 0 25 0 1 0 22644210 181460992 39749 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44302 39749 364 364 0 43938 0
[pid=12049] vsize: 177208
Current children cumulated CPU time (s) 789.54
Current children cumulated vsize (Kb) 177208

[startup+810.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 111105 0 0 0 79143 799 0 0 25 0 1 0 22644210 181460992 39786 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44302 39786 364 364 0 43938 0
[pid=12049] vsize: 177208
Current children cumulated CPU time (s) 799.42
Current children cumulated vsize (Kb) 177208

[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 112043 0 0 0 80124 807 0 0 25 0 1 0 22644210 181460992 39818 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44302 39818 364 364 0 43938 0
[pid=12049] vsize: 177208
Current children cumulated CPU time (s) 809.31
Current children cumulated vsize (Kb) 177208

[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 112997 0 0 0 81105 815 0 0 25 0 1 0 22644210 181600256 39866 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44336 39866 364 364 0 43972 0
[pid=12049] vsize: 177344
Current children cumulated CPU time (s) 819.2
Current children cumulated vsize (Kb) 177344

[startup+840.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 113041 0 0 0 82084 824 0 0 25 0 1 0 22644210 181600256 39910 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44336 39910 364 364 0 43972 0
[pid=12049] vsize: 177344
Current children cumulated CPU time (s) 829.08
Current children cumulated vsize (Kb) 177344

[startup+850.054 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) T 12048 12049 4059 0 -1 0 113961 0 0 0 83069 830 0 0 25 0 1 0 22644210 181600256 39924 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44336 39924 364 364 0 43972 0
[pid=12049] vsize: 177344
Current children cumulated CPU time (s) 838.99
Current children cumulated vsize (Kb) 177344

[startup+860.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 114882 0 0 0 84046 839 0 0 25 0 1 0 22644210 181735424 39939 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44369 39939 364 364 0 44005 0
[pid=12049] vsize: 177476
Current children cumulated CPU time (s) 848.85
Current children cumulated vsize (Kb) 177476

[startup+870.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 114922 0 0 0 85026 845 0 0 25 0 1 0 22644210 181735424 39979 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44369 39979 364 364 0 44005 0
[pid=12049] vsize: 177476
Current children cumulated CPU time (s) 858.71
Current children cumulated vsize (Kb) 177476

[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 115870 0 0 0 86009 853 0 0 25 0 1 0 22644210 181735424 40021 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44369 40021 364 364 0 44005 0
[pid=12049] vsize: 177476
Current children cumulated CPU time (s) 868.62
Current children cumulated vsize (Kb) 177476

[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 116824 0 0 0 86989 862 0 0 25 0 1 0 22644210 181886976 40069 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44406 40069 364 364 0 44042 0
[pid=12049] vsize: 177624
Current children cumulated CPU time (s) 878.51
Current children cumulated vsize (Kb) 177624

[startup+900.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 117783 0 0 0 87979 866 0 0 25 0 1 0 22644210 185597952 41028 4294967295 134512640 135987407 3221224560 3221222904 134827485 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 45312 41028 364 364 0 44948 0
[pid=12049] vsize: 181248
Current children cumulated CPU time (s) 888.45
Current children cumulated vsize (Kb) 181248

[startup+910.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 117825 0 0 0 88962 873 0 0 25 0 1 0 22644210 181886976 40164 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44406 40164 364 364 0 44042 0
[pid=12049] vsize: 177624
Current children cumulated CPU time (s) 898.35
Current children cumulated vsize (Kb) 177624

[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 118756 0 0 0 89949 879 0 0 25 0 1 0 22644210 181886976 40189 4294967295 134512640 135987407 3221224560 3221223248 134811933 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44406 40189 364 364 0 44042 0
[pid=12049] vsize: 177624
Current children cumulated CPU time (s) 908.28
Current children cumulated vsize (Kb) 177624

[startup+930.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 119678 0 0 0 90931 887 0 0 25 0 1 0 22644210 182038528 40205 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44443 40205 364 364 0 44079 0
[pid=12049] vsize: 177772
Current children cumulated CPU time (s) 918.18
Current children cumulated vsize (Kb) 177772

[startup+940.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 119688 0 0 0 91910 894 0 0 25 0 1 0 22644210 182038528 40215 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44443 40215 364 364 0 44079 0
[pid=12049] vsize: 177772
Current children cumulated CPU time (s) 928.04
Current children cumulated vsize (Kb) 177772

[startup+950.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 120642 0 0 0 92888 903 0 0 25 0 1 0 22644210 182038528 40263 4294967295 134512640 135987407 3221224560 3221223248 134812043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44443 40263 364 364 0 44079 0
[pid=12049] vsize: 177772
Current children cumulated CPU time (s) 937.91
Current children cumulated vsize (Kb) 177772

[startup+960.057 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) T 12048 12049 4059 0 -1 0 121588 0 0 0 93869 910 0 0 25 0 1 0 22644210 182185984 40303 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44479 40303 364 364 0 44115 0
[pid=12049] vsize: 177916
Current children cumulated CPU time (s) 947.79
Current children cumulated vsize (Kb) 177916

[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 121627 0 0 0 94850 917 0 0 25 0 1 0 22644210 182185984 40342 4294967295 134512640 135987407 3221224560 3221223280 134814445 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44479 40342 364 364 0 44115 0
[pid=12049] vsize: 177916
Current children cumulated CPU time (s) 957.67
Current children cumulated vsize (Kb) 177916

[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 122581 0 0 0 95830 926 0 0 25 0 1 0 22644210 182185984 40390 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44479 40390 364 364 0 44115 0
[pid=12049] vsize: 177916
Current children cumulated CPU time (s) 967.56
Current children cumulated vsize (Kb) 177916

[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 123521 0 0 0 96808 935 0 0 25 0 1 0 22644210 182321152 40424 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44512 40424 364 364 0 44148 0
[pid=12049] vsize: 178048
Current children cumulated CPU time (s) 977.43
Current children cumulated vsize (Kb) 178048

[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 123533 0 0 0 97787 941 0 0 25 0 1 0 22644210 182321152 40436 4294967295 134512640 135987407 3221224560 3221223248 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44512 40436 364 364 0 44148 0
[pid=12049] vsize: 178048
Current children cumulated CPU time (s) 987.28
Current children cumulated vsize (Kb) 178048

[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 124449 0 0 0 98770 948 0 0 25 0 1 0 22644210 182464512 40446 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44547 40446 364 364 0 44183 0
[pid=12049] vsize: 178188
Current children cumulated CPU time (s) 997.18
Current children cumulated vsize (Kb) 178188

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 125371 0 0 0 99750 957 0 0 25 0 1 0 22644210 186175488 41368 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 45453 41368 364 364 0 45089 0
[pid=12049] vsize: 181812
Current children cumulated CPU time (s) 1007.07
Current children cumulated vsize (Kb) 181812

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 125379 0 0 0 100731 964 0 0 25 0 1 0 22644210 182464512 40470 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 44547 40470 364 364 0 44183 0
[pid=12049] vsize: 178188
Current children cumulated CPU time (s) 1016.95
Current children cumulated vsize (Kb) 178188

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 126297 0 0 0 101716 971 0 0 25 0 1 0 22644210 182611968 40482 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44583 40482 364 364 0 44219 0
[pid=12049] vsize: 178332
Current children cumulated CPU time (s) 1026.87
Current children cumulated vsize (Kb) 178332

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 127231 0 0 0 102697 978 0 0 25 0 1 0 22644210 182611968 40510 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44583 40510 364 364 0 44219 0
[pid=12049] vsize: 178332
Current children cumulated CPU time (s) 1036.75
Current children cumulated vsize (Kb) 178332

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 127279 0 0 0 103676 986 0 0 25 0 1 0 22644210 182611968 40558 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44583 40558 364 364 0 44219 0
[pid=12049] vsize: 178332
Current children cumulated CPU time (s) 1046.62
Current children cumulated vsize (Kb) 178332

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 128221 0 0 0 104660 994 0 0 25 0 1 0 22644210 182611968 40594 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44583 40594 364 364 0 44219 0
[pid=12049] vsize: 178332
Current children cumulated CPU time (s) 1056.54
Current children cumulated vsize (Kb) 178332

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 128236 0 0 0 105646 998 0 0 25 0 1 0 22644210 182747136 40609 4294967295 134512640 135987407 3221224560 3221223248 134811891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44616 40609 364 364 0 44252 0
[pid=12049] vsize: 178464
Current children cumulated CPU time (s) 1066.44
Current children cumulated vsize (Kb) 178464

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 129164 0 0 0 106625 1007 0 0 25 0 1 0 22644210 182747136 40631 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44616 40631 364 364 0 44252 0
[pid=12049] vsize: 178464
Current children cumulated CPU time (s) 1076.32
Current children cumulated vsize (Kb) 178464

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 130107 0 0 0 107605 1013 0 0 25 0 1 0 22644210 182747136 40668 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44616 40668 364 364 0 44252 0
[pid=12049] vsize: 178464
Current children cumulated CPU time (s) 1086.18
Current children cumulated vsize (Kb) 178464

[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 130155 0 0 0 108586 1020 0 0 25 0 1 0 22644210 182747136 40716 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44616 40716 364 364 0 44252 0
[pid=12049] vsize: 178464
Current children cumulated CPU time (s) 1096.06
Current children cumulated vsize (Kb) 178464

[startup+1120.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 131100 0 0 0 109567 1028 0 0 25 0 1 0 22644210 182747136 40755 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44616 40755 364 364 0 44252 0
[pid=12049] vsize: 178464
Current children cumulated CPU time (s) 1105.95
Current children cumulated vsize (Kb) 178464

[startup+1130.06 s]
Raw data (loadavg): 1.06 1.01 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 132059 0 0 0 110551 1035 0 0 25 0 1 0 22644210 182882304 40808 4294967295 134512640 135987407 3221224560 3221223316 134812117 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44649 40808 364 364 0 44285 0
[pid=12049] vsize: 178596
Current children cumulated CPU time (s) 1115.86
Current children cumulated vsize (Kb) 178596

[startup+1140.07 s]
Raw data (loadavg): 1.05 1.01 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 132988 0 0 0 111535 1041 0 0 25 0 1 0 22644210 182882304 40831 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44649 40831 364 364 0 44285 0
[pid=12049] vsize: 178596
Current children cumulated CPU time (s) 1125.76
Current children cumulated vsize (Kb) 178596

[startup+1150.07 s]
Raw data (loadavg): 1.12 1.03 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 133001 0 0 0 112517 1048 0 0 25 0 1 0 22644210 182882304 40844 4294967295 134512640 135987407 3221224560 3221223248 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44649 40844 364 364 0 44285 0
[pid=12049] vsize: 178596
Current children cumulated CPU time (s) 1135.65
Current children cumulated vsize (Kb) 178596

[startup+1160.07 s]
Raw data (loadavg): 1.10 1.03 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 133919 0 0 0 113498 1056 0 0 25 0 1 0 22644210 182882304 40856 4294967295 134512640 135987407 3221224560 3221223248 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44649 40856 364 364 0 44285 0
[pid=12049] vsize: 178596
Current children cumulated CPU time (s) 1145.54
Current children cumulated vsize (Kb) 178596

[startup+1170.07 s]
Raw data (loadavg): 1.08 1.03 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 134845 0 0 0 114479 1063 0 0 25 0 1 0 22644210 182882304 40876 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44649 40876 364 364 0 44285 0
[pid=12049] vsize: 178596
Current children cumulated CPU time (s) 1155.42
Current children cumulated vsize (Kb) 178596

[startup+1180.07 s]
Raw data (loadavg): 1.07 1.03 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 134913 0 0 0 115461 1069 0 0 25 0 1 0 22644210 183017472 40944 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44682 40944 364 364 0 44318 0
[pid=12049] vsize: 178728
Current children cumulated CPU time (s) 1165.3
Current children cumulated vsize (Kb) 178728

[startup+1190.07 s]
Raw data (loadavg): 1.06 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 134946 0 0 0 116442 1077 0 0 25 0 1 0 22644210 183017472 40977 4294967295 134512640 135987407 3221224560 3221223280 134813802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 44682 40977 364 364 0 44318 0
[pid=12049] vsize: 178728
Current children cumulated CPU time (s) 1175.19
Current children cumulated vsize (Kb) 178728

[startup+1200.07 s]
Raw data (loadavg): 1.05 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 135895 0 0 0 117425 1084 0 0 25 0 1 0 22644210 216707072 41020 4294967295 134512640 135987407 3221224560 3221223248 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 52907 41020 364 364 0 52543 0
[pid=12049] vsize: 211628
Current children cumulated CPU time (s) 1185.09
Current children cumulated vsize (Kb) 211628

[startup+1210.07 s]
Raw data (loadavg): 1.04 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 136838 0 0 0 118408 1090 0 0 25 0 1 0 22644210 216707072 41057 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/12049/statm): 52907 41057 364 364 0 52543 0
[pid=12049] vsize: 211628
Current children cumulated CPU time (s) 1194.98
Current children cumulated vsize (Kb) 211628

[startup+1220.07 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 136890 0 0 0 119387 1098 0 0 25 0 1 0 22644210 216707072 41109 4294967295 134512640 135987407 3221224560 3221223280 134813726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 52907 41109 364 364 0 52543 0
[pid=12049] vsize: 211628
Current children cumulated CPU time (s) 1204.85
Current children cumulated vsize (Kb) 211628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1220.07 s]
Raw data (loadavg): 1.03 1.02 0.95 2/55 12049
Raw data (/proc/12049/stat): 12049 (pb2sat) R 12048 12049 4059 0 -1 0 136890 0 0 0 119387 1098 0 0 25 0 1 0 22644210 216707072 41109 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/12049/statm): 52907 41109 364 364 0 52543 0
[pid=12049] vsize: 211628
Current children cumulated CPU time (s) 1204.85
Current children cumulated vsize (Kb) 211628

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

Child status: 0
Real time (s): 1220.81
CPU time (s): 1205.6
CPU user time (s): 1194.53
CPU system time (s): 11.0663
CPU usage (%): 98.7539
Max. virtual memory (cumulated for all children) (Kb): 211628

Verifier Data

ERROR: no interpretation found !