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 42985

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        659416 kB
Buffers:         24160 kB
Cached:         328768 kB
SwapCached:       1420 kB
Active:          24436 kB
Inactive:       330604 kB
HighTotal:      131008 kB
HighFree:        12124 kB
LowTotal:       903652 kB
LowFree:        647292 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14484 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 20:38:24 (client local time) WITH STATUS 0 IN 1202.26 SECONDS
stats: 26199 0 1202.26 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 small objective detected
c CONFLICT during preprocess 
c [startup+43.5429 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+46.5218 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+49.5029 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+52.4804 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+55.4618 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+58.4402 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+61.4206 s]  setting bit 16 to 0
c got solution with objective value: 11984
c [startup+235.47 s]  setting bit 15 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.83 0.93 0.90 2/54 15304
Raw data (stat): 15304 (runsolver) R 15303 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973588596 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 27126 0 0 0 940 58 0 0 25 0 1 0 973588596 79785984 15995 4294967295 134512640 135730672 3221224576 3221204128 134546362 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19479 15995 301 301 0 19178 0
vsize: 77916
[startup+20.0017 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 52178 0 0 0 1886 113 0 0 25 0 1 0 973588596 152936448 30090 4294967295 134512640 135730672 3221224576 3221201840 134546564 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37338 30090 301 301 0 37037 0
vsize: 149352
[startup+30.0019 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 89688 0 0 0 2811 188 0 0 25 0 1 0 973588596 266899456 45926 4294967295 134512640 135730672 3221224576 3221203104 135288373 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65161 45926 301 301 0 64860 0
vsize: 260644
[startup+40.0021 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 100285 0 0 0 3785 214 0 0 25 0 1 0 973588596 310001664 54876 4294967295 134512640 135730672 3221224576 3221221968 135282231 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75684 54876 301 301 0 75383 0
vsize: 302736
[startup+50.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 107470 0 0 0 4768 231 0 0 25 0 1 0 973588596 321662976 56370 4294967295 134512640 135730672 3221224576 3221222704 134768838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78531 56370 301 301 0 78230 0
vsize: 314124
[startup+60.003 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 111739 0 0 0 5757 242 0 0 25 0 1 0 973588596 321662976 56370 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78531 56370 301 301 0 78230 0
vsize: 314124
[startup+70.0042 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 114420 0 0 0 6751 249 0 0 25 0 1 0 973588596 320323584 55654 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78204 55654 301 301 0 77903 0
vsize: 312816
[startup+80.0048 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 115139 0 0 0 7749 250 0 0 25 0 1 0 973588596 322564096 56081 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78751 56081 301 301 0 78450 0
vsize: 315004
[startup+90.005 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 115596 0 0 0 8748 251 0 0 25 0 1 0 973588596 323612672 56280 4294967295 134512640 135730672 3221224576 3221222960 134763590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79007 56280 301 301 0 78706 0
vsize: 316028
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 115629 0 0 0 9748 251 0 0 25 0 1 0 973588596 323612672 56313 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79007 56313 301 301 0 78706 0
vsize: 316028
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 116072 0 0 0 10748 252 0 0 25 0 1 0 973588596 324923392 56433 4294967295 134512640 135730672 3221224576 3221222704 134739215 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79327 56433 301 301 0 79026 0
vsize: 317308
[startup+120.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 117349 0 0 0 11745 255 0 0 25 0 1 0 973588596 329592832 57286 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80467 57286 301 301 0 80166 0
vsize: 321868
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 119330 0 0 0 12742 258 0 0 25 0 1 0 973588596 335708160 58383 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81960 58383 301 301 0 81659 0
vsize: 327840
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 120521 0 0 0 13740 261 0 0 25 0 1 0 973588596 339472384 59052 4294967295 134512640 135730672 3221224576 3221223040 134748617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82879 59052 301 301 0 82578 0
vsize: 331516
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 121156 0 0 0 14739 262 0 0 25 0 1 0 973588596 341716992 59569 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83427 59569 301 301 0 83126 0
vsize: 333708
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 121558 0 0 0 15737 264 0 0 25 0 1 0 973588596 342503424 59776 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83619 59776 301 301 0 83318 0
vsize: 334476
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 121687 0 0 0 16737 264 0 0 25 0 1 0 973588596 342765568 59840 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83683 59840 301 301 0 83382 0
vsize: 334732
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 121690 0 0 0 17737 264 0 0 25 0 1 0 973588596 342765568 59843 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83683 59843 301 301 0 83382 0
vsize: 334732
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 122107 0 0 0 18737 265 0 0 25 0 1 0 973588596 344023040 60002 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83990 60002 301 301 0 83689 0
vsize: 335960
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 122299 0 0 0 19736 265 0 0 25 0 1 0 973588596 344547328 60065 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84118 60065 301 301 0 83817 0
vsize: 336472
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 122865 0 0 0 20736 266 0 0 25 0 1 0 973588596 346124288 60308 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84503 60308 301 301 0 84202 0
vsize: 338012
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 123160 0 0 0 21735 267 0 0 25 0 1 0 973588596 346783744 60473 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84664 60473 301 301 0 84363 0
vsize: 338656
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 123292 0 0 0 22735 267 0 0 25 0 1 0 973588596 347312128 60540 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84793 60540 301 301 0 84492 0
vsize: 339172
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 125160 0 0 0 23730 272 0 0 25 0 1 0 973588596 349282304 60856 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85274 60856 301 301 0 84973 0
vsize: 341096
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 125719 0 0 0 24728 274 0 0 25 0 1 0 973588596 350998528 61187 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85693 61187 301 301 0 85392 0
vsize: 342772
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 125927 0 0 0 25727 274 0 0 25 0 1 0 973588596 351522816 61265 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85821 61265 301 301 0 85520 0
vsize: 343284
[startup+270.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126006 0 0 0 26728 274 0 0 25 0 1 0 973588596 351789056 61344 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85886 61344 301 301 0 85585 0
vsize: 343544
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126430 0 0 0 27727 275 0 0 25 0 1 0 973588596 353107968 61573 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86208 61573 301 301 0 85907 0
vsize: 344832
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126435 0 0 0 28727 275 0 0 25 0 1 0 973588596 353107968 61578 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86208 61578 301 301 0 85907 0
vsize: 344832
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126440 0 0 0 29727 275 0 0 25 0 1 0 973588596 353107968 61583 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86208 61583 301 301 0 85907 0
vsize: 344832
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126506 0 0 0 30727 275 0 0 25 0 1 0 973588596 353107968 61649 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86208 61649 301 301 0 85907 0
vsize: 344832
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126533 0 0 0 31727 275 0 0 25 0 1 0 973588596 353107968 61676 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86208 61676 301 301 0 85907 0
vsize: 344832
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126659 0 0 0 32727 275 0 0 25 0 1 0 973588596 353640448 61802 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86338 61802 301 301 0 86037 0
vsize: 345352
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 126858 0 0 0 33726 276 0 0 25 0 1 0 973588596 354164736 61871 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86466 61871 301 301 0 86165 0
vsize: 345864
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 127066 0 0 0 34726 277 0 0 25 0 1 0 973588596 354689024 61950 4294967295 134512640 135730672 3221224576 3221222992 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86594 61950 301 301 0 86293 0
vsize: 346376
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 127258 0 0 0 35726 277 0 0 25 0 1 0 973588596 355213312 62013 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86722 62013 301 301 0 86421 0
vsize: 346888
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 127746 0 0 0 36725 278 0 0 25 0 1 0 973588596 356524032 62178 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87042 62178 301 301 0 86741 0
vsize: 348168
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128058 0 0 0 37724 279 0 0 25 0 1 0 973588596 357572608 62232 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87298 62232 301 301 0 86997 0
vsize: 349192
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128201 0 0 0 38724 279 0 0 25 0 1 0 973588596 358096896 62246 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87426 62246 301 301 0 87125 0
vsize: 349704
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128208 0 0 0 39724 279 0 0 25 0 1 0 973588596 358096896 62253 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87426 62253 301 301 0 87125 0
vsize: 349704
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128397 0 0 0 40724 280 0 0 25 0 1 0 973588596 358621184 62313 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87554 62313 301 301 0 87253 0
vsize: 350216
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128403 0 0 0 41724 280 0 0 25 0 1 0 973588596 358621184 62319 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87554 62319 301 301 0 87253 0
vsize: 350216
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128469 0 0 0 42724 280 0 0 25 0 1 0 973588596 358887424 62385 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87619 62385 301 301 0 87318 0
vsize: 350476
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128473 0 0 0 43724 280 0 0 25 0 1 0 973588596 358887424 62389 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87619 62389 301 301 0 87318 0
vsize: 350476
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128593 0 0 0 44724 280 0 0 25 0 1 0 973588596 359284736 62476 4294967295 134512640 135730672 3221224576 3221222864 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87716 62476 301 301 0 87415 0
vsize: 350864
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 128716 0 0 0 45724 281 0 0 25 0 1 0 973588596 359682048 62566 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87813 62566 301 301 0 87512 0
vsize: 351252
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 129624 0 0 0 46723 282 0 0 25 0 1 0 973588596 362180608 62954 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88423 62954 301 301 0 88122 0
vsize: 353692
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 129983 0 0 0 47722 283 0 0 25 0 1 0 973588596 363229184 63054 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88679 63054 301 301 0 88378 0
vsize: 354716
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 129994 0 0 0 48722 283 0 0 25 0 1 0 973588596 363229184 63065 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88679 63065 301 301 0 88378 0
vsize: 354716
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130051 0 0 0 49722 283 0 0 25 0 1 0 973588596 363495424 63122 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88744 63122 301 301 0 88443 0
vsize: 354976
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130324 0 0 0 50722 284 0 0 25 0 1 0 973588596 364150784 63233 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88904 63233 301 301 0 88603 0
vsize: 355616
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130429 0 0 0 51722 284 0 0 25 0 1 0 973588596 364412928 63273 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88968 63273 301 301 0 88667 0
vsize: 355872
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130590 0 0 0 52721 285 0 0 25 0 1 0 973588596 364675072 63369 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89032 63369 301 301 0 88731 0
vsize: 356128
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130648 0 0 0 53721 285 0 0 25 0 1 0 973588596 364941312 63427 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89097 63427 301 301 0 88796 0
vsize: 356388
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130729 0 0 0 54721 285 0 0 25 0 1 0 973588596 365203456 63443 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89161 63443 301 301 0 88860 0
vsize: 356644
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130735 0 0 0 55722 285 0 0 25 0 1 0 973588596 365203456 63449 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89161 63449 301 301 0 88860 0
vsize: 356644
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130737 0 0 0 56722 285 0 0 25 0 1 0 973588596 365203456 63451 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89161 63451 301 301 0 88860 0
vsize: 356644
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 130740 0 0 0 57722 285 0 0 25 0 1 0 973588596 365203456 63454 4294967295 134512640 135730672 3221224576 3221222732 135291075 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89161 63454 301 301 0 88860 0
vsize: 356644
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131077 0 0 0 58721 286 0 0 25 0 1 0 973588596 366260224 63661 4294967295 134512640 135730672 3221224576 3221222848 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89419 63661 301 301 0 89118 0
vsize: 357676
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131750 0 0 0 59720 287 0 0 25 0 1 0 973588596 368099328 63943 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89868 63943 301 301 0 89567 0
vsize: 359472
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131752 0 0 0 60720 287 0 0 25 0 1 0 973588596 368099328 63945 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89868 63945 301 301 0 89567 0
vsize: 359472
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131757 0 0 0 61720 288 0 0 25 0 1 0 973588596 368099328 63950 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89868 63950 301 301 0 89567 0
vsize: 359472
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131774 0 0 0 62721 288 0 0 25 0 1 0 973588596 368099328 63967 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89868 63967 301 301 0 89567 0
vsize: 359472
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 131909 0 0 0 63721 288 0 0 25 0 1 0 973588596 368361472 64037 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89932 64037 301 301 0 89631 0
vsize: 359728
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132154 0 0 0 64721 288 0 0 25 0 1 0 973588596 368885760 64153 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90060 64153 301 301 0 89759 0
vsize: 360240
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132156 0 0 0 65721 288 0 0 25 0 1 0 973588596 368885760 64155 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90060 64155 301 301 0 89759 0
vsize: 360240
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132217 0 0 0 66721 288 0 0 25 0 1 0 973588596 368885760 64216 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90060 64216 301 301 0 89759 0
vsize: 360240
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132379 0 0 0 67720 289 0 0 25 0 1 0 973588596 369410048 64249 4294967295 134512640 135730672 3221224576 3221222880 135282266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90188 64249 301 301 0 89887 0
vsize: 360752
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132418 0 0 0 68721 289 0 0 25 0 1 0 973588596 369410048 64288 4294967295 134512640 135730672 3221224576 3221222864 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90188 64288 301 301 0 89887 0
vsize: 360752
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132657 0 0 0 69720 289 0 0 25 0 1 0 973588596 369934336 64398 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90316 64398 301 301 0 90015 0
vsize: 361264
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132832 0 0 0 70720 290 0 0 25 0 1 0 973588596 370458624 64444 4294967295 134512640 135730672 3221224576 3221222864 134747942 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64444 301 301 0 90143 0
vsize: 361776
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132837 0 0 0 71720 290 0 0 25 0 1 0 973588596 370458624 64449 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64449 301 301 0 90143 0
vsize: 361776
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132839 0 0 0 72721 290 0 0 25 0 1 0 973588596 370458624 64451 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64451 301 301 0 90143 0
vsize: 361776
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132842 0 0 0 73721 290 0 0 25 0 1 0 973588596 370458624 64454 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64454 301 301 0 90143 0
vsize: 361776
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132845 0 0 0 74721 290 0 0 25 0 1 0 973588596 370458624 64457 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64457 301 301 0 90143 0
vsize: 361776
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132847 0 0 0 75721 290 0 0 25 0 1 0 973588596 370458624 64459 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64459 301 301 0 90143 0
vsize: 361776
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132851 0 0 0 76721 290 0 0 25 0 1 0 973588596 370458624 64463 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64463 301 301 0 90143 0
vsize: 361776
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132853 0 0 0 77721 290 0 0 25 0 1 0 973588596 370458624 64465 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64465 301 301 0 90143 0
vsize: 361776
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132858 0 0 0 78721 290 0 0 25 0 1 0 973588596 370458624 64470 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64470 301 301 0 90143 0
vsize: 361776
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132862 0 0 0 79721 290 0 0 25 0 1 0 973588596 370458624 64474 4294967295 134512640 135730672 3221224576 3221222960 134763992 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64474 301 301 0 90143 0
vsize: 361776
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132868 0 0 0 80721 290 0 0 25 0 1 0 973588596 370458624 64480 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64480 301 301 0 90143 0
vsize: 361776
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132872 0 0 0 81721 290 0 0 25 0 1 0 973588596 370458624 64484 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64484 301 301 0 90143 0
vsize: 361776
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132878 0 0 0 82721 290 0 0 25 0 1 0 973588596 370458624 64490 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64490 301 301 0 90143 0
vsize: 361776
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 132885 0 0 0 83722 290 0 0 25 0 1 0 973588596 370458624 64497 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90444 64497 301 301 0 90143 0
vsize: 361776
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133057 0 0 0 84721 290 0 0 25 0 1 0 973588596 370987008 64604 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90573 64604 301 301 0 90272 0
vsize: 362292
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133061 0 0 0 85722 290 0 0 25 0 1 0 973588596 370987008 64608 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90573 64608 301 301 0 90272 0
vsize: 362292
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133065 0 0 0 86722 291 0 0 25 0 1 0 973588596 370987008 64612 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90573 64612 301 301 0 90272 0
vsize: 362292
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133238 0 0 0 87721 291 0 0 25 0 1 0 973588596 371511296 64656 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64656 301 301 0 90400 0
vsize: 362804
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133242 0 0 0 88721 291 0 0 25 0 1 0 973588596 371511296 64660 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64660 301 301 0 90400 0
vsize: 362804
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133245 0 0 0 89721 291 0 0 25 0 1 0 973588596 371511296 64663 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64663 301 301 0 90400 0
vsize: 362804
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133249 0 0 0 90722 291 0 0 25 0 1 0 973588596 371511296 64667 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64667 301 301 0 90400 0
vsize: 362804
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133250 0 0 0 91722 291 0 0 25 0 1 0 973588596 371511296 64668 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64668 301 301 0 90400 0
vsize: 362804
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133257 0 0 0 92722 292 0 0 25 0 1 0 973588596 371511296 64675 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64675 301 301 0 90400 0
vsize: 362804
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133260 0 0 0 93722 292 0 0 25 0 1 0 973588596 371511296 64678 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64678 301 301 0 90400 0
vsize: 362804
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133262 0 0 0 94722 292 0 0 25 0 1 0 973588596 371511296 64680 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64680 301 301 0 90400 0
vsize: 362804
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133264 0 0 0 95722 292 0 0 25 0 1 0 973588596 371511296 64682 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90701 64682 301 301 0 90400 0
vsize: 362804
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133405 0 0 0 96721 293 0 0 25 0 1 0 973588596 372035584 64694 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64694 301 301 0 90528 0
vsize: 363316
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133408 0 0 0 97721 293 0 0 25 0 1 0 973588596 372035584 64697 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64697 301 301 0 90528 0
vsize: 363316
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133411 0 0 0 98722 293 0 0 25 0 1 0 973588596 372035584 64700 4294967295 134512640 135730672 3221224576 3221222864 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64700 301 301 0 90528 0
vsize: 363316
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133415 0 0 0 99722 293 0 0 25 0 1 0 973588596 372035584 64704 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64704 301 301 0 90528 0
vsize: 363316
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133418 0 0 0 100722 293 0 0 25 0 1 0 973588596 372035584 64707 4294967295 134512640 135730672 3221224576 3221222992 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64707 301 301 0 90528 0
vsize: 363316
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133422 0 0 0 101722 293 0 0 25 0 1 0 973588596 372035584 64711 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64711 301 301 0 90528 0
vsize: 363316
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133427 0 0 0 102722 293 0 0 25 0 1 0 973588596 372035584 64716 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64716 301 301 0 90528 0
vsize: 363316
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133429 0 0 0 103722 293 0 0 25 0 1 0 973588596 372035584 64718 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64718 301 301 0 90528 0
vsize: 363316
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133433 0 0 0 104722 293 0 0 25 0 1 0 973588596 372035584 64722 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64722 301 301 0 90528 0
vsize: 363316
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133437 0 0 0 105723 293 0 0 25 0 1 0 973588596 372035584 64726 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64726 301 301 0 90528 0
vsize: 363316
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133440 0 0 0 106723 293 0 0 25 0 1 0 973588596 372035584 64729 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64729 301 301 0 90528 0
vsize: 363316
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133442 0 0 0 107723 293 0 0 25 0 1 0 973588596 372035584 64731 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64731 301 301 0 90528 0
vsize: 363316
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133447 0 0 0 108723 294 0 0 25 0 1 0 973588596 372035584 64736 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64736 301 301 0 90528 0
vsize: 363316
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133450 0 0 0 109723 294 0 0 25 0 1 0 973588596 372035584 64739 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64739 301 301 0 90528 0
vsize: 363316
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133453 0 0 0 110724 294 0 0 25 0 1 0 973588596 372035584 64742 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64742 301 301 0 90528 0
vsize: 363316
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133455 0 0 0 111724 294 0 0 25 0 1 0 973588596 372035584 64744 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64744 301 301 0 90528 0
vsize: 363316
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133459 0 0 0 112724 294 0 0 25 0 1 0 973588596 372035584 64748 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64748 301 301 0 90528 0
vsize: 363316
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133462 0 0 0 113724 294 0 0 25 0 1 0 973588596 372035584 64751 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64751 301 301 0 90528 0
vsize: 363316
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133466 0 0 0 114724 294 0 0 25 0 1 0 973588596 372035584 64755 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64755 301 301 0 90528 0
vsize: 363316
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133468 0 0 0 115724 294 0 0 25 0 1 0 973588596 372035584 64757 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64757 301 301 0 90528 0
vsize: 363316
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133470 0 0 0 116724 294 0 0 25 0 1 0 973588596 372035584 64759 4294967295 134512640 135730672 3221224576 3221222864 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64759 301 301 0 90528 0
vsize: 363316
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133473 0 0 0 117725 294 0 0 25 0 1 0 973588596 372035584 64762 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64762 301 301 0 90528 0
vsize: 363316
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133477 0 0 0 118725 294 0 0 25 0 1 0 973588596 372035584 64766 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64766 301 301 0 90528 0
vsize: 363316
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133480 0 0 0 119725 294 0 0 25 0 1 0 973588596 372035584 64769 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64769 301 301 0 90528 0
vsize: 363316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15304
Raw data (stat): 15304 (pb2sat-v2) R 15303 31399 31398 0 -1 0 133480 0 0 0 119725 294 0 0 25 0 1 0 973588596 372035584 64769 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90829 64769 301 301 0 90528 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.09
CPU time (s): 1202.26
CPU user time (s): 1199.18
CPU system time (s): 3.07453
CPU usage (%): 100.014
Max. virtual memory (Kb): 363316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	11984
#### END VERIFIER DATA ####