PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare2.opb
MD5SUM	111dddb6adf389a5275ab413feff6076
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	429056
Optimality of the best value was proved	NO
Number of terms in the objective function	210
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	7516192761
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	7516192761
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.36
Number of variables	270
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	90
Trace number 42538

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 09:53:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25741 boxname=wulflinc1 idbench=1041 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  111dddb6adf389a5275ab413feff6076  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-markshare2.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-markshare2.opb
IDLAUNCH: 25741
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        582392 kB
Buffers:         33592 kB
Cached:         394500 kB
SwapCached:       1192 kB
Active:          44212 kB
Inactive:       386200 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        582056 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16008 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:13:26 (client local time) WITH STATUS 10 IN 1201.36 SECONDS
stats: 25741 0 1201.36 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 646144
c small objective detected
c CONFLICT during preprocess 
c [startup+32.7668 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+34.9481 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+37.1271 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+39.3147 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+41.5231 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+43.7274 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+45.9316 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+48.1174 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+50.2975 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+52.4884 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+54.6927 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+56.8973 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+59.0943 s]  setting bit 20 to 0
s SATISFIABLE
v s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 -s01_bit_8 -s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_10 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s11_bit_8 -s11_bit_9 s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s21_bit2 -s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_10 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s21_bit_8 -s21_bit_9 s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 s31_bit2 -s31_bit3 -s31_bit4 s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s31_bit_8 -s31_bit_9 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 s41_bit3 s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_10 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 -s41_bit_9 s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_10 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -s51_bit_8 -s51_bit_9 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit13 -s61_bit14 -s61_bit15 -s61_bit16 -s61_bit17 -s61_bit18 -s61_bit19 -s61_bit2 s61_bit3 s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_10 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -s61_bit_8 -s61_bit_9 -x0_bit0 -x10_bit0 -x11_bit0 -x12_bit0 x13_bit0 -x14_bit0 x15_bit0 -x16_bit0 -x17_bit0 -x18_bit0 x19_bit0 x1_bit0 -x20_bit0 x21_bit0 -x22_bit0 -x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x2_bit0 -x30_bit0 x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 x38_bit0 -x39_bit0 x3_bit0 x40_bit0 -x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x46_bit0 x47_bit0 x48_bit0 x49_bit0 x4_bit0 x50_bit0 x51_bit0 -x52_bit0 x53_bit0 x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x5_bit0 x6_bit0 -x7_bit0 x8_bit0 -x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.91 2/55 17233
Raw data (stat): 17233 (runsolver) R 17232 8378 8377 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 912976968 884736 93 4294967295 134512640 135332820 3221224464 3221219872 134515228 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0006 s]
Raw data (loadavg): 0.87 0.94 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 26509 0 0 0 945 53 0 0 25 0 1 0 912976968 77889536 15509 4294967295 134512640 135730672 3221224576 3221210192 134770772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19016 15510 301 301 0 18715 0
vsize: 76064
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 52019 0 0 0 1896 103 0 0 25 0 1 0 912976968 152391680 30062 4294967295 134512640 135730672 3221224576 3221210248 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37205 30062 301 301 0 36904 0
vsize: 148820
[startup+30.0011 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 76518 0 0 0 2846 153 0 0 25 0 1 0 912976968 222064640 44057 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54215 44057 301 301 0 53914 0
vsize: 216860
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 83072 0 0 0 3831 168 0 0 25 0 1 0 912976968 235388928 46353 4294967295 134512640 135730672 3221224576 3221222704 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57468 46353 301 301 0 57167 0
vsize: 229872
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 87264 0 0 0 4820 179 0 0 25 0 1 0 912976968 231096320 45305 4294967295 134512640 135730672 3221224576 3221223088 134739838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56420 45305 301 301 0 56119 0
vsize: 225680
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92506 0 0 0 5807 191 0 0 25 0 1 0 912976968 235388928 46355 4294967295 134512640 135730672 3221224576 3221222688 134768813 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57468 46355 301 301 0 57167 0
vsize: 229872
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92563 0 0 0 6807 192 0 0 25 0 1 0 912976968 230563840 45234 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56290 45234 301 301 0 55989 0
vsize: 225160
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92574 0 0 0 7807 192 0 0 25 0 1 0 912976968 230428672 45212 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56257 45212 301 301 0 55956 0
vsize: 225028
[startup+90.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92584 0 0 0 8807 192 0 0 25 0 1 0 912976968 230428672 45222 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56257 45222 301 301 0 55956 0
vsize: 225028
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92594 0 0 0 9807 192 0 0 25 0 1 0 912976968 230162432 45167 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56192 45167 301 301 0 55891 0
vsize: 224768
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 92598 0 0 0 10807 192 0 0 25 0 1 0 912976968 230162432 45171 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56192 45171 301 301 0 55891 0
vsize: 224768
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93101 0 0 0 11806 193 0 0 25 0 1 0 912976968 233320448 45674 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56963 45674 301 301 0 56662 0
vsize: 227852
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93271 0 0 0 12806 194 0 0 25 0 1 0 912976968 233844736 45715 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45715 301 301 0 56790 0
vsize: 228364
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93274 0 0 0 13806 194 0 0 25 0 1 0 912976968 233844736 45718 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45718 301 301 0 56790 0
vsize: 228364
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93277 0 0 0 14806 194 0 0 25 0 1 0 912976968 233844736 45721 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45721 301 301 0 56790 0
vsize: 228364
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93279 0 0 0 15806 194 0 0 25 0 1 0 912976968 233844736 45723 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45723 301 301 0 56790 0
vsize: 228364
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93282 0 0 0 16807 194 0 0 25 0 1 0 912976968 233844736 45726 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45726 301 301 0 56790 0
vsize: 228364
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93285 0 0 0 17807 194 0 0 25 0 1 0 912976968 233844736 45729 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45729 301 301 0 56790 0
vsize: 228364
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93288 0 0 0 18807 194 0 0 25 0 1 0 912976968 233844736 45732 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45732 301 301 0 56790 0
vsize: 228364
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93292 0 0 0 19807 194 0 0 25 0 1 0 912976968 233844736 45736 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45736 301 301 0 56790 0
vsize: 228364
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93295 0 0 0 20807 194 0 0 25 0 1 0 912976968 233844736 45739 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45739 301 301 0 56790 0
vsize: 228364
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93297 0 0 0 21807 194 0 0 25 0 1 0 912976968 233844736 45741 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57091 45741 301 301 0 56790 0
vsize: 228364
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93461 0 0 0 22807 195 0 0 25 0 1 0 912976968 234901504 45905 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45905 301 301 0 57048 0
vsize: 229396
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93464 0 0 0 23807 195 0 0 25 0 1 0 912976968 234901504 45908 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45908 301 301 0 57048 0
vsize: 229396
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93467 0 0 0 24807 195 0 0 25 0 1 0 912976968 234901504 45911 4294967295 134512640 135730672 3221224576 3221222992 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45911 301 301 0 57048 0
vsize: 229396
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93471 0 0 0 25807 195 0 0 25 0 1 0 912976968 234901504 45915 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45915 301 301 0 57048 0
vsize: 229396
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93473 0 0 0 26807 195 0 0 25 0 1 0 912976968 234901504 45917 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45917 301 301 0 57048 0
vsize: 229396
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93477 0 0 0 27807 195 0 0 25 0 1 0 912976968 234901504 45921 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45921 301 301 0 57048 0
vsize: 229396
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93495 0 0 0 28808 195 0 0 25 0 1 0 912976968 234901504 45939 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45939 301 301 0 57048 0
vsize: 229396
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93496 0 0 0 29808 195 0 0 25 0 1 0 912976968 234901504 45940 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45940 301 301 0 57048 0
vsize: 229396
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93500 0 0 0 30808 195 0 0 25 0 1 0 912976968 234901504 45944 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45944 301 301 0 57048 0
vsize: 229396
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93502 0 0 0 31808 195 0 0 25 0 1 0 912976968 234901504 45946 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45946 301 301 0 57048 0
vsize: 229396
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93504 0 0 0 32808 195 0 0 25 0 1 0 912976968 234901504 45948 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45948 301 301 0 57048 0
vsize: 229396
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93506 0 0 0 33808 195 0 0 25 0 1 0 912976968 234901504 45950 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45950 301 301 0 57048 0
vsize: 229396
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93509 0 0 0 34808 195 0 0 25 0 1 0 912976968 234901504 45953 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45953 301 301 0 57048 0
vsize: 229396
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93512 0 0 0 35808 195 0 0 25 0 1 0 912976968 234901504 45956 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45956 301 301 0 57048 0
vsize: 229396
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93514 0 0 0 36809 195 0 0 25 0 1 0 912976968 234901504 45958 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45958 301 301 0 57048 0
vsize: 229396
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93516 0 0 0 37809 195 0 0 25 0 1 0 912976968 234901504 45960 4294967295 134512640 135730672 3221224576 3221222864 134747741 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45960 301 301 0 57048 0
vsize: 229396
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93520 0 0 0 38809 196 0 0 25 0 1 0 912976968 234901504 45964 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57349 45964 301 301 0 57048 0
vsize: 229396
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17233
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93663 0 0 0 39809 196 0 0 25 0 1 0 912976968 235954176 46107 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57606 46107 301 301 0 57305 0
vsize: 230424
[startup+410.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 17286
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93665 0 0 0 40806 198 0 0 25 0 1 0 912976968 235954176 46109 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57606 46109 301 301 0 57305 0
vsize: 230424
[startup+420.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 17286
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93669 0 0 0 41807 198 0 0 25 0 1 0 912976968 235954176 46113 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57606 46113 301 301 0 57305 0
vsize: 230424
[startup+430.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 17286
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93671 0 0 0 42807 198 0 0 25 0 1 0 912976968 235954176 46115 4294967295 134512640 135730672 3221224576 3221222864 134747597 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57606 46115 301 301 0 57305 0
vsize: 230424
[startup+440.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 17286
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 93674 0 0 0 43807 198 0 0 25 0 1 0 912976968 235954176 46118 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57606 46118 301 301 0 57305 0
vsize: 230424
[startup+450.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 17286
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 94085 0 0 0 44806 199 0 0 25 0 1 0 912976968 237805568 46399 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58058 46399 301 301 0 57757 0
vsize: 232232
[startup+460.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 17288
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 95304 0 0 0 45804 201 0 0 25 0 1 0 912976968 242335744 47259 4294967295 134512640 135730672 3221224576 3221222864 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59164 47259 301 301 0 58863 0
vsize: 236656
[startup+470.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 96270 0 0 0 46803 202 0 0 25 0 1 0 912976968 245239808 47737 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59873 47737 301 301 0 59572 0
vsize: 239492
[startup+480.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 96829 0 0 0 47802 203 0 0 25 0 1 0 912976968 246784000 48102 4294967295 134512640 135730672 3221224576 3221222864 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60250 48102 301 301 0 59949 0
vsize: 241000
[startup+490.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 97196 0 0 0 48801 204 0 0 25 0 1 0 912976968 248004608 48211 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60548 48211 301 301 0 60247 0
vsize: 242192
[startup+500.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 97807 0 0 0 49801 205 0 0 25 0 1 0 912976968 249843712 48499 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60997 48499 301 301 0 60696 0
vsize: 243988
[startup+510.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 98039 0 0 0 50800 205 0 0 25 0 1 0 912976968 250368000 48602 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61125 48602 301 301 0 60824 0
vsize: 244500
[startup+520.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99317 0 0 0 51798 208 0 0 25 0 1 0 912976968 254062592 49247 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62027 49247 301 301 0 61726 0
vsize: 248108
[startup+530.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99320 0 0 0 52798 208 0 0 25 0 1 0 912976968 254062592 49250 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62027 49250 301 301 0 61726 0
vsize: 248108
[startup+540.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99323 0 0 0 53798 208 0 0 25 0 1 0 912976968 254062592 49253 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62027 49253 301 301 0 61726 0
vsize: 248108
[startup+550.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99345 0 0 0 54798 208 0 0 25 0 1 0 912976968 254197760 49275 4294967295 134512640 135730672 3221224576 3221222864 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62060 49275 301 301 0 61759 0
vsize: 248240
[startup+560.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99362 0 0 0 55798 209 0 0 25 0 1 0 912976968 254435328 49292 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49292 301 301 0 61817 0
vsize: 248472
[startup+570.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99364 0 0 0 56798 209 0 0 25 0 1 0 912976968 254435328 49294 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49294 301 301 0 61817 0
vsize: 248472
[startup+580.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99368 0 0 0 57798 209 0 0 25 0 1 0 912976968 254435328 49298 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49298 301 301 0 61817 0
vsize: 248472
[startup+590.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99372 0 0 0 58798 209 0 0 25 0 1 0 912976968 254435328 49302 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49302 301 301 0 61817 0
vsize: 248472
[startup+600.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99378 0 0 0 59798 209 0 0 25 0 1 0 912976968 254435328 49308 4294967295 134512640 135730672 3221224576 3221222976 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49308 301 301 0 61817 0
vsize: 248472
[startup+610.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99382 0 0 0 60798 209 0 0 25 0 1 0 912976968 254435328 49312 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62118 49312 301 301 0 61817 0
vsize: 248472
[startup+620.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99721 0 0 0 61798 210 0 0 25 0 1 0 912976968 255356928 49488 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62343 49488 301 301 0 62042 0
vsize: 249372
[startup+630.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99878 0 0 0 62798 210 0 0 25 0 1 0 912976968 255885312 49580 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62472 49580 301 301 0 62171 0
vsize: 249888
[startup+640.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 99919 0 0 0 63798 210 0 0 25 0 1 0 912976968 256151552 49621 4294967295 134512640 135730672 3221224576 3221222696 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62537 49621 301 301 0 62236 0
vsize: 250148
[startup+650.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100063 0 0 0 64798 211 0 0 25 0 1 0 912976968 256413696 49700 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62601 49700 301 301 0 62300 0
vsize: 250404
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100079 0 0 0 65798 211 0 0 25 0 1 0 912976968 256413696 49716 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62601 49716 301 301 0 62300 0
vsize: 250404
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100117 0 0 0 66798 211 0 0 25 0 1 0 912976968 256544768 49721 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62633 49721 301 301 0 62332 0
vsize: 250532
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100482 0 0 0 67797 212 0 0 25 0 1 0 912976968 258134016 49956 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49956 301 301 0 62720 0
vsize: 252084
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100486 0 0 0 68797 212 0 0 25 0 1 0 912976968 258134016 49960 4294967295 134512640 135730672 3221224576 3221223028 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49960 301 301 0 62720 0
vsize: 252084
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100490 0 0 0 69797 212 0 0 25 0 1 0 912976968 258134016 49964 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49964 301 301 0 62720 0
vsize: 252084
[startup+710.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100494 0 0 0 70798 212 0 0 25 0 1 0 912976968 258134016 49968 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49968 301 301 0 62720 0
vsize: 252084
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17290
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100512 0 0 0 71797 212 0 0 25 0 1 0 912976968 258134016 49986 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 63021 49986 301 301 0 62720 0
vsize: 252084
[startup+730.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100515 0 0 0 72797 213 0 0 25 0 1 0 912976968 258134016 49989 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49989 301 301 0 62720 0
vsize: 252084
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100523 0 0 0 73797 213 0 0 25 0 1 0 912976968 258134016 49997 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 49997 301 301 0 62720 0
vsize: 252084
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100541 0 0 0 74797 213 0 0 25 0 1 0 912976968 258134016 50015 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 50015 301 301 0 62720 0
vsize: 252084
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100544 0 0 0 75797 213 0 0 25 0 1 0 912976968 258134016 50018 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 50018 301 301 0 62720 0
vsize: 252084
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100549 0 0 0 76797 213 0 0 25 0 1 0 912976968 258134016 50023 4294967295 134512640 135730672 3221224576 3221222864 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 50023 301 301 0 62720 0
vsize: 252084
[startup+780.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100558 0 0 0 77797 213 0 0 25 0 1 0 912976968 258134016 50032 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63021 50032 301 301 0 62720 0
vsize: 252084
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100714 0 0 0 78797 213 0 0 25 0 1 0 912976968 258396160 50123 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50123 301 301 0 62784 0
vsize: 252340
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100721 0 0 0 79797 213 0 0 25 0 1 0 912976968 258396160 50130 4294967295 134512640 135730672 3221224576 3221222992 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50130 301 301 0 62784 0
vsize: 252340
[startup+810.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100724 0 0 0 80798 213 0 0 25 0 1 0 912976968 258396160 50133 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50133 301 301 0 62784 0
vsize: 252340
[startup+820.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100727 0 0 0 81798 213 0 0 25 0 1 0 912976968 258396160 50136 4294967295 134512640 135730672 3221224576 3221222864 134747832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50136 301 301 0 62784 0
vsize: 252340
[startup+830.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100732 0 0 0 82798 213 0 0 25 0 1 0 912976968 258396160 50141 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50141 301 301 0 62784 0
vsize: 252340
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100737 0 0 0 83798 213 0 0 25 0 1 0 912976968 258396160 50146 4294967295 134512640 135730672 3221224576 3221222864 134747536 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50146 301 301 0 62784 0
vsize: 252340
[startup+850.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100741 0 0 0 84798 213 0 0 25 0 1 0 912976968 258396160 50150 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50150 301 301 0 62784 0
vsize: 252340
[startup+860.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100746 0 0 0 85798 213 0 0 25 0 1 0 912976968 258396160 50155 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50155 301 301 0 62784 0
vsize: 252340
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100749 0 0 0 86799 213 0 0 25 0 1 0 912976968 258396160 50158 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50158 301 301 0 62784 0
vsize: 252340
[startup+880.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100755 0 0 0 87799 214 0 0 25 0 1 0 912976968 258396160 50164 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50164 301 301 0 62784 0
vsize: 252340
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100761 0 0 0 88799 214 0 0 25 0 1 0 912976968 258396160 50170 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50170 301 301 0 62784 0
vsize: 252340
[startup+900.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100764 0 0 0 89799 214 0 0 25 0 1 0 912976968 258396160 50173 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50173 301 301 0 62784 0
vsize: 252340
[startup+910.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100777 0 0 0 90799 214 0 0 25 0 1 0 912976968 258396160 50186 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50186 301 301 0 62784 0
vsize: 252340
[startup+920.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100781 0 0 0 91799 214 0 0 25 0 1 0 912976968 258396160 50190 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50190 301 301 0 62784 0
vsize: 252340
[startup+930.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100820 0 0 0 92799 214 0 0 25 0 1 0 912976968 258396160 50229 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50229 301 301 0 62784 0
vsize: 252340
[startup+940.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100824 0 0 0 93799 214 0 0 25 0 1 0 912976968 258396160 50233 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50233 301 301 0 62784 0
vsize: 252340
[startup+950.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100835 0 0 0 94799 214 0 0 25 0 1 0 912976968 258396160 50244 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50244 301 301 0 62784 0
vsize: 252340
[startup+960.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100848 0 0 0 95800 214 0 0 25 0 1 0 912976968 258396160 50257 4294967295 134512640 135730672 3221224576 3221223056 134748452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50257 301 301 0 62784 0
vsize: 252340
[startup+970.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100851 0 0 0 96800 214 0 0 25 0 1 0 912976968 258396160 50260 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50260 301 301 0 62784 0
vsize: 252340
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100855 0 0 0 97800 214 0 0 25 0 1 0 912976968 258396160 50264 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50264 301 301 0 62784 0
vsize: 252340
[startup+990.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100859 0 0 0 98800 214 0 0 25 0 1 0 912976968 258396160 50268 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50268 301 301 0 62784 0
vsize: 252340
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100863 0 0 0 99800 214 0 0 25 0 1 0 912976968 258396160 50272 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50272 301 301 0 62784 0
vsize: 252340
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100868 0 0 0 100800 215 0 0 25 0 1 0 912976968 258396160 50277 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50277 301 301 0 62784 0
vsize: 252340
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100872 0 0 0 101800 215 0 0 25 0 1 0 912976968 258396160 50281 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50281 301 301 0 62784 0
vsize: 252340
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100875 0 0 0 102800 215 0 0 25 0 1 0 912976968 258396160 50284 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50284 301 301 0 62784 0
vsize: 252340
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100880 0 0 0 103801 215 0 0 25 0 1 0 912976968 258396160 50289 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50289 301 301 0 62784 0
vsize: 252340
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100883 0 0 0 104801 215 0 0 25 0 1 0 912976968 258396160 50292 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50292 301 301 0 62784 0
vsize: 252340
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100888 0 0 0 105801 215 0 0 25 0 1 0 912976968 258396160 50297 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50297 301 301 0 62784 0
vsize: 252340
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100894 0 0 0 106801 215 0 0 25 0 1 0 912976968 258396160 50303 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50303 301 301 0 62784 0
vsize: 252340
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100899 0 0 0 107801 215 0 0 25 0 1 0 912976968 258396160 50308 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50308 301 301 0 62784 0
vsize: 252340
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 100905 0 0 0 108801 215 0 0 25 0 1 0 912976968 258396160 50314 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63085 50314 301 301 0 62784 0
vsize: 252340
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101047 0 0 0 109801 215 0 0 25 0 1 0 912976968 258789376 50358 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50358 301 301 0 62880 0
vsize: 252724
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101051 0 0 0 110801 215 0 0 25 0 1 0 912976968 258789376 50362 4294967295 134512640 135730672 3221224576 3221222992 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50362 301 301 0 62880 0
vsize: 252724
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101055 0 0 0 111801 216 0 0 25 0 1 0 912976968 258789376 50366 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50366 301 301 0 62880 0
vsize: 252724
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101060 0 0 0 112801 216 0 0 25 0 1 0 912976968 258789376 50371 4294967295 134512640 135730672 3221224576 3221222864 134747711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50371 301 301 0 62880 0
vsize: 252724
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101065 0 0 0 113801 216 0 0 25 0 1 0 912976968 258789376 50376 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50376 301 301 0 62880 0
vsize: 252724
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101069 0 0 0 114801 216 0 0 25 0 1 0 912976968 258789376 50380 4294967295 134512640 135730672 3221224576 3221222704 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50380 301 301 0 62880 0
vsize: 252724
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101072 0 0 0 115801 217 0 0 25 0 1 0 912976968 258789376 50383 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50383 301 301 0 62880 0
vsize: 252724
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101077 0 0 0 116801 217 0 0 25 0 1 0 912976968 258789376 50388 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50388 301 301 0 62880 0
vsize: 252724
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101081 0 0 0 117801 217 0 0 25 0 1 0 912976968 258789376 50392 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50392 301 301 0 62880 0
vsize: 252724
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101086 0 0 0 118801 217 0 0 25 0 1 0 912976968 258789376 50397 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50397 301 301 0 62880 0
vsize: 252724
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 17292
Raw data (stat): 17233 (pb2sat-v2) R 17232 8378 8377 0 -1 0 101101 0 0 0 119801 217 0 0 25 0 1 0 912976968 258789376 50412 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63181 50412 301 301 0 62880 0
vsize: 252724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.19 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 17292
Raw data (stat): 17233 (pb2sat-v2) Z 17232 8378 8377 0 -1 12 101103 0 0 0 119908 227 0 0 25 0 1 0 912976968 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.19
CPU time (s): 1201.36
CPU user time (s): 1199.08
CPU system time (s): 2.27665
CPU usage (%): 100.014
Max. virtual memory (Kb): 252724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	646144
#### END VERIFIER DATA ####