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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare2_1.opb
MD5SUM	a84a96a9314212f3d8ecd5227c500cef
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	91392
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	1202.31
Number of variables	330
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	54
Number of constraints which are nor clauses,nor cardinality constraints	13
Minimum length of a constraint	1
Maximum length of a constraint	150
Trace number 35450

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        712392 kB
Buffers:         35792 kB
Cached:         262652 kB
SwapCached:        552 kB
Active:          18240 kB
Inactive:       282260 kB
HighTotal:      131008 kB
HighFree:         2940 kB
LowTotal:       903652 kB
LowFree:        709452 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            15988 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 13:16:21 (client local time) WITH STATUS 0 IN 1202.39 SECONDS
stats: 24643 0 1202.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 369147
c [startup+75.2082 s]  setting bit 32 to 1
c got solution with objective value: 369147
c [startup+84.8421 s]  setting bit 31 to 1
c CONFLICT during preprocess 
c [startup+90.4864 s]  setting bit 30 to 0
c got solution with objective value: 369147
c [startup+100.13 s]  setting bit 29 to 1
c got solution with objective value: 369147
c [startup+109.787 s]  setting bit 28 to 1
c got solution with objective value: 369147
c [startup+119.444 s]  setting bit 27 to 1
c got solution with objective value: 369147
c [startup+129.098 s]  setting bit 26 to 1
c got solution with objective value: 369147
c [startup+138.741 s]  setting bit 25 to 1
c got solution with objective value: 369147
c [startup+148.3 s]  setting bit 24 to 1
c got solution with objective value: 369147
c [startup+157.859 s]  setting bit 23 to 1
c got solution with objective value: 369147
c [startup+167.417 s]  setting bit 22 to 1
c got solution with objective value: 369147
c [startup+176.978 s]  setting bit 21 to 1
c got solution with objective value: 369147
c [startup+186.537 s]  setting bit 20 to 1
c got solution with objective value: 369147
c [startup+196.096 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 -x54_bit_1 -x54_bit_10 -x54_bit_2 -x54_bit_3 -x54_bit_4 -x54_bit_5 -x54_bit_6 -x54_bit_7 -x54_bit_8 -x54_bit_9 x55_bit0 -x55_bit_1 -x55_bit_10 -x55_bit_2 -x55_bit_3 -x55_bit_4 -x55_bit_5 -x55_bit_6 -x55_bit_7 -x55_bit_8 -x55_bit_9 x56_bit0 -x56_bit_1 -x56_bit_10 -x56_bit_2 -x56_bit_3 -x56_bit_4 -x56_bit_5 -x56_bit_6 -x56_bit_7 -x56_bit_8 -x56_bit_9 -x57_bit0 -x57_bit_1 -x57_bit_10 -x57_bit_2 -x57_bit_3 -x57_bit_4 -x57_bit_5 x57_bit_6 -x57_bit_7 x57_bit_8 -x57_bit_9 -x58_bit0 -x58_bit_1 x58_bit_10 -x58_bit_2 x58_bit_3 -x58_bit_4 -x58_bit_5 -x58_bit_6 -x58_bit_7 x58_bit_8 -x58_bit_9 x59_bit0 -x59_bit_1 -x59_bit_10 -x59_bit_2 -x59_bit_3 -x59_bit_4 -x59_bit_5 -x59_bit_6 -x59_bit_7 -x59_bit_8 -x59_bit_9 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.94 0.90 1/54 19546
Raw data (stat): 19546 (runsolver) R 19545 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806748784 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 28893 0 0 0 935 63 0 0 25 0 1 0 806748784 82251776 17741 4294967295 134512640 135726644 3221224576 3221198008 135280725 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20081 17741 300 300 0 19781 0
vsize: 80324
[startup+20.0012 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 55303 0 0 0 1877 122 0 0 25 0 1 0 806748784 157429760 33179 4294967295 134512640 135726644 3221224576 3221205176 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38435 33180 300 300 0 38135 0
vsize: 153740
[startup+30.0016 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 91885 0 0 0 2800 199 0 0 25 0 1 0 806748784 303054848 48095 4294967295 134512640 135726644 3221224576 3221197344 134780450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73988 48095 300 300 0 73688 0
vsize: 295952
[startup+40.0011 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 106766 0 0 0 3766 233 0 0 25 0 1 0 806748784 305623040 62716 4294967295 134512640 135726644 3221224576 3221174608 134767085 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74615 62717 300 300 0 74315 0
vsize: 298460
[startup+50.0016 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 147997 0 0 0 4694 305 0 0 25 0 1 0 806748784 435728384 85360 4294967295 134512640 135726644 3221224576 3221201092 135277538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106379 85360 300 300 0 106079 0
vsize: 425516
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 183111 0 0 0 5608 391 0 0 25 0 1 0 806748784 569946112 95705 4294967295 134512640 135726644 3221224576 3221202544 134780348 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139147 95705 300 300 0 138847 0
vsize: 556588
[startup+70.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 190486 0 0 0 6590 409 0 0 25 0 1 0 806748784 569946112 100386 4294967295 134512640 135726644 3221224576 3221223232 134745068 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139147 100386 300 300 0 138847 0
vsize: 556588
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 195708 0 0 0 7578 421 0 0 25 0 1 0 806748784 581357568 102448 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141933 102448 300 300 0 141633 0
vsize: 567732
[startup+90.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 198315 0 0 0 8571 427 0 0 25 0 1 0 806748784 581357568 102448 4294967295 134512640 135726644 3221224576 3221223296 134736256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141933 102448 300 300 0 141633 0
vsize: 567732
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 200922 0 0 0 9565 433 0 0 25 0 1 0 806748784 581357568 102448 4294967295 134512640 135726644 3221224576 3221223296 134736252 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141933 102448 300 300 0 141633 0
vsize: 567732
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 203530 0 0 0 10558 440 0 0 25 0 1 0 806748784 581357568 102449 4294967295 134512640 135726644 3221224576 3221223248 134738782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141933 102449 300 300 0 141633 0
vsize: 567732
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 207673 0 0 0 11550 449 0 0 25 0 1 0 806748784 592035840 103985 4294967295 134512640 135726644 3221224576 3221223072 134763605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144540 103993 300 300 0 144240 0
vsize: 578160
[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 211351 0 0 0 12541 458 0 0 25 0 1 0 806748784 592035840 105056 4294967295 134512640 135726644 3221224576 3221222912 134765177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144540 105056 300 300 0 144240 0
vsize: 578160
[startup+140.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 213958 0 0 0 13534 465 0 0 25 0 1 0 806748784 592035840 105056 4294967295 134512640 135726644 3221224576 3221222912 134765513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144540 105056 300 300 0 144240 0
vsize: 578160
[startup+150.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 216565 0 0 0 14527 472 0 0 25 0 1 0 806748784 592035840 105056 4294967295 134512640 135726644 3221224576 3221222900 134765517 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144540 105056 300 300 0 144240 0
vsize: 578160
[startup+160.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 219172 0 0 0 15520 479 0 0 25 0 1 0 806748784 592035840 105056 4294967295 134512640 135726644 3221224576 3221222880 134765518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144540 105056 300 300 0 144240 0
vsize: 578160
[startup+170.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 221780 0 0 0 16514 485 0 0 25 0 1 0 806748784 592035840 105057 4294967295 134512640 135726644 3221224576 3221222872 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144540 105057 300 300 0 144240 0
vsize: 578160
[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 224387 0 0 0 17507 492 0 0 25 0 1 0 806748784 592035840 105057 4294967295 134512640 135726644 3221224576 3221222880 134765185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144540 105057 300 300 0 144240 0
vsize: 578160
[startup+190.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 226994 0 0 0 18501 499 0 0 25 0 1 0 806748784 581357568 102450 4294967295 134512640 135726644 3221224576 3221223152 134738144 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141933 102450 300 300 0 141633 0
vsize: 567732
[startup+200.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 229601 0 0 0 19495 505 0 0 25 0 1 0 806748784 581357568 102450 4294967295 134512640 135726644 3221224576 3221223120 134746052 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 141933 102450 300 300 0 141633 0
vsize: 567732
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 231365 0 0 0 20491 508 0 0 25 0 1 0 806748784 587546624 103453 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143444 103453 300 300 0 143144 0
vsize: 573776
[startup+220.029 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19546
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 233086 0 0 0 21489 511 0 0 25 0 1 0 806748784 593059840 104587 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 144790 104587 300 300 0 144490 0
vsize: 579160
[startup+230.03 s]
Raw data (loadavg): 1.07 0.98 0.91 3/57 19591
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 235229 0 0 0 22483 517 0 0 25 0 1 0 806748784 599126016 105560 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146271 105560 300 300 0 145971 0
vsize: 585084
[startup+240.03 s]
Raw data (loadavg): 1.14 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 236825 0 0 0 23480 520 0 0 25 0 1 0 806748784 604401664 106509 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147559 106509 300 300 0 147259 0
vsize: 590236
[startup+250.03 s]
Raw data (loadavg): 1.11 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 237566 0 0 0 24479 522 0 0 25 0 1 0 806748784 606507008 106894 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148073 106894 300 300 0 147773 0
vsize: 592292
[startup+260.03 s]
Raw data (loadavg): 1.10 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 239747 0 0 0 25476 525 0 0 25 0 1 0 806748784 613613568 108053 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149808 108053 300 300 0 149508 0
vsize: 599232
[startup+270.031 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 240845 0 0 0 26474 527 0 0 25 0 1 0 806748784 617312256 108664 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150711 108664 300 300 0 150411 0
vsize: 602844
[startup+280.031 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 241263 0 0 0 27473 528 0 0 25 0 1 0 806748784 618631168 108888 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151033 108888 300 300 0 150733 0
vsize: 604132
[startup+290.032 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 241774 0 0 0 28473 528 0 0 25 0 1 0 806748784 619941888 109076 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151353 109076 300 300 0 151053 0
vsize: 605412
[startup+300.031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 19609
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 241946 0 0 0 29473 529 0 0 25 0 1 0 806748784 620466176 109119 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151481 109119 300 300 0 151181 0
vsize: 605924
[startup+310.031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242045 0 0 0 30473 529 0 0 25 0 1 0 806748784 620466176 109218 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151481 109218 300 300 0 151181 0
vsize: 605924
[startup+320.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242145 0 0 0 31473 529 0 0 25 0 1 0 806748784 620994560 109318 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151610 109318 300 300 0 151310 0
vsize: 606440
[startup+330.035 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242372 0 0 0 32473 529 0 0 25 0 1 0 806748784 621518848 109416 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151738 109416 300 300 0 151438 0
vsize: 606952
[startup+340.035 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242374 0 0 0 33473 529 0 0 25 0 1 0 806748784 621518848 109418 4294967295 134512640 135726644 3221224576 3221223072 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151738 109418 300 300 0 151438 0
vsize: 606952
[startup+350.035 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242604 0 0 0 34473 530 0 0 25 0 1 0 806748784 622043136 109519 4294967295 134512640 135726644 3221224576 3221223264 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151866 109519 300 300 0 151566 0
vsize: 607464
[startup+360.035 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 242689 0 0 0 35473 530 0 0 25 0 1 0 806748784 622571520 109604 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151995 109604 300 300 0 151695 0
vsize: 607980
[startup+370.036 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243025 0 0 0 36473 531 0 0 25 0 1 0 806748784 623489024 109777 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152219 109777 300 300 0 151919 0
vsize: 608876
[startup+380.036 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243046 0 0 0 37473 531 0 0 25 0 1 0 806748784 623489024 109798 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152219 109798 300 300 0 151919 0
vsize: 608876
[startup+390.037 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243065 0 0 0 38473 531 0 0 25 0 1 0 806748784 623489024 109817 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152219 109817 300 300 0 151919 0
vsize: 608876
[startup+400.038 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243195 0 0 0 39472 531 0 0 25 0 1 0 806748784 623751168 109882 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109882 300 300 0 151983 0
vsize: 609132
[startup+410.038 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243207 0 0 0 40473 532 0 0 25 0 1 0 806748784 623751168 109894 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109894 300 300 0 151983 0
vsize: 609132
[startup+420.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243230 0 0 0 41473 532 0 0 25 0 1 0 806748784 623751168 109917 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109917 300 300 0 151983 0
vsize: 609132
[startup+430.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243234 0 0 0 42473 532 0 0 25 0 1 0 806748784 623751168 109921 4294967295 134512640 135726644 3221224576 3221223072 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109921 300 300 0 151983 0
vsize: 609132
[startup+440.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243236 0 0 0 43473 532 0 0 25 0 1 0 806748784 623751168 109923 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109923 300 300 0 151983 0
vsize: 609132
[startup+450.044 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243238 0 0 0 44473 532 0 0 25 0 1 0 806748784 623751168 109925 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109925 300 300 0 151983 0
vsize: 609132
[startup+460.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243298 0 0 0 45475 532 0 0 25 0 1 0 806748784 623751168 109985 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152283 109985 300 300 0 151983 0
vsize: 609132
[startup+470.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 243791 0 0 0 46475 533 0 0 25 0 1 0 806748784 624537600 110284 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152475 110284 300 300 0 152175 0
vsize: 609900
[startup+480.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 244554 0 0 0 47472 536 0 0 25 0 1 0 806748784 626597888 110596 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152978 110596 300 300 0 152678 0
vsize: 611912
[startup+490.063 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 245111 0 0 0 48471 537 0 0 25 0 1 0 806748784 627908608 110831 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153298 110831 300 300 0 152998 0
vsize: 613192
[startup+500.064 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 245913 0 0 0 49470 538 0 0 25 0 1 0 806748784 630005760 111118 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153810 111118 300 300 0 153510 0
vsize: 615240
[startup+510.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 246126 0 0 0 50470 539 0 0 25 0 1 0 806748784 630267904 111266 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153874 111266 300 300 0 153574 0
vsize: 615496
[startup+520.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 246807 0 0 0 51469 540 0 0 25 0 1 0 806748784 632119296 111653 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154326 111653 300 300 0 154026 0
vsize: 617304
[startup+530.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 247463 0 0 0 52468 541 0 0 25 0 1 0 806748784 634224640 111921 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154840 111921 300 300 0 154540 0
vsize: 619360
[startup+540.071 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 247947 0 0 0 53467 542 0 0 25 0 1 0 806748784 635273216 112147 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155096 112147 300 300 0 154796 0
vsize: 620384
[startup+550.078 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 248554 0 0 0 54467 543 0 0 25 0 1 0 806748784 636846080 112368 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155480 112368 300 300 0 155180 0
vsize: 621920
[startup+560.083 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19611
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 248850 0 0 0 55467 544 0 0 25 0 1 0 806748784 637636608 112534 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155673 112534 300 300 0 155373 0
vsize: 622692
[startup+570.084 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 248877 0 0 0 56467 544 0 0 25 0 1 0 806748784 637636608 112561 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155673 112561 300 300 0 155373 0
vsize: 622692
[startup+580.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 248883 0 0 0 57467 544 0 0 25 0 1 0 806748784 637636608 112567 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155673 112567 300 300 0 155373 0
vsize: 622692
[startup+590.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249117 0 0 0 58467 545 0 0 25 0 1 0 806748784 638427136 112671 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155866 112671 300 300 0 155566 0
vsize: 623464
[startup+600.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249346 0 0 0 59467 545 0 0 25 0 1 0 806748784 638951424 112771 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155994 112771 300 300 0 155694 0
vsize: 623976
[startup+610.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249349 0 0 0 60467 545 0 0 25 0 1 0 806748784 638951424 112774 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155994 112774 300 300 0 155694 0
vsize: 623976
[startup+620.085 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249375 0 0 0 61467 545 0 0 25 0 1 0 806748784 638951424 112800 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155994 112800 300 300 0 155694 0
vsize: 623976
[startup+630.086 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249750 0 0 0 62467 546 0 0 25 0 1 0 806748784 640008192 113045 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156252 113045 300 300 0 155952 0
vsize: 625008
[startup+640.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249752 0 0 0 63467 546 0 0 25 0 1 0 806748784 640008192 113047 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156252 113047 300 300 0 155952 0
vsize: 625008
[startup+650.087 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249805 0 0 0 64467 546 0 0 25 0 1 0 806748784 640008192 113100 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156252 113100 300 300 0 155952 0
vsize: 625008
[startup+660.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249808 0 0 0 65467 546 0 0 25 0 1 0 806748784 640008192 113103 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156252 113103 300 300 0 155952 0
vsize: 625008
[startup+670.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 249982 0 0 0 66466 547 0 0 25 0 1 0 806748784 640532480 113148 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156380 113148 300 300 0 156080 0
vsize: 625520
[startup+680.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250156 0 0 0 67466 547 0 0 25 0 1 0 806748784 641056768 113193 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156508 113193 300 300 0 156208 0
vsize: 626032
[startup+690.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250158 0 0 0 68466 547 0 0 25 0 1 0 806748784 641056768 113195 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156508 113195 300 300 0 156208 0
vsize: 626032
[startup+700.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250161 0 0 0 69467 547 0 0 25 0 1 0 806748784 641056768 113198 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156508 113198 300 300 0 156208 0
vsize: 626032
[startup+710.088 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250164 0 0 0 70467 548 0 0 25 0 1 0 806748784 641056768 113201 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156508 113201 300 300 0 156208 0
vsize: 626032
[startup+720.089 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250362 0 0 0 71467 548 0 0 25 0 1 0 806748784 641581056 113270 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156636 113270 300 300 0 156336 0
vsize: 626544
[startup+730.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250366 0 0 0 72467 548 0 0 25 0 1 0 806748784 641581056 113274 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156636 113274 300 300 0 156336 0
vsize: 626544
[startup+740.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 250576 0 0 0 73466 549 0 0 25 0 1 0 806748784 642105344 113355 4294967295 134512640 135726644 3221224576 3221223200 134744626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156764 113355 300 300 0 156464 0
vsize: 627056
[startup+750.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251088 0 0 0 74465 550 0 0 25 0 1 0 806748784 643153920 113609 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157020 113609 300 300 0 156720 0
vsize: 628080
[startup+760.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251089 0 0 0 75466 550 0 0 25 0 1 0 806748784 643153920 113610 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157020 113610 300 300 0 156720 0
vsize: 628080
[startup+770.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251134 0 0 0 76466 550 0 0 25 0 1 0 806748784 643153920 113655 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157020 113655 300 300 0 156720 0
vsize: 628080
[startup+780.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251144 0 0 0 77466 550 0 0 25 0 1 0 806748784 643153920 113665 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157020 113665 300 300 0 156720 0
vsize: 628080
[startup+790.09 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251146 0 0 0 78466 550 0 0 25 0 1 0 806748784 643153920 113667 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157020 113667 300 300 0 156720 0
vsize: 628080
[startup+800.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251344 0 0 0 79466 550 0 0 25 0 1 0 806748784 643678208 113736 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157148 113736 300 300 0 156848 0
vsize: 628592
[startup+810.091 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251391 0 0 0 80466 550 0 0 25 0 1 0 806748784 643678208 113783 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157148 113783 300 300 0 156848 0
vsize: 628592
[startup+820.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251551 0 0 0 81466 551 0 0 25 0 1 0 806748784 644206592 113878 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157277 113878 300 300 0 156977 0
vsize: 629108
[startup+830.097 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251555 0 0 0 82466 551 0 0 25 0 1 0 806748784 644206592 113882 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157277 113882 300 300 0 156977 0
vsize: 629108
[startup+840.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251561 0 0 0 83466 551 0 0 25 0 1 0 806748784 644206592 113888 4294967295 134512640 135726644 3221224576 3221223232 134731192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157277 113888 300 300 0 156977 0
vsize: 629108
[startup+850.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251924 0 0 0 84466 552 0 0 25 0 1 0 806748784 645255168 113993 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 113993 300 300 0 157233 0
vsize: 630132
[startup+860.098 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251926 0 0 0 85466 552 0 0 25 0 1 0 806748784 645255168 113995 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 113995 300 300 0 157233 0
vsize: 630132
[startup+870.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251933 0 0 0 86466 552 0 0 25 0 1 0 806748784 645255168 114002 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 114002 300 300 0 157233 0
vsize: 630132
[startup+880.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251936 0 0 0 87466 552 0 0 25 0 1 0 806748784 645255168 114005 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 114005 300 300 0 157233 0
vsize: 630132
[startup+890.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251937 0 0 0 88466 552 0 0 25 0 1 0 806748784 645255168 114006 4294967295 134512640 135726644 3221224576 3221223200 134744594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 114006 300 300 0 157233 0
vsize: 630132
[startup+900.099 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251939 0 0 0 89466 552 0 0 25 0 1 0 806748784 645255168 114008 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 114008 300 300 0 157233 0
vsize: 630132
[startup+910.1 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 251941 0 0 0 90467 552 0 0 25 0 1 0 806748784 645255168 114010 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157533 114010 300 300 0 157233 0
vsize: 630132
[startup+920.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 252333 0 0 0 91466 553 0 0 25 0 1 0 806748784 646303744 114145 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157789 114145 300 300 0 157489 0
vsize: 631156
[startup+930.101 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 252343 0 0 0 92466 553 0 0 25 0 1 0 806748784 646303744 114155 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157789 114155 300 300 0 157489 0
vsize: 631156
[startup+940.104 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 252361 0 0 0 93467 553 0 0 25 0 1 0 806748784 646303744 114173 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157789 114173 300 300 0 157489 0
vsize: 631156
[startup+950.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 252973 0 0 0 94465 555 0 0 25 0 1 0 806748784 647614464 114462 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158109 114462 300 300 0 157809 0
vsize: 632436
[startup+960.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 253010 0 0 0 95465 555 0 0 25 0 1 0 806748784 647614464 114499 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158109 114499 300 300 0 157809 0
vsize: 632436
[startup+970.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 253022 0 0 0 96465 555 0 0 25 0 1 0 806748784 647614464 114511 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158109 114511 300 300 0 157809 0
vsize: 632436
[startup+980.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 253060 0 0 0 97465 555 0 0 25 0 1 0 806748784 647786496 114549 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158151 114549 300 300 0 157851 0
vsize: 632604
[startup+990.105 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 253407 0 0 0 98464 557 0 0 25 0 1 0 806748784 649146368 114798 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158483 114798 300 300 0 158183 0
vsize: 633932
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 255438 0 0 0 99460 562 0 0 25 0 1 0 806748784 655216640 115690 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159965 115690 300 300 0 159665 0
vsize: 639860
[startup+1010.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 255944 0 0 0 100459 563 0 0 25 0 1 0 806748784 656527360 115873 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160285 115873 300 300 0 159985 0
vsize: 641140
[startup+1020.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 255945 0 0 0 101459 563 0 0 25 0 1 0 806748784 656527360 115874 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160285 115874 300 300 0 159985 0
vsize: 641140
[startup+1030.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256097 0 0 0 102459 563 0 0 25 0 1 0 806748784 657051648 115897 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160413 115897 300 300 0 160113 0
vsize: 641652
[startup+1040.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256097 0 0 0 103459 564 0 0 25 0 1 0 806748784 657051648 115897 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160413 115897 300 300 0 160113 0
vsize: 641652
[startup+1050.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256693 0 0 0 104458 565 0 0 25 0 1 0 806748784 658100224 116236 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160669 116236 300 300 0 160369 0
vsize: 642676
[startup+1060.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256695 0 0 0 105458 565 0 0 25 0 1 0 806748784 658100224 116238 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160669 116238 300 300 0 160369 0
vsize: 642676
[startup+1070.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256714 0 0 0 106458 565 0 0 25 0 1 0 806748784 658100224 116257 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160669 116257 300 300 0 160369 0
vsize: 642676
[startup+1080.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256715 0 0 0 107458 566 0 0 25 0 1 0 806748784 658100224 116258 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160669 116258 300 300 0 160369 0
vsize: 642676
[startup+1090.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256919 0 0 0 108457 566 0 0 25 0 1 0 806748784 658763776 116397 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160831 116397 300 300 0 160531 0
vsize: 643324
[startup+1100.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 256922 0 0 0 109457 566 0 0 25 0 1 0 806748784 658763776 116400 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160831 116400 300 300 0 160531 0
vsize: 643324
[startup+1110.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 257108 0 0 0 110457 567 0 0 25 0 1 0 806748784 659288064 116457 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160959 116457 300 300 0 160659 0
vsize: 643836
[startup+1120.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 257514 0 0 0 111456 568 0 0 25 0 1 0 806748784 660336640 116605 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161215 116605 300 300 0 160915 0
vsize: 644860
[startup+1130.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 258487 0 0 0 112454 570 0 0 25 0 1 0 806748784 662962176 116998 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161856 116998 300 300 0 161556 0
vsize: 647424
[startup+1140.12 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 258488 0 0 0 113455 570 0 0 25 0 1 0 806748784 662962176 116999 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161856 116999 300 300 0 161556 0
vsize: 647424
[startup+1150.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 258577 0 0 0 114455 571 0 0 25 0 1 0 806748784 662962176 117088 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161856 117088 300 300 0 161556 0
vsize: 647424
[startup+1160.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 259487 0 0 0 115454 572 0 0 25 0 1 0 806748784 665325568 117481 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162433 117481 300 300 0 162133 0
vsize: 649732
[startup+1170.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 259709 0 0 0 116454 572 0 0 25 0 1 0 806748784 665853952 117638 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162562 117638 300 300 0 162262 0
vsize: 650248
[startup+1180.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 259712 0 0 0 117454 572 0 0 25 0 1 0 806748784 665853952 117641 4294967295 134512640 135726644 3221224576 3221223168 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162562 117641 300 300 0 162262 0
vsize: 650248
[startup+1190.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 260365 0 0 0 118453 574 0 0 25 0 1 0 806748784 667426816 117908 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162946 117908 300 300 0 162646 0
vsize: 651784
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 260383 0 0 0 119453 574 0 0 25 0 1 0 806748784 667426816 117926 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162946 117926 300 300 0 162646 0
vsize: 651784
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.24 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 19613
Raw data (stat): 19546 (pb2sat) R 19545 3944 3943 0 -1 0 260383 0 0 0 119453 574 0 0 25 0 1 0 806748784 667426816 117926 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162946 117926 300 300 0 162646 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.24
CPU time (s): 1202.39
CPU user time (s): 1196.41
CPU system time (s): 5.97509
CPU usage (%): 100.012
Max. virtual memory (Kb): 651784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	369147
#### END VERIFIER DATA ####