Some explanations

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

General information on the benchmark

Namemps-v2-13-7/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-13-7-fome11.opb
MD5SUM6ffc5f91e7ad7c6593868bb0012c33e4
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 249428
Biggest coefficient in the objective function 2100440996511744
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 1724124944012305800
Number of bits of the sum of numbers in the objective function 61
Biggest number in a constraint 52428800000000000
Number of bits of the biggest number in a constraint 56
Biggest sum of numbers in a constraint 4176904799999651840
Number of bits of the biggest sum of numbers62
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables488988
Total number of constraints12168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12168
Minimum length of a constraint10
Maximum length of a constraint4560

Trace number 10584

Launcher Data

LAUNCH ON wulflinc3 THE 2005-09-23 18:53:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9297 boxname=wulflinc3 idbench=1093 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6ffc5f91e7ad7c6593868bb0012c33e4  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fome11.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fome11.opb
IDLAUNCH: 9297
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.228
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.228
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:        885120 kB
Buffers:         13736 kB
Cached:         118048 kB
SwapCached:          0 kB
Active:          77984 kB
Inactive:        56648 kB
HighTotal:      131008 kB
HighFree:         8708 kB
LowTotal:       903652 kB
LowFree:        876412 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9320 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 19:13:14 (client local time) WITH STATUS 0 IN 1200.64 SECONDS
stats: 9297 7 1200.64 0

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
s 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/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22514990 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 373 2 364 364 0 9 0
[pid=10811] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-fome11.opb

[startup+10.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 2395 0 0 0 992 6 0 0 25 0 1 0 22514990 9097216 1711 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 2221 1711 364 364 0 1857 0
[pid=10811] vsize: 8884
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 8884

[startup+20.0029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 2968 0 0 0 1990 8 0 0 25 0 1 0 22514990 10584064 2274 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 2584 2274 364 364 0 2220 0
[pid=10811] vsize: 10336
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10336

[startup+30.0037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 4389 0 0 0 2987 11 0 0 25 0 1 0 22514990 15630336 2950 4294967295 134512640 135987407 3221224560 3221221864 134639648 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 3816 2950 364 364 0 3452 0
[pid=10811] vsize: 15264
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15264

[startup+40.0045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 4676 0 0 0 3986 12 0 0 25 0 1 0 22514990 16306176 3232 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 3981 3232 364 364 0 3617 0
[pid=10811] vsize: 15924
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15924

[startup+50.0043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 4934 0 0 0 4985 13 0 0 25 0 1 0 22514990 16982016 3486 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4146 3486 364 364 0 3782 0
[pid=10811] vsize: 16584
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16584

[startup+60.0042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 5165 0 0 0 5985 13 0 0 25 0 1 0 22514990 17657856 3713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4311 3713 364 364 0 3947 0
[pid=10811] vsize: 17244
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17244

[startup+70.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 5375 0 0 0 6984 14 0 0 25 0 1 0 22514990 18198528 3920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4443 3920 364 364 0 4079 0
[pid=10811] vsize: 17772
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17772

[startup+80.0058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 5568 0 0 0 7984 15 0 0 25 0 1 0 22514990 18604032 4109 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4542 4109 364 364 0 4178 0
[pid=10811] vsize: 18168
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 18168

[startup+90.0057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 5746 0 0 0 8983 15 0 0 25 0 1 0 22514990 19144704 4285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4674 4285 364 364 0 4310 0
[pid=10811] vsize: 18696
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 18696

[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 5916 0 0 0 9982 16 0 0 25 0 1 0 22514990 19550208 4452 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 4773 4452 364 364 0 4409 0
[pid=10811] vsize: 19092
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8291 0 0 0 10978 21 0 0 25 0 1 0 22514990 28696576 5349 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7006 5349 364 364 0 6642 0
[pid=10811] vsize: 28024
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8349 0 0 0 11978 21 0 0 25 0 1 0 22514990 28696576 5405 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7006 5405 364 364 0 6642 0
[pid=10811] vsize: 28024
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8451 0 0 0 12977 22 0 0 25 0 1 0 22514990 28966912 5504 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7072 5504 364 364 0 6708 0
[pid=10811] vsize: 28288
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28288

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8578 0 0 0 13977 22 0 0 25 0 1 0 22514990 29237248 5629 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7138 5629 364 364 0 6774 0
[pid=10811] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8700 0 0 0 14976 23 0 0 25 0 1 0 22514990 29507584 5749 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7204 5749 364 364 0 6840 0
[pid=10811] vsize: 28816
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28816

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8822 0 0 0 15976 23 0 0 25 0 1 0 22514990 29777920 5868 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7270 5868 364 364 0 6906 0
[pid=10811] vsize: 29080
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 29080

[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 8935 0 0 0 16976 24 0 0 25 0 1 0 22514990 30048256 5979 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7336 5979 364 364 0 6972 0
[pid=10811] vsize: 29344
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 29344

[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9055 0 0 0 17976 24 0 0 25 0 1 0 22514990 30318592 6097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7402 6097 364 364 0 7038 0
[pid=10811] vsize: 29608
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 29608

[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9180 0 0 0 18975 24 0 0 25 0 1 0 22514990 30724096 6220 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7501 6220 364 364 0 7137 0
[pid=10811] vsize: 30004
Current children cumulated CPU time (s) 189.99
Current children cumulated vsize (Kb) 30004

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9303 0 0 0 19975 25 0 0 25 0 1 0 22514990 30994432 6341 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7567 6341 364 364 0 7203 0
[pid=10811] vsize: 30268
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 30268

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9425 0 0 0 20975 25 0 0 25 0 1 0 22514990 31264768 6461 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7633 6461 364 364 0 7269 0
[pid=10811] vsize: 30532
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 30532

[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9542 0 0 0 21975 26 0 0 25 0 1 0 22514990 31670272 6576 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7732 6576 364 364 0 7368 0
[pid=10811] vsize: 30928
Current children cumulated CPU time (s) 220.01
Current children cumulated vsize (Kb) 30928

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9658 0 0 0 22974 26 0 0 25 0 1 0 22514990 31940608 6690 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7798 6690 364 364 0 7434 0
[pid=10811] vsize: 31192
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31192

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9770 0 0 0 23974 26 0 0 25 0 1 0 22514990 32210944 6801 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7864 6801 364 364 0 7500 0
[pid=10811] vsize: 31456
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9881 0 0 0 24974 27 0 0 25 0 1 0 22514990 32481280 6910 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7930 6910 364 364 0 7566 0
[pid=10811] vsize: 31720
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 31720

[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 9989 0 0 0 25973 27 0 0 25 0 1 0 22514990 32751616 7016 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 7996 7016 364 364 0 7632 0
[pid=10811] vsize: 31984
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 31984

[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10098 0 0 0 26973 28 0 0 25 0 1 0 22514990 33021952 7123 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8062 7123 364 364 0 7698 0
[pid=10811] vsize: 32248
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32248

[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10202 0 0 0 27972 29 0 0 25 0 1 0 22514990 33292288 7226 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8128 7226 364 364 0 7764 0
[pid=10811] vsize: 32512
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32512

[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10307 0 0 0 28972 29 0 0 25 0 1 0 22514990 33562624 7329 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8194 7329 364 364 0 7830 0
[pid=10811] vsize: 32776
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32776

[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10407 0 0 0 29972 30 0 0 25 0 1 0 22514990 33832960 7427 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8260 7427 364 364 0 7896 0
[pid=10811] vsize: 33040
Current children cumulated CPU time (s) 300.02
Current children cumulated vsize (Kb) 33040

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10509 0 0 0 30971 30 0 0 25 0 1 0 22514990 34103296 7528 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8326 7528 364 364 0 7962 0
[pid=10811] vsize: 33304
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33304

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10605 0 0 0 31971 30 0 0 25 0 1 0 22514990 34373632 7622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8392 7622 364 364 0 8028 0
[pid=10811] vsize: 33568
Current children cumulated CPU time (s) 320.01
Current children cumulated vsize (Kb) 33568

[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10704 0 0 0 32971 31 0 0 25 0 1 0 22514990 34643968 7720 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8458 7720 364 364 0 8094 0
[pid=10811] vsize: 33832
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 33832

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10800 0 0 0 33971 31 0 0 25 0 1 0 22514990 34914304 7814 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8524 7814 364 364 0 8160 0
[pid=10811] vsize: 34096
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 34096

[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10895 0 0 0 34971 32 0 0 25 0 1 0 22514990 35049472 7907 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8557 7907 364 364 0 8193 0
[pid=10811] vsize: 34228
Current children cumulated CPU time (s) 350.03
Current children cumulated vsize (Kb) 34228

[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 10988 0 0 0 35971 32 0 0 25 0 1 0 22514990 35319808 7999 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8623 7999 364 364 0 8259 0
[pid=10811] vsize: 34492
Current children cumulated CPU time (s) 360.03
Current children cumulated vsize (Kb) 34492

[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11080 0 0 0 36970 32 0 0 25 0 1 0 22514990 35590144 8089 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8689 8089 364 364 0 8325 0
[pid=10811] vsize: 34756
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 34756

[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11172 0 0 0 37970 33 0 0 25 0 1 0 22514990 35860480 8180 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8755 8180 364 364 0 8391 0
[pid=10811] vsize: 35020
Current children cumulated CPU time (s) 380.03
Current children cumulated vsize (Kb) 35020

[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11260 0 0 0 38970 33 0 0 25 0 1 0 22514990 35995648 8267 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8788 8267 364 364 0 8424 0
[pid=10811] vsize: 35152
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 35152

[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10811
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11349 0 0 0 39970 33 0 0 25 0 1 0 22514990 36265984 8354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 8854 8354 364 364 0 8490 0
[pid=10811] vsize: 35416
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (Kb) 35416

[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 10812
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11438 0 0 0 40969 33 0 0 25 0 1 0 22514990 36536320 8442 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 8920 8442 364 364 0 8556 0
[pid=10811] vsize: 35680
Current children cumulated CPU time (s) 410.02
Current children cumulated vsize (Kb) 35680

[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10866
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11523 0 0 0 41968 34 0 0 25 0 1 0 22514990 36671488 8525 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 8953 8525 364 364 0 8589 0
[pid=10811] vsize: 35812
Current children cumulated CPU time (s) 420.02
Current children cumulated vsize (Kb) 35812

[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10866
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11608 0 0 0 42968 34 0 0 25 0 1 0 22514990 36941824 8609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 9019 8609 364 364 0 8655 0
[pid=10811] vsize: 36076
Current children cumulated CPU time (s) 430.02
Current children cumulated vsize (Kb) 36076

[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10866
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11691 0 0 0 43968 34 0 0 25 0 1 0 22514990 37212160 8691 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 9085 8691 364 364 0 8721 0
[pid=10811] vsize: 36340
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (Kb) 36340

[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10866
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11775 0 0 0 44968 35 0 0 25 0 1 0 22514990 37347328 8773 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 9118 8773 364 364 0 8754 0
[pid=10811] vsize: 36472
Current children cumulated CPU time (s) 450.03
Current children cumulated vsize (Kb) 36472

[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10866
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11857 0 0 0 45968 35 0 0 25 0 1 0 22514990 37617664 8854 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 9184 8854 364 364 0 8820 0
[pid=10811] vsize: 36736
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (Kb) 36736

[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10868
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 11938 0 0 0 46967 36 0 0 25 0 1 0 22514990 37752832 8934 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 9217 8934 364 364 0 8853 0
[pid=10811] vsize: 36868
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (Kb) 36868

[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10868
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16477 0 0 0 47957 44 0 0 25 0 1 0 22514990 55775232 10524 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 13617 10524 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 480.01
Current children cumulated vsize (Kb) 54468

[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16508 0 0 0 48957 44 0 0 25 0 1 0 22514990 55775232 10554 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 13617 10554 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 490.01
Current children cumulated vsize (Kb) 54468

[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16536 0 0 0 49957 45 0 0 25 0 1 0 22514990 55775232 10581 4294967295 134512640 135987407 3221224560 3221221988 135479935 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 13617 10581 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 500.02
Current children cumulated vsize (Kb) 54468

[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16566 0 0 0 50957 45 0 0 25 0 1 0 22514990 55775232 10609 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10811/statm): 13617 10609 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 510.02
Current children cumulated vsize (Kb) 54468

[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16594 0 0 0 51957 45 0 0 25 0 1 0 22514990 55775232 10636 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13617 10636 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 520.02
Current children cumulated vsize (Kb) 54468

[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16624 0 0 0 52957 45 0 0 25 0 1 0 22514990 55775232 10665 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13617 10665 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 530.02
Current children cumulated vsize (Kb) 54468

[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16652 0 0 0 53957 45 0 0 25 0 1 0 22514990 55775232 10692 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13617 10692 364 364 0 13253 0
[pid=10811] vsize: 54468
Current children cumulated CPU time (s) 540.02
Current children cumulated vsize (Kb) 54468

[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16718 0 0 0 54957 45 0 0 25 0 1 0 22514990 55910400 10756 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13650 10756 364 364 0 13286 0
[pid=10811] vsize: 54600
Current children cumulated CPU time (s) 550.02
Current children cumulated vsize (Kb) 54600

[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16783 0 0 0 55956 46 0 0 25 0 1 0 22514990 56045568 10820 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13683 10820 364 364 0 13319 0
[pid=10811] vsize: 54732
Current children cumulated CPU time (s) 560.02
Current children cumulated vsize (Kb) 54732

[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16847 0 0 0 56956 46 0 0 25 0 1 0 22514990 56180736 10883 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13716 10883 364 364 0 13352 0
[pid=10811] vsize: 54864
Current children cumulated CPU time (s) 570.02
Current children cumulated vsize (Kb) 54864

[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16913 0 0 0 57956 46 0 0 25 0 1 0 22514990 56315904 10948 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13749 10948 364 364 0 13385 0
[pid=10811] vsize: 54996
Current children cumulated CPU time (s) 580.02
Current children cumulated vsize (Kb) 54996

[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 16977 0 0 0 58956 46 0 0 25 0 1 0 22514990 56451072 11011 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13782 11011 364 364 0 13418 0
[pid=10811] vsize: 55128
Current children cumulated CPU time (s) 590.02
Current children cumulated vsize (Kb) 55128

[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17041 0 0 0 59956 46 0 0 25 0 1 0 22514990 56586240 11073 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13815 11073 364 364 0 13451 0
[pid=10811] vsize: 55260
Current children cumulated CPU time (s) 600.02
Current children cumulated vsize (Kb) 55260

[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17104 0 0 0 60956 47 0 0 25 0 1 0 22514990 56721408 11135 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13848 11135 364 364 0 13484 0
[pid=10811] vsize: 55392
Current children cumulated CPU time (s) 610.03
Current children cumulated vsize (Kb) 55392

[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17166 0 0 0 61956 47 0 0 25 0 1 0 22514990 56991744 11196 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13914 11196 364 364 0 13550 0
[pid=10811] vsize: 55656
Current children cumulated CPU time (s) 620.03
Current children cumulated vsize (Kb) 55656

[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17230 0 0 0 62956 47 0 0 25 0 1 0 22514990 57126912 11259 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13947 11259 364 364 0 13583 0
[pid=10811] vsize: 55788
Current children cumulated CPU time (s) 630.03
Current children cumulated vsize (Kb) 55788

[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17290 0 0 0 63955 47 0 0 25 0 1 0 22514990 57262080 11318 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 13980 11318 364 364 0 13616 0
[pid=10811] vsize: 55920
Current children cumulated CPU time (s) 640.02
Current children cumulated vsize (Kb) 55920

[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17351 0 0 0 64955 47 0 0 25 0 1 0 22514990 57397248 11378 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14013 11378 364 364 0 13649 0
[pid=10811] vsize: 56052
Current children cumulated CPU time (s) 650.02
Current children cumulated vsize (Kb) 56052

[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17412 0 0 0 65955 47 0 0 25 0 1 0 22514990 57532416 11438 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14046 11438 364 364 0 13682 0
[pid=10811] vsize: 56184
Current children cumulated CPU time (s) 660.02
Current children cumulated vsize (Kb) 56184

[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17473 0 0 0 66955 48 0 0 25 0 1 0 22514990 57667584 11497 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14079 11497 364 364 0 13715 0
[pid=10811] vsize: 56316
Current children cumulated CPU time (s) 670.03
Current children cumulated vsize (Kb) 56316

[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17533 0 0 0 67955 48 0 0 25 0 1 0 22514990 57802752 11556 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14112 11556 364 364 0 13748 0
[pid=10811] vsize: 56448
Current children cumulated CPU time (s) 680.03
Current children cumulated vsize (Kb) 56448

[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17591 0 0 0 68955 48 0 0 25 0 1 0 22514990 57937920 11613 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14145 11613 364 364 0 13781 0
[pid=10811] vsize: 56580
Current children cumulated CPU time (s) 690.03
Current children cumulated vsize (Kb) 56580

[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17650 0 0 0 69955 48 0 0 25 0 1 0 22514990 58073088 11671 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14178 11671 364 364 0 13814 0
[pid=10811] vsize: 56712
Current children cumulated CPU time (s) 700.03
Current children cumulated vsize (Kb) 56712

[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17707 0 0 0 70955 49 0 0 25 0 1 0 22514990 58208256 11727 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14211 11727 364 364 0 13847 0
[pid=10811] vsize: 56844
Current children cumulated CPU time (s) 710.04
Current children cumulated vsize (Kb) 56844

[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17767 0 0 0 71954 49 0 0 25 0 1 0 22514990 58343424 11786 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14244 11786 364 364 0 13880 0
[pid=10811] vsize: 56976
Current children cumulated CPU time (s) 720.03
Current children cumulated vsize (Kb) 56976

[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17825 0 0 0 72954 49 0 0 25 0 1 0 22514990 58478592 11843 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14277 11843 364 364 0 13913 0
[pid=10811] vsize: 57108
Current children cumulated CPU time (s) 730.03
Current children cumulated vsize (Kb) 57108

[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10872
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17882 0 0 0 73954 50 0 0 25 0 1 0 22514990 58613760 11899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14310 11899 364 364 0 13946 0
[pid=10811] vsize: 57240
Current children cumulated CPU time (s) 740.04
Current children cumulated vsize (Kb) 57240

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 17941 0 0 0 74953 50 0 0 25 0 1 0 22514990 58748928 11957 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14343 11957 364 364 0 13979 0
[pid=10811] vsize: 57372
Current children cumulated CPU time (s) 750.03
Current children cumulated vsize (Kb) 57372

[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18006 0 0 0 75953 50 0 0 25 0 1 0 22514990 58884096 12021 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14376 12021 364 364 0 14012 0
[pid=10811] vsize: 57504
Current children cumulated CPU time (s) 760.03
Current children cumulated vsize (Kb) 57504

[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18070 0 0 0 76953 50 0 0 25 0 1 0 22514990 59019264 12084 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14409 12084 364 364 0 14045 0
[pid=10811] vsize: 57636
Current children cumulated CPU time (s) 770.03
Current children cumulated vsize (Kb) 57636

[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18135 0 0 0 77953 50 0 0 25 0 1 0 22514990 59289600 12148 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14475 12148 364 364 0 14111 0
[pid=10811] vsize: 57900
Current children cumulated CPU time (s) 780.03
Current children cumulated vsize (Kb) 57900

[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18198 0 0 0 78953 51 0 0 25 0 1 0 22514990 59424768 12210 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14508 12210 364 364 0 14144 0
[pid=10811] vsize: 58032
Current children cumulated CPU time (s) 790.04
Current children cumulated vsize (Kb) 58032

[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18262 0 0 0 79953 51 0 0 25 0 1 0 22514990 59559936 12273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14541 12273 364 364 0 14177 0
[pid=10811] vsize: 58164
Current children cumulated CPU time (s) 800.04
Current children cumulated vsize (Kb) 58164

[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18324 0 0 0 80952 51 0 0 25 0 1 0 22514990 59695104 12334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14574 12334 364 364 0 14210 0
[pid=10811] vsize: 58296
Current children cumulated CPU time (s) 810.03
Current children cumulated vsize (Kb) 58296

[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18388 0 0 0 81952 51 0 0 25 0 1 0 22514990 59965440 12397 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14640 12397 364 364 0 14276 0
[pid=10811] vsize: 58560
Current children cumulated CPU time (s) 820.03
Current children cumulated vsize (Kb) 58560

[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18450 0 0 0 82952 52 0 0 25 0 1 0 22514990 60100608 12458 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14673 12458 364 364 0 14309 0
[pid=10811] vsize: 58692
Current children cumulated CPU time (s) 830.04
Current children cumulated vsize (Kb) 58692

[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18512 0 0 0 83952 52 0 0 25 0 1 0 22514990 60235776 12519 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14706 12519 364 364 0 14342 0
[pid=10811] vsize: 58824
Current children cumulated CPU time (s) 840.04
Current children cumulated vsize (Kb) 58824

[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18574 0 0 0 84952 52 0 0 25 0 1 0 22514990 60370944 12580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14739 12580 364 364 0 14375 0
[pid=10811] vsize: 58956
Current children cumulated CPU time (s) 850.04
Current children cumulated vsize (Kb) 58956

[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18634 0 0 0 85952 52 0 0 25 0 1 0 22514990 60506112 12639 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14772 12639 364 364 0 14408 0
[pid=10811] vsize: 59088
Current children cumulated CPU time (s) 860.04
Current children cumulated vsize (Kb) 59088

[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18695 0 0 0 86952 53 0 0 25 0 1 0 22514990 60641280 12699 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14805 12699 364 364 0 14441 0
[pid=10811] vsize: 59220
Current children cumulated CPU time (s) 870.05
Current children cumulated vsize (Kb) 59220

[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18756 0 0 0 87952 53 0 0 25 0 1 0 22514990 60911616 12759 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14871 12759 364 364 0 14507 0
[pid=10811] vsize: 59484
Current children cumulated CPU time (s) 880.05
Current children cumulated vsize (Kb) 59484

[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18815 0 0 0 88951 53 0 0 25 0 1 0 22514990 61046784 12817 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14904 12817 364 364 0 14540 0
[pid=10811] vsize: 59616
Current children cumulated CPU time (s) 890.04
Current children cumulated vsize (Kb) 59616

[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18876 0 0 0 89951 53 0 0 25 0 1 0 22514990 61181952 12877 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14937 12877 364 364 0 14573 0
[pid=10811] vsize: 59748
Current children cumulated CPU time (s) 900.04
Current children cumulated vsize (Kb) 59748

[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18936 0 0 0 90951 54 0 0 25 0 1 0 22514990 61317120 12936 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 14970 12936 364 364 0 14606 0
[pid=10811] vsize: 59880
Current children cumulated CPU time (s) 910.05
Current children cumulated vsize (Kb) 59880

[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 18995 0 0 0 91950 54 0 0 25 0 1 0 22514990 61452288 12994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15003 12994 364 364 0 14639 0
[pid=10811] vsize: 60012
Current children cumulated CPU time (s) 920.04
Current children cumulated vsize (Kb) 60012

[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19055 0 0 0 92950 54 0 0 25 0 1 0 22514990 61587456 13053 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15036 13053 364 364 0 14672 0
[pid=10811] vsize: 60144
Current children cumulated CPU time (s) 930.04
Current children cumulated vsize (Kb) 60144

[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19111 0 0 0 93951 54 0 0 25 0 1 0 22514990 61722624 13108 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15069 13108 364 364 0 14705 0
[pid=10811] vsize: 60276
Current children cumulated CPU time (s) 940.05
Current children cumulated vsize (Kb) 60276

[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19171 0 0 0 94950 54 0 0 25 0 1 0 22514990 61857792 13167 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15102 13167 364 364 0 14738 0
[pid=10811] vsize: 60408
Current children cumulated CPU time (s) 950.04
Current children cumulated vsize (Kb) 60408

[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19229 0 0 0 95950 55 0 0 25 0 1 0 22514990 61992960 13224 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15135 13224 364 364 0 14771 0
[pid=10811] vsize: 60540
Current children cumulated CPU time (s) 960.05
Current children cumulated vsize (Kb) 60540

[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19288 0 0 0 96950 55 0 0 25 0 1 0 22514990 62263296 13282 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15201 13282 364 364 0 14837 0
[pid=10811] vsize: 60804
Current children cumulated CPU time (s) 970.05
Current children cumulated vsize (Kb) 60804

[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19343 0 0 0 97950 56 0 0 25 0 1 0 22514990 62398464 13336 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15234 13336 364 364 0 14870 0
[pid=10811] vsize: 60936
Current children cumulated CPU time (s) 980.06
Current children cumulated vsize (Kb) 60936

[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19400 0 0 0 98949 56 0 0 25 0 1 0 22514990 62533632 13392 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15267 13392 364 364 0 14903 0
[pid=10811] vsize: 61068
Current children cumulated CPU time (s) 990.05
Current children cumulated vsize (Kb) 61068

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19459 0 0 0 99949 56 0 0 25 0 1 0 22514990 62668800 13450 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15300 13450 364 364 0 14936 0
[pid=10811] vsize: 61200
Current children cumulated CPU time (s) 1000.05
Current children cumulated vsize (Kb) 61200

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19514 0 0 0 100949 56 0 0 25 0 1 0 22514990 62803968 13504 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15333 13504 364 364 0 14969 0
[pid=10811] vsize: 61332
Current children cumulated CPU time (s) 1010.05
Current children cumulated vsize (Kb) 61332

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19570 0 0 0 101949 57 0 0 25 0 1 0 22514990 62939136 13559 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15366 13559 364 364 0 15002 0
[pid=10811] vsize: 61464
Current children cumulated CPU time (s) 1020.06
Current children cumulated vsize (Kb) 61464

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19626 0 0 0 102949 57 0 0 25 0 1 0 22514990 63074304 13614 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15399 13614 364 364 0 15035 0
[pid=10811] vsize: 61596
Current children cumulated CPU time (s) 1030.06
Current children cumulated vsize (Kb) 61596

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19682 0 0 0 103949 57 0 0 25 0 1 0 22514990 63209472 13670 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15432 13670 364 364 0 15068 0
[pid=10811] vsize: 61728
Current children cumulated CPU time (s) 1040.06
Current children cumulated vsize (Kb) 61728

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19738 0 0 0 104949 57 0 0 25 0 1 0 22514990 63344640 13725 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15465 13725 364 364 0 15101 0
[pid=10811] vsize: 61860
Current children cumulated CPU time (s) 1050.06
Current children cumulated vsize (Kb) 61860

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19794 0 0 0 105948 58 0 0 25 0 1 0 22514990 63479808 13780 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15498 13780 364 364 0 15134 0
[pid=10811] vsize: 61992
Current children cumulated CPU time (s) 1060.06
Current children cumulated vsize (Kb) 61992

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19848 0 0 0 106948 58 0 0 25 0 1 0 22514990 63614976 13833 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15531 13833 364 364 0 15167 0
[pid=10811] vsize: 62124
Current children cumulated CPU time (s) 1070.06
Current children cumulated vsize (Kb) 62124

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19903 0 0 0 107948 58 0 0 25 0 1 0 22514990 63750144 13887 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15564 13887 364 364 0 15200 0
[pid=10811] vsize: 62256
Current children cumulated CPU time (s) 1080.06
Current children cumulated vsize (Kb) 62256

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 19957 0 0 0 108948 59 0 0 25 0 1 0 22514990 63885312 13940 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15597 13940 364 364 0 15233 0
[pid=10811] vsize: 62388
Current children cumulated CPU time (s) 1090.07
Current children cumulated vsize (Kb) 62388

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20012 0 0 0 109947 59 0 0 25 0 1 0 22514990 64020480 13994 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15630 13994 364 364 0 15266 0
[pid=10811] vsize: 62520
Current children cumulated CPU time (s) 1100.06
Current children cumulated vsize (Kb) 62520

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20066 0 0 0 110947 59 0 0 25 0 1 0 22514990 64155648 14047 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15663 14047 364 364 0 15299 0
[pid=10811] vsize: 62652
Current children cumulated CPU time (s) 1110.06
Current children cumulated vsize (Kb) 62652

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20120 0 0 0 111947 59 0 0 25 0 1 0 22514990 64290816 14100 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15696 14100 364 364 0 15332 0
[pid=10811] vsize: 62784
Current children cumulated CPU time (s) 1120.06
Current children cumulated vsize (Kb) 62784

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20173 0 0 0 112947 60 0 0 25 0 1 0 22514990 64425984 14153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15729 14153 364 364 0 15365 0
[pid=10811] vsize: 62916
Current children cumulated CPU time (s) 1130.07
Current children cumulated vsize (Kb) 62916

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20227 0 0 0 113947 60 0 0 25 0 1 0 22514990 64561152 14206 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15762 14206 364 364 0 15398 0
[pid=10811] vsize: 63048
Current children cumulated CPU time (s) 1140.07
Current children cumulated vsize (Kb) 63048

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20279 0 0 0 114947 60 0 0 25 0 1 0 22514990 64696320 14257 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15795 14257 364 364 0 15431 0
[pid=10811] vsize: 63180
Current children cumulated CPU time (s) 1150.07
Current children cumulated vsize (Kb) 63180

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20331 0 0 0 115947 60 0 0 25 0 1 0 22514990 64831488 14308 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15828 14308 364 364 0 15464 0
[pid=10811] vsize: 63312
Current children cumulated CPU time (s) 1160.07
Current children cumulated vsize (Kb) 63312

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20384 0 0 0 116947 60 0 0 25 0 1 0 22514990 64966656 14360 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15861 14360 364 364 0 15497 0
[pid=10811] vsize: 63444
Current children cumulated CPU time (s) 1170.07
Current children cumulated vsize (Kb) 63444

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20437 0 0 0 117947 60 0 0 25 0 1 0 22514990 65101824 14412 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15894 14412 364 364 0 15530 0
[pid=10811] vsize: 63576
Current children cumulated CPU time (s) 1180.07
Current children cumulated vsize (Kb) 63576

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20490 0 0 0 118947 61 0 0 25 0 1 0 22514990 65236992 14464 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15927 14464 364 364 0 15563 0
[pid=10811] vsize: 63708
Current children cumulated CPU time (s) 1190.08
Current children cumulated vsize (Kb) 63708

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20541 0 0 0 119947 61 0 0 25 0 1 0 22514990 65372160 14515 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15960 14515 364 364 0 15596 0
[pid=10811] vsize: 63840
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (Kb) 63840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10874
Raw data (/proc/10811/stat): 10811 (pb2sat) R 10810 10811 4060 0 -1 0 20541 0 0 0 119947 61 0 0 25 0 1 0 22514990 65372160 14515 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10811/statm): 15960 14515 364 364 0 15596 0
[pid=10811] vsize: 63840
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (Kb) 63840

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

Child status: 0
Real time (s): 1200.62
CPU time (s): 1200.64
CPU user time (s): 1200
CPU system time (s): 0.638902
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (Kb): 63840

Verifier Data

ERROR: no interpretation found !