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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.276957
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 42424

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 07:02:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25632 boxname=wulflinc3 idbench=932 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1c249519911563f3292efb34f4875b44  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0040.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-p0040.opb
IDLAUNCH: 25632
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        725776 kB
Buffers:         25408 kB
Cached:         261616 kB
SwapCached:        820 kB
Active:          31388 kB
Inactive:       257832 kB
HighTotal:      131008 kB
HighFree:         3444 kB
LowTotal:       903652 kB
LowFree:        722332 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13864 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:22:23 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 25632 0 1202.38 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+47.4415 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+50.9164 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+54.4079 s]  setting bit 16 to 0
c [startup+425.711 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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 18706
Raw data (stat): 18706 (runsolver) R 18705 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968798716 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 28727 0 0 0 941 57 0 0 25 0 1 0 968798716 88899584 17577 4294967295 134512640 135730672 3221224576 3221207392 134770772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21704 17577 301 301 0 21403 0
vsize: 86816
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 55219 0 0 0 1889 109 0 0 25 0 1 0 968798716 172036096 32877 4294967295 134512640 135730672 3221224576 3221207284 135284217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42001 32877 301 301 0 41700 0
vsize: 168004
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 87529 0 0 0 2828 171 0 0 25 0 1 0 968798716 346980352 55299 4294967295 134512640 135730672 3221224576 3221214480 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84712 55303 301 301 0 84411 0
vsize: 338848
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 106968 0 0 0 3790 208 0 0 25 0 1 0 968798716 336687104 62263 4294967295 134512640 135730672 3221224576 3221205160 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82199 62264 301 301 0 81898 0
vsize: 328796
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 119220 0 0 0 4762 237 0 0 25 0 1 0 968798716 354271232 71126 4294967295 134512640 135730672 3221224576 3221222912 134749652 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86492 71126 301 301 0 86191 0
vsize: 345968
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 126081 0 0 0 5746 252 0 0 25 0 1 0 968798716 367566848 73441 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89738 73441 301 301 0 89437 0
vsize: 358952
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 126798 0 0 0 6745 253 0 0 25 0 1 0 968798716 369176576 73802 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90131 73802 301 301 0 89830 0
vsize: 360524
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 127886 0 0 0 7742 256 0 0 25 0 1 0 968798716 371933184 74439 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90804 74439 301 301 0 90503 0
vsize: 363216
[startup+90.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 128626 0 0 0 8741 257 0 0 25 0 1 0 968798716 373960704 74793 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91299 74793 301 301 0 90998 0
vsize: 365196
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 128984 0 0 0 9741 258 0 0 25 0 1 0 968798716 374718464 75022 4294967295 134512640 135730672 3221224576 3221223040 134748617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91484 75022 301 301 0 91183 0
vsize: 365936
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 128984 0 0 0 10741 258 0 0 25 0 1 0 968798716 374718464 75022 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91484 75022 301 301 0 91183 0
vsize: 365936
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 129109 0 0 0 11740 258 0 0 25 0 1 0 968798716 374980608 75082 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91548 75082 301 301 0 91247 0
vsize: 366192
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 129113 0 0 0 12740 258 0 0 25 0 1 0 968798716 374980608 75086 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91548 75086 301 301 0 91247 0
vsize: 366192
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 129125 0 0 0 13741 258 0 0 25 0 1 0 968798716 374980608 75098 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91548 75098 301 301 0 91247 0
vsize: 366192
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 129482 0 0 0 14740 259 0 0 25 0 1 0 968798716 376029184 75198 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91804 75198 301 301 0 91503 0
vsize: 367216
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 130535 0 0 0 15738 261 0 0 25 0 1 0 968798716 378478592 75738 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92402 75738 301 301 0 92101 0
vsize: 369608
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 130650 0 0 0 16738 261 0 0 25 0 1 0 968798716 378478592 75853 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92402 75853 301 301 0 92101 0
vsize: 369608
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131300 0 0 0 17737 263 0 0 25 0 1 0 968798716 380575744 75990 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92914 75990 301 301 0 92613 0
vsize: 371656
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18706
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131300 0 0 0 18737 263 0 0 25 0 1 0 968798716 380575744 75990 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92914 75990 301 301 0 92613 0
vsize: 371656
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131435 0 0 0 19737 263 0 0 25 0 1 0 968798716 381108224 76125 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93044 76125 301 301 0 92743 0
vsize: 372176
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131579 0 0 0 20737 264 0 0 25 0 1 0 968798716 381108224 76269 4294967295 134512640 135730672 3221224576 3221223056 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93044 76269 301 301 0 92743 0
vsize: 372176
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131580 0 0 0 21737 264 0 0 25 0 1 0 968798716 381108224 76270 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93044 76270 301 301 0 92743 0
vsize: 372176
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 131581 0 0 0 22737 264 0 0 25 0 1 0 968798716 381108224 76271 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93044 76271 301 301 0 92743 0
vsize: 372176
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132173 0 0 0 23736 265 0 0 25 0 1 0 968798716 383205376 76350 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76350 301 301 0 93255 0
vsize: 374224
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132173 0 0 0 24736 265 0 0 25 0 1 0 968798716 383205376 76350 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76350 301 301 0 93255 0
vsize: 374224
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132174 0 0 0 25736 266 0 0 25 0 1 0 968798716 383205376 76351 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76351 301 301 0 93255 0
vsize: 374224
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132175 0 0 0 26736 266 0 0 25 0 1 0 968798716 383205376 76352 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76352 301 301 0 93255 0
vsize: 374224
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132176 0 0 0 27736 266 0 0 25 0 1 0 968798716 383205376 76353 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76353 301 301 0 93255 0
vsize: 374224
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132176 0 0 0 28736 266 0 0 25 0 1 0 968798716 383205376 76353 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76353 301 301 0 93255 0
vsize: 374224
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132177 0 0 0 29736 266 0 0 25 0 1 0 968798716 383205376 76354 4294967295 134512640 135730672 3221224576 3221222864 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93556 76354 301 301 0 93255 0
vsize: 374224
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132412 0 0 0 30736 266 0 0 25 0 1 0 968798716 383729664 76460 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93684 76460 301 301 0 93383 0
vsize: 374736
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132575 0 0 0 31736 267 0 0 25 0 1 0 968798716 383729664 76623 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93684 76623 301 301 0 93383 0
vsize: 374736
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132575 0 0 0 32736 267 0 0 25 0 1 0 968798716 383729664 76623 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93684 76623 301 301 0 93383 0
vsize: 374736
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 132576 0 0 0 33736 267 0 0 25 0 1 0 968798716 383729664 76624 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93684 76624 301 301 0 93383 0
vsize: 374736
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133264 0 0 0 34735 268 0 0 25 0 1 0 968798716 386359296 76799 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76799 301 301 0 94025 0
vsize: 377304
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133264 0 0 0 35735 269 0 0 25 0 1 0 968798716 386359296 76799 4294967295 134512640 135730672 3221224576 3221222992 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76799 301 301 0 94025 0
vsize: 377304
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133264 0 0 0 36735 269 0 0 25 0 1 0 968798716 386359296 76799 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76799 301 301 0 94025 0
vsize: 377304
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133279 0 0 0 37735 269 0 0 25 0 1 0 968798716 386359296 76814 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76814 301 301 0 94025 0
vsize: 377304
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133280 0 0 0 38736 269 0 0 25 0 1 0 968798716 386359296 76815 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76815 301 301 0 94025 0
vsize: 377304
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133281 0 0 0 39736 269 0 0 25 0 1 0 968798716 386359296 76816 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94326 76816 301 301 0 94025 0
vsize: 377304
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133890 0 0 0 40735 270 0 0 25 0 1 0 968798716 387932160 77039 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94710 77039 301 301 0 94409 0
vsize: 378840
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 133891 0 0 0 41735 270 0 0 25 0 1 0 968798716 387932160 77040 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94710 77040 301 301 0 94409 0
vsize: 378840
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136323 0 0 0 42730 275 0 0 25 0 1 0 968798716 390029312 77306 4294967295 134512640 135730672 3221224576 3221222864 134747751 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136649 0 0 0 43728 276 0 0 25 0 1 0 968798716 390815744 77438 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77438 301 301 0 95113 0
vsize: 381656
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136650 0 0 0 44728 276 0 0 25 0 1 0 968798716 390815744 77439 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77439 301 301 0 95113 0
vsize: 381656
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136650 0 0 0 45729 276 0 0 25 0 1 0 968798716 390815744 77439 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77439 301 301 0 95113 0
vsize: 381656
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136678 0 0 0 46729 276 0 0 25 0 1 0 968798716 390815744 77467 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77467 301 301 0 95113 0
vsize: 381656
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136680 0 0 0 47729 277 0 0 25 0 1 0 968798716 390815744 77469 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77469 301 301 0 95113 0
vsize: 381656
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136680 0 0 0 48729 277 0 0 25 0 1 0 968798716 390815744 77469 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77469 301 301 0 95113 0
vsize: 381656
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136684 0 0 0 49729 277 0 0 25 0 1 0 968798716 390815744 77473 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95414 77473 301 301 0 95113 0
vsize: 381656
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 136777 0 0 0 50728 277 0 0 25 0 1 0 968798716 391348224 77566 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95544 77566 301 301 0 95243 0
vsize: 382176
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137065 0 0 0 51728 277 0 0 25 0 1 0 968798716 392134656 77659 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95736 77659 301 301 0 95435 0
vsize: 382944
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137636 0 0 0 52727 279 0 0 25 0 1 0 968798716 393711616 77908 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96121 77908 301 301 0 95820 0
vsize: 384484
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137945 0 0 0 53727 279 0 0 25 0 1 0 968798716 394760192 77960 4294967295 134512640 135730672 3221224576 3221222972 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96377 77960 301 301 0 96076 0
vsize: 385508
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137945 0 0 0 54727 279 0 0 25 0 1 0 968798716 394760192 77960 4294967295 134512640 135730672 3221224576 3221222864 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96377 77960 301 301 0 96076 0
vsize: 385508
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137946 0 0 0 55727 279 0 0 25 0 1 0 968798716 394760192 77961 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96377 77961 301 301 0 96076 0
vsize: 385508
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137947 0 0 0 56727 279 0 0 25 0 1 0 968798716 394760192 77962 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96377 77962 301 301 0 96076 0
vsize: 385508
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 137947 0 0 0 57727 279 0 0 25 0 1 0 968798716 394760192 77962 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96377 77962 301 301 0 96076 0
vsize: 385508
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 138496 0 0 0 58726 281 0 0 25 0 1 0 968798716 396607488 78251 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96828 78251 301 301 0 96527 0
vsize: 387312
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 138651 0 0 0 59726 281 0 0 25 0 1 0 968798716 397135872 78341 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96957 78341 301 301 0 96656 0
vsize: 387828
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 138652 0 0 0 60726 281 0 0 25 0 1 0 968798716 397135872 78342 4294967295 134512640 135730672 3221224576 3221223056 134748577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96957 78342 301 301 0 96656 0
vsize: 387828
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 138798 0 0 0 61726 281 0 0 25 0 1 0 968798716 397664256 78423 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97086 78423 301 301 0 96785 0
vsize: 388344
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 138806 0 0 0 62726 281 0 0 25 0 1 0 968798716 397664256 78431 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97086 78431 301 301 0 96785 0
vsize: 388344
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 139207 0 0 0 63725 283 0 0 25 0 1 0 968798716 398712832 78574 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97342 78574 301 301 0 97041 0
vsize: 389368
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 139918 0 0 0 64724 284 0 0 25 0 1 0 968798716 400285696 78899 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97726 78899 301 301 0 97425 0
vsize: 390904
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 140326 0 0 0 65724 285 0 0 25 0 1 0 968798716 401334272 79050 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97982 79050 301 301 0 97681 0
vsize: 391928
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 140345 0 0 0 66724 285 0 0 25 0 1 0 968798716 401334272 79069 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97982 79069 301 301 0 97681 0
vsize: 391928
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 140385 0 0 0 67724 285 0 0 25 0 1 0 968798716 401334272 79109 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97982 79109 301 301 0 97681 0
vsize: 391928
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 140993 0 0 0 68722 286 0 0 25 0 1 0 968798716 402382848 79460 4294967295 134512640 135730672 3221224576 3221223040 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98238 79460 301 301 0 97937 0
vsize: 392952
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 141815 0 0 0 69721 288 0 0 25 0 1 0 968798716 405004288 79639 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98878 79639 301 301 0 98577 0
vsize: 395512
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 141823 0 0 0 70721 288 0 0 25 0 1 0 968798716 405004288 79647 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98878 79647 301 301 0 98577 0
vsize: 395512
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 141907 0 0 0 71721 288 0 0 25 0 1 0 968798716 405270528 79698 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98943 79698 301 301 0 98642 0
vsize: 395772
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 142422 0 0 0 72720 289 0 0 25 0 1 0 968798716 406732800 80016 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99300 80016 301 301 0 98999 0
vsize: 397200
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 142423 0 0 0 73721 289 0 0 25 0 1 0 968798716 406732800 80017 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99300 80017 301 301 0 98999 0
vsize: 397200
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 142423 0 0 0 74721 289 0 0 25 0 1 0 968798716 406732800 80017 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99300 80017 301 301 0 98999 0
vsize: 397200
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 143567 0 0 0 75718 292 0 0 25 0 1 0 968798716 409899008 80543 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100073 80543 301 301 0 99772 0
vsize: 400292
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 146795 0 0 0 76713 297 0 0 25 0 1 0 968798716 418185216 82008 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102096 82008 301 301 0 101795 0
vsize: 408384
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 148548 0 0 0 77711 299 0 0 25 0 1 0 968798716 422670336 82886 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103191 82886 301 301 0 102890 0
vsize: 412764
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 150105 0 0 0 78710 301 0 0 25 0 1 0 968798716 426733568 83445 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104183 83445 301 301 0 103882 0
vsize: 416732
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 152085 0 0 0 79706 305 0 0 25 0 1 0 968798716 431988736 84230 4294967295 134512640 135730672 3221224576 3221222864 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105466 84230 301 301 0 105165 0
vsize: 421864
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 153340 0 0 0 80704 307 0 0 25 0 1 0 968798716 435146752 84805 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106237 84805 301 301 0 105936 0
vsize: 424948
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 154890 0 0 0 81701 310 0 0 25 0 1 0 968798716 438820864 85484 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107134 85484 301 301 0 106833 0
vsize: 428536
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 156398 0 0 0 82698 314 0 0 25 0 1 0 968798716 442638336 86183 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108066 86183 301 301 0 107765 0
vsize: 432264
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158223 0 0 0 83694 317 0 0 25 0 1 0 968798716 446836736 87009 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87009 301 301 0 108790 0
vsize: 436364
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158224 0 0 0 84694 318 0 0 25 0 1 0 968798716 446836736 87010 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87010 301 301 0 108790 0
vsize: 436364
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158225 0 0 0 85694 318 0 0 25 0 1 0 968798716 446836736 87011 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87011 301 301 0 108790 0
vsize: 436364
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158225 0 0 0 86694 318 0 0 25 0 1 0 968798716 446836736 87011 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87011 301 301 0 108790 0
vsize: 436364
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158226 0 0 0 87694 318 0 0 25 0 1 0 968798716 446836736 87012 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87012 301 301 0 108790 0
vsize: 436364
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158227 0 0 0 88694 318 0 0 25 0 1 0 968798716 446836736 87013 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87013 301 301 0 108790 0
vsize: 436364
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158229 0 0 0 89694 318 0 0 25 0 1 0 968798716 446836736 87015 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87015 301 301 0 108790 0
vsize: 436364
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 158229 0 0 0 90694 318 0 0 25 0 1 0 968798716 446836736 87015 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109091 87015 301 301 0 108790 0
vsize: 436364
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 160056 0 0 0 91690 323 0 0 25 0 1 0 968798716 451710976 87834 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110281 87834 301 301 0 109980 0
vsize: 441124
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 161950 0 0 0 92686 327 0 0 25 0 1 0 968798716 457240576 88561 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111631 88561 301 301 0 111330 0
vsize: 446524
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 163604 0 0 0 93683 330 0 0 25 0 1 0 968798716 461189120 89372 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112595 89372 301 301 0 112294 0
vsize: 450380
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 164262 0 0 0 94682 332 0 0 25 0 1 0 968798716 462909440 89736 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113015 89736 301 301 0 112714 0
vsize: 452060
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 164985 0 0 0 95680 333 0 0 25 0 1 0 968798716 464752640 90069 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113465 90069 301 301 0 113164 0
vsize: 453860
[startup+970.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 167660 0 0 0 96676 338 0 0 25 0 1 0 968798716 471863296 91252 4294967295 134512640 135730672 3221224576 3221222992 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115201 91252 301 301 0 114900 0
vsize: 460804
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 168203 0 0 0 97675 340 0 0 25 0 1 0 968798716 473313280 91503 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115555 91503 301 301 0 115254 0
vsize: 462220
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 168253 0 0 0 98675 340 0 0 25 0 1 0 968798716 473313280 91553 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 168253 0 0 0 99675 340 0 0 25 0 1 0 968798716 473313280 91553 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 168253 0 0 0 100675 340 0 0 25 0 1 0 968798716 473313280 91553 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115555 91553 301 301 0 115254 0
vsize: 462220
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 168299 0 0 0 101675 340 0 0 25 0 1 0 968798716 473313280 91599 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115555 91599 301 301 0 115254 0
vsize: 462220
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 169277 0 0 0 102673 342 0 0 25 0 1 0 968798716 475410432 92062 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116067 92062 301 301 0 115766 0
vsize: 464268
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170381 0 0 0 103672 344 0 0 25 0 1 0 968798716 478306304 92551 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116774 92551 301 301 0 116473 0
vsize: 467096
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170381 0 0 0 104672 344 0 0 25 0 1 0 968798716 478306304 92551 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116774 92551 301 301 0 116473 0
vsize: 467096
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170662 0 0 0 105671 344 0 0 25 0 1 0 968798716 479096832 92670 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92670 301 301 0 116666 0
vsize: 467868
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170672 0 0 0 106672 344 0 0 25 0 1 0 968798716 479096832 92680 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92680 301 301 0 116666 0
vsize: 467868
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170673 0 0 0 107672 345 0 0 25 0 1 0 968798716 479096832 92681 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92681 301 301 0 116666 0
vsize: 467868
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170706 0 0 0 108672 345 0 0 25 0 1 0 968798716 479096832 92714 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92714 301 301 0 116666 0
vsize: 467868
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170707 0 0 0 109672 345 0 0 25 0 1 0 968798716 479096832 92715 4294967295 134512640 135730672 3221224576 3221223008 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92715 301 301 0 116666 0
vsize: 467868
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170708 0 0 0 110672 345 0 0 25 0 1 0 968798716 479096832 92716 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92716 301 301 0 116666 0
vsize: 467868
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170709 0 0 0 111673 345 0 0 25 0 1 0 968798716 479096832 92717 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92717 301 301 0 116666 0
vsize: 467868
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170711 0 0 0 112672 345 0 0 25 0 1 0 968798716 479096832 92719 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92719 301 301 0 116666 0
vsize: 467868
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170712 0 0 0 113673 345 0 0 25 0 1 0 968798716 479096832 92720 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92720 301 301 0 116666 0
vsize: 467868
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170715 0 0 0 114673 345 0 0 25 0 1 0 968798716 479096832 92723 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92723 301 301 0 116666 0
vsize: 467868
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170716 0 0 0 115673 345 0 0 25 0 1 0 968798716 479096832 92724 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92724 301 301 0 116666 0
vsize: 467868
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170717 0 0 0 116673 345 0 0 25 0 1 0 968798716 479096832 92725 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92725 301 301 0 116666 0
vsize: 467868
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 170718 0 0 0 117673 345 0 0 25 0 1 0 968798716 479096832 92726 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116967 92726 301 301 0 116666 0
vsize: 467868
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 171878 0 0 0 118671 347 0 0 25 0 1 0 968798716 482521088 93173 4294967295 134512640 135730672 3221224576 3221222992 134748194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117803 93173 301 301 0 117502 0
vsize: 471212
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 172924 0 0 0 119669 350 0 0 25 0 1 0 968798716 485154816 93667 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118446 93667 301 301 0 118145 0
vsize: 473784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18708
Raw data (stat): 18706 (pb2sat-v2) R 18705 20224 20223 0 -1 0 172924 0 0 0 119669 350 0 0 25 0 1 0 968798716 485154816 93667 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118446 93667 301 301 0 118145 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.24
CPU time (s): 1202.38
CPU user time (s): 1198.69
CPU system time (s): 3.68944
CPU usage (%): 100.011
Max. virtual memory (Kb): 473784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	63596
#### END VERIFIER DATA ####