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/miplib2003/normalized-mps-v2-20-10-markshare2.opb
MD5SUM	c00b2eef1eabd5880b83093b756a5dd4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	429056
Optimality of the best value was proved	NO
Number of terms in the objective function	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	7516192761
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.34
Number of variables	270
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	90
Trace number 42466

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 08:03:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25674 boxname=wulflinc4 idbench=974 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c00b2eef1eabd5880b83093b756a5dd4  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 25674
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        697072 kB
Buffers:         34500 kB
Cached:         281232 kB
SwapCached:        944 kB
Active:          30624 kB
Inactive:       287204 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        696820 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13960 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:23:29 (client local time) WITH STATUS 10 IN 1201.34 SECONDS
stats: 25674 0 1201.34 10
#### 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: 646144
c small objective detected
c CONFLICT during preprocess 
c [startup+32.8895 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+35.0697 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+37.2506 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+39.4371 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+41.6203 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+43.8018 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+46.0014 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+48.205 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+50.4095 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+52.6083 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+54.7905 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+56.9775 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+59.1603 s]  setting bit 20 to 0
s SATISFIABLE
v x11_bit0 -x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 -x11_bit13 -x11_bit14 -x11_bit15 -x11_bit16 -x11_bit17 -x11_bit18 -x11_bit19 x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_10 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 -x11_bit_8 -x11_bit_9 x13_bit0 -x13_bit1 -x13_bit10 -x13_bit11 -x13_bit12 -x13_bit13 -x13_bit14 -x13_bit15 -x13_bit16 -x13_bit17 -x13_bit18 -x13_bit19 -x13_bit2 x13_bit3 x13_bit4 -x13_bit5 -x13_bit6 -x13_bit7 x13_bit8 -x13_bit9 -x13_bit_1 -x13_bit_10 -x13_bit_2 -x13_bit_3 -x13_bit_4 -x13_bit_5 -x13_bit_6 -x13_bit_7 -x13_bit_8 -x13_bit_9 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 x19_bit0 x1_bit0 x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 -x1_bit2 x1_bit3 -x1_bit4 x1_bit5 x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_10 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 -x1_bit_8 -x1_bit_9 x20_bit0 x21_bit0 -x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 x3_bit2 -x3_bit3 -x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_10 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x3_bit_8 -x3_bit_9 -x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 -x51_bit0 -x52_bit0 x53_bit0 -x54_bit0 x55_bit0 -x56_bit0 -x57_bit0 -x58_bit0 x59_bit0 x5_bit0 x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 x5_bit2 -x5_bit3 -x5_bit4 x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_10 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x5_bit_8 -x5_bit_9 -x60_bit0 -x61_bit0 x62_bit0 x63_bit0 x64_bit0 x65_bit0 x66_bit0 -x67_bit0 x68_bit0 x69_bit0 x70_bit0 x71_bit0 -x72_bit0 -x73_bit0 -x74_bit0 x7_bit0 -x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 x7_bit2 -x7_bit3 -x7_bit4 x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_10 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x7_bit_8 -x7_bit_9 x9_bit0 x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -x9_bit2 x9_bit3 x9_bit4 x9_bit5 -x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_10 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 -x9_bit_8 -x9_bit_9 
#### 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.85 0.95 0.90 2/54 23745
Raw data (stat): 23745 (runsolver) R 23744 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969164264 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 26427 0 0 0 945 54 0 0 25 0 1 0 969164264 77754368 15428 4294967295 134512640 135730672 3221224576 3221208888 135284895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18983 15428 301 301 0 18682 0
vsize: 75932
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 51599 0 0 0 1891 108 0 0 25 0 1 0 969164264 151851008 29647 4294967295 134512640 135730672 3221224576 3221205984 134770867 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37073 29647 301 301 0 36772 0
vsize: 148292
[startup+30.0023 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 76305 0 0 0 2842 157 0 0 25 0 1 0 969164264 221376512 43943 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54047 43943 301 301 0 53746 0
vsize: 216188
[startup+40.0032 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 82988 0 0 0 3827 172 0 0 25 0 1 0 969164264 235352064 46335 4294967295 134512640 135730672 3221224576 3221222680 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57459 46335 301 301 0 57158 0
vsize: 229836
[startup+50.0044 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 87180 0 0 0 4816 182 0 0 25 0 1 0 969164264 231059456 45287 4294967295 134512640 135730672 3221224576 3221223088 134739840 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56411 45287 301 301 0 56110 0
vsize: 225644
[startup+60.004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92422 0 0 0 5804 195 0 0 25 0 1 0 969164264 235352064 46337 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57459 46337 301 301 0 57158 0
vsize: 229836
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92478 0 0 0 6803 195 0 0 25 0 1 0 969164264 230526976 45215 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56281 45215 301 301 0 55980 0
vsize: 225124
[startup+80.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92488 0 0 0 7803 195 0 0 25 0 1 0 969164264 230391808 45192 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56248 45192 301 301 0 55947 0
vsize: 224992
[startup+90.0055 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92500 0 0 0 8803 195 0 0 25 0 1 0 969164264 230391808 45204 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56248 45204 301 301 0 55947 0
vsize: 224992
[startup+100.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92506 0 0 0 9803 195 0 0 25 0 1 0 969164264 230391808 45210 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56248 45210 301 301 0 55947 0
vsize: 224992
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92513 0 0 0 10803 195 0 0 25 0 1 0 969164264 230125568 45152 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56183 45152 301 301 0 55882 0
vsize: 224732
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 92988 0 0 0 11803 196 0 0 25 0 1 0 969164264 233283584 45627 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56954 45627 301 301 0 56653 0
vsize: 227816
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23745
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93186 0 0 0 12803 196 0 0 25 0 1 0 969164264 233807872 45696 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45696 301 301 0 56781 0
vsize: 228328
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93189 0 0 0 13803 196 0 0 25 0 1 0 969164264 233807872 45699 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45699 301 301 0 56781 0
vsize: 228328
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93192 0 0 0 14803 196 0 0 25 0 1 0 969164264 233807872 45702 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45702 301 301 0 56781 0
vsize: 228328
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93194 0 0 0 15803 196 0 0 25 0 1 0 969164264 233807872 45704 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45704 301 301 0 56781 0
vsize: 228328
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93196 0 0 0 16804 196 0 0 25 0 1 0 969164264 233807872 45706 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45706 301 301 0 56781 0
vsize: 228328
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93200 0 0 0 17804 196 0 0 25 0 1 0 969164264 233807872 45710 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45710 301 301 0 56781 0
vsize: 228328
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93203 0 0 0 18804 196 0 0 25 0 1 0 969164264 233807872 45713 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45713 301 301 0 56781 0
vsize: 228328
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93205 0 0 0 19804 196 0 0 25 0 1 0 969164264 233807872 45715 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57082 45715 301 301 0 56781 0
vsize: 228328
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93207 0 0 0 20804 197 0 0 25 0 1 0 969164264 233807872 45717 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57082 45717 301 301 0 56781 0
vsize: 228328
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93249 0 0 0 21803 197 0 0 25 0 1 0 969164264 234074112 45759 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57147 45759 301 301 0 56846 0
vsize: 228588
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93440 0 0 0 22801 198 0 0 25 0 1 0 969164264 234864640 45885 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57340 45885 301 301 0 57039 0
vsize: 229360
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93442 0 0 0 23801 199 0 0 25 0 1 0 969164264 234864640 45887 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57340 45887 301 301 0 57039 0
vsize: 229360
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93446 0 0 0 24801 199 0 0 25 0 1 0 969164264 234864640 45891 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57340 45891 301 301 0 57039 0
vsize: 229360
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93450 0 0 0 25800 200 0 0 25 0 1 0 969164264 234864640 45895 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45895 301 301 0 57039 0
vsize: 229360
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93452 0 0 0 26800 200 0 0 25 0 1 0 969164264 234864640 45897 4294967295 134512640 135730672 3221224576 3221223024 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45897 301 301 0 57039 0
vsize: 229360
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93455 0 0 0 27800 200 0 0 25 0 1 0 969164264 234864640 45900 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45900 301 301 0 57039 0
vsize: 229360
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93473 0 0 0 28801 200 0 0 25 0 1 0 969164264 234864640 45918 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45918 301 301 0 57039 0
vsize: 229360
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93475 0 0 0 29801 200 0 0 25 0 1 0 969164264 234864640 45920 4294967295 134512640 135730672 3221224576 3221222960 134747724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45920 301 301 0 57039 0
vsize: 229360
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93477 0 0 0 30801 200 0 0 25 0 1 0 969164264 234864640 45922 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45922 301 301 0 57039 0
vsize: 229360
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93480 0 0 0 31801 200 0 0 25 0 1 0 969164264 234864640 45925 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45925 301 301 0 57039 0
vsize: 229360
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93483 0 0 0 32801 200 0 0 25 0 1 0 969164264 234864640 45928 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45928 301 301 0 57039 0
vsize: 229360
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93485 0 0 0 33801 200 0 0 25 0 1 0 969164264 234864640 45930 4294967295 134512640 135730672 3221224576 3221223024 134748676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45930 301 301 0 57039 0
vsize: 229360
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93488 0 0 0 34802 200 0 0 25 0 1 0 969164264 234864640 45933 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45933 301 301 0 57039 0
vsize: 229360
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93490 0 0 0 35802 200 0 0 25 0 1 0 969164264 234864640 45935 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45935 301 301 0 57039 0
vsize: 229360
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93493 0 0 0 36802 200 0 0 25 0 1 0 969164264 234864640 45938 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45938 301 301 0 57039 0
vsize: 229360
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93495 0 0 0 37802 200 0 0 25 0 1 0 969164264 234864640 45940 4294967295 134512640 135730672 3221224576 3221222992 134748194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45940 301 301 0 57039 0
vsize: 229360
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93498 0 0 0 38802 200 0 0 25 0 1 0 969164264 234864640 45943 4294967295 134512640 135730672 3221224576 3221222732 135291075 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57340 45943 301 301 0 57039 0
vsize: 229360
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93641 0 0 0 39802 200 0 0 25 0 1 0 969164264 235917312 46086 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46086 301 301 0 57296 0
vsize: 230388
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93644 0 0 0 40802 200 0 0 25 0 1 0 969164264 235917312 46089 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46089 301 301 0 57296 0
vsize: 230388
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93648 0 0 0 41802 200 0 0 25 0 1 0 969164264 235917312 46093 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46093 301 301 0 57296 0
vsize: 230388
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93650 0 0 0 42803 200 0 0 25 0 1 0 969164264 235917312 46095 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46095 301 301 0 57296 0
vsize: 230388
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93653 0 0 0 43803 200 0 0 25 0 1 0 969164264 235917312 46098 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46098 301 301 0 57296 0
vsize: 230388
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 93656 0 0 0 44803 200 0 0 25 0 1 0 969164264 235917312 46101 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57597 46101 301 301 0 57296 0
vsize: 230388
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 95007 0 0 0 45801 203 0 0 25 0 1 0 969164264 240939008 46997 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58823 46997 301 301 0 58522 0
vsize: 235292
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 96288 0 0 0 46798 205 0 0 25 0 1 0 969164264 244936704 47626 4294967295 134512640 135730672 3221224576 3221222864 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59799 47626 301 301 0 59498 0
vsize: 239196
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 96988 0 0 0 47797 207 0 0 25 0 1 0 969164264 246743040 48067 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60240 48067 301 301 0 59939 0
vsize: 240960
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 97174 0 0 0 48797 207 0 0 25 0 1 0 969164264 247267328 48124 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60368 48124 301 301 0 60067 0
vsize: 241472
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 97782 0 0 0 49796 208 0 0 25 0 1 0 969164264 249278464 48409 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60859 48409 301 301 0 60558 0
vsize: 243436
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 98220 0 0 0 50796 209 0 0 25 0 1 0 969164264 250327040 48589 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61115 48589 301 301 0 60814 0
vsize: 244460
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99357 0 0 0 51794 211 0 0 25 0 1 0 969164264 253698048 49205 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61938 49205 301 301 0 61637 0
vsize: 247752
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99559 0 0 0 52793 212 0 0 25 0 1 0 969164264 254222336 49278 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62066 49278 301 301 0 61765 0
vsize: 248264
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99562 0 0 0 53793 212 0 0 25 0 1 0 969164264 254222336 49281 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62066 49281 301 301 0 61765 0
vsize: 248264
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99584 0 0 0 54793 212 0 0 25 0 1 0 969164264 254357504 49303 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62099 49303 301 301 0 61798 0
vsize: 248396
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99589 0 0 0 55794 212 0 0 25 0 1 0 969164264 254533632 49308 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49308 301 301 0 61841 0
vsize: 248568
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99592 0 0 0 56794 212 0 0 25 0 1 0 969164264 254533632 49311 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49311 301 301 0 61841 0
vsize: 248568
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99594 0 0 0 57794 212 0 0 25 0 1 0 969164264 254533632 49313 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49313 301 301 0 61841 0
vsize: 248568
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99598 0 0 0 58794 212 0 0 25 0 1 0 969164264 254533632 49317 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49317 301 301 0 61841 0
vsize: 248568
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99604 0 0 0 59794 212 0 0 25 0 1 0 969164264 254533632 49323 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49323 301 301 0 61841 0
vsize: 248568
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99609 0 0 0 60795 212 0 0 25 0 1 0 969164264 254533632 49328 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62142 49328 301 301 0 61841 0
vsize: 248568
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 99689 0 0 0 61795 212 0 0 25 0 1 0 969164264 254664704 49375 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62174 49375 301 301 0 61873 0
vsize: 248696
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100104 0 0 0 62794 213 0 0 25 0 1 0 969164264 255983616 49595 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62496 49595 301 301 0 62195 0
vsize: 249984
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100109 0 0 0 63794 213 0 0 25 0 1 0 969164264 255983616 49600 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62496 49600 301 301 0 62195 0
vsize: 249984
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100291 0 0 0 64794 214 0 0 25 0 1 0 969164264 256376832 49684 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62592 49684 301 301 0 62291 0
vsize: 250368
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100294 0 0 0 65794 214 0 0 25 0 1 0 969164264 256376832 49687 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62592 49687 301 301 0 62291 0
vsize: 250368
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100310 0 0 0 66794 214 0 0 25 0 1 0 969164264 256376832 49703 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62592 49703 301 301 0 62291 0
vsize: 250368
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100541 0 0 0 67793 215 0 0 25 0 1 0 969164264 257572864 49901 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62884 49901 301 301 0 62583 0
vsize: 251536
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100713 0 0 0 68793 215 0 0 25 0 1 0 969164264 258097152 49943 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49943 301 301 0 62711 0
vsize: 252048
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100717 0 0 0 69793 215 0 0 25 0 1 0 969164264 258097152 49947 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49947 301 301 0 62711 0
vsize: 252048
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100721 0 0 0 70794 215 0 0 25 0 1 0 969164264 258097152 49951 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49951 301 301 0 62711 0
vsize: 252048
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100726 0 0 0 71794 215 0 0 25 0 1 0 969164264 258097152 49956 4294967295 134512640 135730672 3221224576 3221222688 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49956 301 301 0 62711 0
vsize: 252048
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100742 0 0 0 72794 215 0 0 25 0 1 0 969164264 258097152 49972 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49972 301 301 0 62711 0
vsize: 252048
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100750 0 0 0 73794 215 0 0 25 0 1 0 969164264 258097152 49980 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49980 301 301 0 62711 0
vsize: 252048
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100762 0 0 0 74794 215 0 0 25 0 1 0 969164264 258097152 49992 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 49992 301 301 0 62711 0
vsize: 252048
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100772 0 0 0 75795 215 0 0 25 0 1 0 969164264 258097152 50002 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 50002 301 301 0 62711 0
vsize: 252048
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100775 0 0 0 76795 215 0 0 25 0 1 0 969164264 258097152 50005 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 50005 301 301 0 62711 0
vsize: 252048
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100780 0 0 0 77795 215 0 0 25 0 1 0 969164264 258097152 50010 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 50010 301 301 0 62711 0
vsize: 252048
[startup+790.035 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100811 0 0 0 78795 216 0 0 25 0 1 0 969164264 258097152 50041 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63012 50041 301 301 0 62711 0
vsize: 252048
[startup+800.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100947 0 0 0 79795 216 0 0 25 0 1 0 969164264 258359296 50112 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50112 301 301 0 62775 0
vsize: 252304
[startup+810.035 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100951 0 0 0 80795 216 0 0 25 0 1 0 969164264 258359296 50116 4294967295 134512640 135730672 3221224576 3221222992 134748249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50116 301 301 0 62775 0
vsize: 252304
[startup+820.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100954 0 0 0 81795 216 0 0 25 0 1 0 969164264 258359296 50119 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50119 301 301 0 62775 0
vsize: 252304
[startup+830.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100957 0 0 0 82796 216 0 0 25 0 1 0 969164264 258359296 50122 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50122 301 301 0 62775 0
vsize: 252304
[startup+840.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100963 0 0 0 83795 216 0 0 25 0 1 0 969164264 258359296 50128 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63076 50128 301 301 0 62775 0
vsize: 252304
[startup+850.038 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100968 0 0 0 84795 216 0 0 25 0 1 0 969164264 258359296 50133 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63076 50133 301 301 0 62775 0
vsize: 252304
[startup+860.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100972 0 0 0 85794 217 0 0 25 0 1 0 969164264 258359296 50137 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50137 301 301 0 62775 0
vsize: 252304
[startup+870.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100977 0 0 0 86794 217 0 0 25 0 1 0 969164264 258359296 50142 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50142 301 301 0 62775 0
vsize: 252304
[startup+880.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100980 0 0 0 87794 217 0 0 25 0 1 0 969164264 258359296 50145 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50145 301 301 0 62775 0
vsize: 252304
[startup+890.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100985 0 0 0 88795 217 0 0 25 0 1 0 969164264 258359296 50150 4294967295 134512640 135730672 3221224576 3221222864 134747634 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50150 301 301 0 62775 0
vsize: 252304
[startup+900.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100989 0 0 0 89795 217 0 0 25 0 1 0 969164264 258359296 50154 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50154 301 301 0 62775 0
vsize: 252304
[startup+910.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 100996 0 0 0 90795 217 0 0 25 0 1 0 969164264 258359296 50161 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50161 301 301 0 62775 0
vsize: 252304
[startup+920.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101005 0 0 0 91795 217 0 0 25 0 1 0 969164264 258359296 50170 4294967295 134512640 135730672 3221224576 3221222864 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50170 301 301 0 62775 0
vsize: 252304
[startup+930.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101025 0 0 0 92795 217 0 0 25 0 1 0 969164264 258359296 50190 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50190 301 301 0 62775 0
vsize: 252304
[startup+940.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101048 0 0 0 93795 217 0 0 25 0 1 0 969164264 258359296 50213 4294967295 134512640 135730672 3221224576 3221222864 134747932 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50213 301 301 0 62775 0
vsize: 252304
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101052 0 0 0 94795 217 0 0 25 0 1 0 969164264 258359296 50217 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50217 301 301 0 62775 0
vsize: 252304
[startup+960.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101073 0 0 0 95796 217 0 0 25 0 1 0 969164264 258359296 50238 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50238 301 301 0 62775 0
vsize: 252304
[startup+970.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101075 0 0 0 96796 217 0 0 25 0 1 0 969164264 258359296 50240 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50240 301 301 0 62775 0
vsize: 252304
[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101079 0 0 0 97796 217 0 0 25 0 1 0 969164264 258359296 50244 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50244 301 301 0 62775 0
vsize: 252304
[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101083 0 0 0 98796 217 0 0 25 0 1 0 969164264 258359296 50248 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50248 301 301 0 62775 0
vsize: 252304
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101086 0 0 0 99796 217 0 0 25 0 1 0 969164264 258359296 50251 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50251 301 301 0 62775 0
vsize: 252304
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101091 0 0 0 100796 217 0 0 25 0 1 0 969164264 258359296 50256 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50256 301 301 0 62775 0
vsize: 252304
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101096 0 0 0 101797 217 0 0 25 0 1 0 969164264 258359296 50261 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50261 301 301 0 62775 0
vsize: 252304
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101099 0 0 0 102797 217 0 0 25 0 1 0 969164264 258359296 50264 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50264 301 301 0 62775 0
vsize: 252304
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101102 0 0 0 103797 218 0 0 25 0 1 0 969164264 258359296 50267 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50267 301 301 0 62775 0
vsize: 252304
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101107 0 0 0 104797 218 0 0 25 0 1 0 969164264 258359296 50272 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50272 301 301 0 62775 0
vsize: 252304
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101111 0 0 0 105797 218 0 0 25 0 1 0 969164264 258359296 50276 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50276 301 301 0 62775 0
vsize: 252304
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101117 0 0 0 106797 218 0 0 25 0 1 0 969164264 258359296 50282 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50282 301 301 0 62775 0
vsize: 252304
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101122 0 0 0 107797 218 0 0 25 0 1 0 969164264 258359296 50287 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50287 301 301 0 62775 0
vsize: 252304
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101127 0 0 0 108797 218 0 0 25 0 1 0 969164264 258359296 50292 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50292 301 301 0 62775 0
vsize: 252304
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101133 0 0 0 109798 218 0 0 25 0 1 0 969164264 258359296 50298 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63076 50298 301 301 0 62775 0
vsize: 252304
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101275 0 0 0 110798 218 0 0 25 0 1 0 969164264 258752512 50342 4294967295 134512640 135730672 3221224576 3221223036 134748653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50342 301 301 0 62871 0
vsize: 252688
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101279 0 0 0 111798 218 0 0 25 0 1 0 969164264 258752512 50346 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50346 301 301 0 62871 0
vsize: 252688
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101283 0 0 0 112798 218 0 0 25 0 1 0 969164264 258752512 50350 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50350 301 301 0 62871 0
vsize: 252688
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101287 0 0 0 113798 218 0 0 25 0 1 0 969164264 258752512 50354 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50354 301 301 0 62871 0
vsize: 252688
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101292 0 0 0 114798 218 0 0 25 0 1 0 969164264 258752512 50359 4294967295 134512640 135730672 3221224576 3221222992 134748141 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50359 301 301 0 62871 0
vsize: 252688
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101296 0 0 0 115798 218 0 0 25 0 1 0 969164264 258752512 50363 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50363 301 301 0 62871 0
vsize: 252688
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101300 0 0 0 116799 218 0 0 25 0 1 0 969164264 258752512 50367 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50367 301 301 0 62871 0
vsize: 252688
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101304 0 0 0 117799 218 0 0 25 0 1 0 969164264 258752512 50371 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50371 301 301 0 62871 0
vsize: 252688
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101308 0 0 0 118799 218 0 0 25 0 1 0 969164264 258752512 50375 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50375 301 301 0 62871 0
vsize: 252688
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23747
Raw data (stat): 23745 (pb2sat-v2) R 23744 21152 21151 0 -1 0 101313 0 0 0 119799 218 0 0 25 0 1 0 969164264 258752512 50380 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63172 50380 301 301 0 62871 0
vsize: 252688
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.21 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23747
Raw data (stat): 23745 (pb2sat-v2) Z 23744 21152 21151 0 -1 12 101315 0 0 0 119905 228 0 0 25 0 1 0 969164264 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.21
CPU time (s): 1201.34
CPU user time (s): 1199.05
CPU system time (s): 2.28865
CPU usage (%): 100.011
Max. virtual memory (Kb): 252688
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	646144
#### END VERIFIER DATA ####