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/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM4969ff20db6e3c380ff3de77937a8672
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 221520
Biggest coefficient in the objective function 536870912000000000000
Number of bits for the biggest coefficient in the objective function 69
Sum of the numbers in the objective function 34400198927214220148736
Number of bits of the sum of numbers in the objective function 75
Biggest number in a constraint 536870912000000000000
Number of bits of the biggest number in a constraint 69
Biggest sum of numbers in a constraint 34400301327214220148736
Number of bits of the biggest sum of numbers75
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables221520
Total number of constraints38324
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)32041
Number of constraints which are nor clauses,nor cardinality constraints6283
Minimum length of a constraint1
Maximum length of a constraint221520

Trace number 10373

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        912572 kB
Buffers:         12380 kB
Cached:          92068 kB
SwapCached:          0 kB
Active:          66064 kB
Inactive:        41332 kB
HighTotal:      131008 kB
HighFree:        34832 kB
LowTotal:       903652 kB
LowFree:        877740 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             9056 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 17:59:16 (client local time) WITH STATUS 0 IN 1200.73 SECONDS
stats: 8969 7 1200.73 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/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 22015416 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/10177/statm): 373 2 364 364 0 9 0
[pid=10177] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-NSR8K.opb

[startup+10.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 2315 0 0 0 992 7 0 0 25 0 1 0 22015416 8962048 1632 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10177/statm): 2188 1632 364 364 0 1824 0
[pid=10177] vsize: 8752
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 8752

[startup+20.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 2923 0 0 0 1990 8 0 0 25 0 1 0 22015416 10448896 2230 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 2551 2230 364 364 0 2187 0
[pid=10177] vsize: 10204
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10204

[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4324 0 0 0 2985 13 0 0 25 0 1 0 22015416 15495168 2886 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 3783 2886 364 364 0 3419 0
[pid=10177] vsize: 15132
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15132

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4612 0 0 0 3984 14 0 0 25 0 1 0 22015416 16171008 3169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 3948 3169 364 364 0 3584 0
[pid=10177] vsize: 15792
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 15792

[startup+50.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 4891 0 0 0 4984 15 0 0 25 0 1 0 22015416 16846848 3443 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4113 3443 364 364 0 3749 0
[pid=10177] vsize: 16452
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 16452

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5135 0 0 0 5983 15 0 0 25 0 1 0 22015416 17522688 3683 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4278 3683 364 364 0 3914 0
[pid=10177] vsize: 17112
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17112

[startup+70.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5353 0 0 0 6983 15 0 0 25 0 1 0 22015416 18063360 3898 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4410 3898 364 364 0 4046 0
[pid=10177] vsize: 17640
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17640

[startup+80.0054 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5548 0 0 0 7982 16 0 0 25 0 1 0 22015416 18604032 4090 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4542 4090 364 364 0 4178 0
[pid=10177] vsize: 18168
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18168

[startup+90.0052 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5730 0 0 0 8982 17 0 0 25 0 1 0 22015416 19009536 4269 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4641 4269 364 364 0 4277 0
[pid=10177] vsize: 18564
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18564

[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 5902 0 0 0 9981 18 0 0 25 0 1 0 22015416 19550208 4438 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 4773 4438 364 364 0 4409 0
[pid=10177] vsize: 19092
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19092

[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8276 0 0 0 10975 23 0 0 25 0 1 0 22015416 28696576 5334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7006 5334 364 364 0 6642 0
[pid=10177] vsize: 28024
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28024

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8334 0 0 0 11975 23 0 0 25 0 1 0 22015416 28696576 5390 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7006 5390 364 364 0 6642 0
[pid=10177] vsize: 28024
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28024

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8439 0 0 0 12975 24 0 0 25 0 1 0 22015416 28831744 5492 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7039 5492 364 364 0 6675 0
[pid=10177] vsize: 28156
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28156

[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8567 0 0 0 13974 25 0 0 25 0 1 0 22015416 29237248 5618 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7138 5618 364 364 0 6774 0
[pid=10177] vsize: 28552
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28552

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8687 0 0 0 14974 25 0 0 25 0 1 0 22015416 29507584 5736 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7204 5736 364 364 0 6840 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8808 0 0 0 15974 25 0 0 25 0 1 0 22015416 29777920 5854 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7270 5854 364 364 0 6906 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 8923 0 0 0 16974 26 0 0 25 0 1 0 22015416 30048256 5967 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7336 5967 364 364 0 6972 0
[pid=10177] vsize: 29344
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 29344

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9040 0 0 0 17974 26 0 0 25 0 1 0 22015416 30318592 6082 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7402 6082 364 364 0 7038 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9167 0 0 0 18974 26 0 0 25 0 1 0 22015416 30588928 6207 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7468 6207 364 364 0 7104 0
[pid=10177] vsize: 29872
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 29872

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9289 0 0 0 19973 27 0 0 25 0 1 0 22015416 30994432 6327 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7567 6327 364 364 0 7203 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9408 0 0 0 20973 27 0 0 25 0 1 0 22015416 31264768 6444 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7633 6444 364 364 0 7269 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9527 0 0 0 21973 27 0 0 25 0 1 0 22015416 31535104 6561 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7699 6561 364 364 0 7335 0
[pid=10177] vsize: 30796
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30796

[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9639 0 0 0 22973 27 0 0 25 0 1 0 22015416 31805440 6672 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7765 6672 364 364 0 7401 0
[pid=10177] vsize: 31060
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31060

[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9752 0 0 0 23973 28 0 0 25 0 1 0 22015416 32210944 6783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7864 6783 364 364 0 7500 0
[pid=10177] vsize: 31456
Current children cumulated CPU time (s) 240.01
Current children cumulated vsize (Kb) 31456

[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9862 0 0 0 24972 28 0 0 25 0 1 0 22015416 32481280 6891 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 7930 6891 364 364 0 7566 0
[pid=10177] vsize: 31720
Current children cumulated CPU time (s) 250
Current children cumulated vsize (Kb) 31720

[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 9970 0 0 0 25972 28 0 0 25 0 1 0 22015416 32751616 6997 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/10177/statm): 7996 6997 364 364 0 7632 0
[pid=10177] 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 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10077 0 0 0 26972 29 0 0 25 0 1 0 22015416 33021952 7103 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8062 7103 364 364 0 7698 0
[pid=10177] vsize: 32248
Current children cumulated CPU time (s) 270.01
Current children cumulated vsize (Kb) 32248

[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10182 0 0 0 27971 30 0 0 25 0 1 0 22015416 33292288 7206 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8128 7206 364 364 0 7764 0
[pid=10177] vsize: 32512
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32512

[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10284 0 0 0 28971 30 0 0 25 0 1 0 22015416 33562624 7306 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8194 7306 364 364 0 7830 0
[pid=10177] vsize: 32776
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32776

[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10385 0 0 0 29971 30 0 0 25 0 1 0 22015416 33832960 7406 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8260 7406 364 364 0 7896 0
[pid=10177] vsize: 33040
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33040

[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10485 0 0 0 30971 31 0 0 25 0 1 0 22015416 34103296 7504 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8326 7504 364 364 0 7962 0
[pid=10177] vsize: 33304
Current children cumulated CPU time (s) 310.02
Current children cumulated vsize (Kb) 33304

[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10582 0 0 0 31971 31 0 0 25 0 1 0 22015416 34238464 7599 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8359 7599 364 364 0 7995 0
[pid=10177] vsize: 33436
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (Kb) 33436

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10678 0 0 0 32971 31 0 0 25 0 1 0 22015416 34508800 7694 4294967295 134512640 135987407 3221224560 3221221808 134979149 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8425 7694 364 364 0 8061 0
[pid=10177] vsize: 33700
Current children cumulated CPU time (s) 330.02
Current children cumulated vsize (Kb) 33700

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10774 0 0 0 33971 32 0 0 25 0 1 0 22015416 34779136 7788 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8491 7788 364 364 0 8127 0
[pid=10177] vsize: 33964
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (Kb) 33964

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10868 0 0 0 34971 32 0 0 25 0 1 0 22015416 35049472 7881 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8557 7881 364 364 0 8193 0
[pid=10177] vsize: 34228
Current children cumulated CPU time (s) 350.03
Current children cumulated vsize (Kb) 34228

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 10961 0 0 0 35970 32 0 0 25 0 1 0 22015416 35319808 7972 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8623 7972 364 364 0 8259 0
[pid=10177] vsize: 34492
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 34492

[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11052 0 0 0 36970 33 0 0 25 0 1 0 22015416 35454976 8062 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8656 8062 364 364 0 8292 0
[pid=10177] vsize: 34624
Current children cumulated CPU time (s) 370.03
Current children cumulated vsize (Kb) 34624

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11142 0 0 0 37970 33 0 0 25 0 1 0 22015416 35725312 8150 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8722 8150 364 364 0 8358 0
[pid=10177] vsize: 34888
Current children cumulated CPU time (s) 380.03
Current children cumulated vsize (Kb) 34888

[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11230 0 0 0 38970 33 0 0 25 0 1 0 22015416 35995648 8237 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8788 8237 364 364 0 8424 0
[pid=10177] vsize: 35152
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 35152

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11320 0 0 0 39970 33 0 0 25 0 1 0 22015416 36130816 8325 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8821 8325 364 364 0 8457 0
[pid=10177] vsize: 35284
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (Kb) 35284

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11405 0 0 0 40970 34 0 0 25 0 1 0 22015416 36401152 8409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8887 8409 364 364 0 8523 0
[pid=10177] vsize: 35548
Current children cumulated CPU time (s) 410.04
Current children cumulated vsize (Kb) 35548

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11492 0 0 0 41970 34 0 0 25 0 1 0 22015416 36671488 8495 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8953 8495 364 364 0 8589 0
[pid=10177] vsize: 35812
Current children cumulated CPU time (s) 420.04
Current children cumulated vsize (Kb) 35812

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11577 0 0 0 42969 34 0 0 25 0 1 0 22015416 36806656 8578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 8986 8578 364 364 0 8622 0
[pid=10177] vsize: 35944
Current children cumulated CPU time (s) 430.03
Current children cumulated vsize (Kb) 35944

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11662 0 0 0 43969 34 0 0 25 0 1 0 22015416 37076992 8662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 9052 8662 364 364 0 8688 0
[pid=10177] vsize: 36208
Current children cumulated CPU time (s) 440.03
Current children cumulated vsize (Kb) 36208

[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11743 0 0 0 44969 35 0 0 25 0 1 0 22015416 37212160 8742 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 9085 8742 364 364 0 8721 0
[pid=10177] vsize: 36340
Current children cumulated CPU time (s) 450.04
Current children cumulated vsize (Kb) 36340

[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11828 0 0 0 45968 35 0 0 25 0 1 0 22015416 37482496 8825 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 9151 8825 364 364 0 8787 0
[pid=10177] vsize: 36604
Current children cumulated CPU time (s) 460.03
Current children cumulated vsize (Kb) 36604

[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 11909 0 0 0 46968 36 0 0 25 0 1 0 22015416 37752832 8905 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 9217 8905 364 364 0 8853 0
[pid=10177] vsize: 36868
Current children cumulated CPU time (s) 470.04
Current children cumulated vsize (Kb) 36868

[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16462 0 0 0 47957 46 0 0 25 0 1 0 22015416 55640064 10510 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10510 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 480.03
Current children cumulated vsize (Kb) 54336

[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16492 0 0 0 48957 46 0 0 25 0 1 0 22015416 55640064 10538 4294967295 134512640 135987407 3221224560 3221221728 134566717 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10538 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 54336

[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16521 0 0 0 49957 47 0 0 25 0 1 0 22015416 55640064 10566 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10566 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 500.04
Current children cumulated vsize (Kb) 54336

[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16550 0 0 0 50957 47 0 0 25 0 1 0 22015416 55640064 10594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10594 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 510.04
Current children cumulated vsize (Kb) 54336

[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16579 0 0 0 51957 47 0 0 25 0 1 0 22015416 55640064 10622 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10622 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 520.04
Current children cumulated vsize (Kb) 54336

[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16608 0 0 0 52957 47 0 0 25 0 1 0 22015416 55640064 10649 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10649 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 530.04
Current children cumulated vsize (Kb) 54336

[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16636 0 0 0 53957 47 0 0 25 0 1 0 22015416 55640064 10676 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13584 10676 364 364 0 13220 0
[pid=10177] vsize: 54336
Current children cumulated CPU time (s) 540.04
Current children cumulated vsize (Kb) 54336

[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16690 0 0 0 54957 47 0 0 25 0 1 0 22015416 55775232 10729 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13617 10729 364 364 0 13253 0
[pid=10177] vsize: 54468
Current children cumulated CPU time (s) 550.04
Current children cumulated vsize (Kb) 54468

[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16754 0 0 0 55957 48 0 0 25 0 1 0 22015416 55910400 10792 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13650 10792 364 364 0 13286 0
[pid=10177] vsize: 54600
Current children cumulated CPU time (s) 560.05
Current children cumulated vsize (Kb) 54600

[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16821 0 0 0 56957 48 0 0 25 0 1 0 22015416 56045568 10857 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13683 10857 364 364 0 13319 0
[pid=10177] vsize: 54732
Current children cumulated CPU time (s) 570.05
Current children cumulated vsize (Kb) 54732

[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16883 0 0 0 57957 48 0 0 25 0 1 0 22015416 56315904 10918 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13749 10918 364 364 0 13385 0
[pid=10177] vsize: 54996
Current children cumulated CPU time (s) 580.05
Current children cumulated vsize (Kb) 54996

[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 16947 0 0 0 58957 48 0 0 25 0 1 0 22015416 56451072 10981 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13782 10981 364 364 0 13418 0
[pid=10177] vsize: 55128
Current children cumulated CPU time (s) 590.05
Current children cumulated vsize (Kb) 55128

[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17011 0 0 0 59957 49 0 0 25 0 1 0 22015416 56586240 11044 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13815 11044 364 364 0 13451 0
[pid=10177] vsize: 55260
Current children cumulated CPU time (s) 600.06
Current children cumulated vsize (Kb) 55260

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17074 0 0 0 60957 49 0 0 25 0 1 0 22015416 56721408 11106 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13848 11106 364 364 0 13484 0
[pid=10177] vsize: 55392
Current children cumulated CPU time (s) 610.06
Current children cumulated vsize (Kb) 55392

[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17135 0 0 0 61957 49 0 0 25 0 1 0 22015416 56856576 11166 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13881 11166 364 364 0 13517 0
[pid=10177] vsize: 55524
Current children cumulated CPU time (s) 620.06
Current children cumulated vsize (Kb) 55524

[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17198 0 0 0 62957 49 0 0 25 0 1 0 22015416 56991744 11227 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13914 11227 364 364 0 13550 0
[pid=10177] vsize: 55656
Current children cumulated CPU time (s) 630.06
Current children cumulated vsize (Kb) 55656

[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17259 0 0 0 63956 50 0 0 25 0 1 0 22015416 57126912 11287 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13947 11287 364 364 0 13583 0
[pid=10177] vsize: 55788
Current children cumulated CPU time (s) 640.06
Current children cumulated vsize (Kb) 55788

[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17319 0 0 0 64956 50 0 0 25 0 1 0 22015416 57262080 11346 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 13980 11346 364 364 0 13616 0
[pid=10177] vsize: 55920
Current children cumulated CPU time (s) 650.06
Current children cumulated vsize (Kb) 55920

[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17379 0 0 0 65956 50 0 0 25 0 1 0 22015416 57397248 11405 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14013 11405 364 364 0 13649 0
[pid=10177] vsize: 56052
Current children cumulated CPU time (s) 660.06
Current children cumulated vsize (Kb) 56052

[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17441 0 0 0 66956 50 0 0 25 0 1 0 22015416 57532416 11466 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14046 11466 364 364 0 13682 0
[pid=10177] vsize: 56184
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 56184

[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17499 0 0 0 67956 50 0 0 25 0 1 0 22015416 57667584 11523 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14079 11523 364 364 0 13715 0
[pid=10177] vsize: 56316
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (Kb) 56316

[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17558 0 0 0 68956 51 0 0 25 0 1 0 22015416 57802752 11581 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14112 11581 364 364 0 13748 0
[pid=10177] vsize: 56448
Current children cumulated CPU time (s) 690.07
Current children cumulated vsize (Kb) 56448

[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17616 0 0 0 69956 51 0 0 25 0 1 0 22015416 57937920 11638 4294967295 134512640 135987407 3221224560 3221221744 134536104 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14145 11638 364 364 0 13781 0
[pid=10177] vsize: 56580
Current children cumulated CPU time (s) 700.07
Current children cumulated vsize (Kb) 56580

[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17673 0 0 0 70955 51 0 0 25 0 1 0 22015416 58073088 11694 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14178 11694 364 364 0 13814 0
[pid=10177] vsize: 56712
Current children cumulated CPU time (s) 710.06
Current children cumulated vsize (Kb) 56712

[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17731 0 0 0 71955 51 0 0 25 0 1 0 22015416 58208256 11751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14211 11751 364 364 0 13847 0
[pid=10177] vsize: 56844
Current children cumulated CPU time (s) 720.06
Current children cumulated vsize (Kb) 56844

[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17791 0 0 0 72955 52 0 0 25 0 1 0 22015416 58343424 11809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14244 11809 364 364 0 13880 0
[pid=10177] vsize: 56976
Current children cumulated CPU time (s) 730.07
Current children cumulated vsize (Kb) 56976

[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17847 0 0 0 73955 52 0 0 25 0 1 0 22015416 58478592 11864 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14277 11864 364 364 0 13913 0
[pid=10177] vsize: 57108
Current children cumulated CPU time (s) 740.07
Current children cumulated vsize (Kb) 57108

[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17904 0 0 0 74955 52 0 0 25 0 1 0 22015416 58613760 11920 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14310 11920 364 364 0 13946 0
[pid=10177] vsize: 57240
Current children cumulated CPU time (s) 750.07
Current children cumulated vsize (Kb) 57240

[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 17965 0 0 0 75955 52 0 0 25 0 1 0 22015416 58748928 11980 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14343 11980 364 364 0 13979 0
[pid=10177] vsize: 57372
Current children cumulated CPU time (s) 760.07
Current children cumulated vsize (Kb) 57372

[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18029 0 0 0 76955 52 0 0 25 0 1 0 22015416 59019264 12043 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14409 12043 364 364 0 14045 0
[pid=10177] vsize: 57636
Current children cumulated CPU time (s) 770.07
Current children cumulated vsize (Kb) 57636

[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18093 0 0 0 77955 53 0 0 25 0 1 0 22015416 59154432 12106 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14442 12106 364 364 0 14078 0
[pid=10177] vsize: 57768
Current children cumulated CPU time (s) 780.08
Current children cumulated vsize (Kb) 57768

[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18157 0 0 0 78955 53 0 0 25 0 1 0 22015416 59289600 12169 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14475 12169 364 364 0 14111 0
[pid=10177] vsize: 57900
Current children cumulated CPU time (s) 790.08
Current children cumulated vsize (Kb) 57900

[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18220 0 0 0 79955 53 0 0 25 0 1 0 22015416 59424768 12231 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14508 12231 364 364 0 14144 0
[pid=10177] vsize: 58032
Current children cumulated CPU time (s) 800.08
Current children cumulated vsize (Kb) 58032

[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18282 0 0 0 80955 53 0 0 25 0 1 0 22015416 59559936 12292 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14541 12292 364 364 0 14177 0
[pid=10177] vsize: 58164
Current children cumulated CPU time (s) 810.08
Current children cumulated vsize (Kb) 58164

[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18345 0 0 0 81955 54 0 0 25 0 1 0 22015416 59830272 12354 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14607 12354 364 364 0 14243 0
[pid=10177] vsize: 58428
Current children cumulated CPU time (s) 820.09
Current children cumulated vsize (Kb) 58428

[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18407 0 0 0 82954 54 0 0 25 0 1 0 22015416 59965440 12415 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14640 12415 364 364 0 14276 0
[pid=10177] vsize: 58560
Current children cumulated CPU time (s) 830.08
Current children cumulated vsize (Kb) 58560

[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18469 0 0 0 83954 55 0 0 25 0 1 0 22015416 60100608 12476 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14673 12476 364 364 0 14309 0
[pid=10177] vsize: 58692
Current children cumulated CPU time (s) 840.09
Current children cumulated vsize (Kb) 58692

[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18529 0 0 0 84954 55 0 0 25 0 1 0 22015416 60235776 12535 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14706 12535 364 364 0 14342 0
[pid=10177] vsize: 58824
Current children cumulated CPU time (s) 850.09
Current children cumulated vsize (Kb) 58824

[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18590 0 0 0 85954 55 0 0 25 0 1 0 22015416 60370944 12595 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14739 12595 364 364 0 14375 0
[pid=10177] vsize: 58956
Current children cumulated CPU time (s) 860.09
Current children cumulated vsize (Kb) 58956

[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18651 0 0 0 86954 55 0 0 25 0 1 0 22015416 60506112 12655 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14772 12655 364 364 0 14408 0
[pid=10177] vsize: 59088
Current children cumulated CPU time (s) 870.09
Current children cumulated vsize (Kb) 59088

[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18710 0 0 0 87954 56 0 0 25 0 1 0 22015416 60776448 12713 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14838 12713 364 364 0 14474 0
[pid=10177] vsize: 59352
Current children cumulated CPU time (s) 880.1
Current children cumulated vsize (Kb) 59352

[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18770 0 0 0 88953 56 0 0 25 0 1 0 22015416 60911616 12772 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14871 12772 364 364 0 14507 0
[pid=10177] vsize: 59484
Current children cumulated CPU time (s) 890.09
Current children cumulated vsize (Kb) 59484

[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18831 0 0 0 89953 56 0 0 25 0 1 0 22015416 61046784 12832 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14904 12832 364 364 0 14540 0
[pid=10177] vsize: 59616
Current children cumulated CPU time (s) 900.09
Current children cumulated vsize (Kb) 59616

[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18890 0 0 0 90953 57 0 0 25 0 1 0 22015416 61181952 12890 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14937 12890 364 364 0 14573 0
[pid=10177] vsize: 59748
Current children cumulated CPU time (s) 910.1
Current children cumulated vsize (Kb) 59748

[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 18948 0 0 0 91953 57 0 0 25 0 1 0 22015416 61317120 12947 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 14970 12947 364 364 0 14606 0
[pid=10177] vsize: 59880
Current children cumulated CPU time (s) 920.1
Current children cumulated vsize (Kb) 59880

[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19006 0 0 0 92953 57 0 0 25 0 1 0 22015416 61452288 13005 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15003 13005 364 364 0 14639 0
[pid=10177] vsize: 60012
Current children cumulated CPU time (s) 930.1
Current children cumulated vsize (Kb) 60012

[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19063 0 0 0 93953 58 0 0 25 0 1 0 22015416 61587456 13061 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15036 13061 364 364 0 14672 0
[pid=10177] vsize: 60144
Current children cumulated CPU time (s) 940.11
Current children cumulated vsize (Kb) 60144

[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19122 0 0 0 94952 58 0 0 25 0 1 0 22015416 61722624 13119 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15069 13119 364 364 0 14705 0
[pid=10177] vsize: 60276
Current children cumulated CPU time (s) 950.1
Current children cumulated vsize (Kb) 60276

[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19181 0 0 0 95952 58 0 0 25 0 1 0 22015416 61992960 13177 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15135 13177 364 364 0 14771 0
[pid=10177] vsize: 60540
Current children cumulated CPU time (s) 960.1
Current children cumulated vsize (Kb) 60540

[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19239 0 0 0 96952 58 0 0 25 0 1 0 22015416 62128128 13234 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15168 13234 364 364 0 14804 0
[pid=10177] vsize: 60672
Current children cumulated CPU time (s) 970.1
Current children cumulated vsize (Kb) 60672

[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19296 0 0 0 97952 59 0 0 25 0 1 0 22015416 62263296 13290 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15201 13290 364 364 0 14837 0
[pid=10177] vsize: 60804
Current children cumulated CPU time (s) 980.11
Current children cumulated vsize (Kb) 60804

[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19352 0 0 0 98952 59 0 0 25 0 1 0 22015416 62398464 13345 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15234 13345 364 364 0 14870 0
[pid=10177] vsize: 60936
Current children cumulated CPU time (s) 990.11
Current children cumulated vsize (Kb) 60936

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19409 0 0 0 99952 59 0 0 25 0 1 0 22015416 62533632 13401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15267 13401 364 364 0 14903 0
[pid=10177] vsize: 61068
Current children cumulated CPU time (s) 1000.11
Current children cumulated vsize (Kb) 61068

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19463 0 0 0 100952 59 0 0 25 0 1 0 22015416 62668800 13454 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15300 13454 364 364 0 14936 0
[pid=10177] vsize: 61200
Current children cumulated CPU time (s) 1010.11
Current children cumulated vsize (Kb) 61200

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19521 0 0 0 101952 60 0 0 25 0 1 0 22015416 62803968 13511 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15333 13511 364 364 0 14969 0
[pid=10177] vsize: 61332
Current children cumulated CPU time (s) 1020.12
Current children cumulated vsize (Kb) 61332

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19576 0 0 0 102952 60 0 0 25 0 1 0 22015416 62939136 13565 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15366 13565 364 364 0 15002 0
[pid=10177] vsize: 61464
Current children cumulated CPU time (s) 1030.12
Current children cumulated vsize (Kb) 61464

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19632 0 0 0 103952 60 0 0 25 0 1 0 22015416 63074304 13620 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15399 13620 364 364 0 15035 0
[pid=10177] vsize: 61596
Current children cumulated CPU time (s) 1040.12
Current children cumulated vsize (Kb) 61596

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19687 0 0 0 104952 60 0 0 25 0 1 0 22015416 63209472 13675 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15432 13675 364 364 0 15068 0
[pid=10177] vsize: 61728
Current children cumulated CPU time (s) 1050.12
Current children cumulated vsize (Kb) 61728

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19742 0 0 0 105952 61 0 0 25 0 1 0 22015416 63344640 13729 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15465 13729 364 364 0 15101 0
[pid=10177] vsize: 61860
Current children cumulated CPU time (s) 1060.13
Current children cumulated vsize (Kb) 61860

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19797 0 0 0 106951 61 0 0 25 0 1 0 22015416 63479808 13783 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15498 13783 364 364 0 15134 0
[pid=10177] vsize: 61992
Current children cumulated CPU time (s) 1070.12
Current children cumulated vsize (Kb) 61992

[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19851 0 0 0 107951 61 0 0 25 0 1 0 22015416 63614976 13836 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15531 13836 364 364 0 15167 0
[pid=10177] vsize: 62124
Current children cumulated CPU time (s) 1080.12
Current children cumulated vsize (Kb) 62124

[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19906 0 0 0 108951 62 0 0 25 0 1 0 22015416 63750144 13890 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15564 13890 364 364 0 15200 0
[pid=10177] vsize: 62256
Current children cumulated CPU time (s) 1090.13
Current children cumulated vsize (Kb) 62256

[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 19959 0 0 0 109951 62 0 0 25 0 1 0 22015416 63885312 13942 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15597 13942 364 364 0 15233 0
[pid=10177] vsize: 62388
Current children cumulated CPU time (s) 1100.13
Current children cumulated vsize (Kb) 62388

[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20014 0 0 0 110951 62 0 0 25 0 1 0 22015416 64020480 13996 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15630 13996 364 364 0 15266 0
[pid=10177] vsize: 62520
Current children cumulated CPU time (s) 1110.13
Current children cumulated vsize (Kb) 62520

[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20068 0 0 0 111951 62 0 0 25 0 1 0 22015416 64155648 14049 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15663 14049 364 364 0 15299 0
[pid=10177] vsize: 62652
Current children cumulated CPU time (s) 1120.13
Current children cumulated vsize (Kb) 62652

[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20119 0 0 0 112951 62 0 0 25 0 1 0 22015416 64290816 14100 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15696 14100 364 364 0 15332 0
[pid=10177] vsize: 62784
Current children cumulated CPU time (s) 1130.13
Current children cumulated vsize (Kb) 62784

[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20173 0 0 0 113951 63 0 0 25 0 1 0 22015416 64425984 14153 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15729 14153 364 364 0 15365 0
[pid=10177] vsize: 62916
Current children cumulated CPU time (s) 1140.14
Current children cumulated vsize (Kb) 62916

[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20225 0 0 0 114951 63 0 0 25 0 1 0 22015416 64561152 14204 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15762 14204 364 364 0 15398 0
[pid=10177] vsize: 63048
Current children cumulated CPU time (s) 1150.14
Current children cumulated vsize (Kb) 63048

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20279 0 0 0 115951 63 0 0 25 0 1 0 22015416 64696320 14257 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15795 14257 364 364 0 15431 0
[pid=10177] vsize: 63180
Current children cumulated CPU time (s) 1160.14
Current children cumulated vsize (Kb) 63180

[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20330 0 0 0 116951 63 0 0 25 0 1 0 22015416 64831488 14307 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15828 14307 364 364 0 15464 0
[pid=10177] vsize: 63312
Current children cumulated CPU time (s) 1170.14
Current children cumulated vsize (Kb) 63312

[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20382 0 0 0 117951 64 0 0 25 0 1 0 22015416 64966656 14358 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15861 14358 364 364 0 15497 0
[pid=10177] vsize: 63444
Current children cumulated CPU time (s) 1180.15
Current children cumulated vsize (Kb) 63444

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20435 0 0 0 118951 64 0 0 25 0 1 0 22015416 65101824 14410 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15894 14410 364 364 0 15530 0
[pid=10177] vsize: 63576
Current children cumulated CPU time (s) 1190.15
Current children cumulated vsize (Kb) 63576

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20485 0 0 0 119950 64 0 0 25 0 1 0 22015416 65236992 14460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15927 14460 364 364 0 15563 0
[pid=10177] vsize: 63708
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (Kb) 63708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 10177
Raw data (/proc/10177/stat): 10177 (pb2sat) R 10176 10177 4004 0 -1 0 20485 0 0 0 119950 64 0 0 25 0 1 0 22015416 65236992 14460 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/10177/statm): 15927 14460 364 364 0 15563 0
[pid=10177] vsize: 63708
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (Kb) 63708

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

Child status: 0
Real time (s): 1200.61
CPU time (s): 1200.73
CPU user time (s): 1200.05
CPU system time (s): 0.678896
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (Kb): 63708

Verifier Data

ERROR: no interpretation found !