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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM6958cafd776838585aada2c9dcafd103
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 246163
Biggest coefficient in the objective function 10737418240
Number of bits for the biggest coefficient in the objective function 34
Sum of the numbers in the objective function 43487073153772
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 31729070899200
Number of bits of the biggest number in a constraint 45
Biggest sum of numbers in a constraint 103505525327531
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables293602
Total number of constraints10500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10500
Minimum length of a constraint13
Maximum length of a constraint612

Trace number 9990

Launcher Data

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.012
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:        899176 kB
Buffers:         11648 kB
Cached:         106332 kB
SwapCached:          0 kB
Active:          83560 kB
Inactive:        37344 kB
HighTotal:      131008 kB
HighFree:        20244 kB
LowTotal:       903652 kB
LowFree:        878932 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:             8888 kB
Committed_AS:    63660 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 16:25:45 (client local time) WITH STATUS 0 IN 1200.67 SECONDS
stats: 8635 7 1200.67 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/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21492381 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/7516/statm): 373 2 364 364 0 9 0
[pid=7516] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-fit2p.opb

[startup+10.0018 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 7516
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 2454 0 0 0 993 5 0 0 25 0 1 0 21492381 9236480 1769 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7516/statm): 2255 1769 364 364 0 1891 0
[pid=7516] vsize: 9020
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 9020

[startup+20.0026 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 7516
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 2999 0 0 0 1991 7 0 0 25 0 1 0 21492381 10723328 2305 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 2618 2305 364 364 0 2254 0
[pid=7516] vsize: 10472
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 10472

[startup+30.0033 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 7516
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 4400 0 0 0 2987 11 0 0 25 0 1 0 21492381 15634432 2961 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 3817 2961 364 364 0 3453 0
[pid=7516] vsize: 15268
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 15268

[startup+40.004 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 4682 0 0 0 3986 12 0 0 25 0 1 0 21492381 16445440 3238 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4015 3238 364 364 0 3651 0
[pid=7516] vsize: 16060
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16060

[startup+50.0057 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 4935 0 0 0 4985 13 0 0 25 0 1 0 21492381 16986112 3487 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4147 3487 364 364 0 3783 0
[pid=7516] vsize: 16588
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 16588

[startup+60.0054 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 5160 0 0 0 5984 14 0 0 25 0 1 0 21492381 17661952 3708 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4312 3708 364 364 0 3948 0
[pid=7516] vsize: 17248
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 17248

[startup+70.0052 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 5364 0 0 0 6983 15 0 0 25 0 1 0 21492381 18202624 3909 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4444 3909 364 364 0 4080 0
[pid=7516] vsize: 17776
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 17776

[startup+80.0059 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 5555 0 0 0 7982 16 0 0 25 0 1 0 21492381 18608128 4097 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4543 4097 364 364 0 4179 0
[pid=7516] vsize: 18172
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 18172

[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 5736 0 0 0 8982 17 0 0 25 0 1 0 21492381 19148800 4275 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4675 4275 364 364 0 4311 0
[pid=7516] vsize: 18700
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 18700

[startup+100.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 5909 0 0 0 9981 18 0 0 25 0 1 0 21492381 19554304 4445 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 4774 4445 364 364 0 4410 0
[pid=7516] vsize: 19096
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 19096

[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8295 0 0 0 10976 22 0 0 25 0 1 0 21492381 28835840 5353 4294967295 134512640 135987407 3221224560 3221222032 134608403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7040 5353 364 364 0 6676 0
[pid=7516] vsize: 28160
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 28160

[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8353 0 0 0 11976 22 0 0 25 0 1 0 21492381 28835840 5409 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7040 5409 364 364 0 6676 0
[pid=7516] vsize: 28160
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 28160

[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8453 0 0 0 12976 23 0 0 25 0 1 0 21492381 28971008 5506 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7073 5506 364 364 0 6709 0
[pid=7516] vsize: 28292
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 28292

[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8578 0 0 0 13975 24 0 0 25 0 1 0 21492381 29241344 5629 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7139 5629 364 364 0 6775 0
[pid=7516] vsize: 28556
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 28556

[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8702 0 0 0 14975 24 0 0 25 0 1 0 21492381 29511680 5751 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7205 5751 364 364 0 6841 0
[pid=7516] vsize: 28820
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 28820

[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8819 0 0 0 15975 25 0 0 25 0 1 0 21492381 29782016 5866 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7271 5866 364 364 0 6907 0
[pid=7516] vsize: 29084
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 29084

[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 8933 0 0 0 16974 25 0 0 25 0 1 0 21492381 30052352 5978 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7337 5978 364 364 0 6973 0
[pid=7516] vsize: 29348
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 29348

[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9052 0 0 0 17975 25 0 0 25 0 1 0 21492381 30322688 6094 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7403 6094 364 364 0 7039 0
[pid=7516] vsize: 29612
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 29612

[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9176 0 0 0 18974 26 0 0 25 0 1 0 21492381 30728192 6216 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7502 6216 364 364 0 7138 0
[pid=7516] vsize: 30008
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 30008

[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9298 0 0 0 19973 27 0 0 25 0 1 0 21492381 30998528 6336 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7568 6336 364 364 0 7204 0
[pid=7516] vsize: 30272
Current children cumulated CPU time (s) 200
Current children cumulated vsize (Kb) 30272

[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9417 0 0 0 20973 27 0 0 25 0 1 0 21492381 31268864 6454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7634 6454 364 364 0 7270 0
[pid=7516] vsize: 30536
Current children cumulated CPU time (s) 210
Current children cumulated vsize (Kb) 30536

[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9535 0 0 0 21973 27 0 0 25 0 1 0 21492381 31674368 6570 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7733 6570 364 364 0 7369 0
[pid=7516] vsize: 30932
Current children cumulated CPU time (s) 220
Current children cumulated vsize (Kb) 30932

[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9649 0 0 0 22973 27 0 0 25 0 1 0 21492381 31944704 6682 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7799 6682 364 364 0 7435 0
[pid=7516] vsize: 31196
Current children cumulated CPU time (s) 230
Current children cumulated vsize (Kb) 31196

[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9763 0 0 0 23972 28 0 0 25 0 1 0 21492381 32215040 6794 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7865 6794 364 364 0 7501 0
[pid=7516] vsize: 31460
Current children cumulated CPU time (s) 240
Current children cumulated vsize (Kb) 31460

[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9872 0 0 0 24973 28 0 0 25 0 1 0 21492381 32485376 6901 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7931 6901 364 364 0 7567 0
[pid=7516] vsize: 31724
Current children cumulated CPU time (s) 250.01
Current children cumulated vsize (Kb) 31724

[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 9981 0 0 0 25972 28 0 0 25 0 1 0 21492381 32755712 7008 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 7997 7008 364 364 0 7633 0
[pid=7516] vsize: 31988
Current children cumulated CPU time (s) 260
Current children cumulated vsize (Kb) 31988

[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10087 0 0 0 26972 28 0 0 25 0 1 0 21492381 33026048 7113 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8063 7113 364 364 0 7699 0
[pid=7516] vsize: 32252
Current children cumulated CPU time (s) 270
Current children cumulated vsize (Kb) 32252

[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10190 0 0 0 27972 29 0 0 25 0 1 0 21492381 33296384 7214 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8129 7214 364 364 0 7765 0
[pid=7516] vsize: 32516
Current children cumulated CPU time (s) 280.01
Current children cumulated vsize (Kb) 32516

[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10294 0 0 0 28972 29 0 0 25 0 1 0 21492381 33566720 7316 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8195 7316 364 364 0 7831 0
[pid=7516] vsize: 32780
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (Kb) 32780

[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10395 0 0 0 29971 30 0 0 25 0 1 0 21492381 33837056 7416 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8261 7416 364 364 0 7897 0
[pid=7516] vsize: 33044
Current children cumulated CPU time (s) 300.01
Current children cumulated vsize (Kb) 33044

[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10495 0 0 0 30971 30 0 0 25 0 1 0 21492381 34107392 7514 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8327 7514 364 364 0 7963 0
[pid=7516] vsize: 33308
Current children cumulated CPU time (s) 310.01
Current children cumulated vsize (Kb) 33308

[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10594 0 0 0 31971 31 0 0 25 0 1 0 21492381 34377728 7612 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8393 7612 364 364 0 8029 0
[pid=7516] vsize: 33572
Current children cumulated CPU time (s) 320.02
Current children cumulated vsize (Kb) 33572

[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10691 0 0 0 32970 31 0 0 25 0 1 0 21492381 34648064 7707 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8459 7707 364 364 0 8095 0
[pid=7516] vsize: 33836
Current children cumulated CPU time (s) 330.01
Current children cumulated vsize (Kb) 33836

[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10786 0 0 0 33970 32 0 0 25 0 1 0 21492381 34783232 7800 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8492 7800 364 364 0 8128 0
[pid=7516] vsize: 33968
Current children cumulated CPU time (s) 340.02
Current children cumulated vsize (Kb) 33968

[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10880 0 0 0 34970 32 0 0 25 0 1 0 21492381 35053568 7893 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8558 7893 364 364 0 8194 0
[pid=7516] vsize: 34232
Current children cumulated CPU time (s) 350.02
Current children cumulated vsize (Kb) 34232

[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 10973 0 0 0 35970 32 0 0 25 0 1 0 21492381 35323904 7984 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8624 7984 364 364 0 8260 0
[pid=7516] vsize: 34496
Current children cumulated CPU time (s) 360.02
Current children cumulated vsize (Kb) 34496

[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11065 0 0 0 36970 32 0 0 25 0 1 0 21492381 35594240 8075 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8690 8075 364 364 0 8326 0
[pid=7516] vsize: 34760
Current children cumulated CPU time (s) 370.02
Current children cumulated vsize (Kb) 34760

[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11156 0 0 0 37970 33 0 0 25 0 1 0 21492381 35864576 8164 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8756 8164 364 364 0 8392 0
[pid=7516] vsize: 35024
Current children cumulated CPU time (s) 380.03
Current children cumulated vsize (Kb) 35024

[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11243 0 0 0 38970 33 0 0 25 0 1 0 21492381 35999744 8250 4294967295 134512640 135987407 3221224560 3221221952 134615182 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8789 8250 364 364 0 8425 0
[pid=7516] vsize: 35156
Current children cumulated CPU time (s) 390.03
Current children cumulated vsize (Kb) 35156

[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11333 0 0 0 39970 33 0 0 25 0 1 0 21492381 36270080 8339 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8855 8339 364 364 0 8491 0
[pid=7516] vsize: 35420
Current children cumulated CPU time (s) 400.03
Current children cumulated vsize (Kb) 35420

[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11421 0 0 0 40970 33 0 0 25 0 1 0 21492381 36540416 8425 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8921 8425 364 364 0 8557 0
[pid=7516] vsize: 35684
Current children cumulated CPU time (s) 410.03
Current children cumulated vsize (Kb) 35684

[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11506 0 0 0 41969 34 0 0 25 0 1 0 21492381 36675584 8509 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 8954 8509 364 364 0 8590 0
[pid=7516] vsize: 35816
Current children cumulated CPU time (s) 420.03
Current children cumulated vsize (Kb) 35816

[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11593 0 0 0 42969 34 0 0 25 0 1 0 21492381 36945920 8594 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7516/statm): 9020 8594 364 364 0 8656 0
[pid=7516] vsize: 36080
Current children cumulated CPU time (s) 430.03
Current children cumulated vsize (Kb) 36080

[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11676 0 0 0 43969 34 0 0 25 0 1 0 21492381 37081088 8676 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7516/statm): 9053 8676 364 364 0 8689 0
[pid=7516] vsize: 36212
Current children cumulated CPU time (s) 440.03
Current children cumulated vsize (Kb) 36212

[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11763 0 0 0 44969 35 0 0 25 0 1 0 21492381 37351424 8762 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/7516/statm): 9119 8762 364 364 0 8755 0
[pid=7516] vsize: 36476
Current children cumulated CPU time (s) 450.04
Current children cumulated vsize (Kb) 36476

[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11845 0 0 0 45969 35 0 0 25 0 1 0 21492381 37621760 8842 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 9185 8842 364 364 0 8821 0
[pid=7516] vsize: 36740
Current children cumulated CPU time (s) 460.04
Current children cumulated vsize (Kb) 36740

[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 11928 0 0 0 46968 35 0 0 25 0 1 0 21492381 37756928 8924 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 9218 8924 364 364 0 8854 0
[pid=7516] vsize: 36872
Current children cumulated CPU time (s) 470.03
Current children cumulated vsize (Kb) 36872

[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16483 0 0 0 47960 44 0 0 25 0 1 0 21492381 55779328 10531 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10531 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 480.04
Current children cumulated vsize (Kb) 54472

[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16513 0 0 0 48959 44 0 0 25 0 1 0 21492381 55779328 10559 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10559 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 490.03
Current children cumulated vsize (Kb) 54472

[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16542 0 0 0 49959 44 0 0 25 0 1 0 21492381 55779328 10587 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10587 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 500.03
Current children cumulated vsize (Kb) 54472

[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16571 0 0 0 50959 44 0 0 25 0 1 0 21492381 55779328 10615 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10615 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 510.03
Current children cumulated vsize (Kb) 54472

[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16600 0 0 0 51959 45 0 0 25 0 1 0 21492381 55779328 10643 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10643 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 520.04
Current children cumulated vsize (Kb) 54472

[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16629 0 0 0 52959 45 0 0 25 0 1 0 21492381 55779328 10670 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10670 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 530.04
Current children cumulated vsize (Kb) 54472

[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16657 0 0 0 53959 45 0 0 25 0 1 0 21492381 55779328 10697 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13618 10697 364 364 0 13254 0
[pid=7516] vsize: 54472
Current children cumulated CPU time (s) 540.04
Current children cumulated vsize (Kb) 54472

[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16711 0 0 0 54959 45 0 0 25 0 1 0 21492381 55914496 10750 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13651 10750 364 364 0 13287 0
[pid=7516] vsize: 54604
Current children cumulated CPU time (s) 550.04
Current children cumulated vsize (Kb) 54604

[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16775 0 0 0 55959 45 0 0 25 0 1 0 21492381 56049664 10813 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13684 10813 364 364 0 13320 0
[pid=7516] vsize: 54736
Current children cumulated CPU time (s) 560.04
Current children cumulated vsize (Kb) 54736

[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16839 0 0 0 56959 46 0 0 25 0 1 0 21492381 56184832 10876 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13717 10876 364 364 0 13353 0
[pid=7516] vsize: 54868
Current children cumulated CPU time (s) 570.05
Current children cumulated vsize (Kb) 54868

[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16904 0 0 0 57958 46 0 0 25 0 1 0 21492381 56320000 10939 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13750 10939 364 364 0 13386 0
[pid=7516] vsize: 55000
Current children cumulated CPU time (s) 580.04
Current children cumulated vsize (Kb) 55000

[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 16968 0 0 0 58958 46 0 0 25 0 1 0 21492381 56455168 11002 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13783 11002 364 364 0 13419 0
[pid=7516] vsize: 55132
Current children cumulated CPU time (s) 590.04
Current children cumulated vsize (Kb) 55132

[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17032 0 0 0 59958 46 0 0 25 0 1 0 21492381 56590336 11065 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13816 11065 364 364 0 13452 0
[pid=7516] vsize: 55264
Current children cumulated CPU time (s) 600.04
Current children cumulated vsize (Kb) 55264

[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17094 0 0 0 60958 46 0 0 25 0 1 0 21492381 56860672 11126 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13882 11126 364 364 0 13518 0
[pid=7516] vsize: 55528
Current children cumulated CPU time (s) 610.04
Current children cumulated vsize (Kb) 55528

[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17156 0 0 0 61958 47 0 0 25 0 1 0 21492381 56995840 11187 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13915 11187 364 364 0 13551 0
[pid=7516] vsize: 55660
Current children cumulated CPU time (s) 620.05
Current children cumulated vsize (Kb) 55660

[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17217 0 0 0 62958 47 0 0 25 0 1 0 21492381 57131008 11247 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13948 11247 364 364 0 13584 0
[pid=7516] vsize: 55792
Current children cumulated CPU time (s) 630.05
Current children cumulated vsize (Kb) 55792

[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17280 0 0 0 63958 47 0 0 25 0 1 0 21492381 57266176 11308 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 13981 11308 364 364 0 13617 0
[pid=7516] vsize: 55924
Current children cumulated CPU time (s) 640.05
Current children cumulated vsize (Kb) 55924

[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17340 0 0 0 64958 47 0 0 25 0 1 0 21492381 57401344 11367 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14014 11367 364 364 0 13650 0
[pid=7516] vsize: 56056
Current children cumulated CPU time (s) 650.05
Current children cumulated vsize (Kb) 56056

[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17401 0 0 0 65958 47 0 0 25 0 1 0 21492381 57536512 11427 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14047 11427 364 364 0 13683 0
[pid=7516] vsize: 56188
Current children cumulated CPU time (s) 660.05
Current children cumulated vsize (Kb) 56188

[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17460 0 0 0 66958 48 0 0 25 0 1 0 21492381 57671680 11485 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14080 11485 364 364 0 13716 0
[pid=7516] vsize: 56320
Current children cumulated CPU time (s) 670.06
Current children cumulated vsize (Kb) 56320

[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17520 0 0 0 67958 48 0 0 25 0 1 0 21492381 57806848 11544 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14113 11544 364 364 0 13749 0
[pid=7516] vsize: 56452
Current children cumulated CPU time (s) 680.06
Current children cumulated vsize (Kb) 56452

[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17579 0 0 0 68958 48 0 0 25 0 1 0 21492381 57942016 11602 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14146 11602 364 364 0 13782 0
[pid=7516] vsize: 56584
Current children cumulated CPU time (s) 690.06
Current children cumulated vsize (Kb) 56584

[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17637 0 0 0 69958 48 0 0 25 0 1 0 21492381 58077184 11659 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14179 11659 364 364 0 13815 0
[pid=7516] vsize: 56716
Current children cumulated CPU time (s) 700.06
Current children cumulated vsize (Kb) 56716

[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17696 0 0 0 70957 48 0 0 25 0 1 0 21492381 58212352 11717 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14212 11717 364 364 0 13848 0
[pid=7516] vsize: 56848
Current children cumulated CPU time (s) 710.05
Current children cumulated vsize (Kb) 56848

[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17753 0 0 0 71957 48 0 0 25 0 1 0 21492381 58347520 11773 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14245 11773 364 364 0 13881 0
[pid=7516] vsize: 56980
Current children cumulated CPU time (s) 720.05
Current children cumulated vsize (Kb) 56980

[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17810 0 0 0 72957 49 0 0 25 0 1 0 21492381 58482688 11829 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14278 11829 364 364 0 13914 0
[pid=7516] vsize: 57112
Current children cumulated CPU time (s) 730.06
Current children cumulated vsize (Kb) 57112

[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17869 0 0 0 73957 49 0 0 25 0 1 0 21492381 58617856 11886 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14311 11886 364 364 0 13947 0
[pid=7516] vsize: 57244
Current children cumulated CPU time (s) 740.06
Current children cumulated vsize (Kb) 57244

[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17926 0 0 0 74957 49 0 0 25 0 1 0 21492381 58753024 11942 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14344 11942 364 364 0 13980 0
[pid=7516] vsize: 57376
Current children cumulated CPU time (s) 750.06
Current children cumulated vsize (Kb) 57376

[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 17987 0 0 0 75956 49 0 0 25 0 1 0 21492381 58888192 12002 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14377 12002 364 364 0 14013 0
[pid=7516] vsize: 57508
Current children cumulated CPU time (s) 760.05
Current children cumulated vsize (Kb) 57508

[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18050 0 0 0 76956 50 0 0 25 0 1 0 21492381 59023360 12064 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14410 12064 364 364 0 14046 0
[pid=7516] vsize: 57640
Current children cumulated CPU time (s) 770.06
Current children cumulated vsize (Kb) 57640

[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18114 0 0 0 77956 50 0 0 25 0 1 0 21492381 59293696 12127 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14476 12127 364 364 0 14112 0
[pid=7516] vsize: 57904
Current children cumulated CPU time (s) 780.06
Current children cumulated vsize (Kb) 57904

[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18177 0 0 0 78956 50 0 0 25 0 1 0 21492381 59428864 12189 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14509 12189 364 364 0 14145 0
[pid=7516] vsize: 58036
Current children cumulated CPU time (s) 790.06
Current children cumulated vsize (Kb) 58036

[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18241 0 0 0 79956 50 0 0 25 0 1 0 21492381 59564032 12252 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14542 12252 364 364 0 14178 0
[pid=7516] vsize: 58168
Current children cumulated CPU time (s) 800.06
Current children cumulated vsize (Kb) 58168

[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18303 0 0 0 80956 50 0 0 25 0 1 0 21492381 59699200 12313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14575 12313 364 364 0 14211 0
[pid=7516] vsize: 58300
Current children cumulated CPU time (s) 810.06
Current children cumulated vsize (Kb) 58300

[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18365 0 0 0 81956 50 0 0 25 0 1 0 21492381 59834368 12374 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14608 12374 364 364 0 14244 0
[pid=7516] vsize: 58432
Current children cumulated CPU time (s) 820.06
Current children cumulated vsize (Kb) 58432

[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18428 0 0 0 82956 50 0 0 25 0 1 0 21492381 59969536 12436 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14641 12436 364 364 0 14277 0
[pid=7516] vsize: 58564
Current children cumulated CPU time (s) 830.06
Current children cumulated vsize (Kb) 58564

[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18490 0 0 0 83956 51 0 0 25 0 1 0 21492381 60239872 12497 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14707 12497 364 364 0 14343 0
[pid=7516] vsize: 58828
Current children cumulated CPU time (s) 840.07
Current children cumulated vsize (Kb) 58828

[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18551 0 0 0 84956 51 0 0 25 0 1 0 21492381 60375040 12557 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14740 12557 364 364 0 14376 0
[pid=7516] vsize: 58960
Current children cumulated CPU time (s) 850.07
Current children cumulated vsize (Kb) 58960

[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18611 0 0 0 85956 51 0 0 25 0 1 0 21492381 60510208 12616 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14773 12616 364 364 0 14409 0
[pid=7516] vsize: 59092
Current children cumulated CPU time (s) 860.07
Current children cumulated vsize (Kb) 59092

[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18672 0 0 0 86956 51 0 0 25 0 1 0 21492381 60645376 12676 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14806 12676 364 364 0 14442 0
[pid=7516] vsize: 59224
Current children cumulated CPU time (s) 870.07
Current children cumulated vsize (Kb) 59224

[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18733 0 0 0 87956 51 0 0 25 0 1 0 21492381 60780544 12736 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14839 12736 364 364 0 14475 0
[pid=7516] vsize: 59356
Current children cumulated CPU time (s) 880.07
Current children cumulated vsize (Kb) 59356

[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18792 0 0 0 88956 51 0 0 25 0 1 0 21492381 60915712 12794 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14872 12794 364 364 0 14508 0
[pid=7516] vsize: 59488
Current children cumulated CPU time (s) 890.07
Current children cumulated vsize (Kb) 59488

[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18852 0 0 0 89955 51 0 0 25 0 1 0 21492381 61186048 12853 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14938 12853 364 364 0 14574 0
[pid=7516] vsize: 59752
Current children cumulated CPU time (s) 900.06
Current children cumulated vsize (Kb) 59752

[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18911 0 0 0 90955 52 0 0 25 0 1 0 21492381 61321216 12911 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 14971 12911 364 364 0 14607 0
[pid=7516] vsize: 59884
Current children cumulated CPU time (s) 910.07
Current children cumulated vsize (Kb) 59884

[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 18971 0 0 0 91955 52 0 0 25 0 1 0 21492381 61456384 12970 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15004 12970 364 364 0 14640 0
[pid=7516] vsize: 60016
Current children cumulated CPU time (s) 920.07
Current children cumulated vsize (Kb) 60016

[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19028 0 0 0 92955 52 0 0 25 0 1 0 21492381 61591552 13027 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15037 13027 364 364 0 14673 0
[pid=7516] vsize: 60148
Current children cumulated CPU time (s) 930.07
Current children cumulated vsize (Kb) 60148

[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19087 0 0 0 93955 52 0 0 25 0 1 0 21492381 61726720 13085 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15070 13085 364 364 0 14706 0
[pid=7516] vsize: 60280
Current children cumulated CPU time (s) 940.07
Current children cumulated vsize (Kb) 60280

[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19145 0 0 0 94955 52 0 0 25 0 1 0 21492381 61861888 13142 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15103 13142 364 364 0 14739 0
[pid=7516] vsize: 60412
Current children cumulated CPU time (s) 950.07
Current children cumulated vsize (Kb) 60412

[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19203 0 0 0 95955 52 0 0 25 0 1 0 21492381 61997056 13199 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15136 13199 364 364 0 14772 0
[pid=7516] vsize: 60544
Current children cumulated CPU time (s) 960.07
Current children cumulated vsize (Kb) 60544

[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19259 0 0 0 96955 52 0 0 25 0 1 0 21492381 62132224 13254 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15169 13254 364 364 0 14805 0
[pid=7516] vsize: 60676
Current children cumulated CPU time (s) 970.07
Current children cumulated vsize (Kb) 60676

[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19316 0 0 0 97955 52 0 0 25 0 1 0 21492381 62267392 13310 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15202 13310 364 364 0 14838 0
[pid=7516] vsize: 60808
Current children cumulated CPU time (s) 980.07
Current children cumulated vsize (Kb) 60808

[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19375 0 0 0 98955 53 0 0 25 0 1 0 21492381 62537728 13368 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15268 13368 364 364 0 14904 0
[pid=7516] vsize: 61072
Current children cumulated CPU time (s) 990.08
Current children cumulated vsize (Kb) 61072

[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19430 0 0 0 99955 53 0 0 25 0 1 0 21492381 62672896 13422 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15301 13422 364 364 0 14937 0
[pid=7516] vsize: 61204
Current children cumulated CPU time (s) 1000.08
Current children cumulated vsize (Kb) 61204

[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19487 0 0 0 100955 53 0 0 25 0 1 0 21492381 62808064 13478 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15334 13478 364 364 0 14970 0
[pid=7516] vsize: 61336
Current children cumulated CPU time (s) 1010.08
Current children cumulated vsize (Kb) 61336

[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19543 0 0 0 101955 53 0 0 25 0 1 0 21492381 62943232 13533 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15367 13533 364 364 0 15003 0
[pid=7516] vsize: 61468
Current children cumulated CPU time (s) 1020.08
Current children cumulated vsize (Kb) 61468

[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19599 0 0 0 102954 54 0 0 25 0 1 0 21492381 63078400 13588 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15400 13588 364 364 0 15036 0
[pid=7516] vsize: 61600
Current children cumulated CPU time (s) 1030.08
Current children cumulated vsize (Kb) 61600

[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19655 0 0 0 103954 54 0 0 25 0 1 0 21492381 63213568 13643 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15433 13643 364 364 0 15069 0
[pid=7516] vsize: 61732
Current children cumulated CPU time (s) 1040.08
Current children cumulated vsize (Kb) 61732

[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19709 0 0 0 104954 54 0 0 25 0 1 0 21492381 63348736 13697 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15466 13697 364 364 0 15102 0
[pid=7516] vsize: 61864
Current children cumulated CPU time (s) 1050.08
Current children cumulated vsize (Kb) 61864

[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19764 0 0 0 105954 54 0 0 25 0 1 0 21492381 63483904 13751 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15499 13751 364 364 0 15135 0
[pid=7516] vsize: 61996
Current children cumulated CPU time (s) 1060.08
Current children cumulated vsize (Kb) 61996

[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19819 0 0 0 106954 54 0 0 25 0 1 0 21492381 63619072 13805 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15532 13805 364 364 0 15168 0
[pid=7516] vsize: 62128
Current children cumulated CPU time (s) 1070.08
Current children cumulated vsize (Kb) 62128

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19874 0 0 0 107954 54 0 0 25 0 1 0 21492381 63754240 13859 4294967295 134512640 135987407 3221224560 3221221952 134615235 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15565 13859 364 364 0 15201 0
[pid=7516] vsize: 62260
Current children cumulated CPU time (s) 1080.08
Current children cumulated vsize (Kb) 62260

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19929 0 0 0 108953 55 0 0 25 0 1 0 21492381 63889408 13913 4294967295 134512640 135987407 3221224560 3221221744 134536109 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15598 13913 364 364 0 15234 0
[pid=7516] vsize: 62392
Current children cumulated CPU time (s) 1090.08
Current children cumulated vsize (Kb) 62392

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 19983 0 0 0 109953 55 0 0 25 0 1 0 21492381 64024576 13966 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15631 13966 364 364 0 15267 0
[pid=7516] vsize: 62524
Current children cumulated CPU time (s) 1100.08
Current children cumulated vsize (Kb) 62524

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20036 0 0 0 110953 55 0 0 25 0 1 0 21492381 64159744 14018 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15664 14018 364 364 0 15300 0
[pid=7516] vsize: 62656
Current children cumulated CPU time (s) 1110.08
Current children cumulated vsize (Kb) 62656

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20089 0 0 0 111953 55 0 0 25 0 1 0 21492381 64294912 14070 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15697 14070 364 364 0 15333 0
[pid=7516] vsize: 62788
Current children cumulated CPU time (s) 1120.08
Current children cumulated vsize (Kb) 62788

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20142 0 0 0 112953 55 0 0 25 0 1 0 21492381 64430080 14123 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15730 14123 364 364 0 15366 0
[pid=7516] vsize: 62920
Current children cumulated CPU time (s) 1130.08
Current children cumulated vsize (Kb) 62920

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20195 0 0 0 113953 56 0 0 25 0 1 0 21492381 64565248 14175 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15763 14175 364 364 0 15399 0
[pid=7516] vsize: 63052
Current children cumulated CPU time (s) 1140.09
Current children cumulated vsize (Kb) 63052

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20249 0 0 0 114953 56 0 0 25 0 1 0 21492381 64700416 14228 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15796 14228 364 364 0 15432 0
[pid=7516] vsize: 63184
Current children cumulated CPU time (s) 1150.09
Current children cumulated vsize (Kb) 63184

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20302 0 0 0 115953 56 0 0 25 0 1 0 21492381 64835584 14280 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15829 14280 364 364 0 15465 0
[pid=7516] vsize: 63316
Current children cumulated CPU time (s) 1160.09
Current children cumulated vsize (Kb) 63316

[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20353 0 0 0 116953 56 0 0 25 0 1 0 21492381 64970752 14330 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15862 14330 364 364 0 15498 0
[pid=7516] vsize: 63448
Current children cumulated CPU time (s) 1170.09
Current children cumulated vsize (Kb) 63448

[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20405 0 0 0 117953 56 0 0 25 0 1 0 21492381 65105920 14381 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15895 14381 364 364 0 15531 0
[pid=7516] vsize: 63580
Current children cumulated CPU time (s) 1180.09
Current children cumulated vsize (Kb) 63580

[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20458 0 0 0 118953 56 0 0 25 0 1 0 21492381 65241088 14433 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15928 14433 364 364 0 15564 0
[pid=7516] vsize: 63712
Current children cumulated CPU time (s) 1190.09
Current children cumulated vsize (Kb) 63712

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20508 0 0 0 119953 56 0 0 25 0 1 0 21492381 65376256 14483 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15961 14483 364 364 0 15597 0
[pid=7516] vsize: 63844
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (Kb) 63844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 7518
Raw data (/proc/7516/stat): 7516 (pb2sat) R 7515 7516 4059 0 -1 0 20508 0 0 0 119953 56 0 0 25 0 1 0 21492381 65376256 14483 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/7516/statm): 15961 14483 364 364 0 15597 0
[pid=7516] vsize: 63844
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (Kb) 63844

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

Child status: 0
Real time (s): 1200.61
CPU time (s): 1200.67
CPU user time (s): 1200.07
CPU system time (s): 0.598908
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (Kb): 63844

Verifier Data

ERROR: no interpretation found !