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 35297

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-28 12:24:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24502 boxname=wulflinc11 idbench=974 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c00b2eef1eabd5880b83093b756a5dd4  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 24502
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        917016 kB
Buffers:         34996 kB
Cached:          60976 kB
SwapCached:        860 kB
Active:          47204 kB
Inactive:        50908 kB
HighTotal:      131008 kB
HighFree:        67032 kB
LowTotal:       903652 kB
LowFree:        849984 kB
SwapTotal:     2097136 kB
SwapFree:      2095396 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13948 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:44:21 (client local time) WITH STATUS 10 IN 1201.59 SECONDS
stats: 24502 0 1201.59 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 [startup+29.7819 s]  setting bit 32 to 1
c got solution with objective value: 646144
c [startup+33.3987 s]  setting bit 31 to 1
c CONFLICT during preprocess 
c [startup+35.5559 s]  setting bit 30 to 0
c got solution with objective value: 646144
c [startup+39.2 s]  setting bit 29 to 1
c got solution with objective value: 646144
c [startup+42.8079 s]  setting bit 28 to 1
c got solution with objective value: 646144
c [startup+46.4239 s]  setting bit 27 to 1
c got solution with objective value: 646144
c [startup+50.0728 s]  setting bit 26 to 1
c got solution with objective value: 646144
c [startup+53.7266 s]  setting bit 25 to 1
c got solution with objective value: 646144
c [startup+57.3765 s]  setting bit 24 to 1
c got solution with objective value: 646144
c [startup+60.9839 s]  setting bit 23 to 1
c got solution with objective value: 646144
c [startup+64.5917 s]  setting bit 22 to 1
c got solution with objective value: 646144
c [startup+68.1993 s]  setting bit 21 to 1
c got solution with objective value: 646144
c [startup+71.8093 s]  setting bit 20 to 1
c got solution with objective value: 429056
c [startup+76.3988 s]  setting bit 19 to 1
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.93 0.96 0.91 1/54 3052
Raw data (stat): 3052 (runsolver) R 3051 25830 25829 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806553657 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.0004 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 27210 0 0 0 936 63 0 0 25 0 1 0 806553657 78331904 16198 4294967295 134512640 135726644 3221224576 3221201496 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19124 16199 300 300 0 18824 0
vsize: 76496
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 53574 0 0 0 1880 119 0 0 25 0 1 0 806553657 153104384 31592 4294967295 134512640 135726644 3221224576 3221208696 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37379 31592 300 300 0 37079 0
vsize: 149516
[startup+30.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 77110 0 0 0 2837 162 0 0 25 0 1 0 806553657 226836480 44675 4294967295 134512640 135726644 3221224576 3221223072 134763605 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55380 44683 300 300 0 55080 0
vsize: 221520
[startup+40.0008 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 80954 0 0 0 3826 171 0 0 25 0 1 0 806553657 226836480 45372 4294967295 134512640 135726644 3221224576 3221222872 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55380 45372 300 300 0 55080 0
vsize: 221520
[startup+50.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 83052 0 0 0 4821 177 0 0 25 0 1 0 806553657 222539776 44323 4294967295 134512640 135726644 3221224576 3221223296 134736254 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54331 44323 300 300 0 54031 0
vsize: 217324
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 86200 0 0 0 5812 185 0 0 25 0 1 0 806553657 222539776 44324 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54331 44324 300 300 0 54031 0
vsize: 217324
[startup+70.0031 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 89348 0 0 0 6804 193 0 0 25 0 1 0 806553657 222539776 44325 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54331 44325 300 300 0 54031 0
vsize: 217324
[startup+80.003 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 92349 0 0 0 7797 201 0 0 25 0 1 0 806553657 227151872 45130 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55457 45130 300 300 0 55157 0
vsize: 221828
[startup+90.0027 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 92836 0 0 0 8796 202 0 0 25 0 1 0 806553657 229003264 45422 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55909 45422 300 300 0 55609 0
vsize: 223636
[startup+100.003 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93095 0 0 0 9796 202 0 0 25 0 1 0 806553657 229793792 45551 4294967295 134512640 135726644 3221224576 3221223072 134743928 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56102 45551 300 300 0 55802 0
vsize: 224408
[startup+110.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93208 0 0 0 10796 202 0 0 25 0 1 0 806553657 230326272 45664 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56232 45664 300 300 0 55932 0
vsize: 224928
[startup+120.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93341 0 0 0 11796 202 0 0 25 0 1 0 806553657 230858752 45797 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56362 45797 300 300 0 56062 0
vsize: 225448
[startup+130.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93509 0 0 0 12796 203 0 0 25 0 1 0 806553657 231120896 45900 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56426 45900 300 300 0 56126 0
vsize: 225704
[startup+140.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93562 0 0 0 13796 203 0 0 25 0 1 0 806553657 231387136 45953 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56491 45953 300 300 0 56191 0
vsize: 225964
[startup+150.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93688 0 0 0 14796 203 0 0 25 0 1 0 806553657 231649280 46014 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56555 46014 300 300 0 56255 0
vsize: 226220
[startup+160.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93693 0 0 0 15796 203 0 0 25 0 1 0 806553657 231649280 46019 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56555 46019 300 300 0 56255 0
vsize: 226220
[startup+170.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 93867 0 0 0 16796 204 0 0 25 0 1 0 806553657 232177664 46128 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56684 46128 300 300 0 56384 0
vsize: 226736
[startup+180.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94026 0 0 0 17795 204 0 0 25 0 1 0 806553657 232706048 46222 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56813 46222 300 300 0 56513 0
vsize: 227252
[startup+190.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94062 0 0 0 18796 204 0 0 25 0 1 0 806553657 232706048 46258 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56813 46258 300 300 0 56513 0
vsize: 227252
[startup+200.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94276 0 0 0 19795 204 0 0 25 0 1 0 806553657 233496576 46343 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57006 46343 300 300 0 56706 0
vsize: 228024
[startup+210.004 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94288 0 0 0 20795 204 0 0 25 0 1 0 806553657 233496576 46355 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57006 46355 300 300 0 56706 0
vsize: 228024
[startup+220.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94439 0 0 0 21795 205 0 0 25 0 1 0 806553657 233758720 46441 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57070 46441 300 300 0 56770 0
vsize: 228280
[startup+230.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94443 0 0 0 22796 205 0 0 25 0 1 0 806553657 233758720 46445 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57070 46445 300 300 0 56770 0
vsize: 228280
[startup+240.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94446 0 0 0 23796 205 0 0 25 0 1 0 806553657 233758720 46448 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57070 46448 300 300 0 56770 0
vsize: 228280
[startup+250.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94487 0 0 0 24796 205 0 0 25 0 1 0 806553657 234024960 46489 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57135 46489 300 300 0 56835 0
vsize: 228540
[startup+260.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94643 0 0 0 25795 205 0 0 25 0 1 0 806553657 234287104 46580 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57199 46580 300 300 0 56899 0
vsize: 228796
[startup+270.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94646 0 0 0 26796 205 0 0 25 0 1 0 806553657 234287104 46583 4294967295 134512640 135726644 3221224576 3221223264 134744832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57199 46583 300 300 0 56899 0
vsize: 228796
[startup+280.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94650 0 0 0 27796 206 0 0 25 0 1 0 806553657 234287104 46587 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57199 46587 300 300 0 56899 0
vsize: 228796
[startup+290.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 94832 0 0 0 28796 206 0 0 25 0 1 0 806553657 234815488 46704 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57328 46704 300 300 0 57028 0
vsize: 229312
[startup+300.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95149 0 0 0 29795 207 0 0 25 0 1 0 806553657 235868160 46827 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57585 46827 300 300 0 57285 0
vsize: 230340
[startup+310.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95312 0 0 0 30795 207 0 0 25 0 1 0 806553657 236392448 46861 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57713 46861 300 300 0 57413 0
vsize: 230852
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95315 0 0 0 31795 207 0 0 25 0 1 0 806553657 236392448 46864 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57713 46864 300 300 0 57413 0
vsize: 230852
[startup+330.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95443 0 0 0 32796 207 0 0 25 0 1 0 806553657 236920832 46992 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57842 46992 300 300 0 57542 0
vsize: 231368
[startup+340.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95446 0 0 0 33797 207 0 0 25 0 1 0 806553657 236920832 46995 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57842 46995 300 300 0 57542 0
vsize: 231368
[startup+350.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95448 0 0 0 34797 208 0 0 25 0 1 0 806553657 236920832 46997 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57842 46997 300 300 0 57542 0
vsize: 231368
[startup+360.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95451 0 0 0 35797 208 0 0 25 0 1 0 806553657 236920832 47000 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57842 47000 300 300 0 57542 0
vsize: 231368
[startup+370.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95530 0 0 0 36797 208 0 0 25 0 1 0 806553657 237449216 47079 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57971 47079 300 300 0 57671 0
vsize: 231884
[startup+380.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95747 0 0 0 37797 208 0 0 25 0 1 0 806553657 237973504 47167 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58099 47167 300 300 0 57799 0
vsize: 232396
[startup+390.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95750 0 0 0 38797 208 0 0 25 0 1 0 806553657 237973504 47170 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58099 47170 300 300 0 57799 0
vsize: 232396
[startup+400.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95886 0 0 0 39797 209 0 0 25 0 1 0 806553657 238497792 47177 4294967295 134512640 135726644 3221224576 3221222904 134735638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58227 47177 300 300 0 57927 0
vsize: 232908
[startup+410.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95890 0 0 0 40797 209 0 0 25 0 1 0 806553657 238497792 47181 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58227 47181 300 300 0 57927 0
vsize: 232908
[startup+420.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95893 0 0 0 41797 209 0 0 25 0 1 0 806553657 238497792 47184 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58227 47184 300 300 0 57927 0
vsize: 232908
[startup+430.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 95896 0 0 0 42797 209 0 0 25 0 1 0 806553657 238497792 47187 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58227 47187 300 300 0 57927 0
vsize: 232908
[startup+440.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96196 0 0 0 43797 209 0 0 25 0 1 0 806553657 239550464 47358 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47358 300 300 0 58184 0
vsize: 233936
[startup+450.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96218 0 0 0 44797 210 0 0 25 0 1 0 806553657 239550464 47380 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47380 300 300 0 58184 0
vsize: 233936
[startup+460.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96221 0 0 0 45797 210 0 0 25 0 1 0 806553657 239550464 47383 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47383 300 300 0 58184 0
vsize: 233936
[startup+470.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96224 0 0 0 46797 210 0 0 25 0 1 0 806553657 239550464 47386 4294967295 134512640 135726644 3221224576 3221223200 134744656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47386 300 300 0 58184 0
vsize: 233936
[startup+480.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96228 0 0 0 47797 210 0 0 25 0 1 0 806553657 239550464 47390 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47390 300 300 0 58184 0
vsize: 233936
[startup+490.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96230 0 0 0 48797 210 0 0 25 0 1 0 806553657 239550464 47392 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58484 47392 300 300 0 58184 0
vsize: 233936
[startup+500.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96302 0 0 0 49798 210 0 0 25 0 1 0 806553657 240078848 47464 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58613 47464 300 300 0 58313 0
vsize: 234452
[startup+510.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96508 0 0 0 50797 210 0 0 25 0 1 0 806553657 240603136 47541 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47541 300 300 0 58441 0
vsize: 234964
[startup+520.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96511 0 0 0 51797 211 0 0 25 0 1 0 806553657 240603136 47544 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47544 300 300 0 58441 0
vsize: 234964
[startup+530.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96513 0 0 0 52798 211 0 0 25 0 1 0 806553657 240603136 47546 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47546 300 300 0 58441 0
vsize: 234964
[startup+540.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96516 0 0 0 53798 211 0 0 25 0 1 0 806553657 240603136 47549 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47549 300 300 0 58441 0
vsize: 234964
[startup+550.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96519 0 0 0 54797 211 0 0 25 0 1 0 806553657 240603136 47552 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47552 300 300 0 58441 0
vsize: 234964
[startup+560.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96522 0 0 0 55797 211 0 0 25 0 1 0 806553657 240603136 47555 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47555 300 300 0 58441 0
vsize: 234964
[startup+570.136 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96526 0 0 0 56808 212 0 0 25 0 1 0 806553657 240603136 47559 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47559 300 300 0 58441 0
vsize: 234964
[startup+580.137 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96560 0 0 0 57808 212 0 0 25 0 1 0 806553657 240603136 47593 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58741 47593 300 300 0 58441 0
vsize: 234964
[startup+590.137 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96839 0 0 0 58807 212 0 0 25 0 1 0 806553657 241655808 47743 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47743 300 300 0 58698 0
vsize: 235992
[startup+600.138 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96842 0 0 0 59807 212 0 0 25 0 1 0 806553657 241655808 47746 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47746 300 300 0 58698 0
vsize: 235992
[startup+610.137 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96854 0 0 0 60807 213 0 0 25 0 1 0 806553657 241655808 47758 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47758 300 300 0 58698 0
vsize: 235992
[startup+620.138 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96856 0 0 0 61808 213 0 0 25 0 1 0 806553657 241655808 47760 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47760 300 300 0 58698 0
vsize: 235992
[startup+630.138 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96858 0 0 0 62808 213 0 0 25 0 1 0 806553657 241655808 47762 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47762 300 300 0 58698 0
vsize: 235992
[startup+640.139 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96891 0 0 0 63808 213 0 0 25 0 1 0 806553657 241655808 47795 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47795 300 300 0 58698 0
vsize: 235992
[startup+650.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96893 0 0 0 64808 213 0 0 25 0 1 0 806553657 241655808 47797 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47797 300 300 0 58698 0
vsize: 235992
[startup+660.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96897 0 0 0 65808 213 0 0 25 0 1 0 806553657 241655808 47801 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47801 300 300 0 58698 0
vsize: 235992
[startup+670.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96905 0 0 0 66809 213 0 0 25 0 1 0 806553657 241655808 47809 4294967295 134512640 135726644 3221224576 3221222940 135287443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47809 300 300 0 58698 0
vsize: 235992
[startup+680.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96919 0 0 0 67809 213 0 0 25 0 1 0 806553657 241655808 47823 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47823 300 300 0 58698 0
vsize: 235992
[startup+690.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96922 0 0 0 68809 213 0 0 25 0 1 0 806553657 241655808 47826 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47826 300 300 0 58698 0
vsize: 235992
[startup+700.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96924 0 0 0 69809 213 0 0 25 0 1 0 806553657 241655808 47828 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47828 300 300 0 58698 0
vsize: 235992
[startup+710.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 96928 0 0 0 70809 213 0 0 25 0 1 0 806553657 241655808 47832 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58998 47832 300 300 0 58698 0
vsize: 235992
[startup+720.143 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97002 0 0 0 71809 213 0 0 25 0 1 0 806553657 242184192 47906 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59127 47906 300 300 0 58827 0
vsize: 236508
[startup+730.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97009 0 0 0 72809 213 0 0 25 0 1 0 806553657 242184192 47913 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59127 47913 300 300 0 58827 0
vsize: 236508
[startup+740.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97019 0 0 0 73809 213 0 0 25 0 1 0 806553657 242184192 47923 4294967295 134512640 135726644 3221224576 3221223072 134744342 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59127 47923 300 300 0 58827 0
vsize: 236508
[startup+750.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97032 0 0 0 74810 213 0 0 25 0 1 0 806553657 242184192 47936 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59127 47936 300 300 0 58827 0
vsize: 236508
[startup+760.144 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97049 0 0 0 75810 213 0 0 25 0 1 0 806553657 242184192 47953 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59127 47953 300 300 0 58827 0
vsize: 236508
[startup+770.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 97238 0 0 0 76810 214 0 0 25 0 1 0 806553657 242708480 48013 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59255 48013 300 300 0 58955 0
vsize: 237020
[startup+780.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109531 0 0 0 77781 242 0 0 25 0 1 0 806553657 293040128 48017 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48017 300 300 0 71243 0
vsize: 286172
[startup+790.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109535 0 0 0 78781 242 0 0 25 0 1 0 806553657 293040128 48021 4294967295 134512640 135726644 3221224576 3221223184 134741071 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48021 300 300 0 71243 0
vsize: 286172
[startup+800.146 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109538 0 0 0 79782 242 0 0 25 0 1 0 806553657 293040128 48024 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48024 300 300 0 71243 0
vsize: 286172
[startup+810.145 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109540 0 0 0 80782 242 0 0 25 0 1 0 806553657 293040128 48026 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48026 300 300 0 71243 0
vsize: 286172
[startup+820.146 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109543 0 0 0 81782 242 0 0 25 0 1 0 806553657 293040128 48029 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48029 300 300 0 71243 0
vsize: 286172
[startup+830.15 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109548 0 0 0 82783 242 0 0 25 0 1 0 806553657 293040128 48034 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48034 300 300 0 71243 0
vsize: 286172
[startup+840.149 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109551 0 0 0 83783 242 0 0 25 0 1 0 806553657 293040128 48037 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48037 300 300 0 71243 0
vsize: 286172
[startup+850.15 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109554 0 0 0 84783 243 0 0 25 0 1 0 806553657 293040128 48040 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71543 48040 300 300 0 71243 0
vsize: 286172
[startup+860.15 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109623 0 0 0 85783 243 0 0 25 0 1 0 806553657 293568512 48109 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48109 300 300 0 71372 0
vsize: 286688
[startup+870.151 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109631 0 0 0 86783 243 0 0 25 0 1 0 806553657 293568512 48117 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48117 300 300 0 71372 0
vsize: 286688
[startup+880.151 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109641 0 0 0 87782 243 0 0 25 0 1 0 806553657 293568512 48127 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48127 300 300 0 71372 0
vsize: 286688
[startup+890.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109644 0 0 0 88783 243 0 0 25 0 1 0 806553657 293568512 48130 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48130 300 300 0 71372 0
vsize: 286688
[startup+900.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109647 0 0 0 89783 243 0 0 25 0 1 0 806553657 293568512 48133 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48133 300 300 0 71372 0
vsize: 286688
[startup+910.152 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109660 0 0 0 90783 243 0 0 25 0 1 0 806553657 293568512 48146 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48146 300 300 0 71372 0
vsize: 286688
[startup+920.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109680 0 0 0 91783 243 0 0 25 0 1 0 806553657 293568512 48166 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48166 300 300 0 71372 0
vsize: 286688
[startup+930.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109684 0 0 0 92783 243 0 0 25 0 1 0 806553657 293568512 48170 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71672 48170 300 300 0 71372 0
vsize: 286688
[startup+940.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109893 0 0 0 93783 244 0 0 25 0 1 0 806553657 294092800 48250 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48250 300 300 0 71500 0
vsize: 287200
[startup+950.154 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109896 0 0 0 94783 244 0 0 25 0 1 0 806553657 294092800 48253 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48253 300 300 0 71500 0
vsize: 287200
[startup+960.153 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109898 0 0 0 95783 244 0 0 25 0 1 0 806553657 294092800 48255 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48255 300 300 0 71500 0
vsize: 287200
[startup+970.154 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109901 0 0 0 96783 244 0 0 25 0 1 0 806553657 294092800 48258 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48258 300 300 0 71500 0
vsize: 287200
[startup+980.162 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109904 0 0 0 97784 244 0 0 25 0 1 0 806553657 294092800 48261 4294967295 134512640 135726644 3221224576 3221223184 135280566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48261 300 300 0 71500 0
vsize: 287200
[startup+990.162 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109908 0 0 0 98784 244 0 0 25 0 1 0 806553657 294092800 48265 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48265 300 300 0 71500 0
vsize: 287200
[startup+1000.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109910 0 0 0 99784 244 0 0 25 0 1 0 806553657 294092800 48267 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48267 300 300 0 71500 0
vsize: 287200
[startup+1010.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109913 0 0 0 100784 244 0 0 25 0 1 0 806553657 294092800 48270 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48270 300 300 0 71500 0
vsize: 287200
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109916 0 0 0 101785 245 0 0 25 0 1 0 806553657 294092800 48273 4294967295 134512640 135726644 3221224576 3221223168 134760426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48273 300 300 0 71500 0
vsize: 287200
[startup+1030.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109918 0 0 0 102785 245 0 0 25 0 1 0 806553657 294092800 48275 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48275 300 300 0 71500 0
vsize: 287200
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109921 0 0 0 103785 245 0 0 25 0 1 0 806553657 294092800 48278 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48278 300 300 0 71500 0
vsize: 287200
[startup+1050.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109938 0 0 0 104785 245 0 0 25 0 1 0 806553657 294092800 48295 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48295 300 300 0 71500 0
vsize: 287200
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109942 0 0 0 105785 245 0 0 25 0 1 0 806553657 294092800 48299 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48299 300 300 0 71500 0
vsize: 287200
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109944 0 0 0 106785 245 0 0 25 0 1 0 806553657 294092800 48301 4294967295 134512640 135726644 3221224576 3221223072 134744344 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48301 300 300 0 71500 0
vsize: 287200
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109947 0 0 0 107786 245 0 0 25 0 1 0 806553657 294092800 48304 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48304 300 300 0 71500 0
vsize: 287200
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109951 0 0 0 108786 245 0 0 25 0 1 0 806553657 294092800 48308 4294967295 134512640 135726644 3221224576 3221223168 134759986 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48308 300 300 0 71500 0
vsize: 287200
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109954 0 0 0 109786 245 0 0 25 0 1 0 806553657 294092800 48311 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48311 300 300 0 71500 0
vsize: 287200
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109957 0 0 0 110786 245 0 0 25 0 1 0 806553657 294092800 48314 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48314 300 300 0 71500 0
vsize: 287200
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109962 0 0 0 111786 245 0 0 25 0 1 0 806553657 294092800 48319 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48319 300 300 0 71500 0
vsize: 287200
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109966 0 0 0 112786 245 0 0 25 0 1 0 806553657 294092800 48323 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48323 300 300 0 71500 0
vsize: 287200
[startup+1140.17 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109968 0 0 0 113786 245 0 0 25 0 1 0 806553657 294092800 48325 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48325 300 300 0 71500 0
vsize: 287200
[startup+1150.17 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109973 0 0 0 114786 246 0 0 25 0 1 0 806553657 294092800 48330 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48330 300 300 0 71500 0
vsize: 287200
[startup+1160.17 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109977 0 0 0 115786 246 0 0 25 0 1 0 806553657 294092800 48334 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48334 300 300 0 71500 0
vsize: 287200
[startup+1170.17 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109980 0 0 0 116786 246 0 0 25 0 1 0 806553657 294092800 48337 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48337 300 300 0 71500 0
vsize: 287200
[startup+1180.17 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 109984 0 0 0 117786 246 0 0 25 0 1 0 806553657 294092800 48341 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48341 300 300 0 71500 0
vsize: 287200
[startup+1190.17 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 110008 0 0 0 118786 246 0 0 25 0 1 0 806553657 294092800 48365 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48365 300 300 0 71500 0
vsize: 287200
[startup+1200.17 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3052
Raw data (stat): 3052 (pb2sat) R 3051 25830 25829 0 -1 0 110010 0 0 0 119787 246 0 0 25 0 1 0 806553657 294092800 48367 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71800 48367 300 300 0 71500 0
vsize: 287200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.46 s]
Raw data (loadavg): 1.03 1.00 0.92 1/54 3052
Raw data (stat): 3052 (pb2sat) Z 3051 25830 25829 0 -1 12 110011 0 0 0 119903 256 0 0 24 0 1 0 806553657 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.46
CPU time (s): 1201.59
CPU user time (s): 1199.03
CPU system time (s): 2.56261
CPU usage (%): 100.011
Max. virtual memory (Kb): 287200
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	429056
#### END VERIFIER DATA ####