PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
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	80
Trace number 35729

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-28 13:39:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24953 boxname=wulflinc23 idbench=1425 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 24953
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 3
cpu MHz		: 451.037
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:        770144 kB
Buffers:          8488 kB
Cached:         235476 kB
SwapCached:        700 kB
Active:          21508 kB
Inactive:       224508 kB
HighTotal:      131008 kB
HighFree:        50708 kB
LowTotal:       903652 kB
LowFree:        719436 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12752 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:59:12 (client local time) WITH STATUS 10 IN 1201.76 SECONDS
stats: 24953 0 1201.76 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: 80768
c [startup+30.4648 s]  setting bit 22 to 1
c got solution with objective value: 80768
c [startup+34.2681 s]  setting bit 21 to 1
c CONFLICT during preprocess 
c [startup+36.5229 s]  setting bit 20 to 0
c got solution with objective value: 80768
c [startup+40.3264 s]  setting bit 19 to 1
c got solution with objective value: 80768
c [startup+44.1283 s]  setting bit 18 to 1
c got solution with objective value: 80768
c [startup+47.9286 s]  setting bit 17 to 1
c got solution with objective value: 53632
c [startup+52.7893 s]  setting bit 16 to 1
s SATISFIABLE
v -s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s11_bit0 -s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit2 -s21_bit3 s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 s51_bit3 s51_bit4 -s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 s61_bit2 s61_bit3 -s61_bit4 -s61_bit5 -s61_bit6 s61_bit7 -s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -x0_bit0 -x10_bit0 x11_bit0 -x12_bit0 -x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.89 0.92 0.90 2/54 11051
Raw data (stat): 11051 (runsolver) R 11050 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865230648 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 26854 0 0 0 936 62 0 0 25 0 1 0 865230648 78159872 15848 4294967295 134512640 135726644 3221224576 3221214208 134766969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19082 15848 300 300 0 18782 0
vsize: 76328
[startup+20.0008 s]
Raw data (loadavg): 0.92 0.92 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 52778 0 0 0 1880 119 0 0 25 0 1 0 865230648 152662016 30808 4294967295 134512640 135726644 3221224576 3221205564 134558004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37271 30808 300 300 0 36971 0
vsize: 149084
[startup+30.0018 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 76654 0 0 0 2830 169 0 0 25 0 1 0 865230648 222392320 44224 4294967295 134512640 135726644 3221224576 3221223296 134736184 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54295 44224 300 300 0 53995 0
vsize: 217180
[startup+40.0024 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 79810 0 0 0 3822 177 0 0 25 0 1 0 865230648 222392320 44239 4294967295 134512640 135726644 3221224576 3221223296 134736256 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54295 44239 300 300 0 53995 0
vsize: 217180
[startup+50.0017 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 82952 0 0 0 4814 185 0 0 25 0 1 0 865230648 222392320 44240 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54295 44240 300 300 0 53995 0
vsize: 217180
[startup+60.0018 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 85218 0 0 0 5810 189 0 0 25 0 1 0 865230648 227991552 45230 4294967295 134512640 135726644 3221224576 3221223200 134744491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55662 45230 300 300 0 55362 0
vsize: 222648
[startup+70.0024 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 85502 0 0 0 6810 189 0 0 25 0 1 0 865230648 229048320 45384 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55920 45384 300 300 0 55620 0
vsize: 223680
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 85835 0 0 0 7809 190 0 0 25 0 1 0 865230648 229969920 45554 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56145 45554 300 300 0 55845 0
vsize: 224580
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86064 0 0 0 8808 191 0 0 25 0 1 0 865230648 230760448 45653 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56338 45653 300 300 0 56038 0
vsize: 225352
[startup+100.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86234 0 0 0 9807 192 0 0 25 0 1 0 865230648 231022592 45758 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56402 45758 300 300 0 56102 0
vsize: 225608
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86239 0 0 0 10807 192 0 0 25 0 1 0 865230648 231022592 45763 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56402 45763 300 300 0 56102 0
vsize: 225608
[startup+120.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86410 0 0 0 11807 193 0 0 25 0 1 0 865230648 231550976 45869 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56531 45869 300 300 0 56231 0
vsize: 226124
[startup+130.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86415 0 0 0 12807 193 0 0 25 0 1 0 865230648 231550976 45874 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56531 45874 300 300 0 56231 0
vsize: 226124
[startup+140.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86608 0 0 0 13806 194 0 0 25 0 1 0 865230648 232079360 46002 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56660 46002 300 300 0 56360 0
vsize: 226640
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86769 0 0 0 14806 194 0 0 25 0 1 0 865230648 232607744 46098 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56789 46098 300 300 0 56489 0
vsize: 227156
[startup+160.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86773 0 0 0 15806 194 0 0 25 0 1 0 865230648 232607744 46102 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56789 46102 300 300 0 56489 0
vsize: 227156
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86947 0 0 0 16805 195 0 0 25 0 1 0 865230648 233136128 46211 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56918 46211 300 300 0 56618 0
vsize: 227672
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 86955 0 0 0 17806 195 0 0 25 0 1 0 865230648 233136128 46219 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56918 46219 300 300 0 56618 0
vsize: 227672
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87179 0 0 0 18805 196 0 0 25 0 1 0 865230648 233926656 46314 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57111 46314 300 300 0 56811 0
vsize: 228444
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87189 0 0 0 19806 196 0 0 25 0 1 0 865230648 233926656 46324 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57111 46324 300 300 0 56811 0
vsize: 228444
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87200 0 0 0 20806 196 0 0 25 0 1 0 865230648 233926656 46335 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57111 46335 300 300 0 56811 0
vsize: 228444
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87210 0 0 0 21806 196 0 0 25 0 1 0 865230648 233926656 46345 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57111 46345 300 300 0 56811 0
vsize: 228444
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87308 0 0 0 22806 196 0 0 25 0 1 0 865230648 234188800 46378 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57175 46378 300 300 0 56875 0
vsize: 228700
[startup+240.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87518 0 0 0 23805 197 0 0 25 0 1 0 865230648 234713088 46459 4294967295 134512640 135726644 3221224576 3221223072 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57303 46459 300 300 0 57003 0
vsize: 229212
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87523 0 0 0 24806 197 0 0 25 0 1 0 865230648 234713088 46464 4294967295 134512640 135726644 3221224576 3221222824 135282525 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57303 46464 300 300 0 57003 0
vsize: 229212
[startup+260.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87584 0 0 0 25805 197 0 0 25 0 1 0 865230648 234979328 46525 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57368 46525 300 300 0 57068 0
vsize: 229472
[startup+270.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87714 0 0 0 26806 197 0 0 25 0 1 0 865230648 235241472 46590 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57432 46590 300 300 0 57132 0
vsize: 229728
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 87900 0 0 0 27806 197 0 0 25 0 1 0 865230648 235769856 46711 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57561 46711 300 300 0 57261 0
vsize: 230244
[startup+290.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88052 0 0 0 28806 197 0 0 25 0 1 0 865230648 236294144 46734 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57689 46734 300 300 0 57389 0
vsize: 230756
[startup+300.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88054 0 0 0 29806 198 0 0 25 0 1 0 865230648 236294144 46736 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57689 46736 300 300 0 57389 0
vsize: 230756
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88058 0 0 0 30806 198 0 0 25 0 1 0 865230648 236294144 46740 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57689 46740 300 300 0 57389 0
vsize: 230756
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88143 0 0 0 31805 198 0 0 25 0 1 0 865230648 236822528 46825 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57818 46825 300 300 0 57518 0
vsize: 231272
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88158 0 0 0 32806 198 0 0 25 0 1 0 865230648 236822528 46840 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57818 46840 300 300 0 57518 0
vsize: 231272
[startup+340.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88193 0 0 0 33806 198 0 0 25 0 1 0 865230648 236822528 46875 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57818 46875 300 300 0 57518 0
vsize: 231272
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88330 0 0 0 34805 199 0 0 25 0 1 0 865230648 237346816 46883 4294967295 134512640 135726644 3221224576 3221223072 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57946 46883 300 300 0 57646 0
vsize: 231784
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88341 0 0 0 35806 199 0 0 25 0 1 0 865230648 237346816 46894 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57946 46894 300 300 0 57646 0
vsize: 231784
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88409 0 0 0 36805 199 0 0 25 0 1 0 865230648 237875200 46962 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 46962 300 300 0 57775 0
vsize: 232300
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88477 0 0 0 37805 199 0 0 25 0 1 0 865230648 237875200 47030 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47030 300 300 0 57775 0
vsize: 232300
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88479 0 0 0 38806 199 0 0 25 0 1 0 865230648 237875200 47032 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47032 300 300 0 57775 0
vsize: 232300
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88483 0 0 0 39806 199 0 0 25 0 1 0 865230648 237875200 47036 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47036 300 300 0 57775 0
vsize: 232300
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88485 0 0 0 40806 199 0 0 25 0 1 0 865230648 237875200 47038 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47038 300 300 0 57775 0
vsize: 232300
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88488 0 0 0 41806 199 0 0 25 0 1 0 865230648 237875200 47041 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47041 300 300 0 57775 0
vsize: 232300
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88492 0 0 0 42806 199 0 0 25 0 1 0 865230648 237875200 47045 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58075 47045 300 300 0 57775 0
vsize: 232300
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88600 0 0 0 43806 200 0 0 25 0 1 0 865230648 238403584 47153 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58204 47153 300 300 0 57904 0
vsize: 232816
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88772 0 0 0 44806 200 0 0 25 0 1 0 865230648 238927872 47196 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58332 47196 300 300 0 58032 0
vsize: 233328
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88776 0 0 0 45806 200 0 0 25 0 1 0 865230648 238927872 47200 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58332 47200 300 300 0 58032 0
vsize: 233328
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88940 0 0 0 46806 200 0 0 25 0 1 0 865230648 239452160 47235 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58460 47235 300 300 0 58160 0
vsize: 233840
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88942 0 0 0 47806 200 0 0 25 0 1 0 865230648 239452160 47237 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58460 47237 300 300 0 58160 0
vsize: 233840
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88945 0 0 0 48806 201 0 0 25 0 1 0 865230648 239452160 47240 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58460 47240 300 300 0 58160 0
vsize: 233840
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 88949 0 0 0 49806 201 0 0 25 0 1 0 865230648 239452160 47244 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58460 47244 300 300 0 58160 0
vsize: 233840
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89047 0 0 0 50806 201 0 0 25 0 1 0 865230648 239980544 47342 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58589 47342 300 300 0 58289 0
vsize: 234356
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89244 0 0 0 51806 202 0 0 25 0 1 0 865230648 240504832 47410 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47410 300 300 0 58417 0
vsize: 234868
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89246 0 0 0 52806 202 0 0 25 0 1 0 865230648 240504832 47412 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47412 300 300 0 58417 0
vsize: 234868
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89250 0 0 0 53806 202 0 0 25 0 1 0 865230648 240504832 47416 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47416 300 300 0 58417 0
vsize: 234868
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89252 0 0 0 54806 202 0 0 25 0 1 0 865230648 240504832 47418 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47418 300 300 0 58417 0
vsize: 234868
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89255 0 0 0 55807 202 0 0 25 0 1 0 865230648 240504832 47421 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47421 300 300 0 58417 0
vsize: 234868
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89257 0 0 0 56806 202 0 0 25 0 1 0 865230648 240504832 47423 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47423 300 300 0 58417 0
vsize: 234868
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89261 0 0 0 57807 202 0 0 25 0 1 0 865230648 240504832 47427 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47427 300 300 0 58417 0
vsize: 234868
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89264 0 0 0 58807 202 0 0 25 0 1 0 865230648 240504832 47430 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47430 300 300 0 58417 0
vsize: 234868
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89268 0 0 0 59807 203 0 0 25 0 1 0 865230648 240504832 47434 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47434 300 300 0 58417 0
vsize: 234868
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89273 0 0 0 60807 203 0 0 25 0 1 0 865230648 240504832 47439 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47439 300 300 0 58417 0
vsize: 234868
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89277 0 0 0 61807 203 0 0 25 0 1 0 865230648 240504832 47443 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47443 300 300 0 58417 0
vsize: 234868
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89283 0 0 0 62807 203 0 0 25 0 1 0 865230648 240504832 47449 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58717 47449 300 300 0 58417 0
vsize: 234868
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89383 0 0 0 63807 203 0 0 25 0 1 0 865230648 241033216 47549 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47549 300 300 0 58546 0
vsize: 235384
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89385 0 0 0 64807 203 0 0 25 0 1 0 865230648 241033216 47551 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47551 300 300 0 58546 0
vsize: 235384
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89388 0 0 0 65807 203 0 0 25 0 1 0 865230648 241033216 47554 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47554 300 300 0 58546 0
vsize: 235384
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89390 0 0 0 66808 203 0 0 25 0 1 0 865230648 241033216 47556 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47556 300 300 0 58546 0
vsize: 235384
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89393 0 0 0 67808 203 0 0 25 0 1 0 865230648 241033216 47559 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47559 300 300 0 58546 0
vsize: 235384
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89396 0 0 0 68808 203 0 0 25 0 1 0 865230648 241033216 47562 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58846 47562 300 300 0 58546 0
vsize: 235384
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89664 0 0 0 69807 204 0 0 25 0 1 0 865230648 242085888 47701 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59103 47701 300 300 0 58803 0
vsize: 236412
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89877 0 0 0 70807 205 0 0 25 0 1 0 865230648 242610176 47785 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47785 300 300 0 58931 0
vsize: 236924
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89894 0 0 0 71807 205 0 0 25 0 1 0 865230648 242610176 47802 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47802 300 300 0 58931 0
vsize: 236924
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89895 0 0 0 72807 205 0 0 25 0 1 0 865230648 242610176 47803 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47803 300 300 0 58931 0
vsize: 236924
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89898 0 0 0 73808 205 0 0 25 0 1 0 865230648 242610176 47806 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47806 300 300 0 58931 0
vsize: 236924
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89902 0 0 0 74808 205 0 0 25 0 1 0 865230648 242610176 47810 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47810 300 300 0 58931 0
vsize: 236924
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89927 0 0 0 75808 205 0 0 25 0 1 0 865230648 242610176 47835 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47835 300 300 0 58931 0
vsize: 236924
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89929 0 0 0 76808 205 0 0 25 0 1 0 865230648 242610176 47837 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47837 300 300 0 58931 0
vsize: 236924
[startup+780.018 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89932 0 0 0 77808 205 0 0 25 0 1 0 865230648 242610176 47840 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47840 300 300 0 58931 0
vsize: 236924
[startup+790.018 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89936 0 0 0 78808 205 0 0 25 0 1 0 865230648 242610176 47844 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47844 300 300 0 58931 0
vsize: 236924
[startup+800.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89938 0 0 0 79809 205 0 0 25 0 1 0 865230648 242610176 47846 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47846 300 300 0 58931 0
vsize: 236924
[startup+810.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89944 0 0 0 80809 205 0 0 25 0 1 0 865230648 242610176 47852 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47852 300 300 0 58931 0
vsize: 236924
[startup+820.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 89946 0 0 0 81809 205 0 0 25 0 1 0 865230648 242610176 47854 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59231 47854 300 300 0 58931 0
vsize: 236924
[startup+830.018 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90018 0 0 0 82809 205 0 0 25 0 1 0 865230648 243138560 47926 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59360 47926 300 300 0 59060 0
vsize: 237440
[startup+840.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90027 0 0 0 83809 205 0 0 25 0 1 0 865230648 243138560 47935 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59360 47935 300 300 0 59060 0
vsize: 237440
[startup+850.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90030 0 0 0 84809 205 0 0 25 0 1 0 865230648 243138560 47938 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59360 47938 300 300 0 59060 0
vsize: 237440
[startup+860.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90042 0 0 0 85809 205 0 0 25 0 1 0 865230648 243138560 47950 4294967295 134512640 135726644 3221224576 3221223072 134743898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59360 47950 300 300 0 59060 0
vsize: 237440
[startup+870.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90088 0 0 0 86809 206 0 0 25 0 1 0 865230648 243138560 47996 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59360 47996 300 300 0 59060 0
vsize: 237440
[startup+880.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90301 0 0 0 87809 206 0 0 25 0 1 0 865230648 243662848 48080 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48080 300 300 0 59188 0
vsize: 237952
[startup+890.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90303 0 0 0 88809 206 0 0 25 0 1 0 865230648 243662848 48082 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48082 300 300 0 59188 0
vsize: 237952
[startup+900.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90326 0 0 0 89809 206 0 0 25 0 1 0 865230648 243662848 48105 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48105 300 300 0 59188 0
vsize: 237952
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90328 0 0 0 90810 206 0 0 25 0 1 0 865230648 243662848 48107 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48107 300 300 0 59188 0
vsize: 237952
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90331 0 0 0 91810 206 0 0 25 0 1 0 865230648 243662848 48110 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48110 300 300 0 59188 0
vsize: 237952
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90333 0 0 0 92810 206 0 0 25 0 1 0 865230648 243662848 48112 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48112 300 300 0 59188 0
vsize: 237952
[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90336 0 0 0 93810 206 0 0 25 0 1 0 865230648 243662848 48115 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48115 300 300 0 59188 0
vsize: 237952
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90339 0 0 0 94810 206 0 0 25 0 1 0 865230648 243662848 48118 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48118 300 300 0 59188 0
vsize: 237952
[startup+960.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90341 0 0 0 95811 206 0 0 25 0 1 0 865230648 243662848 48120 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48120 300 300 0 59188 0
vsize: 237952
[startup+970.027 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90343 0 0 0 96811 206 0 0 25 0 1 0 865230648 243662848 48122 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48122 300 300 0 59188 0
vsize: 237952
[startup+980.031 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90347 0 0 0 97812 206 0 0 25 0 1 0 865230648 243662848 48126 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48126 300 300 0 59188 0
vsize: 237952
[startup+990.031 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90349 0 0 0 98812 206 0 0 25 0 1 0 865230648 243662848 48128 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48128 300 300 0 59188 0
vsize: 237952
[startup+1000.03 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90351 0 0 0 99812 206 0 0 25 0 1 0 865230648 243662848 48130 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48130 300 300 0 59188 0
vsize: 237952
[startup+1010.25 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90355 0 0 0 100835 206 0 0 25 0 1 0 865230648 243662848 48134 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48134 300 300 0 59188 0
vsize: 237952
[startup+1020.25 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90358 0 0 0 101835 206 0 0 25 0 1 0 865230648 243662848 48137 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48137 300 300 0 59188 0
vsize: 237952
[startup+1030.25 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90361 0 0 0 102835 206 0 0 25 0 1 0 865230648 243662848 48140 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48140 300 300 0 59188 0
vsize: 237952
[startup+1040.25 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90364 0 0 0 103835 206 0 0 25 0 1 0 865230648 243662848 48143 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48143 300 300 0 59188 0
vsize: 237952
[startup+1050.25 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90369 0 0 0 104835 206 0 0 25 0 1 0 865230648 243662848 48148 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48148 300 300 0 59188 0
vsize: 237952
[startup+1060.25 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90371 0 0 0 105835 206 0 0 25 0 1 0 865230648 243662848 48150 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59488 48150 300 300 0 59188 0
vsize: 237952
[startup+1070.25 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90463 0 0 0 106835 207 0 0 25 0 1 0 865230648 244191232 48242 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59617 48242 300 300 0 59317 0
vsize: 238468
[startup+1080.25 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90670 0 0 0 107835 207 0 0 25 0 1 0 865230648 244715520 48320 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48320 300 300 0 59445 0
vsize: 238980
[startup+1090.25 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90672 0 0 0 108835 207 0 0 25 0 1 0 865230648 244715520 48322 4294967295 134512640 135726644 3221224576 3221223264 134744845 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48322 300 300 0 59445 0
vsize: 238980
[startup+1100.25 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90674 0 0 0 109835 208 0 0 25 0 1 0 865230648 244715520 48324 4294967295 134512640 135726644 3221224576 3221223072 134744286 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48324 300 300 0 59445 0
vsize: 238980
[startup+1110.25 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90676 0 0 0 110835 208 0 0 25 0 1 0 865230648 244715520 48326 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48326 300 300 0 59445 0
vsize: 238980
[startup+1120.26 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90679 0 0 0 111836 208 0 0 25 0 1 0 865230648 244715520 48329 4294967295 134512640 135726644 3221224576 3221223216 134762117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48329 300 300 0 59445 0
vsize: 238980
[startup+1130.27 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90682 0 0 0 112837 208 0 0 25 0 1 0 865230648 244715520 48332 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48332 300 300 0 59445 0
vsize: 238980
[startup+1140.27 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90685 0 0 0 113837 208 0 0 25 0 1 0 865230648 244715520 48335 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48335 300 300 0 59445 0
vsize: 238980
[startup+1150.27 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90693 0 0 0 114837 208 0 0 25 0 1 0 865230648 244715520 48343 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48343 300 300 0 59445 0
vsize: 238980
[startup+1160.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90696 0 0 0 115837 208 0 0 25 0 1 0 865230648 244715520 48346 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48346 300 300 0 59445 0
vsize: 238980
[startup+1170.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90699 0 0 0 116837 209 0 0 25 0 1 0 865230648 244715520 48349 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48349 300 300 0 59445 0
vsize: 238980
[startup+1180.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90702 0 0 0 117837 209 0 0 25 0 1 0 865230648 244715520 48352 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48352 300 300 0 59445 0
vsize: 238980
[startup+1190.27 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90704 0 0 0 118838 209 0 0 25 0 1 0 865230648 244715520 48354 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48354 300 300 0 59445 0
vsize: 238980
[startup+1200.28 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11051
Raw data (stat): 11051 (pb2sat) R 11050 5562 5561 0 -1 0 90707 0 0 0 119838 209 0 0 25 0 1 0 865230648 244715520 48357 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59745 48357 300 300 0 59445 0
vsize: 238980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.57 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 11051
Raw data (stat): 11051 (pb2sat) Z 11050 5562 5561 0 -1 12 90708 0 0 0 119957 218 0 0 25 0 1 0 865230648 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.57
CPU time (s): 1201.76
CPU user time (s): 1199.57
CPU system time (s): 2.18967
CPU usage (%): 100.016
Max. virtual memory (Kb): 238980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	53632
#### END VERIFIER DATA ####