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

Namesubmitted/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb
MD5SUM62b75258091a8b1382fa8b1c633d9511
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 694
Optimality of the best value was proved YES
Number of terms in the objective function 99
Biggest coefficient in the objective function 60
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 4087
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 60
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 4087
Number of bits of the biggest sum of numbers12
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark13.371
Number of variables99
Total number of constraints185
Number of constraints which are clauses185
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20

Trace number 9786

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-23 15:06:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8455 boxname=wulflinc10 idbench=251 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  62b75258091a8b1382fa8b1c633d9511  /oldhome/oroussel/tmp/wulflinc10/normalized-cm42a.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-cm42a.opb
IDLAUNCH: 8455
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.193
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943780 kB
Buffers:         11232 kB
Cached:          62956 kB
SwapCached:          0 kB
Active:          44396 kB
Inactive:        32668 kB
HighTotal:      131008 kB
HighFree:        64120 kB
LowTotal:       903652 kB
LowFree:        879660 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           6972 kB
Slab:             8276 kB
Committed_AS:    63620 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 15:26:18 (client local time) WITH STATUS 10 IN 1208.58 SECONDS
stats: 8455 0 1208.58 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 3667
c small objective detected
c got solution with objective value: 1615
c [startup+52.1815 s]  setting bit 11 to 1

c Decision: 48421/133591	Time: 63.3344/86400
c Decision: 48421/133591	Time: 94.5426/86400
c Decision: 50311/133591	Time: 128.845/86400
c Decision: 50311/133591	Time: 156.726/86400
c Decision: 50311/133591	Time: 182.778/86400
c Decision: 50311/133591	Time: 215.408/86400
c Decision: 50311/133591	Time: 255.054/86400
c Decision: 50311/133591	Time: 282.58/86400
c Decision: 50311/133591	Time: 311.317/86400
c Decision: 50311/133591	Time: 345.252/86400
c Decision: 50311/133591	Time: 372.061/86400
c Decision: 50311/133591	Time: 404.982/86400
c Decision: 50311/133591	Time: 439.086/86400
c Decision: 50311/133591	Time: 470.905/86400
c Decision: 50311/133591	Time: 503.351/86400
c Decision: 50311/133591	Time: 534.818/86400
c Decision: 50311/133591	Time: 561.283/86400
c Decision: 50311/133591	Time: 594.024/86400
c Decision: 50311/133591	Time: 624.403/86400
c Decision: 50311/133591	Time: 651.521/86400
c Decision: 50311/133591	Time: 685.866/86400
c Decision: 50311/133591	Time: 714.856/86400
c Decision: 50311/133591	Time: 749.491/86400
c Decision: 50311/133591	Time: 781.225/86400
c Decision: 50311/133591	Time: 813.814/86400
c Decision: 50311/133591	Time: 847.442/86400
c Decision: 50311/133591	Time: 877.953/86400
c Decision: 50311/133591	Time: 908.755/86400
c Decision: 50311/133591	Time: 938.66/86400
c Decision: 50311/133591	Time: 971.408/86400
c Decision: 50311/133591	Time: 1003.87/86400
c Decision: 50311/133591	Time: 1038.37/86400
c Decision: 52241/133591	Time: 1078.96/86400
c Decision: 52241/133591	Time: 1112.74/86400
c Decision: 52241/133591	Time: 1144.51/86400s SATISFIABLE
v -x1 -x10 x11 x12 x13 x14 x15 -x16 -x17 -x18 -x19 -x2 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x3 x30 -x31 x32 x33 x34 -x35 x36 -x37 -x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x5 -x50 x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 x59 x6 -x60 x61 -x62 -x63 -x64 -x65 x66 x67 x68 x69 -x7 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x8 x80 x81 x82 x83 -x84 -x85 -x86 -x87 x88 x89 -x9 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99

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/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21137561 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 373 2 364 364 0 9 0
[pid=6846] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc10/normalized-cm42a.opb

[startup+10.0019 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 26293 0 0 0 937 57 0 0 25 0 1 0 21137561 85315584 14939 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 20829 14939 364 364 0 20465 0
[pid=6846] vsize: 83316
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 83316

[startup+20.0025 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 26416 0 0 0 1934 59 0 0 25 0 1 0 21137561 85856256 15062 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 20961 15062 364 364 0 20597 0
[pid=6846] vsize: 83844
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 83844

[startup+30.003 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 26591 0 0 0 2930 60 0 0 25 0 1 0 21137561 86384640 15138 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21090 15138 364 364 0 20726 0
[pid=6846] vsize: 84360
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 84360

[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 26645 0 0 0 3928 61 0 0 25 0 1 0 21137561 86515712 15159 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21122 15159 364 364 0 20758 0
[pid=6846] vsize: 84488
Current children cumulated CPU time (s) 39.89
Current children cumulated vsize (Kb) 84488

[startup+50.0031 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 26655 0 0 0 4925 62 0 0 25 0 1 0 21137561 86515712 15169 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21122 15169 364 364 0 20758 0
[pid=6846] vsize: 84488
Current children cumulated CPU time (s) 49.87
Current children cumulated vsize (Kb) 84488

[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27233 0 0 0 5921 64 0 0 25 0 1 0 21137561 87654400 15420 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21400 15420 364 364 0 21036 0
[pid=6846] vsize: 85600
Current children cumulated CPU time (s) 59.85
Current children cumulated vsize (Kb) 85600

[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27466 0 0 0 6919 65 0 0 25 0 1 0 21137561 88887296 15653 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21701 15653 364 364 0 21337 0
[pid=6846] vsize: 86804
Current children cumulated CPU time (s) 69.84
Current children cumulated vsize (Kb) 86804

[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27577 0 0 0 7916 67 0 0 25 0 1 0 21137561 89427968 15764 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21833 15764 364 364 0 21469 0
[pid=6846] vsize: 87332
Current children cumulated CPU time (s) 79.83
Current children cumulated vsize (Kb) 87332

[startup+90.0034 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27645 0 0 0 8914 68 0 0 25 0 1 0 21137561 89559040 15799 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21865 15799 364 364 0 21501 0
[pid=6846] vsize: 87460
Current children cumulated CPU time (s) 89.82
Current children cumulated vsize (Kb) 87460

[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27662 0 0 0 9912 68 0 0 25 0 1 0 21137561 89559040 15816 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21865 15816 364 364 0 21501 0
[pid=6846] vsize: 87460
Current children cumulated CPU time (s) 99.8
Current children cumulated vsize (Kb) 87460

[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27676 0 0 0 10909 69 0 0 25 0 1 0 21137561 89559040 15830 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21865 15830 364 364 0 21501 0
[pid=6846] vsize: 87460
Current children cumulated CPU time (s) 109.78
Current children cumulated vsize (Kb) 87460

[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27965 0 0 0 11906 71 0 0 25 0 1 0 21137561 89694208 15858 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21898 15858 364 364 0 21534 0
[pid=6846] vsize: 87592
Current children cumulated CPU time (s) 119.77
Current children cumulated vsize (Kb) 87592

[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27988 0 0 0 12903 71 0 0 25 0 1 0 21137561 89829376 15881 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21931 15881 364 364 0 21567 0
[pid=6846] vsize: 87724
Current children cumulated CPU time (s) 129.74
Current children cumulated vsize (Kb) 87724

[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 27996 0 0 0 13901 72 0 0 25 0 1 0 21137561 89829376 15889 4294967295 134512640 135987407 3221224576 3221223248 134824247 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21931 15889 364 364 0 21567 0
[pid=6846] vsize: 87724
Current children cumulated CPU time (s) 139.73
Current children cumulated vsize (Kb) 87724

[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28274 0 0 0 14898 73 0 0 25 0 1 0 21137561 89829376 15906 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21931 15906 364 364 0 21567 0
[pid=6846] vsize: 87724
Current children cumulated CPU time (s) 149.71
Current children cumulated vsize (Kb) 87724

[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28283 0 0 0 15895 74 0 0 25 0 1 0 21137561 89829376 15915 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21931 15915 364 364 0 21567 0
[pid=6846] vsize: 87724
Current children cumulated CPU time (s) 159.69
Current children cumulated vsize (Kb) 87724

[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28293 0 0 0 16893 75 0 0 25 0 1 0 21137561 89829376 15925 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21931 15925 364 364 0 21567 0
[pid=6846] vsize: 87724
Current children cumulated CPU time (s) 169.68
Current children cumulated vsize (Kb) 87724

[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28333 0 0 0 17891 76 0 0 25 0 1 0 21137561 89960448 15932 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21963 15932 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 179.67
Current children cumulated vsize (Kb) 87852

[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28606 0 0 0 18889 78 0 0 25 0 1 0 21137561 89960448 15944 4294967295 134512640 135987407 3221224576 3221223120 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 21963 15944 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 189.67
Current children cumulated vsize (Kb) 87852

[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) T 6845 6846 4061 0 -1 0 28614 0 0 0 19886 79 0 0 25 0 1 0 21137561 89960448 15952 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15952 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 199.65
Current children cumulated vsize (Kb) 87852

[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28881 0 0 0 20882 81 0 0 25 0 1 0 21137561 89960448 15958 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15958 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 209.63
Current children cumulated vsize (Kb) 87852

[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 28889 0 0 0 21878 82 0 0 25 0 1 0 21137561 89960448 15966 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15966 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 219.6
Current children cumulated vsize (Kb) 87852

[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) T 6845 6846 4061 0 -1 0 28898 0 0 0 22876 83 0 0 25 0 1 0 21137561 89960448 15975 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15975 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 229.59
Current children cumulated vsize (Kb) 87852

[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29169 0 0 0 23872 85 0 0 25 0 1 0 21137561 89960448 15985 4294967295 134512640 135987407 3221224576 3221223120 134812031 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15985 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 239.57
Current children cumulated vsize (Kb) 87852

[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29175 0 0 0 24870 86 0 0 25 0 1 0 21137561 89960448 15991 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21963 15991 364 364 0 21599 0
[pid=6846] vsize: 87852
Current children cumulated CPU time (s) 249.56
Current children cumulated vsize (Kb) 87852

[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29217 0 0 0 25868 87 0 0 25 0 1 0 21137561 90091520 16000 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21995 16000 364 364 0 21631 0
[pid=6846] vsize: 87980
Current children cumulated CPU time (s) 259.55
Current children cumulated vsize (Kb) 87980

[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29484 0 0 0 26866 89 0 0 25 0 1 0 21137561 90091520 16006 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 21995 16006 364 364 0 21631 0
[pid=6846] vsize: 87980
Current children cumulated CPU time (s) 269.55
Current children cumulated vsize (Kb) 87980

[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29524 0 0 0 27864 89 0 0 25 0 1 0 21137561 90222592 16013 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22027 16013 364 364 0 21663 0
[pid=6846] vsize: 88108
Current children cumulated CPU time (s) 279.53
Current children cumulated vsize (Kb) 88108

[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29532 0 0 0 28862 90 0 0 25 0 1 0 21137561 90222592 16021 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22027 16021 364 364 0 21663 0
[pid=6846] vsize: 88108
Current children cumulated CPU time (s) 289.52
Current children cumulated vsize (Kb) 88108

[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29566 0 0 0 29861 90 0 0 25 0 1 0 21137561 90488832 16055 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22092 16055 364 364 0 21728 0
[pid=6846] vsize: 88368
Current children cumulated CPU time (s) 299.51
Current children cumulated vsize (Kb) 88368

[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29843 0 0 0 30858 91 0 0 25 0 1 0 21137561 90488832 16071 4294967295 134512640 135987407 3221224576 3221223120 134811701 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22092 16071 364 364 0 21728 0
[pid=6846] vsize: 88368
Current children cumulated CPU time (s) 309.49
Current children cumulated vsize (Kb) 88368

[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29847 0 0 0 31855 93 0 0 25 0 1 0 21137561 90488832 16075 4294967295 134512640 135987407 3221224576 3221223248 134824806 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22092 16075 364 364 0 21728 0
[pid=6846] vsize: 88368
Current children cumulated CPU time (s) 319.48
Current children cumulated vsize (Kb) 88368

[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 29854 0 0 0 32853 93 0 0 25 0 1 0 21137561 90488832 16082 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22092 16082 364 364 0 21728 0
[pid=6846] vsize: 88368
Current children cumulated CPU time (s) 329.46
Current children cumulated vsize (Kb) 88368

[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30129 0 0 0 33850 95 0 0 25 0 1 0 21137561 90488832 16096 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22092 16096 364 364 0 21728 0
[pid=6846] vsize: 88368
Current children cumulated CPU time (s) 339.45
Current children cumulated vsize (Kb) 88368

[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30173 0 0 0 34848 96 0 0 25 0 1 0 21137561 90624000 16140 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22125 16140 364 364 0 21761 0
[pid=6846] vsize: 88500
Current children cumulated CPU time (s) 349.44
Current children cumulated vsize (Kb) 88500

[startup+360.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30185 0 0 0 35846 97 0 0 25 0 1 0 21137561 90624000 16152 4294967295 134512640 135987407 3221224576 3221223120 134812160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22125 16152 364 364 0 21761 0
[pid=6846] vsize: 88500
Current children cumulated CPU time (s) 359.43
Current children cumulated vsize (Kb) 88500

[startup+370.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30452 0 0 0 36844 98 0 0 25 0 1 0 21137561 90624000 16158 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22125 16158 364 364 0 21761 0
[pid=6846] vsize: 88500
Current children cumulated CPU time (s) 369.42
Current children cumulated vsize (Kb) 88500

[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30459 0 0 0 37842 100 0 0 25 0 1 0 21137561 90624000 16165 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22125 16165 364 364 0 21761 0
[pid=6846] vsize: 88500
Current children cumulated CPU time (s) 379.42
Current children cumulated vsize (Kb) 88500

[startup+390.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30467 0 0 0 38840 100 0 0 25 0 1 0 21137561 90624000 16173 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22125 16173 364 364 0 21761 0
[pid=6846] vsize: 88500
Current children cumulated CPU time (s) 389.4
Current children cumulated vsize (Kb) 88500

[startup+400.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30776 0 0 0 39837 101 0 0 25 0 1 0 21137561 90890240 16221 4294967295 134512640 135987407 3221224576 3221223296 134812703 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16221 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 399.38
Current children cumulated vsize (Kb) 88760

[startup+410.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30785 0 0 0 40835 102 0 0 25 0 1 0 21137561 90890240 16230 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16230 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 409.37
Current children cumulated vsize (Kb) 88760

[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 30792 0 0 0 41833 103 0 0 25 0 1 0 21137561 90890240 16237 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16237 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 419.36
Current children cumulated vsize (Kb) 88760

[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31057 0 0 0 42829 104 0 0 25 0 1 0 21137561 90890240 16241 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16241 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 429.33
Current children cumulated vsize (Kb) 88760

[startup+440.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31059 0 0 0 43826 105 0 0 25 0 1 0 21137561 90890240 16243 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16243 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 439.31
Current children cumulated vsize (Kb) 88760

[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31060 0 0 0 44824 106 0 0 25 0 1 0 21137561 90890240 16244 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16244 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 449.3
Current children cumulated vsize (Kb) 88760

[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31322 0 0 0 45822 107 0 0 25 0 1 0 21137561 90890240 16245 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16245 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 459.29
Current children cumulated vsize (Kb) 88760

[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31324 0 0 0 46820 107 0 0 25 0 1 0 21137561 90890240 16247 4294967295 134512640 135987407 3221224576 3221223120 134812000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16247 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 469.27
Current children cumulated vsize (Kb) 88760

[startup+480.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31325 0 0 0 47817 108 0 0 25 0 1 0 21137561 90890240 16248 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16248 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 479.25
Current children cumulated vsize (Kb) 88760

[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31329 0 0 0 48815 109 0 0 25 0 1 0 21137561 90890240 16252 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16252 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 489.24
Current children cumulated vsize (Kb) 88760

[startup+500.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31597 0 0 0 49813 111 0 0 25 0 1 0 21137561 90890240 16259 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16259 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 499.24
Current children cumulated vsize (Kb) 88760

[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31603 0 0 0 50811 111 0 0 25 0 1 0 21137561 90890240 16265 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16265 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 509.22
Current children cumulated vsize (Kb) 88760

[startup+520.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31611 0 0 0 51809 112 0 0 25 0 1 0 21137561 90890240 16273 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16273 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 519.21
Current children cumulated vsize (Kb) 88760

[startup+530.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31879 0 0 0 52806 114 0 0 25 0 1 0 21137561 90890240 16280 4294967295 134512640 135987407 3221224576 3221223120 134811915 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 22190 16280 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 529.2
Current children cumulated vsize (Kb) 88760

[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31886 0 0 0 53804 115 0 0 25 0 1 0 21137561 90890240 16287 4294967295 134512640 135987407 3221224576 3221223296 134812708 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16287 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 539.19
Current children cumulated vsize (Kb) 88760

[startup+550.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 31893 0 0 0 54802 115 0 0 25 0 1 0 21137561 90890240 16294 4294967295 134512640 135987407 3221224576 3221223184 134801142 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16294 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 549.17
Current children cumulated vsize (Kb) 88760

[startup+560.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32161 0 0 0 55800 117 0 0 25 0 1 0 21137561 90890240 16301 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 22190 16301 364 364 0 21826 0
[pid=6846] vsize: 88760
Current children cumulated CPU time (s) 559.17
Current children cumulated vsize (Kb) 88760

[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32171 0 0 0 56798 117 0 0 25 0 1 0 21137561 99278848 16311 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 24238 16311 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 569.15
Current children cumulated vsize (Kb) 96952

[startup+580.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32177 0 0 0 57796 118 0 0 25 0 1 0 21137561 99278848 16317 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/6846/statm): 24238 16317 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 579.14
Current children cumulated vsize (Kb) 96952

[startup+590.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32443 0 0 0 58793 119 0 0 25 0 1 0 21137561 99278848 16322 4294967295 134512640 135987407 3221224576 3221223280 134790066 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24238 16322 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 589.12
Current children cumulated vsize (Kb) 96952

[startup+600.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32444 0 0 0 59791 120 0 0 25 0 1 0 21137561 99278848 16323 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24238 16323 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 599.11
Current children cumulated vsize (Kb) 96952

[startup+610.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32449 0 0 0 60789 121 0 0 25 0 1 0 21137561 99278848 16328 4294967295 134512640 135987407 3221224576 3221223120 134811790 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24238 16328 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 609.1
Current children cumulated vsize (Kb) 96952

[startup+620.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32717 0 0 0 61786 123 0 0 25 0 1 0 21137561 99278848 16335 4294967295 134512640 135987407 3221224576 3221223296 134812603 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24238 16335 364 364 0 23874 0
[pid=6846] vsize: 96952
Current children cumulated CPU time (s) 619.09
Current children cumulated vsize (Kb) 96952

[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32729 0 0 0 62785 123 0 0 25 0 1 0 21137561 99434496 16347 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24276 16347 364 364 0 23912 0
[pid=6846] vsize: 97104
Current children cumulated CPU time (s) 629.08
Current children cumulated vsize (Kb) 97104

[startup+640.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 32736 0 0 0 63783 124 0 0 25 0 1 0 21137561 99434496 16354 4294967295 134512640 135987407 3221224576 3221223120 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24276 16354 364 364 0 23912 0
[pid=6846] vsize: 97104
Current children cumulated CPU time (s) 639.07
Current children cumulated vsize (Kb) 97104

[startup+650.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33003 0 0 0 64780 125 0 0 25 0 1 0 21137561 99434496 16360 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24276 16360 364 364 0 23912 0
[pid=6846] vsize: 97104
Current children cumulated CPU time (s) 649.05
Current children cumulated vsize (Kb) 97104

[startup+660.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33048 0 0 0 65778 126 0 0 25 0 1 0 21137561 99700736 16405 4294967295 134512640 135987407 3221224576 3221223296 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16405 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 659.04
Current children cumulated vsize (Kb) 97364

[startup+670.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33057 0 0 0 66775 127 0 0 25 0 1 0 21137561 99700736 16414 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16414 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 669.02
Current children cumulated vsize (Kb) 97364

[startup+680.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33326 0 0 0 67771 129 0 0 25 0 1 0 21137561 99700736 16422 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16422 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 679
Current children cumulated vsize (Kb) 97364

[startup+690.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33334 0 0 0 68769 130 0 0 25 0 1 0 21137561 99700736 16430 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16430 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 688.99
Current children cumulated vsize (Kb) 97364

[startup+700.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33342 0 0 0 69766 132 0 0 25 0 1 0 21137561 99700736 16438 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16438 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 698.98
Current children cumulated vsize (Kb) 97364

[startup+710.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33610 0 0 0 70763 133 0 0 25 0 1 0 21137561 99700736 16445 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16445 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 708.96
Current children cumulated vsize (Kb) 97364

[startup+720.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33617 0 0 0 71762 134 0 0 25 0 1 0 21137561 99700736 16452 4294967295 134512640 135987407 3221224576 3221223120 134811995 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16452 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 718.96
Current children cumulated vsize (Kb) 97364

[startup+730.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33624 0 0 0 72759 135 0 0 25 0 1 0 21137561 99700736 16459 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24341 16459 364 364 0 23977 0
[pid=6846] vsize: 97364
Current children cumulated CPU time (s) 728.94
Current children cumulated vsize (Kb) 97364

[startup+740.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33935 0 0 0 73756 136 0 0 25 0 1 0 21137561 99831808 16476 4294967295 134512640 135987407 3221224576 3221223120 134812150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16476 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 738.92
Current children cumulated vsize (Kb) 97492

[startup+750.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33936 0 0 0 74754 137 0 0 25 0 1 0 21137561 99831808 16477 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16477 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 748.91
Current children cumulated vsize (Kb) 97492

[startup+760.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 33938 0 0 0 75752 138 0 0 25 0 1 0 21137561 99831808 16479 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16479 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 758.9
Current children cumulated vsize (Kb) 97492

[startup+770.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34200 0 0 0 76750 139 0 0 25 0 1 0 21137561 99831808 16480 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16480 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 768.89
Current children cumulated vsize (Kb) 97492

[startup+780.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34201 0 0 0 77748 140 0 0 25 0 1 0 21137561 99831808 16481 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16481 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 778.88
Current children cumulated vsize (Kb) 97492

[startup+790.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34202 0 0 0 78745 141 0 0 25 0 1 0 21137561 99831808 16482 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16482 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 788.86
Current children cumulated vsize (Kb) 97492

[startup+800.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34212 0 0 0 79743 142 0 0 25 0 1 0 21137561 99831808 16492 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16492 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 798.85
Current children cumulated vsize (Kb) 97492

[startup+810.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34483 0 0 0 80740 144 0 0 25 0 1 0 21137561 99831808 16502 4294967295 134512640 135987407 3221224576 3221223244 134812262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16502 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 808.84
Current children cumulated vsize (Kb) 97492

[startup+820.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34498 0 0 0 81739 145 0 0 25 0 1 0 21137561 99831808 16517 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16517 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 818.84
Current children cumulated vsize (Kb) 97492

[startup+830.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34509 0 0 0 82737 145 0 0 25 0 1 0 21137561 99831808 16528 4294967295 134512640 135987407 3221224576 3221223120 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16528 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 828.82
Current children cumulated vsize (Kb) 97492

[startup+840.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34776 0 0 0 83734 147 0 0 25 0 1 0 21137561 99831808 16534 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16534 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 838.81
Current children cumulated vsize (Kb) 97492

[startup+850.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34783 0 0 0 84732 148 0 0 25 0 1 0 21137561 99831808 16541 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24373 16541 364 364 0 24009 0
[pid=6846] vsize: 97492
Current children cumulated CPU time (s) 848.8
Current children cumulated vsize (Kb) 97492

[startup+860.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 34909 0 0 0 85728 149 0 0 25 0 1 0 21137561 100421632 16667 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24517 16667 364 364 0 24153 0
[pid=6846] vsize: 98068
Current children cumulated CPU time (s) 858.77
Current children cumulated vsize (Kb) 98068

[startup+870.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35325 0 0 0 86725 151 0 0 25 0 1 0 21137561 101294080 16822 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16822 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 868.76
Current children cumulated vsize (Kb) 98920

[startup+880.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35333 0 0 0 87723 152 0 0 25 0 1 0 21137561 101294080 16830 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16830 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 878.75
Current children cumulated vsize (Kb) 98920

[startup+890.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35339 0 0 0 88721 152 0 0 25 0 1 0 21137561 101294080 16836 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16836 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 888.73
Current children cumulated vsize (Kb) 98920

[startup+900.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35346 0 0 0 89719 153 0 0 25 0 1 0 21137561 101294080 16843 4294967295 134512640 135987407 3221224576 3221223072 134789452 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16843 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 898.72
Current children cumulated vsize (Kb) 98920

[startup+910.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35608 0 0 0 90716 154 0 0 25 0 1 0 21137561 101294080 16844 4294967295 134512640 135987407 3221224576 3221223120 134811972 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16844 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 908.7
Current children cumulated vsize (Kb) 98920

[startup+920.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35610 0 0 0 91714 155 0 0 25 0 1 0 21137561 101294080 16846 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16846 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 918.69
Current children cumulated vsize (Kb) 98920

[startup+930.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35611 0 0 0 92713 155 0 0 25 0 1 0 21137561 101294080 16847 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16847 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 928.68
Current children cumulated vsize (Kb) 98920

[startup+940.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35873 0 0 0 93710 156 0 0 25 0 1 0 21137561 101294080 16848 4294967295 134512640 135987407 3221224576 3221223248 134824806 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16848 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 938.66
Current children cumulated vsize (Kb) 98920

[startup+950.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35875 0 0 0 94709 157 0 0 25 0 1 0 21137561 101294080 16850 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16850 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 948.66
Current children cumulated vsize (Kb) 98920

[startup+960.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 35876 0 0 0 95707 157 0 0 25 0 1 0 21137561 101294080 16851 4294967295 134512640 135987407 3221224576 3221222992 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16851 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 958.64
Current children cumulated vsize (Kb) 98920

[startup+970.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36141 0 0 0 96706 158 0 0 25 0 1 0 21137561 101294080 16855 4294967295 134512640 135987407 3221224576 3221223120 134812010 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16855 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 968.64
Current children cumulated vsize (Kb) 98920

[startup+980.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36150 0 0 0 97704 159 0 0 25 0 1 0 21137561 101294080 16864 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16864 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 978.63
Current children cumulated vsize (Kb) 98920

[startup+990.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36157 0 0 0 98701 160 0 0 25 0 1 0 21137561 101294080 16871 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16871 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 988.61
Current children cumulated vsize (Kb) 98920

[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36428 0 0 0 99698 161 0 0 25 0 1 0 21137561 101294080 16881 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16881 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 998.59
Current children cumulated vsize (Kb) 98920

[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36439 0 0 0 100695 162 0 0 25 0 1 0 21137561 101294080 16892 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16892 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 1008.57
Current children cumulated vsize (Kb) 98920

[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36449 0 0 0 101694 162 0 0 25 0 1 0 21137561 101294080 16902 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16902 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 1018.56
Current children cumulated vsize (Kb) 98920

[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36720 0 0 0 102692 163 0 0 25 0 1 0 21137561 101294080 16912 4294967295 134512640 135987407 3221224576 3221223248 134824261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16912 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 1028.55
Current children cumulated vsize (Kb) 98920

[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36729 0 0 0 103689 164 0 0 25 0 1 0 21137561 101294080 16921 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16921 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 1038.53
Current children cumulated vsize (Kb) 98920

[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 36746 0 0 0 104688 165 0 0 25 0 1 0 21137561 101294080 16938 4294967295 134512640 135987407 3221224576 3221223120 134812166 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24730 16938 364 364 0 24366 0
[pid=6846] vsize: 98920
Current children cumulated CPU time (s) 1048.53
Current children cumulated vsize (Kb) 98920

[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37012 0 0 0 105685 166 0 0 25 0 1 0 21137561 101445632 16943 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16943 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1058.51
Current children cumulated vsize (Kb) 99068

[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37013 0 0 0 106684 167 0 0 25 0 1 0 21137561 101445632 16944 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16944 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1068.51
Current children cumulated vsize (Kb) 99068

[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37015 0 0 0 107682 167 0 0 25 0 1 0 21137561 101445632 16946 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16946 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1078.49
Current children cumulated vsize (Kb) 99068

[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37018 0 0 0 108680 168 0 0 25 0 1 0 21137561 101445632 16949 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16949 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1088.48
Current children cumulated vsize (Kb) 99068

[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37287 0 0 0 109677 169 0 0 25 0 1 0 21137561 101445632 16957 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16957 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1098.46
Current children cumulated vsize (Kb) 99068

[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.96 1/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) T 6845 6846 4061 0 -1 0 37293 0 0 0 110676 170 0 0 25 0 1 0 21137561 101445632 16963 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16963 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1108.46
Current children cumulated vsize (Kb) 99068

[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37300 0 0 0 111674 171 0 0 25 0 1 0 21137561 101445632 16970 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16970 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1118.45
Current children cumulated vsize (Kb) 99068

[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37306 0 0 0 112672 172 0 0 25 0 1 0 21137561 101445632 16976 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16976 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1128.44
Current children cumulated vsize (Kb) 99068

[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37577 0 0 0 113670 173 0 0 25 0 1 0 21137561 101445632 16986 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 16986 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1138.43
Current children cumulated vsize (Kb) 99068

[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37593 0 0 0 114668 174 0 0 25 0 1 0 21137561 101445632 17002 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 17002 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1148.42
Current children cumulated vsize (Kb) 99068

[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37603 0 0 0 115667 174 0 0 25 0 1 0 21137561 101445632 17012 4294967295 134512640 135987407 3221224576 3221223192 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 17012 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1158.41
Current children cumulated vsize (Kb) 99068

[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37871 0 0 0 116664 176 0 0 25 0 1 0 21137561 101445632 17019 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 17019 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1168.4
Current children cumulated vsize (Kb) 99068

[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37881 0 0 0 117661 177 0 0 25 0 1 0 21137561 101445632 17029 4294967295 134512640 135987407 3221224576 3221223120 134812138 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 17029 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1178.38
Current children cumulated vsize (Kb) 99068

[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 37889 0 0 0 118659 178 0 0 25 0 1 0 21137561 101445632 17037 4294967295 134512640 135987407 3221224576 3221223248 134824238 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24767 17037 364 364 0 24403 0
[pid=6846] vsize: 99068
Current children cumulated CPU time (s) 1188.37
Current children cumulated vsize (Kb) 99068

[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 38247 0 0 0 119656 180 0 0 25 0 1 0 21137561 101855232 17134 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24867 17134 364 364 0 24503 0
[pid=6846] vsize: 99468
Current children cumulated CPU time (s) 1198.36
Current children cumulated vsize (Kb) 99468

[startup+1210.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) R 6845 6846 4061 0 -1 0 38257 0 0 0 120653 181 0 0 25 0 1 0 21137561 101855232 17144 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24867 17144 364 364 0 24503 0
[pid=6846] vsize: 99468
Current children cumulated CPU time (s) 1208.34
Current children cumulated vsize (Kb) 99468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 6846
Raw data (/proc/6846/stat): 6846 (pb2sat) T 6845 6846 4061 0 -1 0 38257 0 0 0 120654 181 0 0 25 0 1 0 21137561 101855232 17144 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/6846/statm): 24867 17144 364 364 0 24503 0
[pid=6846] vsize: 99468
Current children cumulated CPU time (s) 1208.35
Current children cumulated vsize (Kb) 99468

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

Child status: 10
Real time (s): 1210.24
CPU time (s): 1208.58
CPU user time (s): 1206.73
CPU system time (s): 1.85072
CPU usage (%): 99.8628
Max. virtual memory (cumulated for all children) (Kb): 99468

Verifier Data

Verifier:	OK	1615