Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-vpm1.opb
MD5SUMeb50800dc2fc522dd2f29a347fbab1da
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 28
Optimality of the best value was proved NO
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 819200
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 4941871
Number of bits of the biggest sum of numbers23
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1250.11
Number of variables2754
Total number of constraints612
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)168
Number of constraints which are nor clauses,nor cardinality constraints444
Minimum length of a constraint1
Maximum length of a constraint82

Trace number 10162

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.188
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:        937108 kB
Buffers:         11928 kB
Cached:          68788 kB
SwapCached:          0 kB
Active:          44056 kB
Inactive:        39576 kB
HighTotal:      131008 kB
HighFree:        58016 kB
LowTotal:       903652 kB
LowFree:        879092 kB
SwapTotal:     2097640 kB
SwapFree:      2097640 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             8472 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:22:25 (client local time) WITH STATUS 0 IN 1201.77 SECONDS
stats: 8873 7 1201.77 0

Solver Data

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

c Decision: 235071/1061298	Time: 218.353/86400
c Decision: 235071/1061298	Time: 241.71/86400
c Decision: 235071/1061298	Time: 267.103/86400
c Decision: 235071/1061298	Time: 295.938/86400
c Decision: 235071/1061298	Time: 320.899/86400
c Decision: 235077/1061298	Time: 356.751/86400
c Decision: 235077/1061298	Time: 381.314/86400
c Decision: 235077/1061298	Time: 406.726/86400
c Decision: 235077/1061298	Time: 429.06/86400
c Decision: 235077/1061298	Time: 449.596/86400
c Decision: 235077/1061298	Time: 474.745/86400
c Decision: 235077/1061298	Time: 495.103/86400
c Decision: 235077/1061298	Time: 513.496/86400
c Decision: 235077/1061298	Time: 535.872/86400
c Decision: 235077/1061298	Time: 589.423/86400
c Decision: 235077/1061298	Time: 632.166/86400
c Decision: 235077/1061298	Time: 669.391/86400
c Decision: 235077/1061298	Time: 703.342/86400
c Decision: 235077/1061298	Time: 729.78/86400
c Decision: 235077/1061298	Time: 751.108/86400
c Decision: 235077/1061298	Time: 789.331/86400
c Decision: 235077/1061298	Time: 822.357/86400
c Decision: 235077/1061298	Time: 846.945/86400
c Decision: 235077/1061298	Time: 873.008/86400
c Decision: 235077/1061298	Time: 905.35/86400
c Decision: 235077/1061298	Time: 938.358/86400
c Decision: 235077/1061298	Time: 968.647/86400
c Decision: 235077/1061298	Time: 989.934/86400
c Decision: 235077/1061298	Time: 1025.61/86400
c Decision: 235077/1061298	Time: 1053.71/86400
c Decision: 235077/1061298	Time: 1081.54/86400
c Decision: 235077/1061298	Time: 1102.15/86400
c Decision: 235077/1061298	Time: 1123.92/86400
c Decision: 235077/1061298	Time: 1146.17/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/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21794888 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 373 2 364 364 0 9 0
[pid=8925] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-vpm1.opb

[startup+10.002 s]
Raw data (loadavg): 0.94 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 27876 0 0 0 926 70 0 0 25 0 1 0 21794888 80990208 16717 4294967295 134512640 135987407 3221224560 3221203660 135499903 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 19773 16717 364 364 0 19409 0
[pid=8925] vsize: 79092
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 79092

[startup+20.0027 s]
Raw data (loadavg): 0.94 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 55732 0 0 0 1863 131 0 0 25 0 1 0 21794888 158433280 33326 4294967295 134512640 135987407 3221224560 3221208892 134637002 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 38680 33326 364 364 0 38316 0
[pid=8925] vsize: 154720
Current children cumulated CPU time (s) 19.94
Current children cumulated vsize (Kb) 154720

[startup+30.0024 s]
Raw data (loadavg): 0.95 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 94912 0 0 0 2776 217 0 0 25 0 1 0 21794888 308453376 50299 4294967295 134512640 135987407 3221224560 3221201248 134560045 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 75306 50299 364 364 0 74942 0
[pid=8925] vsize: 301224
Current children cumulated CPU time (s) 29.93
Current children cumulated vsize (Kb) 301224

[startup+40.003 s]
Raw data (loadavg): 0.96 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 111177 0 0 0 3737 255 0 0 25 0 1 0 21794888 313724928 66287 4294967295 134512640 135987407 3221224560 3221202636 135484954 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 76593 66287 364 364 0 76229 0
[pid=8925] vsize: 306372
Current children cumulated CPU time (s) 39.92
Current children cumulated vsize (Kb) 306372

[startup+50.0037 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 153490 0 0 0 4642 345 0 0 25 0 1 0 21794888 459190272 89036 4294967295 134512640 135987407 3221224560 3221223096 134827505 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 112107 89036 364 364 0 111743 0
[pid=8925] vsize: 448428
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 448428

[startup+60.0044 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 156956 0 0 0 5618 360 0 0 25 0 1 0 21794888 464486400 90202 4294967295 134512640 135987407 3221224560 3221223376 134824323 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 113400 90202 364 364 0 113036 0
[pid=8925] vsize: 453600
Current children cumulated CPU time (s) 59.78
Current children cumulated vsize (Kb) 453600

[startup+70.0051 s]
Raw data (loadavg): 0.97 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 157527 0 0 0 6606 365 0 0 25 0 1 0 21794888 467226624 90773 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 114069 90773 364 364 0 113705 0
[pid=8925] vsize: 456276
Current children cumulated CPU time (s) 69.71
Current children cumulated vsize (Kb) 456276

[startup+80.0058 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 157986 0 0 0 7596 369 0 0 25 0 1 0 21794888 469651456 91232 4294967295 134512640 135987407 3221224560 3221223120 134788457 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 114661 91232 364 364 0 114297 0
[pid=8925] vsize: 458644
Current children cumulated CPU time (s) 79.65
Current children cumulated vsize (Kb) 458644

[startup+90.0064 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158213 0 0 0 8586 373 0 0 25 0 1 0 21794888 470933504 91459 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 114974 91459 364 364 0 114610 0
[pid=8925] vsize: 459896
Current children cumulated CPU time (s) 89.59
Current children cumulated vsize (Kb) 459896

[startup+100.006 s]
Raw data (loadavg): 0.98 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158336 0 0 0 9575 377 0 0 25 0 1 0 21794888 471597056 91582 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 115136 91582 364 364 0 114772 0
[pid=8925] vsize: 460544
Current children cumulated CPU time (s) 99.52
Current children cumulated vsize (Kb) 460544

[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158356 0 0 0 10562 381 0 0 25 0 1 0 21794888 471597056 91602 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 115136 91602 364 364 0 114772 0
[pid=8925] vsize: 460544
Current children cumulated CPU time (s) 109.43
Current children cumulated vsize (Kb) 460544

[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158553 0 0 0 11553 386 0 0 25 0 1 0 21794888 472592384 91799 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 115379 91799 364 364 0 115015 0
[pid=8925] vsize: 461516
Current children cumulated CPU time (s) 119.39
Current children cumulated vsize (Kb) 461516

[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158586 0 0 0 12546 388 0 0 25 0 1 0 21794888 472727552 91832 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 115412 91832 364 364 0 115048 0
[pid=8925] vsize: 461648
Current children cumulated CPU time (s) 129.34
Current children cumulated vsize (Kb) 461648

[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158620 0 0 0 13540 391 0 0 25 0 1 0 21794888 472862720 91866 4294967295 134512640 135987407 3221224560 3221223248 134811756 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 115445 91866 364 364 0 115081 0
[pid=8925] vsize: 461780
Current children cumulated CPU time (s) 139.31
Current children cumulated vsize (Kb) 461780

[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158703 0 0 0 14531 394 0 0 25 0 1 0 21794888 473268224 91949 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 115544 91949 364 364 0 115180 0
[pid=8925] vsize: 462176
Current children cumulated CPU time (s) 149.25
Current children cumulated vsize (Kb) 462176

[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 158866 0 0 0 15518 399 0 0 25 0 1 0 21794888 474214400 92112 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8925/statm): 115775 92112 364 364 0 115411 0
[pid=8925] vsize: 463100
Current children cumulated CPU time (s) 159.17
Current children cumulated vsize (Kb) 463100

[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158952 0 0 0 16504 404 0 0 25 0 1 0 21794888 474480640 92165 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 115840 92165 364 364 0 115476 0
[pid=8925] vsize: 463360
Current children cumulated CPU time (s) 169.08
Current children cumulated vsize (Kb) 463360

[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 158957 0 0 0 17489 409 0 0 25 0 1 0 21794888 474480640 92170 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 115840 92170 364 364 0 115476 0
[pid=8925] vsize: 463360
Current children cumulated CPU time (s) 178.98
Current children cumulated vsize (Kb) 463360

[startup+190.008 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159176 0 0 0 18477 413 0 0 25 0 1 0 21794888 475557888 92356 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 116103 92356 364 364 0 115739 0
[pid=8925] vsize: 464412
Current children cumulated CPU time (s) 188.9
Current children cumulated vsize (Kb) 464412

[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159214 0 0 0 19460 419 0 0 25 0 1 0 21794888 475693056 92394 4294967295 134512640 135987407 3221224560 3221223248 134811715 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 116136 92394 364 364 0 115772 0
[pid=8925] vsize: 464544
Current children cumulated CPU time (s) 198.79
Current children cumulated vsize (Kb) 464544

[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159296 0 0 0 20449 423 0 0 25 0 1 0 21794888 476098560 92476 4294967295 134512640 135987407 3221224560 3221223120 134788493 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116235 92476 364 364 0 115871 0
[pid=8925] vsize: 464940
Current children cumulated CPU time (s) 208.72
Current children cumulated vsize (Kb) 464940

[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159301 0 0 0 21430 429 0 0 25 0 1 0 21794888 476098560 92481 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116235 92481 364 364 0 115871 0
[pid=8925] vsize: 464940
Current children cumulated CPU time (s) 218.59
Current children cumulated vsize (Kb) 464940

[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8925
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159462 0 0 0 22417 433 0 0 25 0 1 0 21794888 476770304 92609 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116399 92609 364 364 0 116035 0
[pid=8925] vsize: 465596
Current children cumulated CPU time (s) 228.5
Current children cumulated vsize (Kb) 465596

[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159635 0 0 0 23403 438 0 0 25 0 1 0 21794888 477581312 92782 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116597 92782 364 364 0 116233 0
[pid=8925] vsize: 466388
Current children cumulated CPU time (s) 238.41
Current children cumulated vsize (Kb) 466388

[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159681 0 0 0 24385 443 0 0 25 0 1 0 21794888 477716480 92828 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 116630 92828 364 364 0 116266 0
[pid=8925] vsize: 466520
Current children cumulated CPU time (s) 248.28
Current children cumulated vsize (Kb) 466520

[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 159686 0 0 0 25369 449 0 0 25 0 1 0 21794888 477716480 92833 4294967295 134512640 135987407 3221224560 3221223408 134790007 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 116630 92833 364 364 0 116266 0
[pid=8925] vsize: 466520
Current children cumulated CPU time (s) 258.18
Current children cumulated vsize (Kb) 466520

[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 161775 0 0 0 26359 456 0 0 25 0 1 0 21794888 477716480 92849 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116630 92849 364 364 0 116266 0
[pid=8925] vsize: 466520
Current children cumulated CPU time (s) 268.15
Current children cumulated vsize (Kb) 466520

[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 161778 0 0 0 27343 461 0 0 25 0 1 0 21794888 477716480 92852 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116630 92852 364 364 0 116266 0
[pid=8925] vsize: 466520
Current children cumulated CPU time (s) 278.04
Current children cumulated vsize (Kb) 466520

[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 163853 0 0 0 28328 470 0 0 25 0 1 0 21794888 486207488 94927 4294967295 134512640 135987407 3221224560 3221222944 134828992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118703 94927 364 364 0 118339 0
[pid=8925] vsize: 474812
Current children cumulated CPU time (s) 287.98
Current children cumulated vsize (Kb) 474812

[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 164033 0 0 0 29315 475 0 0 25 0 1 0 21794888 478556160 93034 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116835 93034 364 364 0 116471 0
[pid=8925] vsize: 467340
Current children cumulated CPU time (s) 297.9
Current children cumulated vsize (Kb) 467340

[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 164157 0 0 0 30296 482 0 0 25 0 1 0 21794888 478969856 93125 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8925/statm): 116936 93125 364 364 0 116572 0
[pid=8925] vsize: 467744
Current children cumulated CPU time (s) 307.78
Current children cumulated vsize (Kb) 467744

[startup+320.012 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 166345 0 0 0 31284 489 0 0 25 0 1 0 21794888 479559680 93240 4294967295 134512640 135987407 3221224560 3221223376 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117080 93240 364 364 0 116716 0
[pid=8925] vsize: 468320
Current children cumulated CPU time (s) 317.73
Current children cumulated vsize (Kb) 468320

[startup+330.012 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 166527 0 0 0 32270 497 0 0 25 0 1 0 21794888 480632832 93422 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117342 93422 364 364 0 116978 0
[pid=8925] vsize: 469368
Current children cumulated CPU time (s) 327.67
Current children cumulated vsize (Kb) 469368

[startup+340.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 166610 0 0 0 33250 504 0 0 25 0 1 0 21794888 480993280 93505 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117430 93505 364 364 0 117066 0
[pid=8925] vsize: 469720
Current children cumulated CPU time (s) 337.54
Current children cumulated vsize (Kb) 469720

[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 168855 0 0 0 34236 512 0 0 25 0 1 0 21794888 481730560 93677 4294967295 134512640 135987407 3221224560 3221223376 134824323 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117610 93677 364 364 0 117246 0
[pid=8925] vsize: 470440
Current children cumulated CPU time (s) 347.48
Current children cumulated vsize (Kb) 470440

[startup+360.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 168968 0 0 0 35218 519 0 0 25 0 1 0 21794888 482127872 93757 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117707 93757 364 364 0 117343 0
[pid=8925] vsize: 470828
Current children cumulated CPU time (s) 357.37
Current children cumulated vsize (Kb) 470828

[startup+370.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 171045 0 0 0 36202 528 0 0 25 0 1 0 21794888 490618880 95834 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 119780 95834 364 364 0 119416 0
[pid=8925] vsize: 479120
Current children cumulated CPU time (s) 367.3
Current children cumulated vsize (Kb) 479120

[startup+380.012 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 171098 0 0 0 37188 533 0 0 25 0 1 0 21794888 482398208 93814 4294967295 134512640 135987407 3221224560 3221223344 134812436 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117773 93814 364 364 0 117409 0
[pid=8925] vsize: 471092
Current children cumulated CPU time (s) 377.21
Current children cumulated vsize (Kb) 471092

[startup+390.013 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 171268 0 0 0 38172 540 0 0 25 0 1 0 21794888 483065856 93918 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 117936 93918 364 364 0 117572 0
[pid=8925] vsize: 471744
Current children cumulated CPU time (s) 387.12
Current children cumulated vsize (Kb) 471744

[startup+400.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 171354 0 0 0 39157 544 0 0 25 0 1 0 21794888 483332096 93971 4294967295 134512640 135987407 3221224560 3221223280 134813744 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118001 93971 364 364 0 117637 0
[pid=8925] vsize: 472004
Current children cumulated CPU time (s) 397.01
Current children cumulated vsize (Kb) 472004

[startup+410.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 173427 0 0 0 40149 549 0 0 25 0 1 0 21794888 483332096 93971 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118001 93971 364 364 0 117637 0
[pid=8925] vsize: 472004
Current children cumulated CPU time (s) 406.98
Current children cumulated vsize (Kb) 472004

[startup+420.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 173516 0 0 0 41138 554 0 0 25 0 1 0 21794888 483737600 94060 4294967295 134512640 135987407 3221224560 3221223248 134811822 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 118100 94060 364 364 0 117736 0
[pid=8925] vsize: 472400
Current children cumulated CPU time (s) 416.92
Current children cumulated vsize (Kb) 472400

[startup+430.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 175625 0 0 0 42122 563 0 0 25 0 1 0 21794888 492363776 96169 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120206 96169 364 364 0 119842 0
[pid=8925] vsize: 480824
Current children cumulated CPU time (s) 426.85
Current children cumulated vsize (Kb) 480824

[startup+440.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 175646 0 0 0 43106 568 0 0 25 0 1 0 21794888 484007936 94117 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118166 94117 364 364 0 117802 0
[pid=8925] vsize: 472664
Current children cumulated CPU time (s) 436.74
Current children cumulated vsize (Kb) 472664

[startup+450.014 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 175648 0 0 0 44087 575 0 0 25 0 1 0 21794888 484007936 94119 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118166 94119 364 364 0 117802 0
[pid=8925] vsize: 472664
Current children cumulated CPU time (s) 446.62
Current children cumulated vsize (Kb) 472664

[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 177723 0 0 0 45072 583 0 0 25 0 1 0 21794888 484007936 94121 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118166 94121 364 364 0 117802 0
[pid=8925] vsize: 472664
Current children cumulated CPU time (s) 456.55
Current children cumulated vsize (Kb) 472664

[startup+470.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 177730 0 0 0 46060 587 0 0 25 0 1 0 21794888 484007936 94128 4294967295 134512640 135987407 3221224560 3221223392 134812778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118166 94128 364 364 0 117802 0
[pid=8925] vsize: 472664
Current children cumulated CPU time (s) 466.47
Current children cumulated vsize (Kb) 472664

[startup+480.015 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 179872 0 0 0 47048 595 0 0 25 0 1 0 21794888 484274176 94164 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 118231 94164 364 364 0 117867 0
[pid=8925] vsize: 472924
Current children cumulated CPU time (s) 476.43
Current children cumulated vsize (Kb) 472924

[startup+490.016 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 179956 0 0 0 48040 597 0 0 25 0 1 0 21794888 484814848 94248 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8925/statm): 118363 94248 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 486.37
Current children cumulated vsize (Kb) 473452

[startup+500.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 182033 0 0 0 49026 605 0 0 25 0 1 0 21794888 493305856 96325 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120436 96325 364 364 0 120072 0
[pid=8925] vsize: 481744
Current children cumulated CPU time (s) 496.31
Current children cumulated vsize (Kb) 481744

[startup+510.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 182037 0 0 0 50007 612 0 0 25 0 1 0 21794888 484814848 94256 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94256 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 506.19
Current children cumulated vsize (Kb) 473452

[startup+520.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 182042 0 0 0 50991 617 0 0 25 0 1 0 21794888 484814848 94261 4294967295 134512640 135987407 3221224560 3221223280 134814464 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94261 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 516.08
Current children cumulated vsize (Kb) 473452

[startup+530.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 184117 0 0 0 51980 625 0 0 25 0 1 0 21794888 484814848 94263 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94263 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 526.05
Current children cumulated vsize (Kb) 473452

[startup+540.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 184121 0 0 0 52969 628 0 0 25 0 1 0 21794888 484814848 94267 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94267 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 535.97
Current children cumulated vsize (Kb) 473452

[startup+550.017 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 186197 0 0 0 53951 637 0 0 25 0 1 0 21794888 484814848 94270 4294967295 134512640 135987407 3221224560 3221223408 134789976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94270 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 545.88
Current children cumulated vsize (Kb) 473452

[startup+560.018 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 186208 0 0 0 54940 640 0 0 25 0 1 0 21794888 484814848 94281 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94281 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 555.8
Current children cumulated vsize (Kb) 473452

[startup+570.018 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 188286 0 0 0 55929 647 0 0 25 0 1 0 21794888 484814848 94286 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94286 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 565.76
Current children cumulated vsize (Kb) 473452

[startup+580.018 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 188298 0 0 0 56915 653 0 0 25 0 1 0 21794888 484814848 94298 4294967295 134512640 135987407 3221224560 3221223248 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118363 94298 364 364 0 117999 0
[pid=8925] vsize: 473452
Current children cumulated CPU time (s) 575.68
Current children cumulated vsize (Kb) 473452

[startup+590.019 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 190418 0 0 0 57902 660 0 0 25 0 1 0 21794888 485085184 94345 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118429 94345 364 364 0 118065 0
[pid=8925] vsize: 473716
Current children cumulated CPU time (s) 585.62
Current children cumulated vsize (Kb) 473716

[startup+600.018 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 190490 0 0 0 58889 664 0 0 25 0 1 0 21794888 485412864 94417 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8925/statm): 118509 94417 364 364 0 118145 0
[pid=8925] vsize: 474036
Current children cumulated CPU time (s) 595.53
Current children cumulated vsize (Kb) 474036

[startup+610.019 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 190742 0 0 0 59875 670 0 0 25 0 1 0 21794888 486658048 94669 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 118813 94669 364 364 0 118449 0
[pid=8925] vsize: 475252
Current children cumulated CPU time (s) 605.45
Current children cumulated vsize (Kb) 475252

[startup+620.02 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 191112 0 0 0 60861 675 0 0 25 0 1 0 21794888 488554496 95039 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 119276 95039 364 364 0 118912 0
[pid=8925] vsize: 477104
Current children cumulated CPU time (s) 615.36
Current children cumulated vsize (Kb) 477104

[startup+630.019 s]
Raw data (loadavg): 0.99 1.00 0.98 1/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 191156 0 0 0 61847 679 0 0 25 0 1 0 21794888 488689664 95083 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8925/statm): 119309 95083 364 364 0 118945 0
[pid=8925] vsize: 477236
Current children cumulated CPU time (s) 625.26
Current children cumulated vsize (Kb) 477236

[startup+640.02 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 193818 0 0 0 62831 689 0 0 25 0 1 0 21794888 499568640 97515 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 121965 97515 364 364 0 121601 0
[pid=8925] vsize: 487860
Current children cumulated CPU time (s) 635.2
Current children cumulated vsize (Kb) 487860

[startup+650.02 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 193821 0 0 0 63817 694 0 0 25 0 1 0 21794888 491077632 95445 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 119892 95445 364 364 0 119528 0
[pid=8925] vsize: 479568
Current children cumulated CPU time (s) 645.11
Current children cumulated vsize (Kb) 479568

[startup+660.02 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 193832 0 0 0 64800 700 0 0 25 0 1 0 21794888 491077632 95456 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 119892 95456 364 364 0 119528 0
[pid=8925] vsize: 479568
Current children cumulated CPU time (s) 655
Current children cumulated vsize (Kb) 479568

[startup+670.021 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 193943 0 0 0 65790 704 0 0 25 0 1 0 21794888 491347968 95567 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 119958 95567 364 364 0 119594 0
[pid=8925] vsize: 479832
Current children cumulated CPU time (s) 664.94
Current children cumulated vsize (Kb) 479832

[startup+680.021 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 196151 0 0 0 66776 712 0 0 25 0 1 0 21794888 500105216 97742 4294967295 134512640 135987407 3221224560 3221222920 134827485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 122096 97742 364 364 0 121732 0
[pid=8925] vsize: 488384
Current children cumulated CPU time (s) 674.88
Current children cumulated vsize (Kb) 488384

[startup+690.021 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 196306 0 0 0 67769 715 0 0 25 0 1 0 21794888 492408832 95758 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120217 95758 364 364 0 119853 0
[pid=8925] vsize: 480868
Current children cumulated CPU time (s) 684.84
Current children cumulated vsize (Kb) 480868

[startup+700.021 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 196314 0 0 0 68753 721 0 0 25 0 1 0 21794888 492408832 95766 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120217 95766 364 364 0 119853 0
[pid=8925] vsize: 480868
Current children cumulated CPU time (s) 694.74
Current children cumulated vsize (Kb) 480868

[startup+710.022 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 196359 0 0 0 69738 727 0 0 25 0 1 0 21794888 492679168 95811 4294967295 134512640 135987407 3221224560 3221223120 134788469 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120283 95811 364 364 0 119919 0
[pid=8925] vsize: 481132
Current children cumulated CPU time (s) 704.65
Current children cumulated vsize (Kb) 481132

[startup+720.022 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 198439 0 0 0 70720 735 0 0 25 0 1 0 21794888 501170176 97891 4294967295 134512640 135987407 3221224560 3221222932 134828865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 122356 97891 364 364 0 121992 0
[pid=8925] vsize: 489424
Current children cumulated CPU time (s) 714.55
Current children cumulated vsize (Kb) 489424

[startup+730.021 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 198474 0 0 0 71705 740 0 0 25 0 1 0 21794888 492814336 95853 4294967295 134512640 135987407 3221224560 3221223248 134811940 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120316 95853 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 724.45
Current children cumulated vsize (Kb) 481264

[startup+740.022 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 198475 0 0 0 72689 745 0 0 25 0 1 0 21794888 492814336 95854 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95854 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 734.34
Current children cumulated vsize (Kb) 481264

[startup+750.022 s]
Raw data (loadavg): 0.99 1.00 0.98 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 198477 0 0 0 73674 750 0 0 25 0 1 0 21794888 492814336 95856 4294967295 134512640 135987407 3221224560 3221223176 135293361 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95856 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 744.24
Current children cumulated vsize (Kb) 481264

[startup+760.022 s]
Raw data (loadavg): 1.07 1.02 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 200552 0 0 0 74659 758 0 0 25 0 1 0 21794888 492814336 95858 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95858 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 754.17
Current children cumulated vsize (Kb) 481264

[startup+770.023 s]
Raw data (loadavg): 1.06 1.02 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 200556 0 0 0 75641 763 0 0 25 0 1 0 21794888 492814336 95862 4294967295 134512640 135987407 3221224560 3221223344 134812298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120316 95862 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 764.04
Current children cumulated vsize (Kb) 481264

[startup+780.023 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 200560 0 0 0 76625 768 0 0 25 0 1 0 21794888 492814336 95866 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120316 95866 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 773.93
Current children cumulated vsize (Kb) 481264

[startup+790.022 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 202637 0 0 0 77610 776 0 0 25 0 1 0 21794888 492814336 95870 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120316 95870 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 783.86
Current children cumulated vsize (Kb) 481264

[startup+800.023 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 202641 0 0 0 78592 782 0 0 25 0 1 0 21794888 492814336 95874 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95874 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 793.74
Current children cumulated vsize (Kb) 481264

[startup+810.024 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 204717 0 0 0 79576 790 0 0 25 0 1 0 21794888 492814336 95877 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95877 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 803.66
Current children cumulated vsize (Kb) 481264

[startup+820.023 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 204719 0 0 0 80563 793 0 0 25 0 1 0 21794888 492814336 95879 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120316 95879 364 364 0 119952 0
[pid=8925] vsize: 481264
Current children cumulated CPU time (s) 813.56
Current children cumulated vsize (Kb) 481264

[startup+830.024 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 204745 0 0 0 81546 798 0 0 25 0 1 0 21794888 492949504 95905 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120349 95905 364 364 0 119985 0
[pid=8925] vsize: 481396
Current children cumulated CPU time (s) 823.44
Current children cumulated vsize (Kb) 481396

[startup+840.025 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 206821 0 0 0 82531 806 0 0 25 0 1 0 21794888 492949504 95908 4294967295 134512640 135987407 3221224560 3221223200 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120349 95908 364 364 0 119985 0
[pid=8925] vsize: 481396
Current children cumulated CPU time (s) 833.37
Current children cumulated vsize (Kb) 481396

[startup+850.024 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 206840 0 0 0 83519 810 0 0 25 0 1 0 21794888 493084672 95927 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120382 95927 364 364 0 120018 0
[pid=8925] vsize: 481528
Current children cumulated CPU time (s) 843.29
Current children cumulated vsize (Kb) 481528

[startup+860.025 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 206844 0 0 0 84505 815 0 0 25 0 1 0 21794888 493084672 95931 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120382 95931 364 364 0 120018 0
[pid=8925] vsize: 481528
Current children cumulated CPU time (s) 853.2
Current children cumulated vsize (Kb) 481528

[startup+870.026 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 206867 0 0 0 85490 821 0 0 25 0 1 0 21794888 493219840 95954 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120415 95954 364 364 0 120051 0
[pid=8925] vsize: 481660
Current children cumulated CPU time (s) 863.11
Current children cumulated vsize (Kb) 481660

[startup+880.025 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 208941 0 0 0 86474 829 0 0 25 0 1 0 21794888 493219840 95955 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120415 95955 364 364 0 120051 0
[pid=8925] vsize: 481660
Current children cumulated CPU time (s) 873.03
Current children cumulated vsize (Kb) 481660

[startup+890.026 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 208946 0 0 0 87455 836 0 0 25 0 1 0 21794888 493219840 95960 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120415 95960 364 364 0 120051 0
[pid=8925] vsize: 481660
Current children cumulated CPU time (s) 882.91
Current children cumulated vsize (Kb) 481660

[startup+900.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 211021 0 0 0 88440 845 0 0 25 0 1 0 21794888 501710848 98035 4294967295 134512640 135987407 3221224560 3221222944 134828876 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 122488 98035 364 364 0 122124 0
[pid=8925] vsize: 489952
Current children cumulated CPU time (s) 892.85
Current children cumulated vsize (Kb) 489952

[startup+910.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 211027 0 0 0 89425 850 0 0 25 0 1 0 21794888 493219840 95968 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120415 95968 364 364 0 120051 0
[pid=8925] vsize: 481660
Current children cumulated CPU time (s) 902.75
Current children cumulated vsize (Kb) 481660

[startup+920.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 211032 0 0 0 90410 854 0 0 25 0 1 0 21794888 493219840 95973 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120415 95973 364 364 0 120051 0
[pid=8925] vsize: 481660
Current children cumulated CPU time (s) 912.64
Current children cumulated vsize (Kb) 481660

[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 213146 0 0 0 91396 864 0 0 25 0 1 0 21794888 493350912 95981 4294967295 134512640 135987407 3221224560 3221223376 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120447 95981 364 364 0 120083 0
[pid=8925] vsize: 481788
Current children cumulated CPU time (s) 922.6
Current children cumulated vsize (Kb) 481788

[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 213184 0 0 0 92379 870 0 0 25 0 1 0 21794888 493481984 95986 4294967295 134512640 135987407 3221224560 3221223248 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 95986 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 932.49
Current children cumulated vsize (Kb) 481916

[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 213187 0 0 0 93364 875 0 0 25 0 1 0 21794888 493481984 95989 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120479 95989 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (Kb) 481916

[startup+960.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 215263 0 0 0 94354 881 0 0 25 0 1 0 21794888 501972992 98065 4294967295 134512640 135987407 3221224560 3221222932 134828865 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 122552 98065 364 364 0 122188 0
[pid=8925] vsize: 490208
Current children cumulated CPU time (s) 952.35
Current children cumulated vsize (Kb) 490208

[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 215265 0 0 0 95340 885 0 0 25 0 1 0 21794888 493481984 95994 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 95994 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 962.25
Current children cumulated vsize (Kb) 481916

[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 215268 0 0 0 96325 890 0 0 25 0 1 0 21794888 493481984 95997 4294967295 134512640 135987407 3221224560 3221223248 134812013 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 95997 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 972.15
Current children cumulated vsize (Kb) 481916

[startup+990.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 217344 0 0 0 97307 899 0 0 25 0 1 0 21794888 501972992 98073 4294967295 134512640 135987407 3221224560 3221222944 134828861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 122552 98073 364 364 0 122188 0
[pid=8925] vsize: 490208
Current children cumulated CPU time (s) 982.06
Current children cumulated vsize (Kb) 490208

[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) T 8924 8925 4005 0 -1 0 217345 0 0 0 98296 903 0 0 25 0 1 0 21794888 493481984 96001 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96001 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 991.99
Current children cumulated vsize (Kb) 481916

[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 217346 0 0 0 99280 908 0 0 25 0 1 0 21794888 493481984 96002 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96002 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (Kb) 481916

[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 217348 0 0 0 100265 913 0 0 25 0 1 0 21794888 493481984 96004 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96004 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1011.78
Current children cumulated vsize (Kb) 481916

[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 219422 0 0 0 101248 922 0 0 25 0 1 0 21794888 493481984 96005 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96005 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1021.7
Current children cumulated vsize (Kb) 481916

[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 219424 0 0 0 102229 930 0 0 25 0 1 0 21794888 493481984 96007 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96007 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1031.59
Current children cumulated vsize (Kb) 481916

[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 221498 0 0 0 103214 938 0 0 25 0 1 0 21794888 493481984 96008 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96008 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1041.52
Current children cumulated vsize (Kb) 481916

[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 221501 0 0 0 104200 943 0 0 25 0 1 0 21794888 493481984 96011 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96011 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1051.43
Current children cumulated vsize (Kb) 481916

[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 221505 0 0 0 105185 948 0 0 25 0 1 0 21794888 493481984 96015 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96015 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1061.33
Current children cumulated vsize (Kb) 481916

[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 223580 0 0 0 106169 957 0 0 25 0 1 0 21794888 501972992 98090 4294967295 134512640 135987407 3221224560 3221222920 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 122552 98090 364 364 0 122188 0
[pid=8925] vsize: 490208
Current children cumulated CPU time (s) 1071.26
Current children cumulated vsize (Kb) 490208

[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 223583 0 0 0 107154 962 0 0 25 0 1 0 21794888 493481984 96020 4294967295 134512640 135987407 3221224560 3221223248 134812160 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96020 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1081.16
Current children cumulated vsize (Kb) 481916

[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 223586 0 0 0 108134 968 0 0 25 0 1 0 21794888 493481984 96023 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96023 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1091.02
Current children cumulated vsize (Kb) 481916

[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 225661 0 0 0 109115 978 0 0 25 0 1 0 21794888 501972992 98098 4294967295 134512640 135987407 3221224560 3221222936 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 122552 98098 364 364 0 122188 0
[pid=8925] vsize: 490208
Current children cumulated CPU time (s) 1100.93
Current children cumulated vsize (Kb) 490208

[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 225665 0 0 0 110096 985 0 0 25 0 1 0 21794888 493481984 96029 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96029 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1110.81
Current children cumulated vsize (Kb) 481916

[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 225669 0 0 0 111079 990 0 0 25 0 1 0 21794888 493481984 96033 4294967295 134512640 135987407 3221224560 3221223408 134812761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96033 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1120.69
Current children cumulated vsize (Kb) 481916

[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 227743 0 0 0 112070 997 0 0 25 0 1 0 21794888 493481984 96034 4294967295 134512640 135987407 3221224560 3221223120 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96034 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1130.67
Current children cumulated vsize (Kb) 481916

[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 227746 0 0 0 113053 1002 0 0 25 0 1 0 21794888 493481984 96037 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96037 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1140.55
Current children cumulated vsize (Kb) 481916

[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 229823 0 0 0 114037 1012 0 0 25 0 1 0 21794888 493481984 96041 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96041 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1150.49
Current children cumulated vsize (Kb) 481916

[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 229827 0 0 0 115020 1018 0 0 25 0 1 0 21794888 493481984 96045 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8925/statm): 120479 96045 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1160.38
Current children cumulated vsize (Kb) 481916

[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 231903 0 0 0 116004 1026 0 0 25 0 1 0 21794888 501972992 98121 4294967295 134512640 135987407 3221224560 3221222924 134827506 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 122552 98121 364 364 0 122188 0
[pid=8925] vsize: 490208
Current children cumulated CPU time (s) 1170.3
Current children cumulated vsize (Kb) 490208

[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 231908 0 0 0 116989 1032 0 0 25 0 1 0 21794888 493481984 96053 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96053 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1180.21
Current children cumulated vsize (Kb) 481916

[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 231912 0 0 0 117973 1037 0 0 25 0 1 0 21794888 493481984 96057 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96057 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1190.1
Current children cumulated vsize (Kb) 481916

[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 233988 0 0 0 118957 1046 0 0 25 0 1 0 21794888 493481984 96060 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96060 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (Kb) 481916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 8927
Raw data (/proc/8925/stat): 8925 (pb2sat) R 8924 8925 4005 0 -1 0 233988 0 0 0 118957 1046 0 0 25 0 1 0 21794888 493481984 96060 4294967295 134512640 135987407 3221224560 3221223408 134790012 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8925/statm): 120479 96060 364 364 0 120115 0
[pid=8925] vsize: 481916
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (Kb) 481916

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

Child status: 0
Real time (s): 1211.78
CPU time (s): 1201.77
CPU user time (s): 1191.11
CPU system time (s): 10.6574
CPU usage (%): 99.174
Max. virtual memory (cumulated for all children) (Kb): 490208

Verifier Data

ERROR: no interpretation found !