PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb
MD5SUM	f88781e3d6e9a5487d13eaa213c27b55
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4272
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	205
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	105
Trace number 35795

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        791376 kB
Buffers:         35236 kB
Cached:         185148 kB
SwapCached:        956 kB
Active:          56184 kB
Inactive:       166316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791124 kB
SwapTotal:     2097892 kB
SwapFree:      2096012 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            15116 kB
Committed_AS:    63904 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:15:52 (client local time) WITH STATUS 0 IN 1202.15 SECONDS
stats: 25027 0 1202.15 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: 50998
c [startup+39.3052 s]  setting bit 22 to 1
c CONFLICT during preprocess 
c [startup+42.2966 s]  setting bit 21 to 0
c got solution with objective value: 50998
c [startup+47.2644 s]  setting bit 20 to 1
c got solution with objective value: 50998
c [startup+52.2732 s]  setting bit 19 to 1
c got solution with objective value: 50998
c [startup+57.2845 s]  setting bit 18 to 1
c got solution with objective value: 50998
c [startup+62.2617 s]  setting bit 17 to 1
c got solution with objective value: 50998
c [startup+67.2322 s]  setting bit 16 to 1
c got solution with objective value: 22944
c [startup+84.5883 s]  setting bit 15 to 1
c got solution with objective value: 16304
c [startup+168.563 s]  setting bit 14 to 1

Decision: 4220/728468	Time: 455.68/86400c got solution with objective value: 7516
c [startup+728.073 s]  setting bit 13 to 1
s SATISFIABLE
v s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 -s01_bit3 s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 s01_bit_1 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 s01_bit_6 s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit2 -s11_bit3 s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 s11_bit_2 s11_bit_3 -s11_bit_4 s11_bit_5 s11_bit_6 -s11_bit_7 -s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 s21_bit_1 -s21_bit_2 s21_bit_3 s21_bit_4 -s21_bit_5 s21_bit_6 s21_bit_7 -s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_2 -s31_bit_3 s31_bit_4 s31_bit_5 s31_bit_6 s31_bit_7 -s41_bit0 -s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 -s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 s41_bit_5 -s41_bit_6 s41_bit_7 -s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit2 -s51_bit3 -s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 s51_bit_2 s51_bit_3 -s51_bit_4 s51_bit_5 -s51_bit_6 -s51_bit_7 -x0_bit0 x0_bit_1 -x0_bit_2 x0_bit_3 x0_bit_4 -x0_bit_5 x0_bit_6 x0_bit_7 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_2 x45_bit_3 x45_bit_4 x45_bit_5 x45_bit_6 -x45_bit_7 -x46_bit0 -x46_bit_1 -x46_bit_2 x46_bit_3 x46_bit_4 x46_bit_5 x46_bit_6 x46_bit_7 x47_bit0 -x47_bit_1 -x47_bit_2 -x47_bit_3 -x47_bit_4 -x47_bit_5 -x47_bit_6 -x47_bit_7 -x48_bit0 -x49_bit0 x49_bit_1 x49_bit_2 x49_bit_3 x49_bit_4 x49_bit_5 x49_bit_6 x49_bit_7 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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/55 15952
Raw data (stat): 15952 (runsolver) R 15951 32363 32362 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 742593778 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 27969 0 0 0 931 61 0 0 25 0 1 0 742593778 80637952 16816 4294967295 134512640 135726644 3221224576 3221186608 134767091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19687 16816 300 300 0 19387 0
vsize: 78748
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 54404 0 0 0 1878 113 0 0 25 0 1 0 742593778 155815936 32279 4294967295 134512640 135726644 3221224576 3221192696 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38041 32279 300 300 0 37741 0
vsize: 152164
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 91273 0 0 0 2804 187 0 0 25 0 1 0 742593778 300494848 47472 4294967295 134512640 135726644 3221224576 3221186144 134780435 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73363 47472 300 300 0 73063 0
vsize: 293452
[startup+40.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 101826 0 0 0 3782 208 0 0 25 0 1 0 742593778 315981824 56404 4294967295 134512640 135726644 3221224576 3221222912 134765172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77144 56404 300 300 0 76844 0
vsize: 308576
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 104672 0 0 0 4774 216 0 0 25 0 1 0 742593778 310153216 54981 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75721 54981 300 300 0 75421 0
vsize: 302884
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 107518 0 0 0 5767 223 0 0 25 0 1 0 742593778 310153216 54981 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75721 54981 300 300 0 75421 0
vsize: 302884
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 110364 0 0 0 6758 231 0 0 25 0 1 0 742593778 310153216 54981 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75721 54981 300 300 0 75421 0
vsize: 302884
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 111995 0 0 0 7755 234 0 0 25 0 1 0 742593778 315326464 55930 4294967295 134512640 135726644 3221224576 3221223072 134743913 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76984 55930 300 300 0 76684 0
vsize: 307936
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 115096 0 0 0 8749 240 0 0 25 0 1 0 742593778 322015232 57090 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78617 57090 300 300 0 78317 0
vsize: 314468
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 115921 0 0 0 9748 242 0 0 25 0 1 0 742593778 324915200 57622 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79325 57622 300 300 0 79025 0
vsize: 317300
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 117045 0 0 0 10746 244 0 0 25 0 1 0 742593778 329629696 58402 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80476 58402 300 300 0 80176 0
vsize: 321904
[startup+120.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 118183 0 0 0 11743 246 0 0 25 0 1 0 742593778 333869056 59149 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81511 59149 300 300 0 81211 0
vsize: 326044
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 118890 0 0 0 12742 247 0 0 25 0 1 0 742593778 335847424 59563 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81994 59563 300 300 0 81694 0
vsize: 327976
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 119182 0 0 0 13742 248 0 0 25 0 1 0 742593778 336904192 59725 4294967295 134512640 135726644 3221224576 3221223200 134744612 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82252 59725 300 300 0 81952 0
vsize: 329008
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 119186 0 0 0 14742 248 0 0 25 0 1 0 742593778 336904192 59729 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82252 59729 300 300 0 81952 0
vsize: 329008
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 120003 0 0 0 15740 250 0 0 25 0 1 0 742593778 339546112 60222 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82897 60222 300 300 0 82597 0
vsize: 331588
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 121927 0 0 0 16736 254 0 0 25 0 1 0 742593778 347095040 61983 4294967295 134512640 135726644 3221224576 3221222896 134765211 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84740 61983 300 300 0 84440 0
vsize: 338960
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 122769 0 0 0 17734 256 0 0 25 0 1 0 742593778 343101440 60950 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83765 60950 300 300 0 83465 0
vsize: 335060
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123238 0 0 0 18733 257 0 0 25 0 1 0 742593778 344281088 61127 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84053 61127 300 300 0 83753 0
vsize: 336212
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123652 0 0 0 19733 258 0 0 25 0 1 0 742593778 345329664 61283 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84309 61283 300 300 0 84009 0
vsize: 337236
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123656 0 0 0 20733 258 0 0 25 0 1 0 742593778 345329664 61287 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84309 61287 300 300 0 84009 0
vsize: 337236
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123672 0 0 0 21733 258 0 0 25 0 1 0 742593778 345329664 61303 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84309 61303 300 300 0 84009 0
vsize: 337236
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123858 0 0 0 22733 258 0 0 25 0 1 0 742593778 345853952 61360 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84437 61360 300 300 0 84137 0
vsize: 337748
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 123860 0 0 0 23733 258 0 0 25 0 1 0 742593778 345853952 61362 4294967295 134512640 135726644 3221224576 3221223072 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84437 61362 300 300 0 84137 0
vsize: 337748
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 15952
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 124460 0 0 0 24732 260 0 0 25 0 1 0 742593778 347426816 61575 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84821 61575 300 300 0 84521 0
vsize: 339284
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 125074 0 0 0 25731 261 0 0 25 0 1 0 742593778 348999680 61801 4294967295 134512640 135726644 3221224576 3221223196 134744627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85205 61801 300 300 0 84905 0
vsize: 340820
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 125096 0 0 0 26731 261 0 0 25 0 1 0 742593778 348999680 61823 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85205 61823 300 300 0 84905 0
vsize: 340820
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 125147 0 0 0 27731 261 0 0 25 0 1 0 742593778 348999680 61874 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85205 61874 300 300 0 84905 0
vsize: 340820
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 125499 0 0 0 28731 261 0 0 25 0 1 0 742593778 350048256 61968 4294967295 134512640 135726644 3221224576 3221223248 134745029 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85461 61968 300 300 0 85161 0
vsize: 341844
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 125503 0 0 0 29731 261 0 0 25 0 1 0 742593778 350048256 61972 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85461 61972 300 300 0 85161 0
vsize: 341844
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16005
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126029 0 0 0 30730 263 0 0 25 0 1 0 742593778 351358976 62174 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85781 62174 300 300 0 85481 0
vsize: 343124
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126136 0 0 0 31730 263 0 0 25 0 1 0 742593778 351621120 62216 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85845 62216 300 300 0 85545 0
vsize: 343380
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126160 0 0 0 32730 263 0 0 25 0 1 0 742593778 351621120 62240 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85845 62240 300 300 0 85545 0
vsize: 343380
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126249 0 0 0 33730 263 0 0 25 0 1 0 742593778 351883264 62264 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85909 62264 300 300 0 85609 0
vsize: 343636
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126440 0 0 0 34730 264 0 0 25 0 1 0 742593778 352407552 62325 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86037 62325 300 300 0 85737 0
vsize: 344148
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126939 0 0 0 35729 265 0 0 25 0 1 0 742593778 353722368 62564 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86358 62564 300 300 0 86058 0
vsize: 345432
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126963 0 0 0 36729 265 0 0 25 0 1 0 742593778 353722368 62588 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86358 62588 300 300 0 86058 0
vsize: 345432
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 126967 0 0 0 37729 265 0 0 25 0 1 0 742593778 353722368 62592 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86358 62592 300 300 0 86058 0
vsize: 345432
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127446 0 0 0 38728 267 0 0 25 0 1 0 742593778 355295232 62684 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86742 62684 300 300 0 86442 0
vsize: 346968
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127650 0 0 0 39728 267 0 0 25 0 1 0 742593778 355823616 62823 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86871 62823 300 300 0 86571 0
vsize: 347484
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127801 0 0 0 40727 267 0 0 25 0 1 0 742593778 356347904 62845 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86999 62845 300 300 0 86699 0
vsize: 347996
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127802 0 0 0 41728 267 0 0 25 0 1 0 742593778 356347904 62846 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86999 62846 300 300 0 86699 0
vsize: 347996
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127930 0 0 0 42728 268 0 0 25 0 1 0 742593778 356610048 62909 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87063 62909 300 300 0 86763 0
vsize: 348252
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 127975 0 0 0 43728 268 0 0 25 0 1 0 742593778 356876288 62954 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87128 62954 300 300 0 86828 0
vsize: 348512
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128285 0 0 0 44728 268 0 0 25 0 1 0 742593778 358203392 63199 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87452 63199 300 300 0 87152 0
vsize: 349808
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128410 0 0 0 45728 268 0 0 25 0 1 0 742593778 358735872 63324 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87582 63324 300 300 0 87282 0
vsize: 350328
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128412 0 0 0 46728 268 0 0 25 0 1 0 742593778 358735872 63326 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87582 63326 300 300 0 87282 0
vsize: 350328
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128519 0 0 0 47728 268 0 0 25 0 1 0 742593778 358998016 63368 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87646 63368 300 300 0 87346 0
vsize: 350584
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128720 0 0 0 48727 269 0 0 25 0 1 0 742593778 359522304 63439 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63439 300 300 0 87474 0
vsize: 351096
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128746 0 0 0 49728 269 0 0 25 0 1 0 742593778 359522304 63465 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63465 300 300 0 87474 0
vsize: 351096
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128755 0 0 0 50728 269 0 0 25 0 1 0 742593778 359522304 63474 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63474 300 300 0 87474 0
vsize: 351096
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128758 0 0 0 51728 269 0 0 25 0 1 0 742593778 359522304 63477 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63477 300 300 0 87474 0
vsize: 351096
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128760 0 0 0 52728 269 0 0 25 0 1 0 742593778 359522304 63479 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63479 300 300 0 87474 0
vsize: 351096
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128762 0 0 0 53728 269 0 0 25 0 1 0 742593778 359522304 63481 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87774 63481 300 300 0 87474 0
vsize: 351096
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128963 0 0 0 54728 269 0 0 25 0 1 0 742593778 360046592 63553 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87902 63553 300 300 0 87602 0
vsize: 351608
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16009
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 128966 0 0 0 55728 269 0 0 25 0 1 0 742593778 360046592 63556 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87902 63556 300 300 0 87602 0
vsize: 351608
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129109 0 0 0 56728 270 0 0 25 0 1 0 742593778 360570880 63570 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88030 63570 300 300 0 87730 0
vsize: 352120
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129111 0 0 0 57729 270 0 0 25 0 1 0 742593778 360570880 63572 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88030 63572 300 300 0 87730 0
vsize: 352120
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129145 0 0 0 58728 270 0 0 25 0 1 0 742593778 360570880 63606 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88030 63606 300 300 0 87730 0
vsize: 352120
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129149 0 0 0 59729 270 0 0 25 0 1 0 742593778 360570880 63610 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88030 63610 300 300 0 87730 0
vsize: 352120
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129174 0 0 0 60729 270 0 0 25 0 1 0 742593778 360570880 63635 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88030 63635 300 300 0 87730 0
vsize: 352120
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 129191 0 0 0 61729 270 0 0 25 0 1 0 742593778 366399488 63652 4294967295 134512640 135726644 3221224576 3221222912 134763605 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89453 63662 300 300 0 89153 0
vsize: 357812
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 130604 0 0 0 62725 274 0 0 25 0 1 0 742593778 360570880 63642 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88030 63642 300 300 0 87730 0
vsize: 352120
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131161 0 0 0 63724 275 0 0 25 0 1 0 742593778 362147840 63940 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88415 63940 300 300 0 88115 0
vsize: 353660
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131258 0 0 0 64724 275 0 0 25 0 1 0 742593778 362676224 64037 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88544 64037 300 300 0 88244 0
vsize: 354176
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131560 0 0 0 65723 276 0 0 25 0 1 0 742593778 363200512 64210 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88672 64210 300 300 0 88372 0
vsize: 354688
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131753 0 0 0 66723 276 0 0 25 0 1 0 742593778 363724800 64274 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88800 64274 300 300 0 88500 0
vsize: 355200
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131754 0 0 0 67723 277 0 0 25 0 1 0 742593778 363724800 64275 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88800 64275 300 300 0 88500 0
vsize: 355200
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 131766 0 0 0 68723 277 0 0 25 0 1 0 742593778 363724800 64287 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88800 64287 300 300 0 88500 0
vsize: 355200
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 132073 0 0 0 69722 277 0 0 25 0 1 0 742593778 364249088 64465 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88928 64465 300 300 0 88628 0
vsize: 355712
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 132233 0 0 0 70722 278 0 0 25 0 1 0 742593778 364773376 64496 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64496 300 300 0 88756 0
vsize: 356224
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 132256 0 0 0 71722 278 0 0 25 0 1 0 742593778 364773376 64519 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64519 300 300 0 88756 0
vsize: 356224
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133690 0 0 0 72719 281 0 0 25 0 1 0 742593778 364773376 64530 4294967295 134512640 135726644 3221224576 3221223152 134738149 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64530 300 300 0 88756 0
vsize: 356224
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133693 0 0 0 73719 281 0 0 25 0 1 0 742593778 364773376 64533 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64533 300 300 0 88756 0
vsize: 356224
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133697 0 0 0 74719 281 0 0 25 0 1 0 742593778 364773376 64537 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64537 300 300 0 88756 0
vsize: 356224
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133712 0 0 0 75719 281 0 0 25 0 1 0 742593778 364773376 64552 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64552 300 300 0 88756 0
vsize: 356224
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133716 0 0 0 76719 281 0 0 25 0 1 0 742593778 364773376 64556 4294967295 134512640 135726644 3221224576 3221223232 134731196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64556 300 300 0 88756 0
vsize: 356224
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133718 0 0 0 77719 281 0 0 25 0 1 0 742593778 364773376 64558 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89056 64558 300 300 0 88756 0
vsize: 356224
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133922 0 0 0 78719 282 0 0 25 0 1 0 742593778 365297664 64633 4294967295 134512640 135726644 3221224576 3221223168 134760410 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89184 64633 300 300 0 88884 0
vsize: 356736
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133924 0 0 0 79719 282 0 0 25 0 1 0 742593778 365297664 64635 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89184 64635 300 300 0 88884 0
vsize: 356736
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 133927 0 0 0 80719 282 0 0 25 0 1 0 742593778 365297664 64638 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89184 64638 300 300 0 88884 0
vsize: 356736
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134075 0 0 0 81719 282 0 0 25 0 1 0 742593778 365821952 64657 4294967295 134512640 135726644 3221224576 3221223072 134744174 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64657 300 300 0 89012 0
vsize: 357248
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134078 0 0 0 82720 282 0 0 25 0 1 0 742593778 365821952 64660 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64660 300 300 0 89012 0
vsize: 357248
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134081 0 0 0 83720 282 0 0 25 0 1 0 742593778 365821952 64663 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64663 300 300 0 89012 0
vsize: 357248
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134084 0 0 0 84720 282 0 0 25 0 1 0 742593778 365821952 64666 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64666 300 300 0 89012 0
vsize: 357248
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134087 0 0 0 85720 282 0 0 25 0 1 0 742593778 365821952 64669 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64669 300 300 0 89012 0
vsize: 357248
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134090 0 0 0 86720 282 0 0 25 0 1 0 742593778 365821952 64672 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64672 300 300 0 89012 0
vsize: 357248
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134093 0 0 0 87720 282 0 0 25 0 1 0 742593778 365821952 64675 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64675 300 300 0 89012 0
vsize: 357248
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134096 0 0 0 88721 282 0 0 25 0 1 0 742593778 365821952 64678 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64678 300 300 0 89012 0
vsize: 357248
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134098 0 0 0 89721 282 0 0 25 0 1 0 742593778 365821952 64680 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64680 300 300 0 89012 0
vsize: 357248
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134100 0 0 0 90721 282 0 0 25 0 1 0 742593778 365821952 64682 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64682 300 300 0 89012 0
vsize: 357248
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134114 0 0 0 91721 282 0 0 25 0 1 0 742593778 365821952 64696 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64696 300 300 0 89012 0
vsize: 357248
[startup+930.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134116 0 0 0 92721 282 0 0 25 0 1 0 742593778 365821952 64698 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64698 300 300 0 89012 0
vsize: 357248
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134118 0 0 0 93721 282 0 0 25 0 1 0 742593778 365821952 64700 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64700 300 300 0 89012 0
vsize: 357248
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134119 0 0 0 94722 282 0 0 25 0 1 0 742593778 365821952 64701 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64701 300 300 0 89012 0
vsize: 357248
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134122 0 0 0 95722 282 0 0 25 0 1 0 742593778 365821952 64704 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64704 300 300 0 89012 0
vsize: 357248
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134124 0 0 0 96722 282 0 0 25 0 1 0 742593778 365821952 64706 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64706 300 300 0 89012 0
vsize: 357248
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134154 0 0 0 97722 282 0 0 25 0 1 0 742593778 365821952 64736 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64736 300 300 0 89012 0
vsize: 357248
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134157 0 0 0 98722 283 0 0 25 0 1 0 742593778 365821952 64739 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64739 300 300 0 89012 0
vsize: 357248
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134161 0 0 0 99722 283 0 0 25 0 1 0 742593778 365821952 64743 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64743 300 300 0 89012 0
vsize: 357248
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134164 0 0 0 100722 283 0 0 25 0 1 0 742593778 365821952 64746 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64746 300 300 0 89012 0
vsize: 357248
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134166 0 0 0 101723 283 0 0 25 0 1 0 742593778 365821952 64748 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64748 300 300 0 89012 0
vsize: 357248
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134168 0 0 0 102723 283 0 0 25 0 1 0 742593778 365821952 64750 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64750 300 300 0 89012 0
vsize: 357248
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134171 0 0 0 103723 283 0 0 25 0 1 0 742593778 365821952 64753 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64753 300 300 0 89012 0
vsize: 357248
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134173 0 0 0 104723 283 0 0 25 0 1 0 742593778 365821952 64755 4294967295 134512640 135726644 3221224576 3221223120 134736737 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64755 300 300 0 89012 0
vsize: 357248
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134175 0 0 0 105723 283 0 0 25 0 1 0 742593778 365821952 64757 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64757 300 300 0 89012 0
vsize: 357248
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134177 0 0 0 106723 283 0 0 25 0 1 0 742593778 365821952 64759 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64759 300 300 0 89012 0
vsize: 357248
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134180 0 0 0 107724 283 0 0 25 0 1 0 742593778 365821952 64762 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64762 300 300 0 89012 0
vsize: 357248
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134183 0 0 0 108724 283 0 0 25 0 1 0 742593778 365821952 64765 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64765 300 300 0 89012 0
vsize: 357248
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134186 0 0 0 109724 283 0 0 25 0 1 0 742593778 365821952 64768 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64768 300 300 0 89012 0
vsize: 357248
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134188 0 0 0 110724 283 0 0 25 0 1 0 742593778 365821952 64770 4294967295 134512640 135726644 3221224576 3221222816 134782828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64770 300 300 0 89012 0
vsize: 357248
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134190 0 0 0 111724 283 0 0 25 0 1 0 742593778 365821952 64772 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64772 300 300 0 89012 0
vsize: 357248
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134192 0 0 0 112724 283 0 0 25 0 1 0 742593778 365821952 64774 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64774 300 300 0 89012 0
vsize: 357248
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134194 0 0 0 113725 283 0 0 25 0 1 0 742593778 365821952 64776 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64776 300 300 0 89012 0
vsize: 357248
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134198 0 0 0 114725 283 0 0 25 0 1 0 742593778 365821952 64780 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64780 300 300 0 89012 0
vsize: 357248
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134200 0 0 0 115725 283 0 0 25 0 1 0 742593778 365821952 64782 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64782 300 300 0 89012 0
vsize: 357248
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134202 0 0 0 116725 283 0 0 25 0 1 0 742593778 365821952 64784 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64784 300 300 0 89012 0
vsize: 357248
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134209 0 0 0 117725 283 0 0 25 0 1 0 742593778 365821952 64791 4294967295 134512640 135726644 3221224576 3221222896 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64791 300 300 0 89012 0
vsize: 357248
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134210 0 0 0 118725 283 0 0 25 0 1 0 742593778 365821952 64792 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64792 300 300 0 89012 0
vsize: 357248
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134212 0 0 0 119726 283 0 0 25 0 1 0 742593778 365821952 64794 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64794 300 300 0 89012 0
vsize: 357248
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16011
Raw data (stat): 15952 (pb2sat) R 15951 32363 32362 0 -1 0 134212 0 0 0 119726 283 0 0 25 0 1 0 742593778 365821952 64794 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89312 64794 300 300 0 89012 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.08
CPU time (s): 1202.15
CPU user time (s): 1199.19
CPU system time (s): 2.96155
CPU usage (%): 100.007
Max. virtual memory (Kb): 357812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	7516
#### END VERIFIER DATA ####