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-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
Optimality of the best value was proved	NO
Number of terms in the objective function	180
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	6442450938
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	6442450938
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	1175.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 35449

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        752940 kB
Buffers:         34188 kB
Cached:         217864 kB
SwapCached:        704 kB
Active:          17604 kB
Inactive:       236424 kB
HighTotal:      131008 kB
HighFree:        44520 kB
LowTotal:       903652 kB
LowFree:        708420 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            21924 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:16:06 (client local time) WITH STATUS 0 IN 1202.31 SECONDS
stats: 24642 0 1202.31 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: 698720
c [startup+44.6145 s]  setting bit 32 to 1
c CONFLICT during preprocess 
c [startup+48.1654 s]  setting bit 31 to 0
c got solution with objective value: 698720
c [startup+54.0705 s]  setting bit 30 to 1
c got solution with objective value: 698720
c [startup+59.992 s]  setting bit 29 to 1
c got solution with objective value: 698720
c [startup+65.9517 s]  setting bit 28 to 1
c got solution with objective value: 698720
c [startup+71.8576 s]  setting bit 27 to 1
c got solution with objective value: 698720
c [startup+77.7625 s]  setting bit 26 to 1
c got solution with objective value: 698720
c [startup+83.6683 s]  setting bit 25 to 1
c got solution with objective value: 698720
c [startup+89.5723 s]  setting bit 24 to 1
c got solution with objective value: 698720
c [startup+95.4773 s]  setting bit 23 to 1
c got solution with objective value: 698720
c [startup+101.407 s]  setting bit 22 to 1
c got solution with objective value: 698720
c [startup+107.315 s]  setting bit 21 to 1
c got solution with objective value: 698720
c [startup+113.221 s]  setting bit 20 to 1
c got solution with objective value: 429328
c [startup+129.069 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 -x0_bit0 x0_bit_1 -x0_bit_10 x0_bit_2 -x0_bit_3 x0_bit_4 x0_bit_5 x0_bit_6 -x0_bit_7 -x0_bit_8 -x0_bit_9 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 -x45_bit_1 -x45_bit_10 -x45_bit_2 -x45_bit_3 -x45_bit_4 -x45_bit_5 -x45_bit_6 -x45_bit_7 -x45_bit_8 -x45_bit_9 -x46_bit0 x46_bit_1 -x46_bit_10 -x46_bit_2 -x46_bit_3 -x46_bit_4 -x46_bit_5 -x46_bit_6 -x46_bit_7 -x46_bit_8 -x46_bit_9 -x47_bit0 x47_bit_1 -x47_bit_10 x47_bit_2 x47_bit_3 x47_bit_4 -x47_bit_5 x47_bit_6 -x47_bit_7 -x47_bit_8 -x47_bit_9 -x48_bit0 -x49_bit0 x49_bit_1 -x49_bit_10 -x49_bit_2 -x49_bit_3 -x49_bit_4 -x49_bit_5 x49_bit_6 -x49_bit_7 -x49_bit_8 -x49_bit_9 x4_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
Raw data (loadavg): 0.92 0.95 0.90 2/54 20273
Raw data (stat): 20273 (runsolver) R 20272 3394 3393 0 -1 64 2 0 0 0 0 0 0 0 19 0 1 0 864964052 884736 93 4294967295 134512640 135332820 3221224448 3221219692 134957955 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99971 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 27361 0 0 0 935 61 0 0 25 0 1 0 864964052 79503360 16348 4294967295 134512640 135726644 3221224576 3221210112 134782316 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19410 16350 300 300 0 19110 0
vsize: 77640
[startup+20.0025 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 54262 0 0 0 1877 119 0 0 25 0 1 0 864964052 155656192 32021 4294967295 134512640 135726644 3221224576 3221183096 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38002 32021 300 300 0 37702 0
vsize: 152008
[startup+30.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 91432 0 0 0 2799 197 0 0 25 0 1 0 864964052 300335104 47510 4294967295 134512640 135726644 3221224576 3221195344 134780450 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73324 47510 300 300 0 73024 0
vsize: 293296
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 106655 0 0 0 3763 233 0 0 25 0 1 0 864964052 315473920 62521 4294967295 134512640 135726644 3221224576 3221222896 134765513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77020 62521 300 300 0 76720 0
vsize: 308080
[startup+50.0104 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 112677 0 0 0 4750 247 0 0 25 0 1 0 864964052 327213056 64885 4294967295 134512640 135726644 3221224576 3221222896 134765177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79886 64885 300 300 0 79586 0
vsize: 319544
[startup+60.0102 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 114327 0 0 0 5746 251 0 0 25 0 1 0 864964052 320454656 63235 4294967295 134512640 135726644 3221224576 3221223296 134736256 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78236 63235 300 300 0 77936 0
vsize: 312944
[startup+70.0099 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 117627 0 0 0 6737 259 0 0 25 0 1 0 864964052 320454656 63235 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78236 63235 300 300 0 77936 0
vsize: 312944
[startup+80.0107 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 120928 0 0 0 7730 267 0 0 25 0 1 0 864964052 320454656 63236 4294967295 134512640 135726644 3221224576 3221223152 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78236 63236 300 300 0 77936 0
vsize: 312944
[startup+90.0112 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 124229 0 0 0 8722 275 0 0 25 0 1 0 864964052 327213056 64887 4294967295 134512640 135726644 3221224576 3221222928 134769129 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79886 64887 300 300 0 79586 0
vsize: 319544
[startup+100.011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 125879 0 0 0 9717 279 0 0 25 0 1 0 864964052 320454656 63237 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78236 63237 300 300 0 77936 0
vsize: 312944
[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 129179 0 0 0 10709 288 0 0 25 0 1 0 864964052 320454656 63237 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78236 63237 300 300 0 77936 0
vsize: 312944
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 131303 0 0 0 11704 293 0 0 25 0 1 0 864964052 321777664 63548 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78559 63548 300 300 0 78259 0
vsize: 314236
[startup+130.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 135087 0 0 0 12696 301 0 0 25 0 1 0 864964052 334921728 66260 4294967295 134512640 135726644 3221224576 3221222912 134765194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81768 66260 300 300 0 81468 0
vsize: 327072
[startup+140.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 136835 0 0 0 13693 305 0 0 25 0 1 0 864964052 334860288 65900 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81753 65900 300 300 0 81453 0
vsize: 327012
[startup+150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 138890 0 0 0 14690 309 0 0 25 0 1 0 864964052 342573056 67279 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83636 67279 300 300 0 83336 0
vsize: 334544
[startup+160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 139831 0 0 0 15688 311 0 0 25 0 1 0 864964052 345341952 67764 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84312 67764 300 300 0 84012 0
vsize: 337248
[startup+170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 140610 0 0 0 16687 313 0 0 25 0 1 0 864964052 347713536 68138 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84891 68138 300 300 0 84591 0
vsize: 339564
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 141839 0 0 0 17684 315 0 0 25 0 1 0 864964052 351272960 68713 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85760 68713 300 300 0 85460 0
vsize: 343040
[startup+190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 142744 0 0 0 18682 318 0 0 25 0 1 0 864964052 353902592 69100 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86402 69100 300 300 0 86102 0
vsize: 345608
[startup+200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 144042 0 0 0 19680 320 0 0 25 0 1 0 864964052 357863424 69878 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87369 69878 300 300 0 87069 0
vsize: 349476
[startup+210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 144215 0 0 0 20679 321 0 0 25 0 1 0 864964052 358391808 69986 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87498 69986 300 300 0 87198 0
vsize: 349992
[startup+220.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 144240 0 0 0 21680 321 0 0 25 0 1 0 864964052 358391808 70011 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87498 70011 300 300 0 87198 0
vsize: 349992
[startup+230.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 144526 0 0 0 22679 321 0 0 25 0 1 0 864964052 359178240 70103 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87690 70103 300 300 0 87390 0
vsize: 350760
[startup+240.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20273
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 145395 0 0 0 23677 324 0 0 25 0 1 0 864964052 361545728 70519 4294967295 134512640 135726644 3221224576 3221223184 134744639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88268 70519 300 300 0 87968 0
vsize: 353072
[startup+250.036 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 145708 0 0 0 24677 324 0 0 25 0 1 0 864964052 362070016 70703 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88396 70703 300 300 0 88096 0
vsize: 353584
[startup+260.041 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 146369 0 0 0 25676 326 0 0 25 0 1 0 864964052 363905024 70912 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88844 70912 300 300 0 88544 0
vsize: 355376
[startup+270.041 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 146433 0 0 0 26676 326 0 0 25 0 1 0 864964052 363843584 70896 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88829 70896 300 300 0 88529 0
vsize: 355316
[startup+280.041 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 146609 0 0 0 27675 327 0 0 25 0 1 0 864964052 364371968 71007 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88958 71007 300 300 0 88658 0
vsize: 355832
[startup+290.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147049 0 0 0 28675 328 0 0 25 0 1 0 864964052 365682688 71124 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89278 71124 300 300 0 88978 0
vsize: 357112
[startup+300.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147059 0 0 0 29675 328 0 0 25 0 1 0 864964052 365682688 71134 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89278 71134 300 300 0 88978 0
vsize: 357112
[startup+310.042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20326
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147276 0 0 0 30675 328 0 0 25 0 1 0 864964052 366206976 71221 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89406 71221 300 300 0 89106 0
vsize: 357624
[startup+320.042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147458 0 0 0 31675 328 0 0 25 0 1 0 864964052 366731264 71274 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89534 71274 300 300 0 89234 0
vsize: 358136
[startup+330.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147461 0 0 0 32675 328 0 0 25 0 1 0 864964052 366731264 71277 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89534 71277 300 300 0 89234 0
vsize: 358136
[startup+340.042 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147482 0 0 0 33675 329 0 0 25 0 1 0 864964052 366731264 71298 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89534 71298 300 300 0 89234 0
vsize: 358136
[startup+350.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147567 0 0 0 34675 329 0 0 25 0 1 0 864964052 366993408 71318 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89598 71318 300 300 0 89298 0
vsize: 358392
[startup+360.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147772 0 0 0 35675 329 0 0 25 0 1 0 864964052 367517696 71394 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71394 300 300 0 89426 0
vsize: 358904
[startup+370.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147776 0 0 0 36675 329 0 0 25 0 1 0 864964052 367517696 71398 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71398 300 300 0 89426 0
vsize: 358904
[startup+380.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147781 0 0 0 37675 329 0 0 25 0 1 0 864964052 367517696 71403 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71403 300 300 0 89426 0
vsize: 358904
[startup+390.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147809 0 0 0 38675 329 0 0 25 0 1 0 864964052 367517696 71431 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71431 300 300 0 89426 0
vsize: 358904
[startup+400.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147822 0 0 0 39675 329 0 0 25 0 1 0 864964052 367517696 71444 4294967295 134512640 135726644 3221224576 3221223200 134744591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71444 300 300 0 89426 0
vsize: 358904
[startup+410.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147826 0 0 0 40675 329 0 0 25 0 1 0 864964052 367517696 71448 4294967295 134512640 135726644 3221224576 3221223200 134744591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71448 300 300 0 89426 0
vsize: 358904
[startup+420.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147828 0 0 0 41675 330 0 0 25 0 1 0 864964052 367517696 71450 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71450 300 300 0 89426 0
vsize: 358904
[startup+430.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147848 0 0 0 42676 330 0 0 25 0 1 0 864964052 367517696 71470 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71470 300 300 0 89426 0
vsize: 358904
[startup+440.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147935 0 0 0 43675 330 0 0 25 0 1 0 864964052 367517696 71557 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71557 300 300 0 89426 0
vsize: 358904
[startup+450.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 147936 0 0 0 44676 330 0 0 25 0 1 0 864964052 367517696 71558 4294967295 134512640 135726644 3221224576 3221223072 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89726 71558 300 300 0 89426 0
vsize: 358904
[startup+460.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 148165 0 0 0 45675 330 0 0 25 0 1 0 864964052 368041984 71658 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89854 71658 300 300 0 89554 0
vsize: 359416
[startup+470.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 148168 0 0 0 46675 330 0 0 25 0 1 0 864964052 368041984 71661 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89854 71661 300 300 0 89554 0
vsize: 359416
[startup+480.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 148188 0 0 0 47675 331 0 0 25 0 1 0 864964052 368041984 71681 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89854 71681 300 300 0 89554 0
vsize: 359416
[startup+490.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 148441 0 0 0 48675 331 0 0 25 0 1 0 864964052 368566272 71805 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89982 71805 300 300 0 89682 0
vsize: 359928
[startup+500.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 148797 0 0 0 49674 332 0 0 25 0 1 0 864964052 369614848 71903 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90238 71903 300 300 0 89938 0
vsize: 360952
[startup+510.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149184 0 0 0 50673 333 0 0 25 0 1 0 864964052 370663424 72031 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90494 72031 300 300 0 90194 0
vsize: 361976
[startup+520.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149189 0 0 0 51673 333 0 0 25 0 1 0 864964052 370663424 72036 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90494 72036 300 300 0 90194 0
vsize: 361976
[startup+530.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149191 0 0 0 52673 333 0 0 25 0 1 0 864964052 370663424 72038 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90494 72038 300 300 0 90194 0
vsize: 361976
[startup+540.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149195 0 0 0 53674 333 0 0 25 0 1 0 864964052 370663424 72042 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90494 72042 300 300 0 90194 0
vsize: 361976
[startup+550.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20328
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149430 0 0 0 54673 334 0 0 25 0 1 0 864964052 371187712 72148 4294967295 134512640 135726644 3221224576 3221223072 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90622 72148 300 300 0 90322 0
vsize: 362488
[startup+560.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149743 0 0 0 55673 334 0 0 25 0 1 0 864964052 371974144 72267 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90814 72267 300 300 0 90514 0
vsize: 363256
[startup+570.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 149892 0 0 0 56673 335 0 0 25 0 1 0 864964052 372498432 72287 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90942 72287 300 300 0 90642 0
vsize: 363768
[startup+580.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150077 0 0 0 57673 335 0 0 25 0 1 0 864964052 373022720 72343 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91070 72343 300 300 0 90770 0
vsize: 364280
[startup+590.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150636 0 0 0 58671 337 0 0 25 0 1 0 864964052 374603776 72642 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91456 72642 300 300 0 91156 0
vsize: 365824
[startup+600.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150651 0 0 0 59672 337 0 0 25 0 1 0 864964052 374603776 72657 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91456 72657 300 300 0 91156 0
vsize: 365824
[startup+610.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150875 0 0 0 60672 337 0 0 25 0 1 0 864964052 375128064 72752 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91584 72752 300 300 0 91284 0
vsize: 366336
[startup+620.063 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150877 0 0 0 61672 337 0 0 25 0 1 0 864964052 375128064 72754 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91584 72754 300 300 0 91284 0
vsize: 366336
[startup+630.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150879 0 0 0 62673 337 0 0 25 0 1 0 864964052 375128064 72756 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91584 72756 300 300 0 91284 0
vsize: 366336
[startup+640.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 150916 0 0 0 63673 337 0 0 25 0 1 0 864964052 375128064 72793 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91584 72793 300 300 0 91284 0
vsize: 366336
[startup+650.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 151078 0 0 0 64673 338 0 0 25 0 1 0 864964052 375652352 72826 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91712 72826 300 300 0 91412 0
vsize: 366848
[startup+660.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 151252 0 0 0 65672 338 0 0 25 0 1 0 864964052 376180736 72935 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91841 72935 300 300 0 91541 0
vsize: 367364
[startup+670.065 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 151779 0 0 0 66672 339 0 0 25 0 1 0 864964052 377757696 73139 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92226 73139 300 300 0 91926 0
vsize: 368904
[startup+680.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 151806 0 0 0 67672 339 0 0 25 0 1 0 864964052 377757696 73166 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92226 73166 300 300 0 91926 0
vsize: 368904
[startup+690.066 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 152381 0 0 0 68671 340 0 0 25 0 1 0 864964052 379334656 73418 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92611 73418 300 300 0 92311 0
vsize: 370444
[startup+700.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 152511 0 0 0 69671 340 0 0 25 0 1 0 864964052 379596800 73483 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92675 73483 300 300 0 92375 0
vsize: 370700
[startup+710.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153405 0 0 0 70670 342 0 0 25 0 1 0 864964052 381960192 73860 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93252 73860 300 300 0 92952 0
vsize: 373008
[startup+720.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153408 0 0 0 71670 342 0 0 25 0 1 0 864964052 381960192 73863 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93252 73863 300 300 0 92952 0
vsize: 373008
[startup+730.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153604 0 0 0 72670 342 0 0 25 0 1 0 864964052 382484480 73930 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 73930 300 300 0 93080 0
vsize: 373520
[startup+740.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153634 0 0 0 73670 343 0 0 25 0 1 0 864964052 382484480 73960 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 73960 300 300 0 93080 0
vsize: 373520
[startup+750.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153729 0 0 0 74670 343 0 0 25 0 1 0 864964052 382484480 74055 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 74055 300 300 0 93080 0
vsize: 373520
[startup+760.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153740 0 0 0 75670 343 0 0 25 0 1 0 864964052 382484480 74066 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 74066 300 300 0 93080 0
vsize: 373520
[startup+770.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153769 0 0 0 76670 343 0 0 25 0 1 0 864964052 382484480 74095 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93380 74095 300 300 0 93080 0
vsize: 373520
[startup+780.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153981 0 0 0 77670 344 0 0 25 0 1 0 864964052 383008768 74178 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93508 74178 300 300 0 93208 0
vsize: 374032
[startup+790.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153982 0 0 0 78670 344 0 0 25 0 1 0 864964052 383008768 74179 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93508 74179 300 300 0 93208 0
vsize: 374032
[startup+800.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 153983 0 0 0 79670 344 0 0 25 0 1 0 864964052 383008768 74180 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93508 74180 300 300 0 93208 0
vsize: 374032
[startup+810.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154000 0 0 0 80670 345 0 0 25 0 1 0 864964052 383008768 74197 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93508 74197 300 300 0 93208 0
vsize: 374032
[startup+820.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154152 0 0 0 81669 345 0 0 25 0 1 0 864964052 383537152 74284 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93637 74284 300 300 0 93337 0
vsize: 374548
[startup+830.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154154 0 0 0 82670 345 0 0 25 0 1 0 864964052 383537152 74286 4294967295 134512640 135726644 3221224576 3221223072 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93637 74286 300 300 0 93337 0
vsize: 374548
[startup+840.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154156 0 0 0 83670 345 0 0 25 0 1 0 864964052 383537152 74288 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93637 74288 300 300 0 93337 0
vsize: 374548
[startup+850.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154190 0 0 0 84670 345 0 0 25 0 1 0 864964052 383537152 74322 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93637 74322 300 300 0 93337 0
vsize: 374548
[startup+860.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154192 0 0 0 85670 345 0 0 25 0 1 0 864964052 383537152 74324 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93637 74324 300 300 0 93337 0
vsize: 374548
[startup+870.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154417 0 0 0 86670 345 0 0 25 0 1 0 864964052 384061440 74420 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74420 300 300 0 93465 0
vsize: 375060
[startup+880.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154466 0 0 0 87670 346 0 0 25 0 1 0 864964052 384061440 74469 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74469 300 300 0 93465 0
vsize: 375060
[startup+890.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154469 0 0 0 88670 346 0 0 25 0 1 0 864964052 384061440 74472 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74472 300 300 0 93465 0
vsize: 375060
[startup+900.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154471 0 0 0 89671 346 0 0 25 0 1 0 864964052 384061440 74474 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74474 300 300 0 93465 0
vsize: 375060
[startup+910.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154474 0 0 0 90671 346 0 0 25 0 1 0 864964052 384061440 74477 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74477 300 300 0 93465 0
vsize: 375060
[startup+920.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154484 0 0 0 91671 346 0 0 25 0 1 0 864964052 384061440 74487 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74487 300 300 0 93465 0
vsize: 375060
[startup+930.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154501 0 0 0 92671 346 0 0 25 0 1 0 864964052 384061440 74504 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74504 300 300 0 93465 0
vsize: 375060
[startup+940.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154566 0 0 0 93671 346 0 0 25 0 1 0 864964052 384061440 74569 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74569 300 300 0 93465 0
vsize: 375060
[startup+950.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154570 0 0 0 94672 346 0 0 25 0 1 0 864964052 384061440 74573 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74573 300 300 0 93465 0
vsize: 375060
[startup+960.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154604 0 0 0 95672 346 0 0 25 0 1 0 864964052 384061440 74607 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74607 300 300 0 93465 0
vsize: 375060
[startup+970.091 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154613 0 0 0 96672 346 0 0 25 0 1 0 864964052 384061440 74616 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74616 300 300 0 93465 0
vsize: 375060
[startup+980.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154620 0 0 0 97672 346 0 0 25 0 1 0 864964052 384061440 74623 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74623 300 300 0 93465 0
vsize: 375060
[startup+990.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154664 0 0 0 98672 346 0 0 25 0 1 0 864964052 384061440 74667 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74667 300 300 0 93465 0
vsize: 375060
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154668 0 0 0 99672 346 0 0 25 0 1 0 864964052 384061440 74671 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74671 300 300 0 93465 0
vsize: 375060
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154670 0 0 0 100672 347 0 0 25 0 1 0 864964052 384061440 74673 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74673 300 300 0 93465 0
vsize: 375060
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154673 0 0 0 101673 347 0 0 25 0 1 0 864964052 384061440 74676 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74676 300 300 0 93465 0
vsize: 375060
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154675 0 0 0 102673 347 0 0 25 0 1 0 864964052 384061440 74678 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74678 300 300 0 93465 0
vsize: 375060
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154676 0 0 0 103673 347 0 0 25 0 1 0 864964052 384061440 74679 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74679 300 300 0 93465 0
vsize: 375060
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154678 0 0 0 104673 347 0 0 25 0 1 0 864964052 384061440 74681 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74681 300 300 0 93465 0
vsize: 375060
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154686 0 0 0 105673 347 0 0 25 0 1 0 864964052 384061440 74689 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74689 300 300 0 93465 0
vsize: 375060
[startup+1070.1 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154688 0 0 0 106673 347 0 0 25 0 1 0 864964052 384061440 74691 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74691 300 300 0 93465 0
vsize: 375060
[startup+1080.1 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154731 0 0 0 107673 347 0 0 25 0 1 0 864964052 384061440 74734 4294967295 134512640 135726644 3221224576 3221223072 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74734 300 300 0 93465 0
vsize: 375060
[startup+1090.1 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154732 0 0 0 108673 347 0 0 25 0 1 0 864964052 384061440 74735 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93765 74735 300 300 0 93465 0
vsize: 375060
[startup+1100.1 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154963 0 0 0 109673 348 0 0 25 0 1 0 864964052 384585728 74837 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74837 300 300 0 93593 0
vsize: 375572
[startup+1110.1 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154965 0 0 0 110673 348 0 0 25 0 1 0 864964052 384585728 74839 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74839 300 300 0 93593 0
vsize: 375572
[startup+1120.1 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154966 0 0 0 111673 348 0 0 25 0 1 0 864964052 384585728 74840 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74840 300 300 0 93593 0
vsize: 375572
[startup+1130.11 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154968 0 0 0 112675 348 0 0 25 0 1 0 864964052 384585728 74842 4294967295 134512640 135726644 3221224576 3221223264 134745093 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74842 300 300 0 93593 0
vsize: 375572
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154997 0 0 0 113675 348 0 0 25 0 1 0 864964052 384585728 74871 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74871 300 300 0 93593 0
vsize: 375572
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 154999 0 0 0 114675 348 0 0 25 0 1 0 864964052 384585728 74873 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74873 300 300 0 93593 0
vsize: 375572
[startup+1160.11 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155001 0 0 0 115675 348 0 0 25 0 1 0 864964052 384585728 74875 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74875 300 300 0 93593 0
vsize: 375572
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155004 0 0 0 116675 348 0 0 25 0 1 0 864964052 384585728 74878 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74878 300 300 0 93593 0
vsize: 375572
[startup+1180.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155007 0 0 0 117676 348 0 0 25 0 1 0 864964052 384585728 74881 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93893 74881 300 300 0 93593 0
vsize: 375572
[startup+1190.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155095 0 0 0 118675 349 0 0 25 0 1 0 864964052 384847872 74904 4294967295 134512640 135726644 3221224576 3221223264 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93957 74904 300 300 0 93657 0
vsize: 375828
[startup+1200.11 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155098 0 0 0 119676 349 0 0 25 0 1 0 864964052 384847872 74907 4294967295 134512640 135726644 3221224576 3221223232 134731206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93957 74907 300 300 0 93657 0
vsize: 375828
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.18 s]
Raw data (loadavg): 1.01 1.00 0.92 1/53 20330
Raw data (stat): 20273 (pb2sat) R 20272 3394 3393 0 -1 0 155098 0 0 0 119676 349 0 0 25 0 1 0 864964052 384847872 74907 4294967295 134512640 135726644 3221224576 3221223232 134731206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93957 74907 300 300 0 93657 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.18
CPU time (s): 1202.31
CPU user time (s): 1198.68
CPU system time (s): 3.62945
CPU usage (%): 100.011
Max. virtual memory (Kb): 375828
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	429328
#### END VERIFIER DATA ####