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/miplib3/normalized-mps-v2-20-10-markshare2.opb
MD5SUM	111dddb6adf389a5275ab413feff6076
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.36
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 35319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-28 12:35:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24569 boxname=wulflinc24 idbench=1041 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  111dddb6adf389a5275ab413feff6076  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 24569
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        712668 kB
Buffers:         36108 kB
Cached:         264088 kB
SwapCached:        636 kB
Active:          20372 kB
Inactive:       281868 kB
HighTotal:      131008 kB
HighFree:          448 kB
LowTotal:       903652 kB
LowFree:        712220 kB
SwapTotal:     2097892 kB
SwapFree:      2096360 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5148 kB
Slab:            14028 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:55:40 (client local time) WITH STATUS 10 IN 1201.57 SECONDS
stats: 24569 0 1201.57 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.7861 s]  setting bit 32 to 1
c got solution with objective value: 646144
c [startup+33.516 s]  setting bit 31 to 1
c CONFLICT during preprocess 
c [startup+35.7075 s]  setting bit 30 to 0
c got solution with objective value: 646144
c [startup+39.4369 s]  setting bit 29 to 1
c got solution with objective value: 646144
c [startup+43.1694 s]  setting bit 28 to 1
c got solution with objective value: 646144
c [startup+46.8978 s]  setting bit 27 to 1
c got solution with objective value: 646144
c [startup+50.6298 s]  setting bit 26 to 1
c got solution with objective value: 646144
c [startup+54.3612 s]  setting bit 25 to 1
c got solution with objective value: 646144
c [startup+58.0902 s]  setting bit 24 to 1
c got solution with objective value: 646144
c [startup+61.8466 s]  setting bit 23 to 1
c got solution with objective value: 646144
c [startup+65.6156 s]  setting bit 22 to 1
c got solution with objective value: 646144
c [startup+69.3837 s]  setting bit 21 to 1
c got solution with objective value: 646144
c [startup+73.1515 s]  setting bit 20 to 1
c got solution with objective value: 429056
c [startup+77.9589 s]  setting bit 19 to 1
s SATISFIABLE
v -s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 -s11_bit0 -s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 -s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 -s21_bit2 -s21_bit3 s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 -s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 s41_bit3 s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_10 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 -s51_bit2 s51_bit3 s51_bit4 -s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 s61_bit2 s61_bit3 -s61_bit4 -s61_bit5 -s61_bit6 s61_bit7 -s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_10 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -s61_bit_8 -s61_bit_9 -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.90 0.93 0.90 2/54 21416
Raw data (stat): 21416 (runsolver) R 21415 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864844836 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.0007 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 27387 0 0 0 943 55 0 0 25 0 1 0 864844836 78331904 16371 4294967295 134512640 135726644 3221224576 3221211436 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19124 16371 300 300 0 18824 0
vsize: 76496
[startup+20.0009 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 53818 0 0 0 1884 115 0 0 25 0 1 0 864844836 153509888 31832 4294967295 134512640 135726644 3221224576 3221210600 135280614 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37478 31832 300 300 0 37178 0
vsize: 149912
[startup+30.0016 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 76946 0 0 0 2838 161 0 0 25 0 1 0 864844836 226836480 44446 4294967295 134512640 135726644 3221224576 3221223072 134763610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55380 44446 300 300 0 55080 0
vsize: 221520
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 80991 0 0 0 3829 170 0 0 25 0 1 0 864844836 226836480 45344 4294967295 134512640 135726644 3221224576 3221222888 134761853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55380 45344 300 300 0 55080 0
vsize: 221520
[startup+50.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 83089 0 0 0 4824 175 0 0 25 0 1 0 864844836 222539776 44295 4294967295 134512640 135726644 3221224576 3221223232 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54331 44295 300 300 0 54031 0
vsize: 217324
[startup+60.0016 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 86237 0 0 0 5817 182 0 0 25 0 1 0 864844836 222539776 44296 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54331 44296 300 300 0 54031 0
vsize: 217324
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 89385 0 0 0 6810 189 0 0 25 0 1 0 864844836 226836480 45346 4294967295 134512640 135726644 3221224576 3221222912 134765564 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55380 45346 300 300 0 55080 0
vsize: 221520
[startup+80.0019 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 91651 0 0 0 7805 195 0 0 25 0 1 0 864844836 223166464 44384 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54484 44384 300 300 0 54184 0
vsize: 217936
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 92867 0 0 0 8802 198 0 0 25 0 1 0 864844836 228880384 45339 4294967295 134512640 135726644 3221224576 3221223200 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55879 45339 300 300 0 55579 0
vsize: 223516
[startup+100.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93071 0 0 0 9802 198 0 0 25 0 1 0 864844836 229675008 45478 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56073 45478 300 300 0 55773 0
vsize: 224292
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93295 0 0 0 10801 199 0 0 25 0 1 0 864844836 230469632 45637 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56267 45637 300 300 0 55967 0
vsize: 225068
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93382 0 0 0 11801 199 0 0 25 0 1 0 864844836 230735872 45724 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56332 45724 300 300 0 56032 0
vsize: 225328
[startup+130.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93595 0 0 0 12801 200 0 0 25 0 1 0 864844836 231264256 45872 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56461 45872 300 300 0 56161 0
vsize: 225844
[startup+140.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93603 0 0 0 13801 200 0 0 25 0 1 0 864844836 231264256 45880 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56461 45880 300 300 0 56161 0
vsize: 225844
[startup+150.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93775 0 0 0 14800 200 0 0 25 0 1 0 864844836 231792640 45987 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56590 45987 300 300 0 56290 0
vsize: 226360
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93779 0 0 0 15800 200 0 0 25 0 1 0 864844836 231792640 45991 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56590 45991 300 300 0 56290 0
vsize: 226360
[startup+170.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93939 0 0 0 16800 201 0 0 25 0 1 0 864844836 232321024 46086 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56719 46086 300 300 0 56419 0
vsize: 226876
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 93958 0 0 0 17800 201 0 0 25 0 1 0 864844836 232321024 46105 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56719 46105 300 300 0 56419 0
vsize: 226876
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94117 0 0 0 18800 201 0 0 25 0 1 0 864844836 232849408 46199 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56848 46199 300 300 0 56548 0
vsize: 227392
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94153 0 0 0 19800 201 0 0 25 0 1 0 864844836 232849408 46235 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56848 46235 300 300 0 56548 0
vsize: 227392
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94366 0 0 0 20800 202 0 0 25 0 1 0 864844836 233639936 46319 4294967295 134512640 135726644 3221224576 3221223168 134760396 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57041 46319 300 300 0 56741 0
vsize: 228164
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94388 0 0 0 21800 202 0 0 25 0 1 0 864844836 233639936 46341 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57041 46341 300 300 0 56741 0
vsize: 228164
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94530 0 0 0 22800 202 0 0 25 0 1 0 864844836 233902080 46418 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57105 46418 300 300 0 56805 0
vsize: 228420
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94534 0 0 0 23800 202 0 0 25 0 1 0 864844836 233902080 46422 4294967295 134512640 135726644 3221224576 3221223008 134726881 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57105 46422 300 300 0 56805 0
vsize: 228420
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94536 0 0 0 24800 202 0 0 25 0 1 0 864844836 233902080 46424 4294967295 134512640 135726644 3221224576 3221223168 134759994 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57105 46424 300 300 0 56805 0
vsize: 228420
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94578 0 0 0 25800 202 0 0 25 0 1 0 864844836 234168320 46466 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57170 46466 300 300 0 56870 0
vsize: 228680
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94734 0 0 0 26800 203 0 0 25 0 1 0 864844836 234430464 46557 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57234 46557 300 300 0 56934 0
vsize: 228936
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94736 0 0 0 27800 203 0 0 25 0 1 0 864844836 234430464 46559 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57234 46559 300 300 0 56934 0
vsize: 228936
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94739 0 0 0 28801 203 0 0 25 0 1 0 864844836 234430464 46562 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57234 46562 300 300 0 56934 0
vsize: 228936
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 94923 0 0 0 29800 203 0 0 25 0 1 0 864844836 234958848 46681 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57363 46681 300 300 0 57063 0
vsize: 229452
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95220 0 0 0 30800 204 0 0 25 0 1 0 864844836 236011520 46784 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57620 46784 300 300 0 57320 0
vsize: 230480
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95404 0 0 0 31800 204 0 0 25 0 1 0 864844836 236535808 46839 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57748 46839 300 300 0 57448 0
vsize: 230992
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95406 0 0 0 32800 204 0 0 25 0 1 0 864844836 236535808 46841 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57748 46841 300 300 0 57448 0
vsize: 230992
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95409 0 0 0 33800 204 0 0 25 0 1 0 864844836 236535808 46844 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57748 46844 300 300 0 57448 0
vsize: 230992
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95538 0 0 0 34800 205 0 0 25 0 1 0 864844836 237064192 46973 4294967295 134512640 135726644 3221224576 3221223248 134745029 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57877 46973 300 300 0 57577 0
vsize: 231508
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95540 0 0 0 35800 205 0 0 25 0 1 0 864844836 237064192 46975 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57877 46975 300 300 0 57577 0
vsize: 231508
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95543 0 0 0 36800 205 0 0 25 0 1 0 864844836 237064192 46978 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57877 46978 300 300 0 57577 0
vsize: 231508
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95546 0 0 0 37800 205 0 0 25 0 1 0 864844836 237064192 46981 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57877 46981 300 300 0 57577 0
vsize: 231508
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95631 0 0 0 38800 205 0 0 25 0 1 0 864844836 237592576 47066 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58006 47066 300 300 0 57706 0
vsize: 232024
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95842 0 0 0 39800 205 0 0 25 0 1 0 864844836 238116864 47148 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58134 47148 300 300 0 57834 0
vsize: 232536
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95846 0 0 0 40800 205 0 0 25 0 1 0 864844836 238116864 47152 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58134 47152 300 300 0 57834 0
vsize: 232536
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95849 0 0 0 41800 205 0 0 25 0 1 0 864844836 238116864 47155 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58134 47155 300 300 0 57834 0
vsize: 232536
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95984 0 0 0 42800 205 0 0 25 0 1 0 864844836 238641152 47161 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58262 47161 300 300 0 57962 0
vsize: 233048
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95988 0 0 0 43801 205 0 0 25 0 1 0 864844836 238641152 47165 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58262 47165 300 300 0 57962 0
vsize: 233048
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 95991 0 0 0 44801 206 0 0 25 0 1 0 864844836 238641152 47168 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58262 47168 300 300 0 57962 0
vsize: 233048
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96088 0 0 0 45801 206 0 0 25 0 1 0 864844836 239169536 47265 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58391 47265 300 300 0 58091 0
vsize: 233564
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96294 0 0 0 46800 206 0 0 25 0 1 0 864844836 239693824 47342 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47342 300 300 0 58219 0
vsize: 234076
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96317 0 0 0 47800 206 0 0 25 0 1 0 864844836 239693824 47365 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47365 300 300 0 58219 0
vsize: 234076
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96319 0 0 0 48800 206 0 0 25 0 1 0 864844836 239693824 47367 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47367 300 300 0 58219 0
vsize: 234076
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96321 0 0 0 49801 207 0 0 25 0 1 0 864844836 239693824 47369 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47369 300 300 0 58219 0
vsize: 234076
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96325 0 0 0 50801 207 0 0 25 0 1 0 864844836 239693824 47373 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47373 300 300 0 58219 0
vsize: 234076
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96327 0 0 0 51801 207 0 0 25 0 1 0 864844836 239693824 47375 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58519 47375 300 300 0 58219 0
vsize: 234076
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96398 0 0 0 52801 207 0 0 25 0 1 0 864844836 240222208 47446 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58648 47446 300 300 0 58348 0
vsize: 234592
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96605 0 0 0 53801 207 0 0 25 0 1 0 864844836 240746496 47524 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47524 300 300 0 58476 0
vsize: 235104
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96608 0 0 0 54801 207 0 0 25 0 1 0 864844836 240746496 47527 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47527 300 300 0 58476 0
vsize: 235104
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96610 0 0 0 55801 207 0 0 25 0 1 0 864844836 240746496 47529 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47529 300 300 0 58476 0
vsize: 235104
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96613 0 0 0 56801 207 0 0 25 0 1 0 864844836 240746496 47532 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47532 300 300 0 58476 0
vsize: 235104
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96616 0 0 0 57802 207 0 0 25 0 1 0 864844836 240746496 47535 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47535 300 300 0 58476 0
vsize: 235104
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96619 0 0 0 58802 207 0 0 25 0 1 0 864844836 240746496 47538 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47538 300 300 0 58476 0
vsize: 235104
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96622 0 0 0 59802 207 0 0 25 0 1 0 864844836 240746496 47541 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47541 300 300 0 58476 0
vsize: 235104
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96626 0 0 0 60802 207 0 0 25 0 1 0 864844836 240746496 47545 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58776 47545 300 300 0 58476 0
vsize: 235104
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96930 0 0 0 61802 207 0 0 25 0 1 0 864844836 241799168 47720 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47720 300 300 0 58733 0
vsize: 236132
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96939 0 0 0 62802 207 0 0 25 0 1 0 864844836 241799168 47729 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47729 300 300 0 58733 0
vsize: 236132
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96941 0 0 0 63803 207 0 0 25 0 1 0 864844836 241799168 47731 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47731 300 300 0 58733 0
vsize: 236132
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96953 0 0 0 64803 208 0 0 25 0 1 0 864844836 241799168 47743 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47743 300 300 0 58733 0
vsize: 236132
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96955 0 0 0 65802 208 0 0 25 0 1 0 864844836 241799168 47745 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47745 300 300 0 58733 0
vsize: 236132
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96957 0 0 0 66803 208 0 0 25 0 1 0 864844836 241799168 47747 4294967295 134512640 135726644 3221224576 3221223072 134743872 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47747 300 300 0 58733 0
vsize: 236132
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96989 0 0 0 67803 208 0 0 25 0 1 0 864844836 241799168 47779 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47779 300 300 0 58733 0
vsize: 236132
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96992 0 0 0 68803 208 0 0 25 0 1 0 864844836 241799168 47782 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47782 300 300 0 58733 0
vsize: 236132
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 96995 0 0 0 69803 208 0 0 25 0 1 0 864844836 241799168 47785 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47785 300 300 0 58733 0
vsize: 236132
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97003 0 0 0 70803 208 0 0 25 0 1 0 864844836 241799168 47793 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47793 300 300 0 58733 0
vsize: 236132
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97017 0 0 0 71803 208 0 0 25 0 1 0 864844836 241799168 47807 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47807 300 300 0 58733 0
vsize: 236132
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97019 0 0 0 72804 208 0 0 25 0 1 0 864844836 241799168 47809 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47809 300 300 0 58733 0
vsize: 236132
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97022 0 0 0 73804 208 0 0 25 0 1 0 864844836 241799168 47812 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47812 300 300 0 58733 0
vsize: 236132
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97024 0 0 0 74804 208 0 0 25 0 1 0 864844836 241799168 47814 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59033 47814 300 300 0 58733 0
vsize: 236132
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97093 0 0 0 75804 208 0 0 25 0 1 0 864844836 242327552 47883 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47883 300 300 0 58862 0
vsize: 236648
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97106 0 0 0 76804 208 0 0 25 0 1 0 864844836 242327552 47896 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47896 300 300 0 58862 0
vsize: 236648
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97108 0 0 0 77804 208 0 0 25 0 1 0 864844836 242327552 47898 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47898 300 300 0 58862 0
vsize: 236648
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97119 0 0 0 78804 208 0 0 25 0 1 0 864844836 242327552 47909 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47909 300 300 0 58862 0
vsize: 236648
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97145 0 0 0 79804 208 0 0 25 0 1 0 864844836 242327552 47935 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47935 300 300 0 58862 0
vsize: 236648
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 97151 0 0 0 80805 208 0 0 25 0 1 0 864844836 242327552 47941 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59162 47941 300 300 0 58862 0
vsize: 236648
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109626 0 0 0 81777 236 0 0 25 0 1 0 864844836 293183488 47998 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 47998 300 300 0 71278 0
vsize: 286312
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109629 0 0 0 82778 236 0 0 25 0 1 0 864844836 293183488 48001 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48001 300 300 0 71278 0
vsize: 286312
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109633 0 0 0 83778 236 0 0 25 0 1 0 864844836 293183488 48005 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48005 300 300 0 71278 0
vsize: 286312
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109635 0 0 0 84778 236 0 0 25 0 1 0 864844836 293183488 48007 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48007 300 300 0 71278 0
vsize: 286312
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109637 0 0 0 85778 236 0 0 25 0 1 0 864844836 293183488 48009 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48009 300 300 0 71278 0
vsize: 286312
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109640 0 0 0 86778 236 0 0 25 0 1 0 864844836 293183488 48012 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48012 300 300 0 71278 0
vsize: 286312
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109645 0 0 0 87778 236 0 0 25 0 1 0 864844836 293183488 48017 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48017 300 300 0 71278 0
vsize: 286312
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109647 0 0 0 88779 236 0 0 25 0 1 0 864844836 293183488 48019 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48019 300 300 0 71278 0
vsize: 286312
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109650 0 0 0 89779 236 0 0 25 0 1 0 864844836 293183488 48022 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71578 48022 300 300 0 71278 0
vsize: 286312
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109719 0 0 0 90779 236 0 0 25 0 1 0 864844836 293711872 48091 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48091 300 300 0 71407 0
vsize: 286828
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109722 0 0 0 91779 236 0 0 25 0 1 0 864844836 293711872 48094 4294967295 134512640 135726644 3221224576 3221222900 134728860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48094 300 300 0 71407 0
vsize: 286828
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109729 0 0 0 92779 236 0 0 25 0 1 0 864844836 293711872 48101 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48101 300 300 0 71407 0
vsize: 286828
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109740 0 0 0 93779 236 0 0 25 0 1 0 864844836 293711872 48112 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48112 300 300 0 71407 0
vsize: 286828
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109742 0 0 0 94779 236 0 0 25 0 1 0 864844836 293711872 48114 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48114 300 300 0 71407 0
vsize: 286828
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109745 0 0 0 95780 236 0 0 25 0 1 0 864844836 293711872 48117 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48117 300 300 0 71407 0
vsize: 286828
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109763 0 0 0 96780 236 0 0 25 0 1 0 864844836 293711872 48135 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48135 300 300 0 71407 0
vsize: 286828
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109778 0 0 0 97780 236 0 0 25 0 1 0 864844836 293711872 48150 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48150 300 300 0 71407 0
vsize: 286828
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109790 0 0 0 98780 236 0 0 25 0 1 0 864844836 293711872 48162 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71707 48162 300 300 0 71407 0
vsize: 286828
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109990 0 0 0 99780 237 0 0 25 0 1 0 864844836 294236160 48233 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48233 300 300 0 71535 0
vsize: 287340
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109993 0 0 0 100780 237 0 0 25 0 1 0 864844836 294236160 48236 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48236 300 300 0 71535 0
vsize: 287340
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109995 0 0 0 101780 237 0 0 25 0 1 0 864844836 294236160 48238 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48238 300 300 0 71535 0
vsize: 287340
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 109998 0 0 0 102780 237 0 0 25 0 1 0 864844836 294236160 48241 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48241 300 300 0 71535 0
vsize: 287340
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110000 0 0 0 103781 237 0 0 25 0 1 0 864844836 294236160 48243 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48243 300 300 0 71535 0
vsize: 287340
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110004 0 0 0 104780 237 0 0 25 0 1 0 864844836 294236160 48247 4294967295 134512640 135726644 3221224576 3221223072 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48247 300 300 0 71535 0
vsize: 287340
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110006 0 0 0 105781 237 0 0 25 0 1 0 864844836 294236160 48249 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48249 300 300 0 71535 0
vsize: 287340
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110009 0 0 0 106781 237 0 0 25 0 1 0 864844836 294236160 48252 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48252 300 300 0 71535 0
vsize: 287340
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110011 0 0 0 107781 237 0 0 25 0 1 0 864844836 294236160 48254 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48254 300 300 0 71535 0
vsize: 287340
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110014 0 0 0 108781 237 0 0 25 0 1 0 864844836 294236160 48257 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48257 300 300 0 71535 0
vsize: 287340
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110016 0 0 0 109781 237 0 0 25 0 1 0 864844836 294236160 48259 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48259 300 300 0 71535 0
vsize: 287340
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110019 0 0 0 110781 237 0 0 25 0 1 0 864844836 294236160 48262 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48262 300 300 0 71535 0
vsize: 287340
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110036 0 0 0 111782 237 0 0 25 0 1 0 864844836 294236160 48279 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48279 300 300 0 71535 0
vsize: 287340
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110039 0 0 0 112782 237 0 0 25 0 1 0 864844836 294236160 48282 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48282 300 300 0 71535 0
vsize: 287340
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110042 0 0 0 113782 237 0 0 25 0 1 0 864844836 294236160 48285 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48285 300 300 0 71535 0
vsize: 287340
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110044 0 0 0 114782 237 0 0 25 0 1 0 864844836 294236160 48287 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48287 300 300 0 71535 0
vsize: 287340
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110048 0 0 0 115782 237 0 0 25 0 1 0 864844836 294236160 48291 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48291 300 300 0 71535 0
vsize: 287340
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110051 0 0 0 116782 237 0 0 25 0 1 0 864844836 294236160 48294 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48294 300 300 0 71535 0
vsize: 287340
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110054 0 0 0 117783 238 0 0 25 0 1 0 864844836 294236160 48297 4294967295 134512640 135726644 3221224576 3221222824 135281194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48297 300 300 0 71535 0
vsize: 287340
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110058 0 0 0 118783 238 0 0 25 0 1 0 864844836 294236160 48301 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48301 300 300 0 71535 0
vsize: 287340
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21416
Raw data (stat): 21416 (pb2sat) R 21415 4613 4612 0 -1 0 110061 0 0 0 119783 238 0 0 25 0 1 0 864844836 294236160 48304 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 71835 48304 300 300 0 71535 0
vsize: 287340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.38 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21416
Raw data (stat): 21416 (pb2sat) Z 21415 4613 4612 0 -1 12 110062 0 0 0 119908 247 0 0 25 0 1 0 864844836 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.38
CPU time (s): 1201.57
CPU user time (s): 1199.09
CPU system time (s): 2.47962
CPU usage (%): 100.016
Max. virtual memory (Kb): 287340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	429056
#### END VERIFIER DATA ####