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/miplib2003/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	10386fd19d9976c249ce2be861b38a70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 42465

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 08:01:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25673 boxname=wulflinc5 idbench=973 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  10386fd19d9976c249ce2be861b38a70  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 25673
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        717268 kB
Buffers:         34164 kB
Cached:         260596 kB
SwapCached:        700 kB
Active:          63008 kB
Inactive:       233780 kB
HighTotal:      131008 kB
HighFree:         1232 kB
LowTotal:       903652 kB
LowFree:        716036 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14788 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:21:43 (client local time) WITH STATUS 10 IN 1201.06 SECONDS
stats: 25673 0 1201.06 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: 762880
c small objective detected
c CONFLICT during preprocess 
c [startup+18.2879 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+19.5089 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+20.7308 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+21.9494 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+23.159 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+24.3685 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+25.5824 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+26.7922 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+28.0021 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+29.211 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+30.4212 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+31.6444 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+32.8668 s]  setting bit 20 to 0
c got solution with objective value: 178176
c [startup+42.8811 s]  setting bit 19 to 1
c CONFLICT during preprocess 
c [startup+44.1033 s]  setting bit 18 to 0

c Decision: 3997/304780	Time: 854.233/86400
c Decision: 3997/304780	Time: 936.926/86400
c Decision: 3997/304780	Time: 1012.32/86400
c Decision: 3997/304780	Time: 1092.9/86400s SATISFIABLE
v x11_bit0 -x11_bit1 -x11_bit10 -x11_bit11 -x11_bit12 -x11_bit13 -x11_bit14 -x11_bit15 -x11_bit16 -x11_bit17 -x11_bit18 -x11_bit19 -x11_bit2 -x11_bit3 -x11_bit4 x11_bit5 -x11_bit6 -x11_bit7 -x11_bit8 -x11_bit9 -x11_bit_1 -x11_bit_10 -x11_bit_2 -x11_bit_3 -x11_bit_4 -x11_bit_5 -x11_bit_6 -x11_bit_7 -x11_bit_8 -x11_bit_9 -x13_bit0 x14_bit0 -x15_bit0 x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 -x1_bit1 -x1_bit10 -x1_bit11 -x1_bit12 -x1_bit13 -x1_bit14 -x1_bit15 -x1_bit16 -x1_bit17 -x1_bit18 -x1_bit19 x1_bit2 -x1_bit3 -x1_bit4 -x1_bit5 -x1_bit6 -x1_bit7 -x1_bit8 -x1_bit9 -x1_bit_1 -x1_bit_10 -x1_bit_2 -x1_bit_3 -x1_bit_4 -x1_bit_5 -x1_bit_6 -x1_bit_7 -x1_bit_8 -x1_bit_9 x20_bit0 -x21_bit0 x22_bit0 x23_bit0 x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 -x29_bit0 x30_bit0 -x31_bit0 x32_bit0 x33_bit0 x34_bit0 -x35_bit0 x36_bit0 -x37_bit0 x38_bit0 x39_bit0 x3_bit0 x3_bit1 -x3_bit10 -x3_bit11 -x3_bit12 -x3_bit13 -x3_bit14 -x3_bit15 -x3_bit16 -x3_bit17 -x3_bit18 -x3_bit19 -x3_bit2 x3_bit3 x3_bit4 -x3_bit5 -x3_bit6 -x3_bit7 -x3_bit8 -x3_bit9 -x3_bit_1 -x3_bit_10 -x3_bit_2 -x3_bit_3 -x3_bit_4 -x3_bit_5 -x3_bit_6 -x3_bit_7 -x3_bit_8 -x3_bit_9 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 x49_bit0 x50_bit0 -x51_bit0 x52_bit0 x53_bit0 -x54_bit0 x55_bit0 x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 x5_bit0 -x5_bit1 -x5_bit10 -x5_bit11 -x5_bit12 -x5_bit13 -x5_bit14 -x5_bit15 -x5_bit16 -x5_bit17 -x5_bit18 -x5_bit19 x5_bit2 x5_bit3 x5_bit4 -x5_bit5 -x5_bit6 -x5_bit7 -x5_bit8 -x5_bit9 -x5_bit_1 -x5_bit_10 -x5_bit_2 -x5_bit_3 -x5_bit_4 -x5_bit_5 -x5_bit_6 -x5_bit_7 -x5_bit_8 -x5_bit_9 -x60_bit0 -x61_bit0 -x62_bit0 -x7_bit0 -x7_bit1 -x7_bit10 -x7_bit11 -x7_bit12 -x7_bit13 -x7_bit14 -x7_bit15 -x7_bit16 -x7_bit17 -x7_bit18 -x7_bit19 -x7_bit2 -x7_bit3 -x7_bit4 -x7_bit5 -x7_bit6 -x7_bit7 -x7_bit8 -x7_bit9 -x7_bit_1 -x7_bit_10 -x7_bit_2 -x7_bit_3 -x7_bit_4 -x7_bit_5 -x7_bit_6 -x7_bit_7 -x7_bit_8 -x7_bit_9 x9_bit0 -x9_bit1 -x9_bit10 -x9_bit11 -x9_bit12 -x9_bit13 -x9_bit14 -x9_bit15 -x9_bit16 -x9_bit17 -x9_bit18 -x9_bit19 -x9_bit2 -x9_bit3 x9_bit4 -x9_bit5 x9_bit6 -x9_bit7 -x9_bit8 -x9_bit9 -x9_bit_1 -x9_bit_10 -x9_bit_2 -x9_bit_3 -x9_bit_4 -x9_bit_5 -x9_bit_6 -x9_bit_7 -x9_bit_8 -x9_bit_9 
#### 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.86 0.95 0.95 2/54 10877
Raw data (stat): 10877 (runsolver) R 10876 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969163852 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.0003 s]
Raw data (loadavg): 0.88 0.95 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 26227 0 0 0 940 58 0 0 25 0 1 0 969163852 76804096 15225 4294967295 134512640 135730672 3221224576 3221205472 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18751 15226 301 301 0 18450 0
vsize: 75004
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 49204 0 0 0 1893 105 0 0 25 0 1 0 969163852 145207296 25444 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35451 25444 301 301 0 35150 0
vsize: 141804
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 53973 0 0 0 2880 117 0 0 25 0 1 0 969163852 142766080 24849 4294967295 134512640 135730672 3221224576 3221222912 134749378 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34855 24849 301 301 0 34554 0
vsize: 139420
[startup+40.0013 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 55810 0 0 0 3875 122 0 0 25 0 1 0 969163852 142499840 24833 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34790 24833 301 301 0 34489 0
vsize: 139160
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 57620 0 0 0 4871 125 0 0 25 0 1 0 969163852 144809984 25286 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35354 25286 301 301 0 35053 0
vsize: 141416
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58111 0 0 0 5870 126 0 0 25 0 1 0 969163852 146264064 25515 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35709 25515 301 301 0 35408 0
vsize: 142836
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58257 0 0 0 6870 127 0 0 25 0 1 0 969163852 146792448 25596 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35838 25596 301 301 0 35537 0
vsize: 143352
[startup+80.0033 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58411 0 0 0 7870 127 0 0 25 0 1 0 969163852 147320832 25685 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35967 25685 301 301 0 35666 0
vsize: 143868
[startup+90.0034 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58419 0 0 0 8870 127 0 0 25 0 1 0 969163852 147320832 25693 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35967 25693 301 301 0 35666 0
vsize: 143868
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58430 0 0 0 9870 127 0 0 25 0 1 0 969163852 147320832 25704 4294967295 134512640 135730672 3221224576 3221223024 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35967 25704 301 301 0 35666 0
vsize: 143868
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58440 0 0 0 10870 128 0 0 25 0 1 0 969163852 147320832 25714 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35967 25714 301 301 0 35666 0
vsize: 143868
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58603 0 0 0 11870 128 0 0 25 0 1 0 969163852 147849216 25812 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36096 25812 301 301 0 35795 0
vsize: 144384
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58763 0 0 0 12870 128 0 0 25 0 1 0 969163852 148377600 25907 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36225 25907 301 301 0 35924 0
vsize: 144900
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 58767 0 0 0 13869 129 0 0 25 0 1 0 969163852 148377600 25911 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36225 25911 301 301 0 35924 0
vsize: 144900
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59380 0 0 0 14869 130 0 0 25 0 1 0 969163852 150491136 26264 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36741 26264 301 301 0 36440 0
vsize: 146964
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59413 0 0 0 15869 130 0 0 25 0 1 0 969163852 150491136 26297 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36741 26297 301 301 0 36440 0
vsize: 146964
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59429 0 0 0 16869 130 0 0 25 0 1 0 969163852 167268352 26313 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40837 26313 301 301 0 40536 0
vsize: 163348
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59453 0 0 0 17869 130 0 0 25 0 1 0 969163852 167268352 26337 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40837 26337 301 301 0 40536 0
vsize: 163348
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59536 0 0 0 18869 130 0 0 25 0 1 0 969163852 167796736 26420 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40966 26420 301 301 0 40665 0
vsize: 163864
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59733 0 0 0 19868 131 0 0 25 0 1 0 969163852 168321024 26488 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41094 26488 301 301 0 40793 0
vsize: 164376
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59742 0 0 0 20868 132 0 0 25 0 1 0 969163852 168321024 26497 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41094 26497 301 301 0 40793 0
vsize: 164376
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59750 0 0 0 21868 132 0 0 25 0 1 0 969163852 168321024 26505 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41094 26505 301 301 0 40793 0
vsize: 164376
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59856 0 0 0 22868 132 0 0 25 0 1 0 969163852 168853504 26611 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26611 301 301 0 40923 0
vsize: 164896
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10877
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59867 0 0 0 23868 132 0 0 25 0 1 0 969163852 168853504 26622 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26622 301 301 0 40923 0
vsize: 164896
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59879 0 0 0 24868 132 0 0 25 0 1 0 969163852 168853504 26634 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26634 301 301 0 40923 0
vsize: 164896
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59884 0 0 0 25868 132 0 0 25 0 1 0 969163852 168853504 26639 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26639 301 301 0 40923 0
vsize: 164896
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59888 0 0 0 26868 133 0 0 25 0 1 0 969163852 168853504 26643 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26643 301 301 0 40923 0
vsize: 164896
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59893 0 0 0 27868 133 0 0 25 0 1 0 969163852 168853504 26648 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26648 301 301 0 40923 0
vsize: 164896
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59899 0 0 0 28869 133 0 0 25 0 1 0 969163852 168853504 26654 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26654 301 301 0 40923 0
vsize: 164896
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59918 0 0 0 29869 133 0 0 25 0 1 0 969163852 168853504 26673 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26673 301 301 0 40923 0
vsize: 164896
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59926 0 0 0 30869 133 0 0 25 0 1 0 969163852 168853504 26681 4294967295 134512640 135730672 3221224576 3221222864 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26681 301 301 0 40923 0
vsize: 164896
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59935 0 0 0 31869 133 0 0 25 0 1 0 969163852 168853504 26690 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26690 301 301 0 40923 0
vsize: 164896
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59947 0 0 0 32869 133 0 0 25 0 1 0 969163852 168853504 26702 4294967295 134512640 135730672 3221224576 3221222864 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26702 301 301 0 40923 0
vsize: 164896
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59968 0 0 0 33869 133 0 0 25 0 1 0 969163852 168853504 26723 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26723 301 301 0 40923 0
vsize: 164896
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59971 0 0 0 34869 133 0 0 25 0 1 0 969163852 168853504 26726 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26726 301 301 0 40923 0
vsize: 164896
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59977 0 0 0 35870 133 0 0 25 0 1 0 969163852 168853504 26732 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26732 301 301 0 40923 0
vsize: 164896
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59980 0 0 0 36870 133 0 0 25 0 1 0 969163852 168853504 26735 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26735 301 301 0 40923 0
vsize: 164896
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59984 0 0 0 37870 133 0 0 25 0 1 0 969163852 168853504 26739 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26739 301 301 0 40923 0
vsize: 164896
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 59988 0 0 0 38870 133 0 0 25 0 1 0 969163852 168853504 26743 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26743 301 301 0 40923 0
vsize: 164896
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60005 0 0 0 39870 133 0 0 25 0 1 0 969163852 168853504 26760 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26760 301 301 0 40923 0
vsize: 164896
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60013 0 0 0 40870 133 0 0 25 0 1 0 969163852 168853504 26768 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26768 301 301 0 40923 0
vsize: 164896
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60019 0 0 0 41871 133 0 0 25 0 1 0 969163852 168853504 26774 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26774 301 301 0 40923 0
vsize: 164896
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60023 0 0 0 42871 133 0 0 25 0 1 0 969163852 168853504 26778 4294967295 134512640 135730672 3221224576 3221222968 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26778 301 301 0 40923 0
vsize: 164896
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60040 0 0 0 43871 133 0 0 25 0 1 0 969163852 168853504 26795 4294967295 134512640 135730672 3221224576 3221222864 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26795 301 301 0 40923 0
vsize: 164896
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60045 0 0 0 44871 133 0 0 25 0 1 0 969163852 168853504 26800 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26800 301 301 0 40923 0
vsize: 164896
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60049 0 0 0 45871 133 0 0 25 0 1 0 969163852 168853504 26804 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26804 301 301 0 40923 0
vsize: 164896
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60054 0 0 0 46871 134 0 0 25 0 1 0 969163852 168853504 26809 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26809 301 301 0 40923 0
vsize: 164896
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60058 0 0 0 47871 134 0 0 25 0 1 0 969163852 168853504 26813 4294967295 134512640 135730672 3221224576 3221223056 134748700 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26813 301 301 0 40923 0
vsize: 164896
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60061 0 0 0 48871 134 0 0 25 0 1 0 969163852 168853504 26816 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26816 301 301 0 40923 0
vsize: 164896
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60067 0 0 0 49871 134 0 0 25 0 1 0 969163852 168853504 26822 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41224 26822 301 301 0 40923 0
vsize: 164896
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60177 0 0 0 50871 134 0 0 25 0 1 0 969163852 169381888 26932 4294967295 134512640 135730672 3221224576 3221222864 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41353 26932 301 301 0 41052 0
vsize: 165412
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60180 0 0 0 51872 134 0 0 25 0 1 0 969163852 169381888 26935 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41353 26935 301 301 0 41052 0
vsize: 165412
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60310 0 0 0 52872 134 0 0 25 0 1 0 969163852 169910272 27065 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27065 301 301 0 41181 0
vsize: 165928
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60314 0 0 0 53872 134 0 0 25 0 1 0 969163852 169910272 27069 4294967295 134512640 135730672 3221224576 3221222700 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27069 301 301 0 41181 0
vsize: 165928
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60330 0 0 0 54872 134 0 0 25 0 1 0 969163852 169910272 27085 4294967295 134512640 135730672 3221224576 3221222864 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27085 301 301 0 41181 0
vsize: 165928
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60343 0 0 0 55872 135 0 0 25 0 1 0 969163852 169910272 27098 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27098 301 301 0 41181 0
vsize: 165928
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60348 0 0 0 56872 135 0 0 25 0 1 0 969163852 169910272 27103 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27103 301 301 0 41181 0
vsize: 165928
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60351 0 0 0 57872 135 0 0 25 0 1 0 969163852 169910272 27106 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27106 301 301 0 41181 0
vsize: 165928
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60360 0 0 0 58872 135 0 0 25 0 1 0 969163852 169910272 27115 4294967295 134512640 135730672 3221224576 3221222864 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27115 301 301 0 41181 0
vsize: 165928
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60364 0 0 0 59872 135 0 0 25 0 1 0 969163852 169910272 27119 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27119 301 301 0 41181 0
vsize: 165928
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60371 0 0 0 60872 135 0 0 25 0 1 0 969163852 169910272 27126 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27126 301 301 0 41181 0
vsize: 165928
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60376 0 0 0 61872 135 0 0 25 0 1 0 969163852 169910272 27131 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27131 301 301 0 41181 0
vsize: 165928
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60381 0 0 0 62872 135 0 0 25 0 1 0 969163852 169910272 27136 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27136 301 301 0 41181 0
vsize: 165928
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60407 0 0 0 63872 135 0 0 25 0 1 0 969163852 169910272 27162 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27162 301 301 0 41181 0
vsize: 165928
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60413 0 0 0 64872 135 0 0 25 0 1 0 969163852 169910272 27168 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27168 301 301 0 41181 0
vsize: 165928
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60417 0 0 0 65873 135 0 0 25 0 1 0 969163852 169910272 27172 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27172 301 301 0 41181 0
vsize: 165928
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60421 0 0 0 66873 135 0 0 25 0 1 0 969163852 169910272 27176 4294967295 134512640 135730672 3221224576 3221222864 134747594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27176 301 301 0 41181 0
vsize: 165928
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60427 0 0 0 67873 136 0 0 25 0 1 0 969163852 169910272 27182 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27182 301 301 0 41181 0
vsize: 165928
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60435 0 0 0 68873 136 0 0 25 0 1 0 969163852 169910272 27190 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27190 301 301 0 41181 0
vsize: 165928
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60441 0 0 0 69873 136 0 0 25 0 1 0 969163852 169910272 27196 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27196 301 301 0 41181 0
vsize: 165928
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60445 0 0 0 70873 136 0 0 25 0 1 0 969163852 169910272 27200 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27200 301 301 0 41181 0
vsize: 165928
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60451 0 0 0 71873 136 0 0 25 0 1 0 969163852 169910272 27206 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27206 301 301 0 41181 0
vsize: 165928
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60456 0 0 0 72874 136 0 0 25 0 1 0 969163852 169910272 27211 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27211 301 301 0 41181 0
vsize: 165928
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60461 0 0 0 73874 136 0 0 25 0 1 0 969163852 169910272 27216 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27216 301 301 0 41181 0
vsize: 165928
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60466 0 0 0 74874 136 0 0 25 0 1 0 969163852 169910272 27221 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27221 301 301 0 41181 0
vsize: 165928
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60470 0 0 0 75874 136 0 0 25 0 1 0 969163852 169910272 27225 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27225 301 301 0 41181 0
vsize: 165928
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60475 0 0 0 76874 136 0 0 25 0 1 0 969163852 169910272 27230 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27230 301 301 0 41181 0
vsize: 165928
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60480 0 0 0 77874 136 0 0 25 0 1 0 969163852 169910272 27235 4294967295 134512640 135730672 3221224576 3221222864 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27235 301 301 0 41181 0
vsize: 165928
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60485 0 0 0 78874 136 0 0 25 0 1 0 969163852 169910272 27240 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27240 301 301 0 41181 0
vsize: 165928
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60488 0 0 0 79874 137 0 0 25 0 1 0 969163852 169910272 27243 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27243 301 301 0 41181 0
vsize: 165928
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60495 0 0 0 80874 137 0 0 25 0 1 0 969163852 169910272 27250 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27250 301 301 0 41181 0
vsize: 165928
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60500 0 0 0 81874 137 0 0 25 0 1 0 969163852 169910272 27255 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27255 301 301 0 41181 0
vsize: 165928
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60507 0 0 0 82874 137 0 0 25 0 1 0 969163852 169910272 27262 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27262 301 301 0 41181 0
vsize: 165928
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60514 0 0 0 83874 137 0 0 25 0 1 0 969163852 169910272 27269 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27269 301 301 0 41181 0
vsize: 165928
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60525 0 0 0 84875 137 0 0 25 0 1 0 969163852 169910272 27280 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41482 27280 301 301 0 41181 0
vsize: 165928
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60672 0 0 0 85875 138 0 0 25 0 1 0 969163852 170434560 27298 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41610 27298 301 301 0 41309 0
vsize: 166440
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60679 0 0 0 86875 138 0 0 25 0 1 0 969163852 170434560 27305 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41610 27305 301 301 0 41309 0
vsize: 166440
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60683 0 0 0 87875 138 0 0 25 0 1 0 969163852 170434560 27309 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41610 27309 301 301 0 41309 0
vsize: 166440
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 60690 0 0 0 88875 138 0 0 25 0 1 0 969163852 170434560 27316 4294967295 134512640 135730672 3221224576 3221222616 135284826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41610 27316 301 301 0 41309 0
vsize: 166440
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61312 0 0 0 89874 139 0 0 25 0 1 0 969163852 170434560 27342 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41610 27342 301 301 0 41309 0
vsize: 166440
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61345 0 0 0 90873 140 0 0 25 0 1 0 969163852 170569728 27375 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41643 27375 301 301 0 41342 0
vsize: 166572
[startup+920.142 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61517 0 0 0 91883 140 0 0 25 0 1 0 969163852 171094016 27417 4294967295 134512640 135730672 3221224576 3221223056 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41771 27417 301 301 0 41470 0
vsize: 167084
[startup+930.142 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61599 0 0 0 92883 140 0 0 25 0 1 0 969163852 171356160 27434 4294967295 134512640 135730672 3221224576 3221223036 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 27434 301 301 0 41534 0
vsize: 167340
[startup+940.141 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61607 0 0 0 93883 141 0 0 25 0 1 0 969163852 171356160 27442 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 27442 301 301 0 41534 0
vsize: 167340
[startup+950.141 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61608 0 0 0 94883 141 0 0 25 0 1 0 969163852 171356160 27443 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 27443 301 301 0 41534 0
vsize: 167340
[startup+960.142 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61623 0 0 0 95884 141 0 0 25 0 1 0 969163852 171356160 27458 4294967295 134512640 135730672 3221224576 3221222992 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 27458 301 301 0 41534 0
vsize: 167340
[startup+970.143 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 61634 0 0 0 96884 141 0 0 25 0 1 0 969163852 171356160 27469 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41835 27469 301 301 0 41534 0
vsize: 167340
[startup+980.144 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62248 0 0 0 97883 142 0 0 25 0 1 0 969163852 173797376 28083 4294967295 134512640 135730672 3221224576 3221222560 134772793 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42431 28083 301 301 0 42130 0
vsize: 169724
[startup+990.143 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62414 0 0 0 98882 142 0 0 25 0 1 0 969163852 172015616 27555 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27555 301 301 0 41695 0
vsize: 167984
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62419 0 0 0 99883 142 0 0 25 0 1 0 969163852 172015616 27560 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27560 301 301 0 41695 0
vsize: 167984
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62420 0 0 0 100883 142 0 0 25 0 1 0 969163852 172015616 27561 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27561 301 301 0 41695 0
vsize: 167984
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62420 0 0 0 101883 143 0 0 25 0 1 0 969163852 172015616 27561 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27561 301 301 0 41695 0
vsize: 167984
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62422 0 0 0 102883 143 0 0 25 0 1 0 969163852 172015616 27563 4294967295 134512640 135730672 3221224576 3221222864 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27563 301 301 0 41695 0
vsize: 167984
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62422 0 0 0 103883 143 0 0 25 0 1 0 969163852 172015616 27563 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27563 301 301 0 41695 0
vsize: 167984
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 62423 0 0 0 104883 143 0 0 25 0 1 0 969163852 172015616 27564 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27564 301 301 0 41695 0
vsize: 167984
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63028 0 0 0 105882 144 0 0 25 0 1 0 969163852 172015616 27573 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27573 301 301 0 41695 0
vsize: 167984
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63030 0 0 0 106882 144 0 0 25 0 1 0 969163852 172015616 27575 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27575 301 301 0 41695 0
vsize: 167984
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63034 0 0 0 107883 144 0 0 25 0 1 0 969163852 172015616 27579 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27579 301 301 0 41695 0
vsize: 167984
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63035 0 0 0 108883 144 0 0 25 0 1 0 969163852 172015616 27580 4294967295 134512640 135730672 3221224576 3221222960 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27580 301 301 0 41695 0
vsize: 167984
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63035 0 0 0 109883 144 0 0 25 0 1 0 969163852 172015616 27580 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27580 301 301 0 41695 0
vsize: 167984
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63036 0 0 0 110883 144 0 0 25 0 1 0 969163852 172015616 27581 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27581 301 301 0 41695 0
vsize: 167984
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63036 0 0 0 111883 144 0 0 25 0 1 0 969163852 172015616 27581 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27581 301 301 0 41695 0
vsize: 167984
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63037 0 0 0 112884 144 0 0 25 0 1 0 969163852 172015616 27582 4294967295 134512640 135730672 3221224576 3221223056 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27582 301 301 0 41695 0
vsize: 167984
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63636 0 0 0 113882 146 0 0 25 0 1 0 969163852 172015616 27585 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27585 301 301 0 41695 0
vsize: 167984
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63648 0 0 0 114882 146 0 0 25 0 1 0 969163852 172015616 27597 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41996 27597 301 301 0 41695 0
vsize: 167984
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63752 0 0 0 115882 146 0 0 25 0 1 0 969163852 172277760 27636 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42060 27636 301 301 0 41759 0
vsize: 168240
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63752 0 0 0 116882 146 0 0 25 0 1 0 969163852 172277760 27636 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42060 27636 301 301 0 41759 0
vsize: 168240
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63754 0 0 0 117882 146 0 0 25 0 1 0 969163852 172277760 27638 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42060 27638 301 301 0 41759 0
vsize: 168240
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63755 0 0 0 118882 147 0 0 25 0 1 0 969163852 172277760 27639 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42060 27639 301 301 0 41759 0
vsize: 168240
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 10879
Raw data (stat): 10877 (pb2sat-v2) R 10876 7266 7265 0 -1 0 63755 0 0 0 119882 147 0 0 25 0 1 0 969163852 172277760 27639 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42060 27639 301 301 0 41759 0
vsize: 168240
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.91 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 10879
Raw data (stat): 10877 (pb2sat-v2) Z 10876 7266 7265 0 -1 12 63757 0 0 0 119953 152 0 0 25 0 1 0 969163852 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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): 1200.91
CPU time (s): 1201.06
CPU user time (s): 1199.53
CPU system time (s): 1.52877
CPU usage (%): 100.013
Max. virtual memory (Kb): 169724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	178176
#### END VERIFIER DATA ####