PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0040.opb
MD5SUM	1c249519911563f3292efb34f4875b44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62027
Optimality of the best value was proved	NO
Number of terms in the objective function	40
Biggest coefficient in the objective function	8161
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	265332
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	8161
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	265332
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.293954
Number of variables	40
Total number of constraints	63
Number of constraints which are clauses	10
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	3
Minimum length of a constraint	1
Maximum length of a constraint	10
Trace number 42808

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 15:15:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26016 boxname=wulflinc5 idbench=1316 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1c249519911563f3292efb34f4875b44  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-p0040.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-p0040.opb
IDLAUNCH: 26016
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        688760 kB
Buffers:         20348 kB
Cached:         302672 kB
SwapCached:        660 kB
Active:          24428 kB
Inactive:       300608 kB
HighTotal:      131008 kB
HighFree:         1484 kB
LowTotal:       903652 kB
LowFree:        687276 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15008 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:35:20 (client local time) WITH STATUS 0 IN 1202.42 SECONDS
stats: 26016 0 1202.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 63596
c small objective detected
c CONFLICT during preprocess 
c [startup+46.9869 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+50.4585 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+53.9552 s]  setting bit 16 to 0
c [startup+422.004 s]  setting bit 15 to 0
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 -C1004_bit0 C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 C1022_bit0 -C1023_bit0 -C1024_bit0 C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 C1035_bit0 -C1036_bit0 -C1037_bit0 C1038_bit0 -C1039_bit0 -C1040_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.98 0.97 0.91 2/54 16764
Raw data (stat): 16764 (runsolver) R 16763 7266 7265 0 -1 64 3 0 0 0 0 0 0 0 19 0 1 0 971766004 884736 93 4294967295 134512640 135332820 3221224464 3221219508 134703346 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99962 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 28700 0 0 0 939 59 0 0 25 0 1 0 971766004 88764416 17550 4294967295 134512640 135730672 3221224576 3221207480 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21671 17550 301 301 0 21370 0
vsize: 86684
[startup+19.9997 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 55447 0 0 0 1888 111 0 0 25 0 1 0 971766004 172441600 33102 4294967295 134512640 135730672 3221224576 3221206088 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42100 33103 301 301 0 41799 0
vsize: 168400
[startup+30.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 92095 0 0 0 2821 178 0 0 25 0 1 0 971766004 346980352 59865 4294967295 134512640 135730672 3221224576 3221214480 134788521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84712 59870 301 301 0 84411 0
vsize: 338848
[startup+39.9998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 107663 0 0 0 3789 211 0 0 25 0 1 0 971766004 337633280 62950 4294967295 134512640 135730672 3221224576 3221207944 135285983 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82430 62950 301 301 0 82129 0
vsize: 329720
[startup+50.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 119220 0 0 0 4765 235 0 0 25 0 1 0 971766004 354263040 71126 4294967295 134512640 135730672 3221224576 3221223088 134739840 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86490 71126 301 301 0 86189 0
vsize: 345960
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 126156 0 0 0 5749 251 0 0 25 0 1 0 971766004 367697920 73483 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89770 73483 301 301 0 89469 0
vsize: 359080
[startup+70.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 126798 0 0 0 6747 252 0 0 25 0 1 0 971766004 369176576 73802 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90131 73802 301 301 0 89830 0
vsize: 360524
[startup+80.0022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 127887 0 0 0 7746 254 0 0 25 0 1 0 971766004 371933184 74440 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90804 74440 301 301 0 90503 0
vsize: 363216
[startup+90.0019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 128867 0 0 0 8744 256 0 0 25 0 1 0 971766004 374484992 74905 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91427 74905 301 301 0 91126 0
vsize: 365708
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 128984 0 0 0 9744 256 0 0 25 0 1 0 971766004 374718464 75022 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91484 75022 301 301 0 91183 0
vsize: 365936
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 128984 0 0 0 10744 256 0 0 25 0 1 0 971766004 374718464 75022 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91484 75022 301 301 0 91183 0
vsize: 365936
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 129109 0 0 0 11744 256 0 0 25 0 1 0 971766004 374980608 75082 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91548 75082 301 301 0 91247 0
vsize: 366192
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 129113 0 0 0 12744 256 0 0 25 0 1 0 971766004 374980608 75086 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91548 75086 301 301 0 91247 0
vsize: 366192
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 129125 0 0 0 13744 256 0 0 25 0 1 0 971766004 374980608 75098 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91548 75098 301 301 0 91247 0
vsize: 366192
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 129533 0 0 0 14744 257 0 0 25 0 1 0 971766004 376029184 75249 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91804 75249 301 301 0 91503 0
vsize: 367216
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 130535 0 0 0 15743 259 0 0 25 0 1 0 971766004 378478592 75738 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92402 75738 301 301 0 92101 0
vsize: 369608
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 130655 0 0 0 16742 259 0 0 25 0 1 0 971766004 378478592 75858 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92402 75858 301 301 0 92101 0
vsize: 369608
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131300 0 0 0 17742 260 0 0 25 0 1 0 971766004 380575744 75990 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92914 75990 301 301 0 92613 0
vsize: 371656
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131300 0 0 0 18742 260 0 0 25 0 1 0 971766004 380575744 75990 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92914 75990 301 301 0 92613 0
vsize: 371656
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131448 0 0 0 19742 260 0 0 25 0 1 0 971766004 381108224 76138 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93044 76138 301 301 0 92743 0
vsize: 372176
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131579 0 0 0 20742 260 0 0 25 0 1 0 971766004 381108224 76269 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93044 76269 301 301 0 92743 0
vsize: 372176
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131580 0 0 0 21742 260 0 0 25 0 1 0 971766004 381108224 76270 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93044 76270 301 301 0 92743 0
vsize: 372176
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 131581 0 0 0 22742 260 0 0 25 0 1 0 971766004 381108224 76271 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93044 76271 301 301 0 92743 0
vsize: 372176
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132173 0 0 0 23741 261 0 0 25 0 1 0 971766004 383205376 76350 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76350 301 301 0 93255 0
vsize: 374224
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132174 0 0 0 24742 261 0 0 25 0 1 0 971766004 383205376 76351 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76351 301 301 0 93255 0
vsize: 374224
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132174 0 0 0 25742 261 0 0 25 0 1 0 971766004 383205376 76351 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76351 301 301 0 93255 0
vsize: 374224
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132176 0 0 0 26742 261 0 0 25 0 1 0 971766004 383205376 76353 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76353 301 301 0 93255 0
vsize: 374224
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132176 0 0 0 27742 261 0 0 25 0 1 0 971766004 383205376 76353 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76353 301 301 0 93255 0
vsize: 374224
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132177 0 0 0 28742 261 0 0 25 0 1 0 971766004 383205376 76354 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76354 301 301 0 93255 0
vsize: 374224
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132177 0 0 0 29743 261 0 0 25 0 1 0 971766004 383205376 76354 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93556 76354 301 301 0 93255 0
vsize: 374224
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132412 0 0 0 30742 262 0 0 25 0 1 0 971766004 383729664 76460 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93684 76460 301 301 0 93383 0
vsize: 374736
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132575 0 0 0 31741 263 0 0 25 0 1 0 971766004 383729664 76623 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93684 76623 301 301 0 93383 0
vsize: 374736
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132575 0 0 0 32741 263 0 0 25 0 1 0 971766004 383729664 76623 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93684 76623 301 301 0 93383 0
vsize: 374736
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 132674 0 0 0 33741 263 0 0 25 0 1 0 971766004 384262144 76722 4294967295 134512640 135730672 3221224576 3221222864 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93814 76722 301 301 0 93513 0
vsize: 375256
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133264 0 0 0 34741 264 0 0 25 0 1 0 971766004 386359296 76799 4294967295 134512640 135730672 3221224576 3221222992 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94326 76799 301 301 0 94025 0
vsize: 377304
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133264 0 0 0 35741 264 0 0 25 0 1 0 971766004 386359296 76799 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94326 76799 301 301 0 94025 0
vsize: 377304
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133279 0 0 0 36741 264 0 0 25 0 1 0 971766004 386359296 76814 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94326 76814 301 301 0 94025 0
vsize: 377304
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133279 0 0 0 37741 264 0 0 25 0 1 0 971766004 386359296 76814 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94326 76814 301 301 0 94025 0
vsize: 377304
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133280 0 0 0 38741 264 0 0 25 0 1 0 971766004 386359296 76815 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94326 76815 301 301 0 94025 0
vsize: 377304
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133854 0 0 0 39741 265 0 0 25 0 1 0 971766004 387932160 77003 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94710 77003 301 301 0 94409 0
vsize: 378840
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 133890 0 0 0 40741 265 0 0 25 0 1 0 971766004 387932160 77039 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94710 77039 301 301 0 94409 0
vsize: 378840
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 134090 0 0 0 41740 266 0 0 25 0 1 0 971766004 387932160 77239 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94710 77239 301 301 0 94409 0
vsize: 378840
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136323 0 0 0 42735 271 0 0 25 0 1 0 971766004 390029312 77306 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95222 77306 301 301 0 94921 0
vsize: 380888
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136649 0 0 0 43734 272 0 0 25 0 1 0 971766004 390815744 77438 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77438 301 301 0 95113 0
vsize: 381656
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136650 0 0 0 44734 272 0 0 25 0 1 0 971766004 390815744 77439 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77439 301 301 0 95113 0
vsize: 381656
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136678 0 0 0 45734 272 0 0 25 0 1 0 971766004 390815744 77467 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77467 301 301 0 95113 0
vsize: 381656
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136678 0 0 0 46734 272 0 0 25 0 1 0 971766004 390815744 77467 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77467 301 301 0 95113 0
vsize: 381656
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136680 0 0 0 47734 272 0 0 25 0 1 0 971766004 390815744 77469 4294967295 134512640 135730672 3221224576 3221222992 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77469 301 301 0 95113 0
vsize: 381656
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136680 0 0 0 48735 272 0 0 25 0 1 0 971766004 390815744 77469 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95414 77469 301 301 0 95113 0
vsize: 381656
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 136724 0 0 0 49735 273 0 0 25 0 1 0 971766004 391081984 77513 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95479 77513 301 301 0 95178 0
vsize: 381916
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137065 0 0 0 50734 273 0 0 25 0 1 0 971766004 392134656 77659 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95736 77659 301 301 0 95435 0
vsize: 382944
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137075 0 0 0 51734 273 0 0 25 0 1 0 971766004 392134656 77669 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95736 77669 301 301 0 95435 0
vsize: 382944
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137945 0 0 0 52732 275 0 0 25 0 1 0 971766004 394760192 77960 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96377 77960 301 301 0 96076 0
vsize: 385508
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137945 0 0 0 53733 275 0 0 25 0 1 0 971766004 394760192 77960 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96377 77960 301 301 0 96076 0
vsize: 385508
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137946 0 0 0 54733 275 0 0 25 0 1 0 971766004 394760192 77961 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96377 77961 301 301 0 96076 0
vsize: 385508
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137947 0 0 0 55733 275 0 0 25 0 1 0 971766004 394760192 77962 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96377 77962 301 301 0 96076 0
vsize: 385508
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 137947 0 0 0 56733 275 0 0 25 0 1 0 971766004 394760192 77962 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96377 77962 301 301 0 96076 0
vsize: 385508
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 138052 0 0 0 57733 276 0 0 25 0 1 0 971766004 395022336 78002 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96441 78002 301 301 0 96140 0
vsize: 385764
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 138651 0 0 0 58732 277 0 0 25 0 1 0 971766004 397135872 78341 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96957 78341 301 301 0 96656 0
vsize: 387828
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 138652 0 0 0 59732 277 0 0 25 0 1 0 971766004 397135872 78342 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96957 78342 301 301 0 96656 0
vsize: 387828
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 138652 0 0 0 60732 277 0 0 25 0 1 0 971766004 397135872 78342 4294967295 134512640 135730672 3221224576 3221222688 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96957 78342 301 301 0 96656 0
vsize: 387828
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 138798 0 0 0 61732 278 0 0 25 0 1 0 971766004 397664256 78423 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97086 78423 301 301 0 96785 0
vsize: 388344
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 139034 0 0 0 62732 278 0 0 25 0 1 0 971766004 398188544 78530 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97214 78530 301 301 0 96913 0
vsize: 388856
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 139670 0 0 0 63731 279 0 0 25 0 1 0 971766004 399761408 78780 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97598 78780 301 301 0 97297 0
vsize: 390392
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 139918 0 0 0 64731 280 0 0 25 0 1 0 971766004 400285696 78899 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97726 78899 301 301 0 97425 0
vsize: 390904
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 140345 0 0 0 65730 281 0 0 25 0 1 0 971766004 401334272 79069 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97982 79069 301 301 0 97681 0
vsize: 391928
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 140353 0 0 0 66730 281 0 0 25 0 1 0 971766004 401334272 79077 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97982 79077 301 301 0 97681 0
vsize: 391928
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 140883 0 0 0 67730 282 0 0 25 0 1 0 971766004 402382848 79350 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98238 79350 301 301 0 97937 0
vsize: 392952
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 141815 0 0 0 68728 284 0 0 25 0 1 0 971766004 405004288 79639 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98878 79639 301 301 0 98577 0
vsize: 395512
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 141816 0 0 0 69728 284 0 0 25 0 1 0 971766004 405004288 79640 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98878 79640 301 301 0 98577 0
vsize: 395512
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 141894 0 0 0 70728 284 0 0 25 0 1 0 971766004 405270528 79685 4294967295 134512640 135730672 3221224576 3221223056 134748722 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98943 79685 301 301 0 98642 0
vsize: 395772
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 141950 0 0 0 71728 284 0 0 25 0 1 0 971766004 405270528 79741 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98943 79741 301 301 0 98642 0
vsize: 395772
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 142423 0 0 0 72728 285 0 0 25 0 1 0 971766004 406732800 80017 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99300 80017 301 301 0 98999 0
vsize: 397200
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 142423 0 0 0 73728 285 0 0 25 0 1 0 971766004 406732800 80017 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99300 80017 301 301 0 98999 0
vsize: 397200
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 142425 0 0 0 74728 285 0 0 25 0 1 0 971766004 406732800 80019 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99300 80019 301 301 0 98999 0
vsize: 397200
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 145717 0 0 0 75722 291 0 0 25 0 1 0 971766004 415297536 81608 4294967295 134512640 135730672 3221224576 3221222864 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101391 81608 301 301 0 101090 0
vsize: 405564
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 147325 0 0 0 76719 294 0 0 25 0 1 0 971766004 419500032 82248 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102417 82248 301 301 0 102116 0
vsize: 409668
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 149548 0 0 0 77715 298 0 0 25 0 1 0 971766004 425160704 83274 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103799 83274 301 301 0 103498 0
vsize: 415196
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 150728 0 0 0 78713 300 0 0 25 0 1 0 971766004 428572672 83649 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104632 83650 301 301 0 104331 0
vsize: 418528
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 152940 0 0 0 79709 304 0 0 25 0 1 0 971766004 434094080 84632 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105980 84632 301 301 0 105679 0
vsize: 423920
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 154441 0 0 0 80706 308 0 0 25 0 1 0 971766004 437768192 85262 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106877 85262 301 301 0 106576 0
vsize: 427508
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 156397 0 0 0 81703 311 0 0 25 0 1 0 971766004 442638336 86182 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108066 86182 301 301 0 107765 0
vsize: 432264
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158208 0 0 0 82700 314 0 0 25 0 1 0 971766004 446836736 86994 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 86994 301 301 0 108790 0
vsize: 436364
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158224 0 0 0 83700 314 0 0 25 0 1 0 971766004 446836736 87010 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87010 301 301 0 108790 0
vsize: 436364
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158225 0 0 0 84700 314 0 0 25 0 1 0 971766004 446836736 87011 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87011 301 301 0 108790 0
vsize: 436364
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158225 0 0 0 85700 314 0 0 25 0 1 0 971766004 446836736 87011 4294967295 134512640 135730672 3221224576 3221222864 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87011 301 301 0 108790 0
vsize: 436364
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158226 0 0 0 86701 314 0 0 25 0 1 0 971766004 446836736 87012 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87012 301 301 0 108790 0
vsize: 436364
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158227 0 0 0 87701 314 0 0 25 0 1 0 971766004 446836736 87013 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87013 301 301 0 108790 0
vsize: 436364
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158229 0 0 0 88701 314 0 0 25 0 1 0 971766004 446836736 87015 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87015 301 301 0 108790 0
vsize: 436364
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 158229 0 0 0 89701 314 0 0 25 0 1 0 971766004 446836736 87015 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109091 87015 301 301 0 108790 0
vsize: 436364
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 159861 0 0 0 90699 317 0 0 25 0 1 0 971766004 451182592 87737 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110152 87737 301 301 0 109851 0
vsize: 440608
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 161949 0 0 0 91695 321 0 0 25 0 1 0 971766004 457240576 88560 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111631 88560 301 301 0 111330 0
vsize: 446524
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 163553 0 0 0 92692 324 0 0 25 0 1 0 971766004 461189120 89321 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 112595 89321 301 301 0 112294 0
vsize: 450380
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 164262 0 0 0 93690 326 0 0 25 0 1 0 971766004 462909440 89736 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113015 89736 301 301 0 112714 0
vsize: 452060
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 164374 0 0 0 94690 326 0 0 25 0 1 0 971766004 463175680 89815 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 113080 89815 301 301 0 112779 0
vsize: 452320
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 167035 0 0 0 95685 332 0 0 25 0 1 0 971766004 470282240 90952 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114815 90952 301 301 0 114514 0
vsize: 459260
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 168199 0 0 0 96683 334 0 0 25 0 1 0 971766004 473313280 91499 4294967295 134512640 135730672 3221224576 3221222688 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115555 91499 301 301 0 115254 0
vsize: 462220
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 168253 0 0 0 97683 334 0 0 25 0 1 0 971766004 473313280 91553 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 168253 0 0 0 98684 334 0 0 25 0 1 0 971766004 473313280 91553 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 168253 0 0 0 99684 334 0 0 25 0 1 0 971766004 473313280 91553 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 168298 0 0 0 100684 334 0 0 25 0 1 0 971766004 473313280 91598 4294967295 134512640 135730672 3221224576 3221222864 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115555 91598 301 301 0 115254 0
vsize: 462220
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 169277 0 0 0 101682 336 0 0 25 0 1 0 971766004 475410432 92062 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116067 92062 301 301 0 115766 0
vsize: 464268
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 169962 0 0 0 102681 337 0 0 25 0 1 0 971766004 477257728 92389 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116518 92389 301 301 0 116217 0
vsize: 466072
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170381 0 0 0 103680 339 0 0 25 0 1 0 971766004 478306304 92551 4294967295 134512640 135730672 3221224576 3221222864 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116774 92551 301 301 0 116473 0
vsize: 467096
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170662 0 0 0 104679 339 0 0 25 0 1 0 971766004 479096832 92670 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92670 301 301 0 116666 0
vsize: 467868
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170662 0 0 0 105680 339 0 0 25 0 1 0 971766004 479096832 92670 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92670 301 301 0 116666 0
vsize: 467868
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170673 0 0 0 106680 339 0 0 25 0 1 0 971766004 479096832 92681 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92681 301 301 0 116666 0
vsize: 467868
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170706 0 0 0 107679 340 0 0 25 0 1 0 971766004 479096832 92714 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92714 301 301 0 116666 0
vsize: 467868
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170707 0 0 0 108679 340 0 0 25 0 1 0 971766004 479096832 92715 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92715 301 301 0 116666 0
vsize: 467868
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170708 0 0 0 109680 340 0 0 25 0 1 0 971766004 479096832 92716 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92716 301 301 0 116666 0
vsize: 467868
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170709 0 0 0 110680 340 0 0 25 0 1 0 971766004 479096832 92717 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92717 301 301 0 116666 0
vsize: 467868
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170711 0 0 0 111680 340 0 0 25 0 1 0 971766004 479096832 92719 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92719 301 301 0 116666 0
vsize: 467868
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170712 0 0 0 112680 340 0 0 25 0 1 0 971766004 479096832 92720 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92720 301 301 0 116666 0
vsize: 467868
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170715 0 0 0 113680 340 0 0 25 0 1 0 971766004 479096832 92723 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92723 301 301 0 116666 0
vsize: 467868
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170716 0 0 0 114681 340 0 0 25 0 1 0 971766004 479096832 92724 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92724 301 301 0 116666 0
vsize: 467868
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170717 0 0 0 115681 340 0 0 25 0 1 0 971766004 479096832 92725 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92725 301 301 0 116666 0
vsize: 467868
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 170718 0 0 0 116681 340 0 0 25 0 1 0 971766004 479096832 92726 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 116967 92726 301 301 0 116666 0
vsize: 467868
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 171878 0 0 0 117680 341 0 0 25 0 1 0 971766004 482521088 93173 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 117803 93173 301 301 0 117502 0
vsize: 471212
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 172924 0 0 0 118677 344 0 0 25 0 1 0 971766004 485154816 93667 4294967295 134512640 135730672 3221224576 3221223024 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118446 93667 301 301 0 118145 0
vsize: 473784
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 174122 0 0 0 119675 347 0 0 25 0 1 0 971766004 487911424 94219 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119119 94219 301 301 0 118818 0
vsize: 476476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 16764
Raw data (stat): 16764 (pb2sat-v2) R 16763 7266 7265 0 -1 0 174122 0 0 0 119675 347 0 0 25 0 1 0 971766004 487911424 94219 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119119 94219 301 301 0 118818 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.23
CPU time (s): 1202.42
CPU user time (s): 1198.75
CPU system time (s): 3.66344
CPU usage (%): 100.016
Max. virtual memory (Kb): 476476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	63596
#### END VERIFIER DATA ####