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-p0040.opb
MD5SUM1c249519911563f3292efb34f4875b44
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 62027
Optimality of the best value was proved YES
Number of terms in the objective function 40
Biggest coefficient in the objective function 8161
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 265332
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 8161
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 265332
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark7.98079
Number of variables40
Total number of constraints63
Number of constraints which are clauses10
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint10

Trace number 10414

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.261
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:        894324 kB
Buffers:         17336 kB
Cached:         103636 kB
SwapCached:          0 kB
Active:          46012 kB
Inactive:        77848 kB
HighTotal:      131008 kB
HighFree:        31304 kB
LowTotal:       903652 kB
LowFree:        863020 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            10868 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 18:15:53 (client local time) WITH STATUS 10 IN 1211.07 SECONDS
stats: 9117 0 1211.07 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 63596
c small objective detected
c CONFLICT during preprocess 
c [startup+47.2372 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+50.7453 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+54.2764 s]  setting bit 16 to 0
c [startup+428.856 s]  setting bit 15 to 0
s 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

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/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22172412 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 373 2 364 364 0 9 0
[pid=10894] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0040.opb

[startup+10.0016 s]
Raw data (loadavg): 0.95 0.93 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 31465 0 0 0 929 67 0 0 25 0 1 0 22172412 99803136 20315 4294967295 134512640 135987407 3221224560 3221208248 134637921 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 24366 20315 364 364 0 24002 0
[pid=10894] vsize: 97464
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 97464

[startup+20.0023 s]
Raw data (loadavg): 0.96 0.93 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 61878 0 0 0 1863 129 0 0 25 0 1 0 22172412 196861952 39526 4294967295 134512640 135987407 3221224560 3221208688 135486786 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 48062 39526 364 364 0 47698 0
[pid=10894] vsize: 192248
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 192248

[startup+30.003 s]
Raw data (loadavg): 0.97 0.93 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 103720 0 0 0 2776 211 0 0 25 0 1 0 22172412 328257536 59183 4294967295 134512640 135987407 3221224560 3221210736 134537491 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 80141 59183 364 364 0 79777 0
[pid=10894] vsize: 320564
Current children cumulated CPU time (s) 29.87
Current children cumulated vsize (Kb) 320564

[startup+40.0027 s]
Raw data (loadavg): 0.97 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 120866 0 0 0 3742 244 0 0 25 0 1 0 22172412 385466368 76127 4294967295 134512640 135987407 3221224560 3221212268 135480496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 94108 76127 364 364 0 93744 0
[pid=10894] vsize: 376432
Current children cumulated CPU time (s) 39.86
Current children cumulated vsize (Kb) 376432

[startup+50.0034 s]
Raw data (loadavg): 0.97 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 129907 0 0 0 4719 266 0 0 25 0 1 0 22172412 398184448 81815 4294967295 134512640 135987407 3221224560 3221223360 134802371 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 97213 81815 364 364 0 96849 0
[pid=10894] vsize: 388852
Current children cumulated CPU time (s) 49.85
Current children cumulated vsize (Kb) 388852

[startup+60.0031 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 136787 0 0 0 5702 281 0 0 25 0 1 0 22172412 411480064 84149 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 100459 84149 364 364 0 100095 0
[pid=10894] vsize: 401836
Current children cumulated CPU time (s) 59.83
Current children cumulated vsize (Kb) 401836

[startup+70.0028 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 137489 0 0 0 6700 283 0 0 25 0 1 0 22172412 413224960 84528 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 100885 84528 364 364 0 100521 0
[pid=10894] vsize: 403540
Current children cumulated CPU time (s) 69.83
Current children cumulated vsize (Kb) 403540

[startup+80.0035 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 138550 0 0 0 7697 286 0 0 25 0 1 0 22172412 415981568 85138 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 101558 85138 364 364 0 101194 0
[pid=10894] vsize: 406232
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 406232

[startup+90.0032 s]
Raw data (loadavg): 0.98 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139301 0 0 0 8696 287 0 0 25 0 1 0 22172412 417955840 85470 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102040 85470 364 364 0 101676 0
[pid=10894] vsize: 408160
Current children cumulated CPU time (s) 89.83
Current children cumulated vsize (Kb) 408160

[startup+100.004 s]
Raw data (loadavg): 0.99 0.94 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139662 0 0 0 9695 288 0 0 25 0 1 0 22172412 418713600 85702 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102225 85702 364 364 0 101861 0
[pid=10894] vsize: 408900
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (Kb) 408900

[startup+110.005 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139662 0 0 0 10695 288 0 0 25 0 1 0 22172412 418713600 85702 4294967295 134512640 135987407 3221224560 3221223280 134812595 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102225 85702 364 364 0 101861 0
[pid=10894] vsize: 408900
Current children cumulated CPU time (s) 109.83
Current children cumulated vsize (Kb) 408900

[startup+120.005 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139787 0 0 0 11695 288 0 0 25 0 1 0 22172412 418975744 85762 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102289 85762 364 364 0 101925 0
[pid=10894] vsize: 409156
Current children cumulated CPU time (s) 119.83
Current children cumulated vsize (Kb) 409156

[startup+130.006 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139790 0 0 0 12694 289 0 0 25 0 1 0 22172412 418975744 85765 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102289 85765 364 364 0 101925 0
[pid=10894] vsize: 409156
Current children cumulated CPU time (s) 129.83
Current children cumulated vsize (Kb) 409156

[startup+140.006 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 139800 0 0 0 13694 289 0 0 25 0 1 0 22172412 418975744 85775 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102289 85775 364 364 0 101925 0
[pid=10894] vsize: 409156
Current children cumulated CPU time (s) 139.83
Current children cumulated vsize (Kb) 409156

[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 140159 0 0 0 14693 290 0 0 25 0 1 0 22172412 420024320 85877 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 102545 85877 364 364 0 102181 0
[pid=10894] vsize: 410180
Current children cumulated CPU time (s) 149.83
Current children cumulated vsize (Kb) 410180

[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 141247 0 0 0 15690 292 0 0 25 0 1 0 22172412 422555648 86419 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 103163 86419 364 364 0 102799 0
[pid=10894] vsize: 412652
Current children cumulated CPU time (s) 159.82
Current children cumulated vsize (Kb) 412652

[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 141357 0 0 0 16690 292 0 0 25 0 1 0 22172412 422555648 86529 4294967295 134512640 135987407 3221224560 3221223280 134812820 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 103163 86529 364 364 0 102799 0
[pid=10894] vsize: 412652
Current children cumulated CPU time (s) 169.82
Current children cumulated vsize (Kb) 412652

[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142007 0 0 0 17688 294 0 0 25 0 1 0 22172412 424652800 86666 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 103675 86666 364 364 0 103311 0
[pid=10894] vsize: 414700
Current children cumulated CPU time (s) 179.82
Current children cumulated vsize (Kb) 414700

[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142007 0 0 0 18688 294 0 0 25 0 1 0 22172412 424652800 86666 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 103675 86666 364 364 0 103311 0
[pid=10894] vsize: 414700
Current children cumulated CPU time (s) 189.82
Current children cumulated vsize (Kb) 414700

[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142142 0 0 0 19687 294 0 0 25 0 1 0 22172412 425185280 86801 4294967295 134512640 135987407 3221224560 3221223104 134812129 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 103805 86801 364 364 0 103441 0
[pid=10894] vsize: 415220
Current children cumulated CPU time (s) 199.81
Current children cumulated vsize (Kb) 415220

[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142286 0 0 0 20687 294 0 0 25 0 1 0 22172412 425185280 86945 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 103805 86945 364 364 0 103441 0
[pid=10894] vsize: 415220
Current children cumulated CPU time (s) 209.81
Current children cumulated vsize (Kb) 415220

[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142287 0 0 0 21687 295 0 0 25 0 1 0 22172412 425185280 86946 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 103805 86946 364 364 0 103441 0
[pid=10894] vsize: 415220
Current children cumulated CPU time (s) 219.82
Current children cumulated vsize (Kb) 415220

[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142288 0 0 0 22687 295 0 0 25 0 1 0 22172412 425185280 86947 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 103805 86947 364 364 0 103441 0
[pid=10894] vsize: 415220
Current children cumulated CPU time (s) 229.82
Current children cumulated vsize (Kb) 415220

[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142289 0 0 0 23687 295 0 0 25 0 1 0 22172412 425185280 86948 4294967295 134512640 135987407 3221224560 3221223104 134812038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 103805 86948 364 364 0 103441 0
[pid=10894] vsize: 415220
Current children cumulated CPU time (s) 239.82
Current children cumulated vsize (Kb) 415220

[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142880 0 0 0 24686 296 0 0 25 0 1 0 22172412 427282432 87026 4294967295 134512640 135987407 3221224560 3221222976 134788452 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87026 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 249.82
Current children cumulated vsize (Kb) 417268

[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10894
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142881 0 0 0 25686 296 0 0 25 0 1 0 22172412 427282432 87027 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87027 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 259.82
Current children cumulated vsize (Kb) 417268

[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10949
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142882 0 0 0 26684 296 0 0 25 0 1 0 22172412 427282432 87028 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87028 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 269.8
Current children cumulated vsize (Kb) 417268

[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10949
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142883 0 0 0 27685 296 0 0 25 0 1 0 22172412 427282432 87029 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87029 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 279.81
Current children cumulated vsize (Kb) 417268

[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10949
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142883 0 0 0 28685 296 0 0 25 0 1 0 22172412 427282432 87029 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87029 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 289.81
Current children cumulated vsize (Kb) 417268

[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.93 2/55 10949
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 142884 0 0 0 29685 296 0 0 25 0 1 0 22172412 427282432 87030 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104317 87030 364 364 0 103953 0
[pid=10894] vsize: 417268
Current children cumulated CPU time (s) 299.81
Current children cumulated vsize (Kb) 417268

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10949
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143088 0 0 0 30684 297 0 0 25 0 1 0 22172412 427806720 87105 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104445 87105 364 364 0 104081 0
[pid=10894] vsize: 417780
Current children cumulated CPU time (s) 309.81
Current children cumulated vsize (Kb) 417780

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10951
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143120 0 0 0 31683 298 0 0 25 0 1 0 22172412 427806720 87137 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 104445 87137 364 364 0 104081 0
[pid=10894] vsize: 417780
Current children cumulated CPU time (s) 319.81
Current children cumulated vsize (Kb) 417780

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10953
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143283 0 0 0 32682 298 0 0 25 0 1 0 22172412 427806720 87300 4294967295 134512640 135987407 3221224560 3221223176 134812118 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 104445 87300 364 364 0 104081 0
[pid=10894] vsize: 417780
Current children cumulated CPU time (s) 329.8
Current children cumulated vsize (Kb) 417780

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143286 0 0 0 33682 299 0 0 25 0 1 0 22172412 427806720 87303 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104445 87303 364 364 0 104081 0
[pid=10894] vsize: 417780
Current children cumulated CPU time (s) 339.81
Current children cumulated vsize (Kb) 417780

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143428 0 0 0 34682 299 0 0 25 0 1 0 22172412 428339200 87445 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 104575 87445 364 364 0 104211 0
[pid=10894] vsize: 418300
Current children cumulated CPU time (s) 349.81
Current children cumulated vsize (Kb) 418300

[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143975 0 0 0 35680 300 0 0 25 0 1 0 22172412 430436352 87479 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105087 87479 364 364 0 104723 0
[pid=10894] vsize: 420348
Current children cumulated CPU time (s) 359.8
Current children cumulated vsize (Kb) 420348

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143975 0 0 0 36680 300 0 0 25 0 1 0 22172412 430436352 87479 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105087 87479 364 364 0 104723 0
[pid=10894] vsize: 420348
Current children cumulated CPU time (s) 369.8
Current children cumulated vsize (Kb) 420348

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143990 0 0 0 37680 300 0 0 25 0 1 0 22172412 430436352 87494 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105087 87494 364 364 0 104723 0
[pid=10894] vsize: 420348
Current children cumulated CPU time (s) 379.8
Current children cumulated vsize (Kb) 420348

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143991 0 0 0 38680 300 0 0 25 0 1 0 22172412 430436352 87495 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105087 87495 364 364 0 104723 0
[pid=10894] vsize: 420348
Current children cumulated CPU time (s) 389.8
Current children cumulated vsize (Kb) 420348

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 143991 0 0 0 39680 300 0 0 25 0 1 0 22172412 430436352 87495 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105087 87495 364 364 0 104723 0
[pid=10894] vsize: 420348
Current children cumulated CPU time (s) 399.8
Current children cumulated vsize (Kb) 420348

[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 144601 0 0 0 40679 302 0 0 25 0 1 0 22172412 432009216 87719 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105471 87719 364 364 0 105107 0
[pid=10894] vsize: 421884
Current children cumulated CPU time (s) 409.81
Current children cumulated vsize (Kb) 421884

[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 144601 0 0 0 41679 302 0 0 25 0 1 0 22172412 432009216 87719 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 105471 87719 364 364 0 105107 0
[pid=10894] vsize: 421884
Current children cumulated CPU time (s) 419.81
Current children cumulated vsize (Kb) 421884

[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147034 0 0 0 42673 308 0 0 25 0 1 0 22172412 440877056 89639 4294967295 134512640 135987407 3221224560 3221222952 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107636 89639 364 364 0 107272 0
[pid=10894] vsize: 430544
Current children cumulated CPU time (s) 429.81
Current children cumulated vsize (Kb) 430544

[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147361 0 0 0 43671 309 0 0 25 0 1 0 22172412 434892800 88119 4294967295 134512640 135987407 3221224560 3221223232 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88119 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 439.8
Current children cumulated vsize (Kb) 424700

[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147362 0 0 0 44671 309 0 0 25 0 1 0 22172412 434892800 88120 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88120 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 449.8
Current children cumulated vsize (Kb) 424700

[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147363 0 0 0 45670 310 0 0 25 0 1 0 22172412 434892800 88121 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88121 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 459.8
Current children cumulated vsize (Kb) 424700

[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147390 0 0 0 46670 310 0 0 25 0 1 0 22172412 434892800 88148 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88148 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 469.8
Current children cumulated vsize (Kb) 424700

[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147392 0 0 0 47668 310 0 0 25 0 1 0 22172412 434892800 88150 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88150 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 479.78
Current children cumulated vsize (Kb) 424700

[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147392 0 0 0 48667 311 0 0 25 0 1 0 22172412 434892800 88150 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88150 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 489.78
Current children cumulated vsize (Kb) 424700

[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147394 0 0 0 49667 311 0 0 25 0 1 0 22172412 434892800 88152 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106175 88152 364 364 0 105811 0
[pid=10894] vsize: 424700
Current children cumulated CPU time (s) 499.78
Current children cumulated vsize (Kb) 424700

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147436 0 0 0 50666 311 0 0 25 0 1 0 22172412 435159040 88194 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106240 88194 364 364 0 105876 0
[pid=10894] vsize: 424960
Current children cumulated CPU time (s) 509.77
Current children cumulated vsize (Kb) 424960

[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147777 0 0 0 51665 312 0 0 25 0 1 0 22172412 436211712 88340 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106497 88340 364 364 0 106133 0
[pid=10894] vsize: 425988
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (Kb) 425988

[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 147961 0 0 0 52664 312 0 0 25 0 1 0 22172412 436740096 88459 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 106626 88459 364 364 0 106262 0
[pid=10894] vsize: 426504
Current children cumulated CPU time (s) 529.76
Current children cumulated vsize (Kb) 426504

[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148657 0 0 0 53662 314 0 0 25 0 1 0 22172412 438837248 88641 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107138 88641 364 364 0 106774 0
[pid=10894] vsize: 428552
Current children cumulated CPU time (s) 539.76
Current children cumulated vsize (Kb) 428552

[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148657 0 0 0 54662 315 0 0 25 0 1 0 22172412 438837248 88641 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107138 88641 364 364 0 106774 0
[pid=10894] vsize: 428552
Current children cumulated CPU time (s) 549.77
Current children cumulated vsize (Kb) 428552

[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148658 0 0 0 55661 315 0 0 25 0 1 0 22172412 438837248 88642 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107138 88642 364 364 0 106774 0
[pid=10894] vsize: 428552
Current children cumulated CPU time (s) 559.76
Current children cumulated vsize (Kb) 428552

[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148659 0 0 0 56659 316 0 0 25 0 1 0 22172412 438837248 88643 4294967295 134512640 135987407 3221224560 3221223236 135479922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107138 88643 364 364 0 106774 0
[pid=10894] vsize: 428552
Current children cumulated CPU time (s) 569.75
Current children cumulated vsize (Kb) 428552

[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10955
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148659 0 0 0 57659 316 0 0 25 0 1 0 22172412 438837248 88643 4294967295 134512640 135987407 3221224560 3221223104 134812025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107138 88643 364 364 0 106774 0
[pid=10894] vsize: 428552
Current children cumulated CPU time (s) 579.75
Current children cumulated vsize (Kb) 428552

[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 148929 0 0 0 58657 317 0 0 25 0 1 0 22172412 439627776 88750 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107331 88750 364 364 0 106967 0
[pid=10894] vsize: 429324
Current children cumulated CPU time (s) 589.74
Current children cumulated vsize (Kb) 429324

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 149462 0 0 0 59654 319 0 0 25 0 1 0 22172412 441212928 89022 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107718 89022 364 364 0 107354 0
[pid=10894] vsize: 430872
Current children cumulated CPU time (s) 599.73
Current children cumulated vsize (Kb) 430872

[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 149463 0 0 0 60653 319 0 0 25 0 1 0 22172412 441212928 89023 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107718 89023 364 364 0 107354 0
[pid=10894] vsize: 430872
Current children cumulated CPU time (s) 609.72
Current children cumulated vsize (Kb) 430872

[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 149463 0 0 0 61653 319 0 0 25 0 1 0 22172412 441212928 89023 4294967295 134512640 135987407 3221224560 3221223280 134812593 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107718 89023 364 364 0 107354 0
[pid=10894] vsize: 430872
Current children cumulated CPU time (s) 619.72
Current children cumulated vsize (Kb) 430872

[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 149609 0 0 0 62651 320 0 0 25 0 1 0 22172412 441741312 89104 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107847 89104 364 364 0 107483 0
[pid=10894] vsize: 431388
Current children cumulated CPU time (s) 629.71
Current children cumulated vsize (Kb) 431388

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 149845 0 0 0 63650 321 0 0 25 0 1 0 22172412 442265600 89211 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 107975 89211 364 364 0 107611 0
[pid=10894] vsize: 431900
Current children cumulated CPU time (s) 639.71
Current children cumulated vsize (Kb) 431900

[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 150476 0 0 0 64649 323 0 0 25 0 1 0 22172412 443838464 89456 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 108359 89456 364 364 0 107995 0
[pid=10894] vsize: 433436
Current children cumulated CPU time (s) 649.72
Current children cumulated vsize (Kb) 433436

[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 150729 0 0 0 65647 323 0 0 25 0 1 0 22172412 444362752 89580 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 108487 89580 364 364 0 108123 0
[pid=10894] vsize: 433948
Current children cumulated CPU time (s) 659.7
Current children cumulated vsize (Kb) 433948

[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 151156 0 0 0 66646 325 0 0 25 0 1 0 22172412 445411328 89750 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 108743 89750 364 364 0 108379 0
[pid=10894] vsize: 434972
Current children cumulated CPU time (s) 669.71
Current children cumulated vsize (Kb) 434972

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 151158 0 0 0 67646 325 0 0 25 0 1 0 22172412 445411328 89752 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 108743 89752 364 364 0 108379 0
[pid=10894] vsize: 434972
Current children cumulated CPU time (s) 679.71
Current children cumulated vsize (Kb) 434972

[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 151633 0 0 0 68645 326 0 0 25 0 1 0 22172412 446459904 89970 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 108999 89970 364 364 0 108635 0
[pid=10894] vsize: 435996
Current children cumulated CPU time (s) 689.71
Current children cumulated vsize (Kb) 435996

[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 152344 0 0 0 69643 328 0 0 25 0 1 0 22172412 448032768 90295 4294967295 134512640 135987407 3221224560 3221223232 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 109383 90295 364 364 0 109019 0
[pid=10894] vsize: 437532
Current children cumulated CPU time (s) 699.71
Current children cumulated vsize (Kb) 437532

[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 152628 0 0 0 70642 328 0 0 25 0 1 0 22172412 449081344 90322 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 109639 90322 364 364 0 109275 0
[pid=10894] vsize: 438556
Current children cumulated CPU time (s) 709.7
Current children cumulated vsize (Kb) 438556

[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 152636 0 0 0 71641 329 0 0 25 0 1 0 22172412 449081344 90330 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 109639 90330 364 364 0 109275 0
[pid=10894] vsize: 438556
Current children cumulated CPU time (s) 719.7
Current children cumulated vsize (Kb) 438556

[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 152762 0 0 0 72641 329 0 0 25 0 1 0 22172412 449347584 90423 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 109704 90423 364 364 0 109340 0
[pid=10894] vsize: 438816
Current children cumulated CPU time (s) 729.7
Current children cumulated vsize (Kb) 438816

[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 153234 0 0 0 73639 330 0 0 25 0 1 0 22172412 450809856 90698 4294967295 134512640 135987407 3221224560 3221223264 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 110061 90698 364 364 0 109697 0
[pid=10894] vsize: 440244
Current children cumulated CPU time (s) 739.69
Current children cumulated vsize (Kb) 440244

[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 153235 0 0 0 74639 330 0 0 25 0 1 0 22172412 450809856 90699 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 110061 90699 364 364 0 109697 0
[pid=10894] vsize: 440244
Current children cumulated CPU time (s) 749.69
Current children cumulated vsize (Kb) 440244

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 153237 0 0 0 75638 331 0 0 25 0 1 0 22172412 450809856 90701 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 110061 90701 364 364 0 109697 0
[pid=10894] vsize: 440244
Current children cumulated CPU time (s) 759.69
Current children cumulated vsize (Kb) 440244

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 155262 0 0 0 76632 335 0 0 25 0 1 0 22172412 456200192 91703 4294967295 134512640 135987407 3221224560 3221223232 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 111377 91703 364 364 0 111013 0
[pid=10894] vsize: 445508
Current children cumulated CPU time (s) 769.67
Current children cumulated vsize (Kb) 445508

[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 157997 0 0 0 77626 341 0 0 25 0 1 0 22172412 463425536 92840 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 113141 92840 364 364 0 112777 0
[pid=10894] vsize: 452564
Current children cumulated CPU time (s) 779.67
Current children cumulated vsize (Kb) 452564

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 159575 0 0 0 78622 344 0 0 25 0 1 0 22172412 467255296 93702 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 114076 93702 364 364 0 113712 0
[pid=10894] vsize: 456304
Current children cumulated CPU time (s) 789.66
Current children cumulated vsize (Kb) 456304

[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 160934 0 0 0 79618 348 0 0 25 0 1 0 22172412 470925312 94161 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10894/statm): 114972 94161 364 364 0 114608 0
[pid=10894] vsize: 459888
Current children cumulated CPU time (s) 799.66
Current children cumulated vsize (Kb) 459888

[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 163197 0 0 0 80613 353 0 0 25 0 1 0 22172412 477229056 94972 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 116511 94972 364 364 0 116147 0
[pid=10894] vsize: 466044
Current children cumulated CPU time (s) 809.66
Current children cumulated vsize (Kb) 466044

[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 164403 0 0 0 81611 355 0 0 25 0 1 0 22172412 479862784 95626 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 117154 95626 364 364 0 116790 0
[pid=10894] vsize: 468616
Current children cumulated CPU time (s) 819.66
Current children cumulated vsize (Kb) 468616

[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 165892 0 0 0 82607 358 0 0 25 0 1 0 22172412 483414016 96340 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 118021 96340 364 364 0 117657 0
[pid=10894] vsize: 472084
Current children cumulated CPU time (s) 829.65
Current children cumulated vsize (Kb) 472084

[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 167225 0 0 0 83604 361 0 0 25 0 1 0 22172412 486830080 96897 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 118855 96897 364 364 0 118491 0
[pid=10894] vsize: 475420
Current children cumulated CPU time (s) 839.65
Current children cumulated vsize (Kb) 475420

[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169050 0 0 0 84601 365 0 0 25 0 1 0 22172412 491028480 97723 4294967295 134512640 135987407 3221224560 3221223104 134812031 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97723 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 849.66
Current children cumulated vsize (Kb) 479520

[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169051 0 0 0 85600 365 0 0 25 0 1 0 22172412 491028480 97724 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97724 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 859.65
Current children cumulated vsize (Kb) 479520

[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169052 0 0 0 86600 365 0 0 25 0 1 0 22172412 491028480 97725 4294967295 134512640 135987407 3221224560 3221223200 134812368 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97725 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 869.65
Current children cumulated vsize (Kb) 479520

[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169052 0 0 0 87600 365 0 0 25 0 1 0 22172412 491028480 97725 4294967295 134512640 135987407 3221224560 3221223104 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97725 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 879.65
Current children cumulated vsize (Kb) 479520

[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169053 0 0 0 88600 365 0 0 25 0 1 0 22172412 491028480 97726 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97726 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 889.65
Current children cumulated vsize (Kb) 479520

[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169054 0 0 0 89600 366 0 0 25 0 1 0 22172412 491028480 97727 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97727 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 899.66
Current children cumulated vsize (Kb) 479520

[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169056 0 0 0 90599 366 0 0 25 0 1 0 22172412 491028480 97729 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97729 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 909.65
Current children cumulated vsize (Kb) 479520

[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 169056 0 0 0 91599 366 0 0 25 0 1 0 22172412 491028480 97729 4294967295 134512640 135987407 3221224560 3221223104 134811735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 119880 97729 364 364 0 119516 0
[pid=10894] vsize: 479520
Current children cumulated CPU time (s) 919.65
Current children cumulated vsize (Kb) 479520

[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 170790 0 0 0 92595 370 0 0 25 0 1 0 22172412 495636480 98488 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 121005 98488 364 364 0 120641 0
[pid=10894] vsize: 484020
Current children cumulated CPU time (s) 929.65
Current children cumulated vsize (Kb) 484020

[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 172777 0 0 0 93590 374 0 0 25 0 1 0 22172412 501432320 99275 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 122420 99275 364 364 0 122056 0
[pid=10894] vsize: 489680
Current children cumulated CPU time (s) 939.64
Current children cumulated vsize (Kb) 489680

[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 174431 0 0 0 94586 377 0 0 25 0 1 0 22172412 505380864 100086 4294967295 134512640 135987407 3221224560 3221223104 134811995 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 123384 100086 364 364 0 123020 0
[pid=10894] vsize: 493536
Current children cumulated CPU time (s) 949.63
Current children cumulated vsize (Kb) 493536

[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 175089 0 0 0 95584 379 0 0 25 0 1 0 22172412 507101184 100450 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 123804 100450 364 364 0 123440 0
[pid=10894] vsize: 495216
Current children cumulated CPU time (s) 959.63
Current children cumulated vsize (Kb) 495216

[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 175708 0 0 0 96580 381 0 0 25 0 1 0 22172412 508682240 100744 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 124190 100744 364 364 0 123826 0
[pid=10894] vsize: 496760
Current children cumulated CPU time (s) 969.61
Current children cumulated vsize (Kb) 496760

[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 178429 0 0 0 97573 388 0 0 25 0 1 0 22172412 516055040 101908 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 125990 101908 364 364 0 125626 0
[pid=10894] vsize: 503960
Current children cumulated CPU time (s) 979.61
Current children cumulated vsize (Kb) 503960

[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 179030 0 0 0 98572 389 0 0 25 0 1 0 22172412 517505024 102217 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126344 102217 364 364 0 125980 0
[pid=10894] vsize: 505376
Current children cumulated CPU time (s) 989.61
Current children cumulated vsize (Kb) 505376

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 179080 0 0 0 99572 389 0 0 25 0 1 0 22172412 517505024 102267 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126344 102267 364 364 0 125980 0
[pid=10894] vsize: 505376
Current children cumulated CPU time (s) 999.61
Current children cumulated vsize (Kb) 505376

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 179080 0 0 0 100572 389 0 0 25 0 1 0 22172412 517505024 102267 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126344 102267 364 364 0 125980 0
[pid=10894] vsize: 505376
Current children cumulated CPU time (s) 1009.61
Current children cumulated vsize (Kb) 505376

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 179080 0 0 0 101572 389 0 0 25 0 1 0 22172412 517505024 102267 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126344 102267 364 364 0 125980 0
[pid=10894] vsize: 505376
Current children cumulated CPU time (s) 1019.61
Current children cumulated vsize (Kb) 505376

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 179126 0 0 0 102572 390 0 0 25 0 1 0 22172412 517505024 102313 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126344 102313 364 364 0 125980 0
[pid=10894] vsize: 505376
Current children cumulated CPU time (s) 1029.62
Current children cumulated vsize (Kb) 505376

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 180104 0 0 0 103569 392 0 0 25 0 1 0 22172412 519602176 102776 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 126856 102776 364 364 0 126492 0
[pid=10894] vsize: 507424
Current children cumulated CPU time (s) 1039.61
Current children cumulated vsize (Kb) 507424

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181106 0 0 0 104567 394 0 0 25 0 1 0 22172412 522498048 103163 4294967295 134512640 135987407 3221224560 3221223200 134812398 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127563 103163 364 364 0 127199 0
[pid=10894] vsize: 510252
Current children cumulated CPU time (s) 1049.61
Current children cumulated vsize (Kb) 510252

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181208 0 0 0 105567 394 0 0 25 0 1 0 22172412 522498048 103265 4294967295 134512640 135987407 3221224560 3221223104 134811715 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127563 103265 364 364 0 127199 0
[pid=10894] vsize: 510252
Current children cumulated CPU time (s) 1059.61
Current children cumulated vsize (Kb) 510252

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181489 0 0 0 106565 395 0 0 25 0 1 0 22172412 523288576 103384 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103384 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1069.6
Current children cumulated vsize (Kb) 511024

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181490 0 0 0 107565 395 0 0 25 0 1 0 22172412 523288576 103385 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103385 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1079.6
Current children cumulated vsize (Kb) 511024

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181500 0 0 0 108565 396 0 0 25 0 1 0 22172412 523288576 103395 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103395 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1089.61
Current children cumulated vsize (Kb) 511024

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181533 0 0 0 109564 396 0 0 25 0 1 0 22172412 523288576 103428 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103428 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1099.6
Current children cumulated vsize (Kb) 511024

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181534 0 0 0 110564 396 0 0 25 0 1 0 22172412 523288576 103429 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103429 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1109.6
Current children cumulated vsize (Kb) 511024

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181535 0 0 0 111564 396 0 0 25 0 1 0 22172412 523288576 103430 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103430 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1119.6
Current children cumulated vsize (Kb) 511024

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181536 0 0 0 112564 396 0 0 25 0 1 0 22172412 523288576 103431 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103431 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1129.6
Current children cumulated vsize (Kb) 511024

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181537 0 0 0 113564 396 0 0 25 0 1 0 22172412 523288576 103432 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103432 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1139.6
Current children cumulated vsize (Kb) 511024

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181539 0 0 0 114563 396 0 0 25 0 1 0 22172412 523288576 103434 4294967295 134512640 135987407 3221224560 3221223104 134811962 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103434 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1149.59
Current children cumulated vsize (Kb) 511024

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181540 0 0 0 115563 396 0 0 25 0 1 0 22172412 523288576 103435 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103435 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1159.59
Current children cumulated vsize (Kb) 511024

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181543 0 0 0 116563 396 0 0 25 0 1 0 22172412 523288576 103438 4294967295 134512640 135987407 3221224560 3221223104 134812146 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103438 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1169.59
Current children cumulated vsize (Kb) 511024

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181544 0 0 0 117563 396 0 0 25 0 1 0 22172412 523288576 103439 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103439 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1179.59
Current children cumulated vsize (Kb) 511024

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 181545 0 0 0 118563 396 0 0 25 0 1 0 22172412 523288576 103440 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 127756 103440 364 364 0 127392 0
[pid=10894] vsize: 511024
Current children cumulated CPU time (s) 1189.59
Current children cumulated vsize (Kb) 511024

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 182415 0 0 0 119560 398 0 0 25 0 1 0 22172412 525664256 103854 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 128336 103854 364 364 0 127972 0
[pid=10894] vsize: 513344
Current children cumulated CPU time (s) 1199.58
Current children cumulated vsize (Kb) 513344

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 183636 0 0 0 120557 400 0 0 25 0 1 0 22172412 529084416 104331 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 129171 104331 364 364 0 128807 0
[pid=10894] vsize: 516684
Current children cumulated CPU time (s) 1209.57
Current children cumulated vsize (Kb) 516684



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/55 10957
Raw data (/proc/10894/stat): 10894 (pb2sat) R 10893 10894 4070 0 -1 0 183636 0 0 0 120558 400 0 0 25 0 1 0 22172412 529084416 104331 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10894/statm): 129171 104331 364 364 0 128807 0
[pid=10894] vsize: 516684
Current children cumulated CPU time (s) 1209.58
Current children cumulated vsize (Kb) 516684

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

Child status: 10
Real time (s): 1211.52
CPU time (s): 1211.07
CPU user time (s): 1206.85
CPU system time (s): 4.22036
CPU usage (%): 99.9623
Max. virtual memory (cumulated for all children) (Kb): 516684

Verifier Data

Verifier:	OK	63596