PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
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	80
Trace number 42919

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        837984 kB
Buffers:          8180 kB
Cached:         167036 kB
SwapCached:        904 kB
Active:          26972 kB
Inactive:       150348 kB
HighTotal:      131008 kB
HighFree:        45332 kB
LowTotal:       903652 kB
LowFree:        792652 kB
SwapTotal:     2097136 kB
SwapFree:      2095236 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13656 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:32:06 (client local time) WITH STATUS 10 IN 1201.39 SECONDS
stats: 26125 0 1201.39 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: 80768
c small objective detected
c CONFLICT during preprocess 
c [startup+33.3184 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+35.4718 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+37.6257 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+39.7781 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+41.9327 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+44.0885 s]  setting bit 17 to 0
s SATISFIABLE
v s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit2 s01_bit3 -s01_bit4 s01_bit5 s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 s11_bit2 -s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 s21_bit2 -s21_bit3 -s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 s31_bit0 -s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 s31_bit2 -s31_bit3 -s31_bit4 s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 s41_bit3 s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 s51_bit0 -s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 s61_bit0 -s61_bit1 -s61_bit10 -s61_bit11 -s61_bit12 -s61_bit2 s61_bit3 s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 s61_bit8 -s61_bit9 -s61_bit_1 -s61_bit_2 -s61_bit_3 -s61_bit_4 -s61_bit_5 -s61_bit_6 -s61_bit_7 -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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 1/54 31186
Raw data (stat): 31186 (runsolver) R 31185 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972816379 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.0016 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 26128 0 0 0 941 57 0 0 25 0 1 0 972816379 77606912 15134 4294967295 134512640 135730672 3221224576 3221212092 135291163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18947 15134 301 301 0 18646 0
vsize: 75788
[startup+20.0023 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 51124 0 0 0 1891 108 0 0 25 0 1 0 972816379 151298048 29178 4294967295 134512640 135730672 3221224576 3221214396 135291064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36938 29178 301 301 0 36637 0
vsize: 147752
[startup+30.0035 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 75934 0 0 0 2842 157 0 0 25 0 1 0 972816379 219549696 43606 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53601 43606 301 301 0 53300 0
vsize: 214404
[startup+40.0046 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 82346 0 0 0 3827 171 0 0 25 0 1 0 972816379 235085824 45731 4294967295 134512640 135730672 3221224576 3221222864 134767238 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57394 45731 301 301 0 57093 0
vsize: 229576
[startup+50.0048 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85066 0 0 0 4821 177 0 0 25 0 1 0 972816379 230264832 45180 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56217 45180 301 301 0 55916 0
vsize: 224868
[startup+60.0051 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85079 0 0 0 5821 178 0 0 25 0 1 0 972816379 229998592 45128 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56152 45128 301 301 0 55851 0
vsize: 224608
[startup+70.0062 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85243 0 0 0 6821 178 0 0 25 0 1 0 972816379 231051264 45292 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56409 45292 301 301 0 56108 0
vsize: 225636
[startup+80.0064 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85245 0 0 0 7821 179 0 0 25 0 1 0 972816379 231051264 45294 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56409 45294 301 301 0 56108 0
vsize: 225636
[startup+90.0077 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85392 0 0 0 8820 179 0 0 25 0 1 0 972816379 232103936 45441 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45441 301 301 0 56365 0
vsize: 226664
[startup+100.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85395 0 0 0 9819 180 0 0 25 0 1 0 972816379 232103936 45444 4294967295 134512640 135730672 3221224576 3221222992 134748106 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45444 301 301 0 56365 0
vsize: 226664
[startup+110.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85398 0 0 0 10819 180 0 0 25 0 1 0 972816379 232103936 45447 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45447 301 301 0 56365 0
vsize: 226664
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85401 0 0 0 11820 180 0 0 25 0 1 0 972816379 232103936 45450 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45450 301 301 0 56365 0
vsize: 226664
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85408 0 0 0 12819 181 0 0 25 0 1 0 972816379 232103936 45457 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45457 301 301 0 56365 0
vsize: 226664
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85412 0 0 0 13819 181 0 0 25 0 1 0 972816379 232103936 45461 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45461 301 301 0 56365 0
vsize: 226664
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85414 0 0 0 14819 181 0 0 25 0 1 0 972816379 232103936 45463 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45463 301 301 0 56365 0
vsize: 226664
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85417 0 0 0 15819 182 0 0 25 0 1 0 972816379 232103936 45466 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45466 301 301 0 56365 0
vsize: 226664
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85421 0 0 0 16819 182 0 0 25 0 1 0 972816379 232103936 45470 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45470 301 301 0 56365 0
vsize: 226664
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85423 0 0 0 17818 182 0 0 25 0 1 0 972816379 232103936 45472 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45472 301 301 0 56365 0
vsize: 226664
[startup+190.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85426 0 0 0 18818 183 0 0 25 0 1 0 972816379 232103936 45475 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45475 301 301 0 56365 0
vsize: 226664
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85432 0 0 0 19818 183 0 0 25 0 1 0 972816379 232103936 45481 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45481 301 301 0 56365 0
vsize: 226664
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85436 0 0 0 20818 183 0 0 25 0 1 0 972816379 232103936 45485 4294967295 134512640 135730672 3221224576 3221222864 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56666 45485 301 301 0 56365 0
vsize: 226664
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85438 0 0 0 21818 183 0 0 25 0 1 0 972816379 232103936 45487 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45487 301 301 0 56365 0
vsize: 226664
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85443 0 0 0 22818 184 0 0 25 0 1 0 972816379 232103936 45492 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45492 301 301 0 56365 0
vsize: 226664
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85458 0 0 0 23818 184 0 0 25 0 1 0 972816379 232103936 45507 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45507 301 301 0 56365 0
vsize: 226664
[startup+250.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85461 0 0 0 24818 184 0 0 25 0 1 0 972816379 232103936 45510 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45510 301 301 0 56365 0
vsize: 226664
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85464 0 0 0 25818 184 0 0 25 0 1 0 972816379 232103936 45513 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45513 301 301 0 56365 0
vsize: 226664
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85467 0 0 0 26818 184 0 0 25 0 1 0 972816379 232103936 45516 4294967295 134512640 135730672 3221224576 3221222668 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45516 301 301 0 56365 0
vsize: 226664
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85469 0 0 0 27818 184 0 0 25 0 1 0 972816379 232103936 45518 4294967295 134512640 135730672 3221224576 3221222864 134747885 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45518 301 301 0 56365 0
vsize: 226664
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85477 0 0 0 28818 184 0 0 25 0 1 0 972816379 232103936 45526 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45526 301 301 0 56365 0
vsize: 226664
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85480 0 0 0 29818 184 0 0 25 0 1 0 972816379 232103936 45529 4294967295 134512640 135730672 3221224576 3221222864 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45529 301 301 0 56365 0
vsize: 226664
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85508 0 0 0 30818 185 0 0 25 0 1 0 972816379 232103936 45557 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45557 301 301 0 56365 0
vsize: 226664
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85517 0 0 0 31818 185 0 0 25 0 1 0 972816379 232103936 45566 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56666 45566 301 301 0 56365 0
vsize: 226664
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85605 0 0 0 32818 185 0 0 25 0 1 0 972816379 232632320 45654 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56795 45654 301 301 0 56494 0
vsize: 227180
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85607 0 0 0 33819 185 0 0 25 0 1 0 972816379 232632320 45656 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56795 45656 301 301 0 56494 0
vsize: 227180
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85610 0 0 0 34819 185 0 0 25 0 1 0 972816379 232632320 45659 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56795 45659 301 301 0 56494 0
vsize: 227180
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 85613 0 0 0 35819 185 0 0 25 0 1 0 972816379 232632320 45662 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56795 45662 301 301 0 56494 0
vsize: 227180
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 86464 0 0 0 36817 187 0 0 25 0 1 0 972816379 235544576 46187 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57506 46187 301 301 0 57205 0
vsize: 230024
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 87006 0 0 0 37817 188 0 0 25 0 1 0 972816379 237740032 46583 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58042 46583 301 301 0 57741 0
vsize: 232168
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 88074 0 0 0 38814 190 0 0 25 0 1 0 972816379 241045504 47196 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58849 47196 301 301 0 58548 0
vsize: 235396
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 88723 0 0 0 39813 191 0 0 25 0 1 0 972816379 243359744 47552 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59414 47552 301 301 0 59113 0
vsize: 237656
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 88962 0 0 0 40813 192 0 0 25 0 1 0 972816379 244088832 47710 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59592 47710 301 301 0 59291 0
vsize: 238368
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89218 0 0 0 41813 192 0 0 25 0 1 0 972816379 244879360 47836 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59785 47836 301 301 0 59484 0
vsize: 239140
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89231 0 0 0 42813 193 0 0 25 0 1 0 972816379 244879360 47849 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59785 47849 301 301 0 59484 0
vsize: 239140
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89397 0 0 0 43812 193 0 0 25 0 1 0 972816379 245276672 47950 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59882 47950 301 301 0 59581 0
vsize: 239528
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89404 0 0 0 44812 193 0 0 25 0 1 0 972816379 245276672 47957 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59882 47957 301 301 0 59581 0
vsize: 239528
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89546 0 0 0 45812 193 0 0 25 0 1 0 972816379 245538816 48034 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59946 48034 301 301 0 59645 0
vsize: 239784
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89762 0 0 0 46812 194 0 0 25 0 1 0 972816379 246063104 48120 4294967295 134512640 135730672 3221224576 3221223056 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60074 48120 301 301 0 59773 0
vsize: 240296
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89806 0 0 0 47813 194 0 0 25 0 1 0 972816379 246063104 48164 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60074 48164 301 301 0 59773 0
vsize: 240296
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89830 0 0 0 48813 194 0 0 25 0 1 0 972816379 246063104 48188 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60074 48188 301 301 0 59773 0
vsize: 240296
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89836 0 0 0 49813 194 0 0 25 0 1 0 972816379 246063104 48194 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60074 48194 301 301 0 59773 0
vsize: 240296
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 89884 0 0 0 50813 194 0 0 25 0 1 0 972816379 246063104 48242 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60074 48242 301 301 0 59773 0
vsize: 240296
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90097 0 0 0 51813 194 0 0 25 0 1 0 972816379 246718464 48293 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60234 48293 301 301 0 59933 0
vsize: 240936
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90233 0 0 0 52813 195 0 0 25 0 1 0 972816379 246980608 48364 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60298 48364 301 301 0 59997 0
vsize: 241192
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90240 0 0 0 53813 195 0 0 25 0 1 0 972816379 246980608 48371 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60298 48371 301 301 0 59997 0
vsize: 241192
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90480 0 0 0 54812 195 0 0 25 0 1 0 972816379 247644160 48513 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60460 48513 301 301 0 60159 0
vsize: 241840
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90625 0 0 0 55812 196 0 0 25 0 1 0 972816379 248168448 48529 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60588 48529 301 301 0 60287 0
vsize: 242352
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90631 0 0 0 56812 196 0 0 25 0 1 0 972816379 248168448 48535 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60588 48535 301 301 0 60287 0
vsize: 242352
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 90704 0 0 0 57812 196 0 0 25 0 1 0 972816379 248299520 48575 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60620 48575 301 301 0 60319 0
vsize: 242480
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91355 0 0 0 58811 197 0 0 25 0 1 0 972816379 250138624 48805 4294967295 134512640 135730672 3221224576 3221222968 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61069 48805 301 301 0 60768 0
vsize: 244276
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91392 0 0 0 59811 197 0 0 25 0 1 0 972816379 250273792 48842 4294967295 134512640 135730672 3221224576 3221223056 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61102 48842 301 301 0 60801 0
vsize: 244408
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91395 0 0 0 60811 197 0 0 25 0 1 0 972816379 250273792 48845 4294967295 134512640 135730672 3221224576 3221222864 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61102 48845 301 301 0 60801 0
vsize: 244408
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91402 0 0 0 61812 197 0 0 25 0 1 0 972816379 250273792 48852 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61102 48852 301 301 0 60801 0
vsize: 244408
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91451 0 0 0 62811 198 0 0 25 0 1 0 972816379 250404864 48868 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61134 48868 301 301 0 60833 0
vsize: 244536
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91465 0 0 0 63812 198 0 0 25 0 1 0 972816379 250404864 48882 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61134 48882 301 301 0 60833 0
vsize: 244536
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91769 0 0 0 64811 198 0 0 25 0 1 0 972816379 251191296 48992 4294967295 134512640 135730672 3221224576 3221222864 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 48992 301 301 0 61025 0
vsize: 245304
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91772 0 0 0 65811 198 0 0 25 0 1 0 972816379 251191296 48995 4294967295 134512640 135730672 3221224576 3221222864 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 48995 301 301 0 61025 0
vsize: 245304
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91775 0 0 0 66811 198 0 0 25 0 1 0 972816379 251191296 48998 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 48998 301 301 0 61025 0
vsize: 245304
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91777 0 0 0 67811 199 0 0 25 0 1 0 972816379 251191296 49000 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49000 301 301 0 61025 0
vsize: 245304
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91781 0 0 0 68812 199 0 0 25 0 1 0 972816379 251191296 49004 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49004 301 301 0 61025 0
vsize: 245304
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91784 0 0 0 69812 199 0 0 25 0 1 0 972816379 251191296 49007 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49007 301 301 0 61025 0
vsize: 245304
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91787 0 0 0 70812 199 0 0 25 0 1 0 972816379 251191296 49010 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49010 301 301 0 61025 0
vsize: 245304
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91791 0 0 0 71812 199 0 0 25 0 1 0 972816379 251191296 49014 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49014 301 301 0 61025 0
vsize: 245304
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91795 0 0 0 72812 199 0 0 25 0 1 0 972816379 251191296 49018 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49018 301 301 0 61025 0
vsize: 245304
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91797 0 0 0 73812 199 0 0 25 0 1 0 972816379 251191296 49020 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61326 49020 301 301 0 61025 0
vsize: 245304
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91839 0 0 0 74812 199 0 0 25 0 1 0 972816379 251457536 49062 4294967295 134512640 135730672 3221224576 3221223036 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61391 49062 301 301 0 61090 0
vsize: 245564
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91854 0 0 0 75812 199 0 0 25 0 1 0 972816379 251457536 49077 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61391 49077 301 301 0 61090 0
vsize: 245564
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91861 0 0 0 76813 199 0 0 25 0 1 0 972816379 251457536 49084 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61391 49084 301 301 0 61090 0
vsize: 245564
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 91943 0 0 0 77812 200 0 0 25 0 1 0 972816379 251719680 49101 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61455 49101 301 301 0 61154 0
vsize: 245820
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92158 0 0 0 78812 200 0 0 25 0 1 0 972816379 252243968 49187 4294967295 134512640 135730672 3221224576 3221223024 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49187 301 301 0 61282 0
vsize: 246332
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92160 0 0 0 79813 200 0 0 25 0 1 0 972816379 252243968 49189 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49189 301 301 0 61282 0
vsize: 246332
[startup+810.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92164 0 0 0 80813 200 0 0 25 0 1 0 972816379 252243968 49193 4294967295 134512640 135730672 3221224576 3221223012 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49193 301 301 0 61282 0
vsize: 246332
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92167 0 0 0 81813 200 0 0 25 0 1 0 972816379 252243968 49196 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49196 301 301 0 61282 0
vsize: 246332
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92170 0 0 0 82813 200 0 0 25 0 1 0 972816379 252243968 49199 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49199 301 301 0 61282 0
vsize: 246332
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92181 0 0 0 83813 200 0 0 25 0 1 0 972816379 252243968 49210 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49210 301 301 0 61282 0
vsize: 246332
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92185 0 0 0 84813 200 0 0 25 0 1 0 972816379 252243968 49214 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49214 301 301 0 61282 0
vsize: 246332
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92191 0 0 0 85813 200 0 0 25 0 1 0 972816379 252243968 49220 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49220 301 301 0 61282 0
vsize: 246332
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92199 0 0 0 86813 201 0 0 25 0 1 0 972816379 252243968 49228 4294967295 134512640 135730672 3221224576 3221223024 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49228 301 301 0 61282 0
vsize: 246332
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92203 0 0 0 87813 201 0 0 25 0 1 0 972816379 252243968 49232 4294967295 134512640 135730672 3221224576 3221222864 134747608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49232 301 301 0 61282 0
vsize: 246332
[startup+890.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92206 0 0 0 88813 201 0 0 25 0 1 0 972816379 252243968 49235 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49235 301 301 0 61282 0
vsize: 246332
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92211 0 0 0 89813 201 0 0 25 0 1 0 972816379 252243968 49240 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49240 301 301 0 61282 0
vsize: 246332
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92215 0 0 0 90813 201 0 0 25 0 1 0 972816379 252243968 49244 4294967295 134512640 135730672 3221224576 3221222688 134732459 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49244 301 301 0 61282 0
vsize: 246332
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92219 0 0 0 91813 201 0 0 25 0 1 0 972816379 252243968 49248 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49248 301 301 0 61282 0
vsize: 246332
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92222 0 0 0 92813 202 0 0 25 0 1 0 972816379 252243968 49251 4294967295 134512640 135730672 3221224576 3221222992 134748132 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49251 301 301 0 61282 0
vsize: 246332
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92224 0 0 0 93814 202 0 0 25 0 1 0 972816379 252243968 49253 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49253 301 301 0 61282 0
vsize: 246332
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92229 0 0 0 94814 202 0 0 25 0 1 0 972816379 252243968 49258 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49258 301 301 0 61282 0
vsize: 246332
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92232 0 0 0 95814 202 0 0 25 0 1 0 972816379 252243968 49261 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49261 301 301 0 61282 0
vsize: 246332
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92235 0 0 0 96814 202 0 0 25 0 1 0 972816379 252243968 49264 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49264 301 301 0 61282 0
vsize: 246332
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92238 0 0 0 97814 202 0 0 25 0 1 0 972816379 252243968 49267 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49267 301 301 0 61282 0
vsize: 246332
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92242 0 0 0 98814 202 0 0 25 0 1 0 972816379 252243968 49271 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49271 301 301 0 61282 0
vsize: 246332
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92244 0 0 0 99815 202 0 0 25 0 1 0 972816379 252243968 49273 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49273 301 301 0 61282 0
vsize: 246332
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92247 0 0 0 100815 202 0 0 25 0 1 0 972816379 252243968 49276 4294967295 134512640 135730672 3221224576 3221222984 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49276 301 301 0 61282 0
vsize: 246332
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92252 0 0 0 101815 202 0 0 25 0 1 0 972816379 252243968 49281 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49281 301 301 0 61282 0
vsize: 246332
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92254 0 0 0 102815 202 0 0 25 0 1 0 972816379 252243968 49283 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49283 301 301 0 61282 0
vsize: 246332
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92257 0 0 0 103815 202 0 0 25 0 1 0 972816379 252243968 49286 4294967295 134512640 135730672 3221224576 3221222956 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49286 301 301 0 61282 0
vsize: 246332
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92262 0 0 0 104815 203 0 0 25 0 1 0 972816379 252243968 49291 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49291 301 301 0 61282 0
vsize: 246332
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92266 0 0 0 105815 203 0 0 25 0 1 0 972816379 252243968 49295 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49295 301 301 0 61282 0
vsize: 246332
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92270 0 0 0 106815 203 0 0 25 0 1 0 972816379 252243968 49299 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49299 301 301 0 61282 0
vsize: 246332
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92275 0 0 0 107815 203 0 0 25 0 1 0 972816379 252243968 49304 4294967295 134512640 135730672 3221224576 3221222864 134747874 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49304 301 301 0 61282 0
vsize: 246332
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92278 0 0 0 108815 203 0 0 25 0 1 0 972816379 252243968 49307 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49307 301 301 0 61282 0
vsize: 246332
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92284 0 0 0 109816 203 0 0 25 0 1 0 972816379 252243968 49313 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49313 301 301 0 61282 0
vsize: 246332
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92288 0 0 0 110816 203 0 0 25 0 1 0 972816379 252243968 49317 4294967295 134512640 135730672 3221224576 3221222992 134748194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49317 301 301 0 61282 0
vsize: 246332
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92291 0 0 0 111816 203 0 0 25 0 1 0 972816379 252243968 49320 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49320 301 301 0 61282 0
vsize: 246332
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92295 0 0 0 112816 203 0 0 25 0 1 0 972816379 252243968 49324 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49324 301 301 0 61282 0
vsize: 246332
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92310 0 0 0 113816 203 0 0 25 0 1 0 972816379 252243968 49339 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49339 301 301 0 61282 0
vsize: 246332
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92314 0 0 0 114816 203 0 0 25 0 1 0 972816379 252243968 49343 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49343 301 301 0 61282 0
vsize: 246332
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 92319 0 0 0 115817 203 0 0 25 0 1 0 972816379 252243968 49348 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 61583 49348 301 301 0 61282 0
vsize: 246332
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 93007 0 0 0 116816 205 0 0 25 0 1 0 972816379 254627840 49709 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62165 49709 301 301 0 61864 0
vsize: 248660
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 93014 0 0 0 117816 205 0 0 25 0 1 0 972816379 254627840 49716 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62165 49716 301 301 0 61864 0
vsize: 248660
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 93017 0 0 0 118816 205 0 0 25 0 1 0 972816379 254627840 49719 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62165 49719 301 301 0 61864 0
vsize: 248660
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31186
Raw data (stat): 31186 (pb2sat-v2) R 31185 21152 21151 0 -1 0 93022 0 0 0 119816 205 0 0 25 0 1 0 972816379 254627840 49724 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62165 49724 301 301 0 61864 0
vsize: 248660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31186
Raw data (stat): 31186 (pb2sat-v2) Z 31185 21152 21151 0 -1 12 93024 0 0 0 119923 215 0 0 25 0 1 0 972816379 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): 1201.23
CPU time (s): 1201.39
CPU user time (s): 1199.24
CPU system time (s): 2.15067
CPU usage (%): 100.013
Max. virtual memory (Kb): 248660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	80768
#### END VERIFIER DATA ####