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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 198658
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 38727219
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 30720
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 38727219
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables874498
Total number of constraints113008
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2186
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint1
Maximum length of a constraint14080

Trace number 10265

Launcher Data

LAUNCH ON wulflinc14 THE 2005-09-23 17:25:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8938 boxname=wulflinc14 idbench=734 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 8938
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.058
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.058
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918008 kB
Buffers:          2416 kB
Cached:          96456 kB
SwapCached:          0 kB
Active:          83016 kB
Inactive:        18776 kB
HighTotal:      131008 kB
HighFree:        30296 kB
LowTotal:       903652 kB
LowFree:        887712 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6984 kB
Slab:             9072 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 17:46:07 (client local time) WITH STATUS 0 IN 1210.63 SECONDS
stats: 8938 7 1210.63 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/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18 0 0 0 0 0 0 0 20 0 1 0 21973202 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 373 2 364 364 0 9 0
[pid=8956] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc14/normalized-mps-v2-20-10-neos9.opb

[startup+10.0035 s]
Raw data (loadavg): 0.93 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 1264 0 0 0 991 6 0 0 25 0 1 0 21973202 5423104 944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 1324 944 364 364 0 960 0
[pid=8956] vsize: 5296
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 5296

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 2708 0 0 0 1986 10 0 0 25 0 1 0 21973202 9908224 2019 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 2419 2019 364 364 0 2055 0
[pid=8956] vsize: 9676
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 9676

[startup+30.0049 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 4186 0 0 0 2983 13 0 0 25 0 1 0 21973202 15360000 2784 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 3750 2784 364 364 0 3386 0
[pid=8956] vsize: 15000
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 15000

[startup+40.0056 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 4467 0 0 0 3982 14 0 0 25 0 1 0 21973202 15900672 3059 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 3882 3059 364 364 0 3518 0
[pid=8956] vsize: 15528
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 15528

[startup+50.0052 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 4748 0 0 0 4982 15 0 0 25 0 1 0 21973202 16711680 3335 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4080 3335 364 364 0 3716 0
[pid=8956] vsize: 16320
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 16320

[startup+60.0059 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5000 0 0 0 5981 15 0 0 25 0 1 0 21973202 17252352 3583 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4212 3583 364 364 0 3848 0
[pid=8956] vsize: 16848
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 16848

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5224 0 0 0 6981 15 0 0 25 0 1 0 21973202 17928192 3804 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4377 3804 364 364 0 4013 0
[pid=8956] vsize: 17508
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 17508

[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5429 0 0 0 7980 16 0 0 25 0 1 0 21973202 18468864 4005 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4509 4005 364 364 0 4145 0
[pid=8956] vsize: 18036
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 18036

[startup+90.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5621 0 0 0 8980 17 0 0 25 0 1 0 21973202 18874368 4194 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4608 4194 364 364 0 4244 0
[pid=8956] vsize: 18432
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 18432

[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5802 0 0 0 9979 17 0 0 25 0 1 0 21973202 19415040 4372 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4740 4372 364 364 0 4376 0
[pid=8956] vsize: 18960
Current children cumulated CPU time (s) 99.96
Current children cumulated vsize (Kb) 18960

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 5973 0 0 0 10979 18 0 0 25 0 1 0 21973202 19820544 4541 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 4839 4541 364 364 0 4475 0
[pid=8956] vsize: 19356
Current children cumulated CPU time (s) 109.97
Current children cumulated vsize (Kb) 19356

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8303 0 0 0 11974 23 0 0 25 0 1 0 21973202 28831744 5393 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7039 5393 364 364 0 6675 0
[pid=8956] vsize: 28156
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 28156

[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8370 0 0 0 12974 23 0 0 25 0 1 0 21973202 28831744 5458 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7039 5458 364 364 0 6675 0
[pid=8956] vsize: 28156
Current children cumulated CPU time (s) 129.97
Current children cumulated vsize (Kb) 28156

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8501 0 0 0 13973 23 0 0 25 0 1 0 21973202 29237248 5586 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7138 5586 364 364 0 6774 0
[pid=8956] vsize: 28552
Current children cumulated CPU time (s) 139.96
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8628 0 0 0 14973 23 0 0 25 0 1 0 21973202 29507584 5711 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7204 5711 364 364 0 6840 0
[pid=8956] vsize: 28816
Current children cumulated CPU time (s) 149.96
Current children cumulated vsize (Kb) 28816

[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8750 0 0 0 15973 23 0 0 25 0 1 0 21973202 29777920 5831 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7270 5831 364 364 0 6906 0
[pid=8956] vsize: 29080
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 29080

[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8870 0 0 0 16973 24 0 0 25 0 1 0 21973202 30048256 5948 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7336 5948 364 364 0 6972 0
[pid=8956] vsize: 29344
Current children cumulated CPU time (s) 169.97
Current children cumulated vsize (Kb) 29344

[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 8984 0 0 0 17973 24 0 0 25 0 1 0 21973202 30318592 6060 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7402 6060 364 364 0 7038 0
[pid=8956] vsize: 29608
Current children cumulated CPU time (s) 179.97
Current children cumulated vsize (Kb) 29608

[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9111 0 0 0 18973 24 0 0 25 0 1 0 21973202 30588928 6185 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7468 6185 364 364 0 7104 0
[pid=8956] vsize: 29872
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 29872

[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9236 0 0 0 19972 25 0 0 25 0 1 0 21973202 30994432 6308 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7567 6308 364 364 0 7203 0
[pid=8956] vsize: 30268
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 30268

[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9360 0 0 0 20972 25 0 0 25 0 1 0 21973202 31264768 6430 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7633 6430 364 364 0 7269 0
[pid=8956] vsize: 30532
Current children cumulated CPU time (s) 209.97
Current children cumulated vsize (Kb) 30532

[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9480 0 0 0 21972 25 0 0 25 0 1 0 21973202 31535104 6548 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7699 6548 364 364 0 7335 0
[pid=8956] vsize: 30796
Current children cumulated CPU time (s) 219.97
Current children cumulated vsize (Kb) 30796

[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9596 0 0 0 22971 26 0 0 25 0 1 0 21973202 31940608 6662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7798 6662 364 364 0 7434 0
[pid=8956] vsize: 31192
Current children cumulated CPU time (s) 229.97
Current children cumulated vsize (Kb) 31192

[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9711 0 0 0 23971 26 0 0 25 0 1 0 21973202 32210944 6776 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7864 6776 364 364 0 7500 0
[pid=8956] vsize: 31456
Current children cumulated CPU time (s) 239.97
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9825 0 0 0 24970 27 0 0 25 0 1 0 21973202 32481280 6888 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7930 6888 364 364 0 7566 0
[pid=8956] vsize: 31720
Current children cumulated CPU time (s) 249.97
Current children cumulated vsize (Kb) 31720

[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 9935 0 0 0 25970 27 0 0 25 0 1 0 21973202 32751616 6996 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 7996 6996 364 364 0 7632 0
[pid=8956] vsize: 31984
Current children cumulated CPU time (s) 259.97
Current children cumulated vsize (Kb) 31984

[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10044 0 0 0 26969 28 0 0 25 0 1 0 21973202 33021952 7103 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8062 7103 364 364 0 7698 0
[pid=8956] vsize: 32248
Current children cumulated CPU time (s) 269.97
Current children cumulated vsize (Kb) 32248

[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10152 0 0 0 27969 28 0 0 25 0 1 0 21973202 33292288 7209 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8128 7209 364 364 0 7764 0
[pid=8956] vsize: 32512
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (Kb) 32512

[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10257 0 0 0 28969 28 0 0 25 0 1 0 21973202 33562624 7313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8194 7313 364 364 0 7830 0
[pid=8956] vsize: 32776
Current children cumulated CPU time (s) 289.97
Current children cumulated vsize (Kb) 32776

[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10359 0 0 0 29969 28 0 0 25 0 1 0 21973202 33832960 7413 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8260 7413 364 364 0 7896 0
[pid=8956] vsize: 33040
Current children cumulated CPU time (s) 299.97
Current children cumulated vsize (Kb) 33040

[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10461 0 0 0 30969 28 0 0 25 0 1 0 21973202 34103296 7513 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8326 7513 364 364 0 7962 0
[pid=8956] vsize: 33304
Current children cumulated CPU time (s) 309.97
Current children cumulated vsize (Kb) 33304

[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10562 0 0 0 31968 29 0 0 25 0 1 0 21973202 34373632 7613 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8392 7613 364 364 0 8028 0
[pid=8956] vsize: 33568
Current children cumulated CPU time (s) 319.97
Current children cumulated vsize (Kb) 33568

[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10661 0 0 0 32968 29 0 0 25 0 1 0 21973202 34643968 7710 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8458 7710 364 364 0 8094 0
[pid=8956] vsize: 33832
Current children cumulated CPU time (s) 329.97
Current children cumulated vsize (Kb) 33832

[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10757 0 0 0 33967 30 0 0 25 0 1 0 21973202 34914304 7805 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8524 7805 364 364 0 8160 0
[pid=8956] vsize: 34096
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (Kb) 34096

[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10853 0 0 0 34967 30 0 0 25 0 1 0 21973202 35184640 7899 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8590 7899 364 364 0 8226 0
[pid=8956] vsize: 34360
Current children cumulated CPU time (s) 349.97
Current children cumulated vsize (Kb) 34360

[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 10947 0 0 0 35967 31 0 0 25 0 1 0 21973202 35319808 7992 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8623 7992 364 364 0 8259 0
[pid=8956] vsize: 34492
Current children cumulated CPU time (s) 359.98
Current children cumulated vsize (Kb) 34492

[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11042 0 0 0 36967 31 0 0 25 0 1 0 21973202 35590144 8085 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8689 8085 364 364 0 8325 0
[pid=8956] vsize: 34756
Current children cumulated CPU time (s) 369.98
Current children cumulated vsize (Kb) 34756

[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11132 0 0 0 37966 31 0 0 25 0 1 0 21973202 35860480 8174 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8755 8174 364 364 0 8391 0
[pid=8956] vsize: 35020
Current children cumulated CPU time (s) 379.97
Current children cumulated vsize (Kb) 35020

[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11225 0 0 0 38966 32 0 0 25 0 1 0 21973202 36130816 8265 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8821 8265 364 364 0 8457 0
[pid=8956] vsize: 35284
Current children cumulated CPU time (s) 389.98
Current children cumulated vsize (Kb) 35284

[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11315 0 0 0 39966 32 0 0 25 0 1 0 21973202 36265984 8354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8854 8354 364 364 0 8490 0
[pid=8956] vsize: 35416
Current children cumulated CPU time (s) 399.98
Current children cumulated vsize (Kb) 35416

[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11402 0 0 0 40965 32 0 0 25 0 1 0 21973202 36536320 8439 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8920 8439 364 364 0 8556 0
[pid=8956] vsize: 35680
Current children cumulated CPU time (s) 409.97
Current children cumulated vsize (Kb) 35680

[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11491 0 0 0 41965 33 0 0 25 0 1 0 21973202 36806656 8527 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 8986 8527 364 364 0 8622 0
[pid=8956] vsize: 35944
Current children cumulated CPU time (s) 419.98
Current children cumulated vsize (Kb) 35944

[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11578 0 0 0 42965 33 0 0 25 0 1 0 21973202 36941824 8612 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 9019 8612 364 364 0 8655 0
[pid=8956] vsize: 36076
Current children cumulated CPU time (s) 429.98
Current children cumulated vsize (Kb) 36076

[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11662 0 0 0 43965 33 0 0 25 0 1 0 21973202 37212160 8695 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 9085 8695 364 364 0 8721 0
[pid=8956] vsize: 36340
Current children cumulated CPU time (s) 439.98
Current children cumulated vsize (Kb) 36340

[startup+450.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11749 0 0 0 44964 33 0 0 25 0 1 0 21973202 37482496 8781 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 9151 8781 364 364 0 8787 0
[pid=8956] vsize: 36604
Current children cumulated CPU time (s) 449.97
Current children cumulated vsize (Kb) 36604

[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11833 0 0 0 45964 34 0 0 25 0 1 0 21973202 37617664 8863 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 9184 8863 364 364 0 8820 0
[pid=8956] vsize: 36736
Current children cumulated CPU time (s) 459.98
Current children cumulated vsize (Kb) 36736

[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 11914 0 0 0 46964 34 0 0 25 0 1 0 21973202 37888000 8943 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 9250 8943 364 364 0 8886 0
[pid=8956] vsize: 37000
Current children cumulated CPU time (s) 469.98
Current children cumulated vsize (Kb) 37000

[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16473 0 0 0 47955 43 0 0 25 0 1 0 21973202 55910400 10554 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10554 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 479.98
Current children cumulated vsize (Kb) 54600

[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16504 0 0 0 48954 43 0 0 25 0 1 0 21973202 55910400 10583 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10583 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 489.97
Current children cumulated vsize (Kb) 54600

[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16533 0 0 0 49954 43 0 0 25 0 1 0 21973202 55910400 10611 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10611 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 499.97
Current children cumulated vsize (Kb) 54600

[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16563 0 0 0 50954 44 0 0 25 0 1 0 21973202 55910400 10640 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10640 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 509.98
Current children cumulated vsize (Kb) 54600

[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16591 0 0 0 51954 44 0 0 25 0 1 0 21973202 55910400 10667 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10667 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 519.98
Current children cumulated vsize (Kb) 54600

[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16621 0 0 0 52954 44 0 0 25 0 1 0 21973202 55910400 10695 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10695 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 529.98
Current children cumulated vsize (Kb) 54600

[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16649 0 0 0 53954 44 0 0 25 0 1 0 21973202 55910400 10722 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13650 10722 364 364 0 13286 0
[pid=8956] vsize: 54600
Current children cumulated CPU time (s) 539.98
Current children cumulated vsize (Kb) 54600

[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16707 0 0 0 54954 44 0 0 25 0 1 0 21973202 56045568 10779 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13683 10779 364 364 0 13319 0
[pid=8956] vsize: 54732
Current children cumulated CPU time (s) 549.98
Current children cumulated vsize (Kb) 54732

[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16773 0 0 0 55953 45 0 0 25 0 1 0 21973202 56180736 10844 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13716 10844 364 364 0 13352 0
[pid=8956] vsize: 54864
Current children cumulated CPU time (s) 559.98
Current children cumulated vsize (Kb) 54864

[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16840 0 0 0 56953 45 0 0 25 0 1 0 21973202 56315904 10909 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13749 10909 364 364 0 13385 0
[pid=8956] vsize: 54996
Current children cumulated CPU time (s) 569.98
Current children cumulated vsize (Kb) 54996

[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16904 0 0 0 57953 45 0 0 25 0 1 0 21973202 56451072 10972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13782 10972 364 364 0 13418 0
[pid=8956] vsize: 55128
Current children cumulated CPU time (s) 579.98
Current children cumulated vsize (Kb) 55128

[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 16971 0 0 0 58952 46 0 0 25 0 1 0 21973202 56586240 11038 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13815 11038 364 364 0 13451 0
[pid=8956] vsize: 55260
Current children cumulated CPU time (s) 589.98
Current children cumulated vsize (Kb) 55260

[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17034 0 0 0 59952 46 0 0 25 0 1 0 21973202 56721408 11100 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13848 11100 364 364 0 13484 0
[pid=8956] vsize: 55392
Current children cumulated CPU time (s) 599.98
Current children cumulated vsize (Kb) 55392

[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17098 0 0 0 60952 46 0 0 25 0 1 0 21973202 56991744 11163 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13914 11163 364 364 0 13550 0
[pid=8956] vsize: 55656
Current children cumulated CPU time (s) 609.98
Current children cumulated vsize (Kb) 55656

[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17162 0 0 0 61952 46 0 0 25 0 1 0 21973202 57126912 11225 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13947 11225 364 364 0 13583 0
[pid=8956] vsize: 55788
Current children cumulated CPU time (s) 619.98
Current children cumulated vsize (Kb) 55788

[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17223 0 0 0 62952 47 0 0 25 0 1 0 21973202 57262080 11285 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 13980 11285 364 364 0 13616 0
[pid=8956] vsize: 55920
Current children cumulated CPU time (s) 629.99
Current children cumulated vsize (Kb) 55920

[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17286 0 0 0 63951 47 0 0 25 0 1 0 21973202 57397248 11347 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14013 11347 364 364 0 13649 0
[pid=8956] vsize: 56052
Current children cumulated CPU time (s) 639.98
Current children cumulated vsize (Kb) 56052

[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17347 0 0 0 64951 47 0 0 25 0 1 0 21973202 57532416 11407 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14046 11407 364 364 0 13682 0
[pid=8956] vsize: 56184
Current children cumulated CPU time (s) 649.98
Current children cumulated vsize (Kb) 56184

[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17410 0 0 0 65951 48 0 0 25 0 1 0 21973202 57667584 11469 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14079 11469 364 364 0 13715 0
[pid=8956] vsize: 56316
Current children cumulated CPU time (s) 659.99
Current children cumulated vsize (Kb) 56316

[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17470 0 0 0 66951 48 0 0 25 0 1 0 21973202 57802752 11528 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14112 11528 364 364 0 13748 0
[pid=8956] vsize: 56448
Current children cumulated CPU time (s) 669.99
Current children cumulated vsize (Kb) 56448

[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17529 0 0 0 67951 48 0 0 25 0 1 0 21973202 57937920 11586 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14145 11586 364 364 0 13781 0
[pid=8956] vsize: 56580
Current children cumulated CPU time (s) 679.99
Current children cumulated vsize (Kb) 56580

[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17589 0 0 0 68951 48 0 0 25 0 1 0 21973202 58073088 11645 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14178 11645 364 364 0 13814 0
[pid=8956] vsize: 56712
Current children cumulated CPU time (s) 689.99
Current children cumulated vsize (Kb) 56712

[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17649 0 0 0 69950 49 0 0 25 0 1 0 21973202 58208256 11703 4294967295 134512640 135987407 3221224560 3221221872 134555764 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14211 11703 364 364 0 13847 0
[pid=8956] vsize: 56844
Current children cumulated CPU time (s) 699.99
Current children cumulated vsize (Kb) 56844

[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17709 0 0 0 70950 49 0 0 25 0 1 0 21973202 58343424 11762 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14244 11762 364 364 0 13880 0
[pid=8956] vsize: 56976
Current children cumulated CPU time (s) 709.99
Current children cumulated vsize (Kb) 56976

[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17767 0 0 0 71950 49 0 0 25 0 1 0 21973202 58478592 11819 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14277 11819 364 364 0 13913 0
[pid=8956] vsize: 57108
Current children cumulated CPU time (s) 719.99
Current children cumulated vsize (Kb) 57108

[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17825 0 0 0 72949 49 0 0 25 0 1 0 21973202 58613760 11876 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14310 11876 364 364 0 13946 0
[pid=8956] vsize: 57240
Current children cumulated CPU time (s) 729.98
Current children cumulated vsize (Kb) 57240

[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17883 0 0 0 73949 50 0 0 25 0 1 0 21973202 58748928 11933 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14343 11933 364 364 0 13979 0
[pid=8956] vsize: 57372
Current children cumulated CPU time (s) 739.99
Current children cumulated vsize (Kb) 57372

[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 17940 0 0 0 74949 50 0 0 25 0 1 0 21973202 58884096 11989 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14376 11989 364 364 0 14012 0
[pid=8956] vsize: 57504
Current children cumulated CPU time (s) 749.99
Current children cumulated vsize (Kb) 57504

[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18007 0 0 0 75949 50 0 0 25 0 1 0 21973202 59019264 12055 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14409 12055 364 364 0 14045 0
[pid=8956] vsize: 57636
Current children cumulated CPU time (s) 759.99
Current children cumulated vsize (Kb) 57636

[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18072 0 0 0 76949 50 0 0 25 0 1 0 21973202 59289600 12119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14475 12119 364 364 0 14111 0
[pid=8956] vsize: 57900
Current children cumulated CPU time (s) 769.99
Current children cumulated vsize (Kb) 57900

[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18135 0 0 0 77949 50 0 0 25 0 1 0 21973202 59424768 12181 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14508 12181 364 364 0 14144 0
[pid=8956] vsize: 58032
Current children cumulated CPU time (s) 779.99
Current children cumulated vsize (Kb) 58032

[startup+790.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18200 0 0 0 78949 50 0 0 25 0 1 0 21973202 59559936 12245 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14541 12245 364 364 0 14177 0
[pid=8956] vsize: 58164
Current children cumulated CPU time (s) 789.99
Current children cumulated vsize (Kb) 58164

[startup+800.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18265 0 0 0 79949 50 0 0 25 0 1 0 21973202 59695104 12309 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14574 12309 364 364 0 14210 0
[pid=8956] vsize: 58296
Current children cumulated CPU time (s) 799.99
Current children cumulated vsize (Kb) 58296

[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18327 0 0 0 80948 51 0 0 25 0 1 0 21973202 59965440 12370 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14640 12370 364 364 0 14276 0
[pid=8956] vsize: 58560
Current children cumulated CPU time (s) 809.99
Current children cumulated vsize (Kb) 58560

[startup+820.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18390 0 0 0 81948 51 0 0 25 0 1 0 21973202 60100608 12432 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14673 12432 364 364 0 14309 0
[pid=8956] vsize: 58692
Current children cumulated CPU time (s) 819.99
Current children cumulated vsize (Kb) 58692

[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18453 0 0 0 82948 51 0 0 25 0 1 0 21973202 60235776 12494 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14706 12494 364 364 0 14342 0
[pid=8956] vsize: 58824
Current children cumulated CPU time (s) 829.99
Current children cumulated vsize (Kb) 58824

[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18516 0 0 0 83947 52 0 0 25 0 1 0 21973202 60370944 12556 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14739 12556 364 364 0 14375 0
[pid=8956] vsize: 58956
Current children cumulated CPU time (s) 839.99
Current children cumulated vsize (Kb) 58956

[startup+850.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18578 0 0 0 84947 52 0 0 25 0 1 0 21973202 60506112 12617 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14772 12617 364 364 0 14408 0
[pid=8956] vsize: 59088
Current children cumulated CPU time (s) 849.99
Current children cumulated vsize (Kb) 59088

[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18640 0 0 0 85947 52 0 0 25 0 1 0 21973202 60776448 12678 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14838 12678 364 364 0 14474 0
[pid=8956] vsize: 59352
Current children cumulated CPU time (s) 859.99
Current children cumulated vsize (Kb) 59352

[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18700 0 0 0 86947 53 0 0 25 0 1 0 21973202 60911616 12737 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14871 12737 364 364 0 14507 0
[pid=8956] vsize: 59484
Current children cumulated CPU time (s) 870
Current children cumulated vsize (Kb) 59484

[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18762 0 0 0 87947 53 0 0 25 0 1 0 21973202 61046784 12798 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14904 12798 364 364 0 14540 0
[pid=8956] vsize: 59616
Current children cumulated CPU time (s) 880
Current children cumulated vsize (Kb) 59616

[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18824 0 0 0 88947 53 0 0 25 0 1 0 21973202 61181952 12859 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14937 12859 364 364 0 14573 0
[pid=8956] vsize: 59748
Current children cumulated CPU time (s) 890
Current children cumulated vsize (Kb) 59748

[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18883 0 0 0 89947 53 0 0 25 0 1 0 21973202 61317120 12917 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 14970 12917 364 364 0 14606 0
[pid=8956] vsize: 59880
Current children cumulated CPU time (s) 900
Current children cumulated vsize (Kb) 59880

[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 18943 0 0 0 90947 53 0 0 25 0 1 0 21973202 61452288 12976 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15003 12976 364 364 0 14639 0
[pid=8956] vsize: 60012
Current children cumulated CPU time (s) 910
Current children cumulated vsize (Kb) 60012

[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19003 0 0 0 91947 54 0 0 25 0 1 0 21973202 61587456 13035 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15036 13035 364 364 0 14672 0
[pid=8956] vsize: 60144
Current children cumulated CPU time (s) 920.01
Current children cumulated vsize (Kb) 60144

[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19063 0 0 0 92946 54 0 0 25 0 1 0 21973202 61857792 13094 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15102 13094 364 364 0 14738 0
[pid=8956] vsize: 60408
Current children cumulated CPU time (s) 930
Current children cumulated vsize (Kb) 60408

[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19120 0 0 0 93946 54 0 0 25 0 1 0 21973202 61992960 13150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15135 13150 364 364 0 14771 0
[pid=8956] vsize: 60540
Current children cumulated CPU time (s) 940
Current children cumulated vsize (Kb) 60540

[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19179 0 0 0 94946 54 0 0 25 0 1 0 21973202 62128128 13208 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15168 13208 364 364 0 14804 0
[pid=8956] vsize: 60672
Current children cumulated CPU time (s) 950
Current children cumulated vsize (Kb) 60672

[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19238 0 0 0 95946 55 0 0 25 0 1 0 21973202 62263296 13266 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15201 13266 364 364 0 14837 0
[pid=8956] vsize: 60804
Current children cumulated CPU time (s) 960.01
Current children cumulated vsize (Kb) 60804

[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19297 0 0 0 96946 55 0 0 25 0 1 0 21973202 62398464 13324 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15234 13324 364 364 0 14870 0
[pid=8956] vsize: 60936
Current children cumulated CPU time (s) 970.01
Current children cumulated vsize (Kb) 60936

[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19354 0 0 0 97945 55 0 0 25 0 1 0 21973202 62533632 13380 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15267 13380 364 364 0 14903 0
[pid=8956] vsize: 61068
Current children cumulated CPU time (s) 980
Current children cumulated vsize (Kb) 61068

[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19412 0 0 0 98945 56 0 0 25 0 1 0 21973202 62668800 13437 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15300 13437 364 364 0 14936 0
[pid=8956] vsize: 61200
Current children cumulated CPU time (s) 990.01
Current children cumulated vsize (Kb) 61200

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19471 0 0 0 99945 56 0 0 25 0 1 0 21973202 62803968 13495 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15333 13495 364 364 0 14969 0
[pid=8956] vsize: 61332
Current children cumulated CPU time (s) 1000.01
Current children cumulated vsize (Kb) 61332

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19526 0 0 0 100945 56 0 0 25 0 1 0 21973202 62939136 13550 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15366 13550 364 364 0 15002 0
[pid=8956] vsize: 61464
Current children cumulated CPU time (s) 1010.01
Current children cumulated vsize (Kb) 61464

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19583 0 0 0 101945 56 0 0 25 0 1 0 21973202 63209472 13606 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15432 13606 364 364 0 15068 0
[pid=8956] vsize: 61728
Current children cumulated CPU time (s) 1020.01
Current children cumulated vsize (Kb) 61728

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19639 0 0 0 102945 56 0 0 25 0 1 0 21973202 63344640 13661 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15465 13661 364 364 0 15101 0
[pid=8956] vsize: 61860
Current children cumulated CPU time (s) 1030.01
Current children cumulated vsize (Kb) 61860

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19696 0 0 0 103944 57 0 0 25 0 1 0 21973202 63479808 13717 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15498 13717 364 364 0 15134 0
[pid=8956] vsize: 61992
Current children cumulated CPU time (s) 1040.01
Current children cumulated vsize (Kb) 61992

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19752 0 0 0 104945 57 0 0 25 0 1 0 21973202 63614976 13772 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15531 13772 364 364 0 15167 0
[pid=8956] vsize: 62124
Current children cumulated CPU time (s) 1050.02
Current children cumulated vsize (Kb) 62124

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19808 0 0 0 105944 57 0 0 25 0 1 0 21973202 63750144 13827 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15564 13827 364 364 0 15200 0
[pid=8956] vsize: 62256
Current children cumulated CPU time (s) 1060.01
Current children cumulated vsize (Kb) 62256

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19862 0 0 0 106944 57 0 0 25 0 1 0 21973202 63885312 13880 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15597 13880 364 364 0 15233 0
[pid=8956] vsize: 62388
Current children cumulated CPU time (s) 1070.01
Current children cumulated vsize (Kb) 62388

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19918 0 0 0 107944 57 0 0 25 0 1 0 21973202 64020480 13935 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15630 13935 364 364 0 15266 0
[pid=8956] vsize: 62520
Current children cumulated CPU time (s) 1080.01
Current children cumulated vsize (Kb) 62520

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 19972 0 0 0 108944 58 0 0 25 0 1 0 21973202 64155648 13988 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15663 13988 364 364 0 15299 0
[pid=8956] vsize: 62652
Current children cumulated CPU time (s) 1090.02
Current children cumulated vsize (Kb) 62652

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 20028 0 0 0 109944 58 0 0 25 0 1 0 21973202 64290816 14043 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 15696 14043 364 364 0 15332 0
[pid=8956] vsize: 62784
Current children cumulated CPU time (s) 1100.02
Current children cumulated vsize (Kb) 62784

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 24594 0 0 0 110931 69 0 0 25 0 1 0 21973202 78712832 17847 4294967295 134512640 135987407 3221224560 3221221872 134613619 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 19217 17847 364 364 0 18853 0
[pid=8956] vsize: 76868
Current children cumulated CPU time (s) 1110
Current children cumulated vsize (Kb) 76868

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 40845 0 0 0 111891 107 0 0 25 0 1 0 21973202 124940288 26793 4294967295 134512640 135987407 3221224560 3221221904 134612909 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 30503 26793 364 364 0 30139 0
[pid=8956] vsize: 122012
Current children cumulated CPU time (s) 1119.98
Current children cumulated vsize (Kb) 122012

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 66875 0 0 0 112827 167 0 0 25 0 1 0 21973202 214073344 39854 4294967295 134512640 135987407 3221224560 3221221728 134566726 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 52264 39855 364 364 0 51900 0
[pid=8956] vsize: 209056
Current children cumulated CPU time (s) 1129.94
Current children cumulated vsize (Kb) 209056

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 84381 0 0 0 113781 213 0 0 25 0 1 0 21973202 256540672 50998 4294967295 134512640 135987407 3221224560 3221218896 134877895 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 62632 50998 364 364 0 62268 0
[pid=8956] vsize: 250528
Current children cumulated CPU time (s) 1139.94
Current children cumulated vsize (Kb) 250528

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 95529 0 0 0 114744 247 0 0 25 0 1 0 21973202 290349056 61933 4294967295 134512640 135987407 3221224560 3221221184 134866800 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 70886 61933 364 364 0 70522 0
[pid=8956] vsize: 283544
Current children cumulated CPU time (s) 1149.91
Current children cumulated vsize (Kb) 283544

[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 132166 0 0 0 115663 324 0 0 25 0 1 0 21973202 415322112 78958 4294967295 134512640 135987407 3221224560 3221221952 134615112 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 101397 78958 364 364 0 101033 0
[pid=8956] vsize: 405588
Current children cumulated CPU time (s) 1159.87
Current children cumulated vsize (Kb) 405588

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 143937 0 0 0 116627 358 0 0 25 0 1 0 21973202 433299456 90505 4294967295 134512640 135987407 3221224560 3221221952 134615110 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8956/statm): 105786 90505 364 364 0 105422 0
[pid=8956] vsize: 423144
Current children cumulated CPU time (s) 1169.85
Current children cumulated vsize (Kb) 423144

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 167131 0 0 0 117566 417 0 0 25 0 1 0 21973202 500391936 101202 4294967295 134512640 135987407 3221224560 3221220656 134639921 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 122166 101202 364 364 0 121802 0
[pid=8956] vsize: 488664
Current children cumulated CPU time (s) 1179.83
Current children cumulated vsize (Kb) 488664

[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 175872 0 0 0 118539 442 0 0 25 0 1 0 21973202 530710528 109746 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 129568 109746 364 364 0 129204 0
[pid=8956] vsize: 518272
Current children cumulated CPU time (s) 1189.81
Current children cumulated vsize (Kb) 518272

[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 198378 0 0 0 119482 496 0 0 25 0 1 0 21973202 569229312 132016 4294967295 134512640 135987407 3221224560 3217886464 135293398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 138972 132016 364 364 0 138608 0
[pid=8956] vsize: 555888
Current children cumulated CPU time (s) 1199.78
Current children cumulated vsize (Kb) 555888



Mem limit exceeded: sending SIGTERM then SIGKILL

[startup+1209.46 s]
Raw data (loadavg): 0.99 0.98 0.97 1/55 8956
Raw data (/proc/8956/stat): 8956 (pb2sat) T 8955 8956 4060 0 -1 0 247873 0 0 0 120323 592 0 0 25 0 1 0 21973202 943816704 179859 4294967295 134512640 135987407 3221224560 3216694316 135635874 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8956/statm): 230424 179859 364 364 0 230060 0
[pid=8956] vsize: 921696
Current children cumulated CPU time (s) 1209.15
Current children cumulated vsize (Kb) 921696

Sending SIGTERM to -8956
Sleeping 2 seconds

[startup+1210.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/56 8957
Raw data (/proc/8956/stat): 8956 (pb2sat) R 8955 8956 4060 0 -1 0 247874 0 0 0 120380 592 0 0 25 0 1 0 21973202 943816704 179860 4294967295 134512640 135987407 3221224560 3216692548 134893001 0 16384 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8956/statm): 230424 179860 364 364 0 230060 0
[pid=8956] vsize: 921696
Current children cumulated CPU time (s) 1209.72
Current children cumulated vsize (Kb) 921696
Sending SIGKILL to -8956
One traced child (pid=8956) ended because it received signal 9 (SIGKILL)
All traced children have exited ! Game is over.

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1211.83
CPU time (s): 1210.63
CPU user time (s): 1204.35
CPU system time (s): 6.28804
CPU usage (%): 99.9014
Max. virtual memory (cumulated for all children) (Kb): 921696

Verifier Data

ERROR: no interpretation found !