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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-markshare1_1.opb
MD5SUM	452acf9ed3adc2d2cfe293dad01c0934
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	167110
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.02
Number of variables	280
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	45
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	130
Trace number 42601

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 12:14:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25814 boxname=wulflinc3 idbench=1114 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  452acf9ed3adc2d2cfe293dad01c0934  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1_1.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-markshare1_1.opb
IDLAUNCH: 25814
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        667944 kB
Buffers:         21388 kB
Cached:         323368 kB
SwapCached:        820 kB
Active:          30492 kB
Inactive:       316396 kB
HighTotal:      131008 kB
HighFree:         1652 kB
LowTotal:       903652 kB
LowFree:        666292 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14020 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:34:14 (client local time) WITH STATUS 0 IN 1202.27 SECONDS
stats: 25814 0 1202.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 698720
c small objective detected
c CONFLICT during preprocess 
c [startup+49.6607 s]  setting bit 32 to 0
c CONFLICT during preprocess 
c [startup+53.1504 s]  setting bit 31 to 0
c CONFLICT during preprocess 
c [startup+56.6331 s]  setting bit 30 to 0
c CONFLICT during preprocess 
c [startup+60.1249 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+63.6129 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+67.093 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+70.5962 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+74.1217 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+77.6476 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+81.1675 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+84.688 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+88.2053 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+91.7253 s]  setting bit 20 to 0
c got solution with objective value: 167110
c [startup+216.64 s]  setting bit 19 to 1
c CONFLICT during preprocess 
c [startup+220.11 s]  setting bit 18 to 0
s SATISFIABLE
v -s01_bit0 -s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 -s01_bit13 -s01_bit14 -s01_bit15 -s01_bit16 -s01_bit17 -s01_bit18 -s01_bit19 -s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 s01_bit_10 -s01_bit_2 -s01_bit_3 -s01_bit_4 s01_bit_5 -s01_bit_6 s01_bit_7 s01_bit_8 s01_bit_9 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 -s11_bit13 -s11_bit14 -s11_bit15 -s11_bit16 -s11_bit17 -s11_bit18 -s11_bit19 s11_bit2 s11_bit3 -s11_bit4 s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 s11_bit_1 s11_bit_10 s11_bit_2 s11_bit_3 -s11_bit_4 s11_bit_5 -s11_bit_6 s11_bit_7 s11_bit_8 -s11_bit_9 -s21_bit0 s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 -s21_bit13 -s21_bit14 -s21_bit15 -s21_bit16 -s21_bit17 -s21_bit18 -s21_bit19 s21_bit2 -s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 s21_bit_1 -s21_bit_10 s21_bit_2 s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 s21_bit_7 s21_bit_8 -s21_bit_9 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit13 -s31_bit14 -s31_bit15 -s31_bit16 -s31_bit17 -s31_bit18 -s31_bit19 -s31_bit2 s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_10 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 s31_bit_6 -s31_bit_7 s31_bit_8 -s31_bit_9 s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit13 -s41_bit14 -s41_bit15 -s41_bit16 -s41_bit17 -s41_bit18 -s41_bit19 -s41_bit2 -s41_bit3 -s41_bit4 s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 s41_bit_10 -s41_bit_2 s41_bit_3 s41_bit_4 s41_bit_5 -s41_bit_6 -s41_bit_7 -s41_bit_8 s41_bit_9 s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 -s51_bit13 -s51_bit14 -s51_bit15 -s51_bit16 -s51_bit17 -s51_bit18 -s51_bit19 s51_bit2 s51_bit3 s51_bit4 s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 s51_bit_10 -s51_bit_2 -s51_bit_3 s51_bit_4 s51_bit_5 -s51_bit_6 -s51_bit_7 s51_bit_8 s51_bit_9 -x0_bit0 -x0_bit_1 -x0_bit_10 -x0_bit_2 -x0_bit_3 x0_bit_4 x0_bit_5 x0_bit_6 x0_bit_7 x0_bit_8 x0_bit_9 -x10_bit0 x11_bit0 -x12_bit0 -x13_bit0 x14_bit0 x15_bit0 -x16_bit0 x17_bit0 x18_bit0 -x19_bit0 -x1_bit0 x20_bit0 x21_bit0 x22_bit0 x23_bit0 -x24_bit0 -x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x2_bit0 -x30_bit0 -x31_bit0 -x32_bit0 x33_bit0 x34_bit0 x35_bit0 x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 x3_bit0 x40_bit0 x41_bit0 -x42_bit0 -x43_bit0 x44_bit0 -x45_bit0 -x45_bit_1 -x45_bit_10 -x45_bit_2 -x45_bit_3 x45_bit_4 -x45_bit_5 -x45_bit_6 -x45_bit_7 -x45_bit_8 -x45_bit_9 -x46_bit0 x46_bit_1 x46_bit_10 -x46_bit_2 -x46_bit_3 x46_bit_4 x46_bit_5 x46_bit_6 x46_bit_7 x46_bit_8 x46_bit_9 -x47_bit0 x47_bit_1 -x47_bit_10 -x47_bit_2 -x47_bit_3 -x47_bit_4 -x47_bit_5 -x47_bit_6 x47_bit_7 -x47_bit_8 -x47_bit_9 x48_bit0 -x49_bit0 x49_bit_1 -x49_bit_10 -x49_bit_2 -x49_bit_3 -x49_bit_4 -x49_bit_5 -x49_bit_6 -x49_bit_7 -x49_bit_8 -x49_bit_9 -x4_bit0 x5_bit0 x6_bit0 x7_bit0 -x8_bit0 -x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 21960
Raw data (stat): 21960 (runsolver) R 21959 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970669985 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99976 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 26718 0 0 0 945 53 0 0 25 0 1 0 970669985 79597568 15716 4294967295 134512640 135730672 3221224576 3221191836 134637873 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19433 15716 301 301 0 19132 0
vsize: 77732
[startup+20.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 52645 0 0 0 1896 103 0 0 25 0 1 0 970669985 154669056 30428 4294967295 134512640 135730672 3221224576 3221210512 134770057 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37761 30428 301 301 0 37460 0
vsize: 151044
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 89610 0 0 0 2818 181 0 0 25 0 1 0 970669985 266739712 45721 4294967295 134512640 135730672 3221224576 3221208800 134770867 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65122 45721 301 301 0 64821 0
vsize: 260488
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 102546 0 0 0 3789 209 0 0 25 0 1 0 970669985 300699648 58420 4294967295 134512640 135730672 3221224576 3221207056 134549939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73413 58422 301 301 0 73112 0
vsize: 293652
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 112972 0 0 0 4767 231 0 0 25 0 1 0 970669985 333557760 63537 4294967295 134512640 135730672 3221224576 3221222864 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81435 63537 301 301 0 81134 0
vsize: 325740
[startup+60.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 117514 0 0 0 5755 242 0 0 25 0 1 0 970669985 326803456 63132 4294967295 134512640 135730672 3221224576 3221223088 134739830 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79786 63132 301 301 0 79485 0
vsize: 319144
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 122462 0 0 0 6742 255 0 0 25 0 1 0 970669985 326803456 63133 4294967295 134512640 135730672 3221224576 3221223088 134739840 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79786 63133 301 301 0 79485 0
vsize: 319144
[startup+80.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 127409 0 0 0 7730 267 0 0 25 0 1 0 970669985 326803456 63133 4294967295 134512640 135730672 3221224576 3221222912 134749378 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79786 63133 301 301 0 79485 0
vsize: 319144
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 132357 0 0 0 8719 278 0 0 25 0 1 0 970669985 333557760 64783 4294967295 134512640 135730672 3221224576 3221222664 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81435 64783 301 301 0 81134 0
vsize: 325740
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 134913 0 0 0 9713 284 0 0 25 0 1 0 970669985 329347072 63586 4294967295 134512640 135730672 3221224576 3221222864 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80407 63586 301 301 0 80106 0
vsize: 321628
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 135999 0 0 0 10711 286 0 0 25 0 1 0 970669985 332312576 64092 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81131 64092 301 301 0 80830 0
vsize: 324524
[startup+120.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 137248 0 0 0 11710 288 0 0 25 0 1 0 970669985 335355904 64632 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81874 64632 301 301 0 81573 0
vsize: 327496
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 138369 0 0 0 12708 290 0 0 25 0 1 0 970669985 338837504 65263 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82724 65263 301 301 0 82423 0
vsize: 330896
[startup+140.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 140587 0 0 0 13704 294 0 0 25 0 1 0 970669985 346378240 66595 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84565 66595 301 301 0 84264 0
vsize: 338260
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 141490 0 0 0 14703 296 0 0 25 0 1 0 970669985 349282304 67109 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85274 67109 301 301 0 84973 0
vsize: 341096
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 142196 0 0 0 15702 297 0 0 25 0 1 0 970669985 351064064 67476 4294967295 134512640 135730672 3221224576 3221222696 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85709 67476 301 301 0 85408 0
vsize: 342836
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 142526 0 0 0 16701 298 0 0 25 0 1 0 970669985 352088064 67708 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85959 67708 301 301 0 85658 0
vsize: 343836
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 144124 0 0 0 17698 301 0 0 25 0 1 0 970669985 357482496 68688 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87276 68688 301 301 0 86975 0
vsize: 349104
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 144581 0 0 0 18697 303 0 0 25 0 1 0 970669985 359026688 68885 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87653 68885 301 301 0 87352 0
vsize: 350612
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 145898 0 0 0 19694 305 0 0 25 0 1 0 970669985 363819008 69713 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88823 69713 301 301 0 88522 0
vsize: 355292
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 147326 0 0 0 20692 308 0 0 25 0 1 0 970669985 367894528 70301 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89818 70301 301 301 0 89517 0
vsize: 359272
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 149147 0 0 0 21687 313 0 0 25 0 1 0 970669985 368287744 70375 4294967295 134512640 135730672 3221224576 3221223088 134739838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89914 70375 301 301 0 89613 0
vsize: 359656
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 152124 0 0 0 22680 319 0 0 25 0 1 0 970669985 372248576 71148 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90881 71148 301 301 0 90580 0
vsize: 363524
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 152402 0 0 0 23679 320 0 0 25 0 1 0 970669985 372908032 71328 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91042 71328 301 301 0 90741 0
vsize: 364168
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 152743 0 0 0 24679 321 0 0 25 0 1 0 970669985 373960704 71475 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91299 71475 301 301 0 90998 0
vsize: 365196
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 153052 0 0 0 25678 321 0 0 25 0 1 0 970669985 374747136 71590 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91491 71590 301 301 0 91190 0
vsize: 365964
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 153160 0 0 0 26679 321 0 0 25 0 1 0 970669985 375144448 71665 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91588 71665 301 301 0 91287 0
vsize: 366352
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 153314 0 0 0 27679 321 0 0 25 0 1 0 970669985 375672832 71754 4294967295 134512640 135730672 3221224576 3221222992 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91717 71754 301 301 0 91416 0
vsize: 366868
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 153506 0 0 0 28678 322 0 0 25 0 1 0 970669985 376463360 71817 4294967295 134512640 135730672 3221224576 3221223024 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91910 71817 301 301 0 91609 0
vsize: 367640
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 153806 0 0 0 29678 322 0 0 25 0 1 0 970669985 377249792 71923 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92102 71923 301 301 0 91801 0
vsize: 368408
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154003 0 0 0 30678 322 0 0 25 0 1 0 970669985 378040320 71991 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92295 71991 301 301 0 91994 0
vsize: 369180
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154031 0 0 0 31678 322 0 0 25 0 1 0 970669985 378040320 72019 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92295 72019 301 301 0 91994 0
vsize: 369180
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154234 0 0 0 32678 323 0 0 25 0 1 0 970669985 378568704 72157 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92424 72157 301 301 0 92123 0
vsize: 369696
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154424 0 0 0 33678 323 0 0 25 0 1 0 970669985 379092992 72218 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92552 72218 301 301 0 92251 0
vsize: 370208
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154490 0 0 0 34678 323 0 0 25 0 1 0 970669985 379092992 72284 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92552 72284 301 301 0 92251 0
vsize: 370208
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154659 0 0 0 35678 324 0 0 25 0 1 0 970669985 379617280 72323 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92680 72323 301 301 0 92379 0
vsize: 370720
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 154951 0 0 0 36677 325 0 0 25 0 1 0 970669985 380403712 72421 4294967295 134512640 135730672 3221224576 3221222864 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92872 72421 301 301 0 92571 0
vsize: 371488
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155127 0 0 0 37677 325 0 0 25 0 1 0 970669985 380932096 72532 4294967295 134512640 135730672 3221224576 3221222864 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93001 72532 301 301 0 92700 0
vsize: 372004
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155166 0 0 0 38677 325 0 0 25 0 1 0 970669985 380932096 72571 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93001 72571 301 301 0 92700 0
vsize: 372004
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155174 0 0 0 39678 325 0 0 25 0 1 0 970669985 380932096 72579 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93001 72579 301 301 0 92700 0
vsize: 372004
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155350 0 0 0 40677 325 0 0 25 0 1 0 970669985 381456384 72626 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72626 301 301 0 92828 0
vsize: 372516
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155356 0 0 0 41678 325 0 0 25 0 1 0 970669985 381456384 72632 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72632 301 301 0 92828 0
vsize: 372516
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155380 0 0 0 42678 325 0 0 25 0 1 0 970669985 381456384 72656 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72656 301 301 0 92828 0
vsize: 372516
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155384 0 0 0 43678 325 0 0 25 0 1 0 970669985 381456384 72660 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72660 301 301 0 92828 0
vsize: 372516
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155389 0 0 0 44678 325 0 0 25 0 1 0 970669985 381456384 72665 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72665 301 301 0 92828 0
vsize: 372516
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155394 0 0 0 45678 325 0 0 25 0 1 0 970669985 381456384 72670 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72670 301 301 0 92828 0
vsize: 372516
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155407 0 0 0 46678 325 0 0 25 0 1 0 970669985 381456384 72683 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72683 301 301 0 92828 0
vsize: 372516
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155427 0 0 0 47679 325 0 0 25 0 1 0 970669985 381456384 72703 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93129 72703 301 301 0 92828 0
vsize: 372516
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155690 0 0 0 48678 326 0 0 25 0 1 0 970669985 381980672 72837 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93257 72837 301 301 0 92956 0
vsize: 373028
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155725 0 0 0 49678 326 0 0 25 0 1 0 970669985 381980672 72872 4294967295 134512640 135730672 3221224576 3221223024 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93257 72872 301 301 0 92956 0
vsize: 373028
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155728 0 0 0 50678 326 0 0 25 0 1 0 970669985 381980672 72875 4294967295 134512640 135730672 3221224576 3221222992 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93257 72875 301 301 0 92956 0
vsize: 373028
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155851 0 0 0 51679 326 0 0 25 0 1 0 970669985 382242816 72933 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72933 301 301 0 93020 0
vsize: 373284
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155886 0 0 0 52679 326 0 0 25 0 1 0 970669985 382242816 72968 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72968 301 301 0 93020 0
vsize: 373284
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155889 0 0 0 53679 326 0 0 25 0 1 0 970669985 382242816 72971 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72971 301 301 0 93020 0
vsize: 373284
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155893 0 0 0 54679 326 0 0 25 0 1 0 970669985 382242816 72975 4294967295 134512640 135730672 3221224576 3221222864 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72975 301 301 0 93020 0
vsize: 373284
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155895 0 0 0 55679 327 0 0 25 0 1 0 970669985 382242816 72977 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72977 301 301 0 93020 0
vsize: 373284
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155909 0 0 0 56679 327 0 0 25 0 1 0 970669985 382242816 72991 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72991 301 301 0 93020 0
vsize: 373284
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155912 0 0 0 57679 327 0 0 25 0 1 0 970669985 382242816 72994 4294967295 134512640 135730672 3221224576 3221222864 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72994 301 301 0 93020 0
vsize: 373284
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 155914 0 0 0 58680 327 0 0 25 0 1 0 970669985 382242816 72996 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 72996 301 301 0 93020 0
vsize: 373284
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156015 0 0 0 59680 327 0 0 25 0 1 0 970669985 382242816 73097 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73097 301 301 0 93020 0
vsize: 373284
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156017 0 0 0 60680 327 0 0 25 0 1 0 970669985 382242816 73099 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73099 301 301 0 93020 0
vsize: 373284
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156021 0 0 0 61680 327 0 0 25 0 1 0 970669985 382242816 73103 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73103 301 301 0 93020 0
vsize: 373284
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156025 0 0 0 62680 327 0 0 25 0 1 0 970669985 382242816 73107 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73107 301 301 0 93020 0
vsize: 373284
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156027 0 0 0 63680 327 0 0 25 0 1 0 970669985 382242816 73109 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73109 301 301 0 93020 0
vsize: 373284
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156053 0 0 0 64680 327 0 0 25 0 1 0 970669985 382242816 73135 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93321 73135 301 301 0 93020 0
vsize: 373284
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156212 0 0 0 65680 328 0 0 25 0 1 0 970669985 382771200 73229 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93450 73229 301 301 0 93149 0
vsize: 373800
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156219 0 0 0 66680 328 0 0 25 0 1 0 970669985 382771200 73236 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93450 73236 301 301 0 93149 0
vsize: 373800
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156579 0 0 0 67680 329 0 0 25 0 1 0 970669985 383819776 73339 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93706 73339 301 301 0 93405 0
vsize: 374824
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156583 0 0 0 68680 329 0 0 25 0 1 0 970669985 383819776 73343 4294967295 134512640 135730672 3221224576 3221222700 134739224 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93706 73343 301 301 0 93405 0
vsize: 374824
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 156720 0 0 0 69680 329 0 0 25 0 1 0 970669985 384352256 73480 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93836 73480 301 301 0 93535 0
vsize: 375344
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 157309 0 0 0 70679 330 0 0 25 0 1 0 970669985 386199552 73809 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94287 73809 301 301 0 93986 0
vsize: 377148
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 157429 0 0 0 71679 330 0 0 25 0 1 0 970669985 386461696 73864 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94351 73864 301 301 0 94050 0
vsize: 377404
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 157761 0 0 0 72678 331 0 0 25 0 1 0 970669985 387510272 73937 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94607 73937 301 301 0 94306 0
vsize: 378428
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 157953 0 0 0 73678 332 0 0 25 0 1 0 970669985 388034560 74000 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94735 74000 301 301 0 94434 0
vsize: 378940
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 157957 0 0 0 74678 332 0 0 25 0 1 0 970669985 388034560 74004 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94735 74004 301 301 0 94434 0
vsize: 378940
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 158672 0 0 0 75677 333 0 0 25 0 1 0 970669985 390557696 74424 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95351 74424 301 301 0 95050 0
vsize: 381404
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159097 0 0 0 76676 334 0 0 25 0 1 0 970669985 391872512 74590 4294967295 134512640 135730672 3221224576 3221223056 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95672 74590 301 301 0 95371 0
vsize: 382688
[startup+780.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159327 0 0 0 77676 335 0 0 25 0 1 0 970669985 392396800 74691 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95800 74691 301 301 0 95499 0
vsize: 383200
[startup+790.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159364 0 0 0 78676 335 0 0 25 0 1 0 970669985 392396800 74728 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95800 74728 301 301 0 95499 0
vsize: 383200
[startup+800.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159368 0 0 0 79676 335 0 0 25 0 1 0 970669985 392396800 74732 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95800 74732 301 301 0 95499 0
vsize: 383200
[startup+810.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159371 0 0 0 80676 335 0 0 25 0 1 0 970669985 392396800 74735 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95800 74735 301 301 0 95499 0
vsize: 383200
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159672 0 0 0 81676 335 0 0 25 0 1 0 970669985 393318400 74873 4294967295 134512640 135730672 3221224576 3221222864 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96025 74873 301 301 0 95724 0
vsize: 384100
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159678 0 0 0 82676 335 0 0 25 0 1 0 970669985 393318400 74879 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96025 74879 301 301 0 95724 0
vsize: 384100
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159714 0 0 0 83677 335 0 0 25 0 1 0 970669985 393318400 74915 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96025 74915 301 301 0 95724 0
vsize: 384100
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159753 0 0 0 84676 336 0 0 25 0 1 0 970669985 393318400 74954 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96025 74954 301 301 0 95724 0
vsize: 384100
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 159926 0 0 0 85676 336 0 0 25 0 1 0 970669985 393846784 75062 4294967295 134512640 135730672 3221224576 3221222864 134747460 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96154 75062 301 301 0 95853 0
vsize: 384616
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160229 0 0 0 86675 337 0 0 25 0 1 0 970669985 394768384 75202 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96379 75202 301 301 0 96078 0
vsize: 385516
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160314 0 0 0 87675 337 0 0 25 0 1 0 970669985 395030528 75222 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96443 75222 301 301 0 96142 0
vsize: 385772
[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160415 0 0 0 88675 338 0 0 25 0 1 0 970669985 395292672 75258 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75258 301 301 0 96206 0
vsize: 386028
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160417 0 0 0 89676 338 0 0 25 0 1 0 970669985 395292672 75260 4294967295 134512640 135730672 3221224576 3221222688 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75260 301 301 0 96206 0
vsize: 386028
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160421 0 0 0 90676 338 0 0 25 0 1 0 970669985 395292672 75264 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75264 301 301 0 96206 0
vsize: 386028
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160452 0 0 0 91676 338 0 0 25 0 1 0 970669985 395292672 75295 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75295 301 301 0 96206 0
vsize: 386028
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160463 0 0 0 92676 338 0 0 25 0 1 0 970669985 395292672 75306 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75306 301 301 0 96206 0
vsize: 386028
[startup+940.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160467 0 0 0 93676 338 0 0 25 0 1 0 970669985 395292672 75310 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75310 301 301 0 96206 0
vsize: 386028
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160470 0 0 0 94676 338 0 0 25 0 1 0 970669985 395292672 75313 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75313 301 301 0 96206 0
vsize: 386028
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160494 0 0 0 95676 338 0 0 25 0 1 0 970669985 395292672 75337 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75337 301 301 0 96206 0
vsize: 386028
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160496 0 0 0 96677 338 0 0 25 0 1 0 970669985 395292672 75339 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75339 301 301 0 96206 0
vsize: 386028
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160499 0 0 0 97677 338 0 0 25 0 1 0 970669985 395292672 75342 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75342 301 301 0 96206 0
vsize: 386028
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160504 0 0 0 98677 338 0 0 25 0 1 0 970669985 395292672 75347 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75347 301 301 0 96206 0
vsize: 386028
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160512 0 0 0 99677 338 0 0 25 0 1 0 970669985 395292672 75355 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75355 301 301 0 96206 0
vsize: 386028
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160549 0 0 0 100677 338 0 0 25 0 1 0 970669985 395292672 75392 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75392 301 301 0 96206 0
vsize: 386028
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160552 0 0 0 101677 338 0 0 25 0 1 0 970669985 395292672 75395 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75395 301 301 0 96206 0
vsize: 386028
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160556 0 0 0 102678 338 0 0 25 0 1 0 970669985 395292672 75399 4294967295 134512640 135730672 3221224576 3221222864 134747811 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75399 301 301 0 96206 0
vsize: 386028
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160580 0 0 0 103678 338 0 0 25 0 1 0 970669985 395292672 75423 4294967295 134512640 135730672 3221224576 3221222688 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75423 301 301 0 96206 0
vsize: 386028
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160584 0 0 0 104678 338 0 0 25 0 1 0 970669985 395292672 75427 4294967295 134512640 135730672 3221224576 3221222864 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75427 301 301 0 96206 0
vsize: 386028
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160588 0 0 0 105678 338 0 0 25 0 1 0 970669985 395292672 75431 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75431 301 301 0 96206 0
vsize: 386028
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160592 0 0 0 106678 338 0 0 25 0 1 0 970669985 395292672 75435 4294967295 134512640 135730672 3221224576 3221222864 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75435 301 301 0 96206 0
vsize: 386028
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160640 0 0 0 107679 338 0 0 25 0 1 0 970669985 395292672 75483 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75483 301 301 0 96206 0
vsize: 386028
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160644 0 0 0 108679 338 0 0 25 0 1 0 970669985 395292672 75487 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75487 301 301 0 96206 0
vsize: 386028
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160647 0 0 0 109679 338 0 0 25 0 1 0 970669985 395292672 75490 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75490 301 301 0 96206 0
vsize: 386028
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160651 0 0 0 110679 338 0 0 25 0 1 0 970669985 395292672 75494 4294967295 134512640 135730672 3221224576 3221222864 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75494 301 301 0 96206 0
vsize: 386028
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160684 0 0 0 111679 338 0 0 25 0 1 0 970669985 395292672 75527 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75527 301 301 0 96206 0
vsize: 386028
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160687 0 0 0 112679 338 0 0 25 0 1 0 970669985 395292672 75530 4294967295 134512640 135730672 3221224576 3221222992 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75530 301 301 0 96206 0
vsize: 386028
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160691 0 0 0 113679 339 0 0 25 0 1 0 970669985 395292672 75534 4294967295 134512640 135730672 3221224576 3221222968 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75534 301 301 0 96206 0
vsize: 386028
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160696 0 0 0 114680 339 0 0 25 0 1 0 970669985 395292672 75539 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75539 301 301 0 96206 0
vsize: 386028
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160700 0 0 0 115680 339 0 0 25 0 1 0 970669985 395292672 75543 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75543 301 301 0 96206 0
vsize: 386028
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160704 0 0 0 116680 339 0 0 25 0 1 0 970669985 395292672 75547 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75547 301 301 0 96206 0
vsize: 386028
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160708 0 0 0 117680 339 0 0 25 0 1 0 970669985 395292672 75551 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75551 301 301 0 96206 0
vsize: 386028
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160711 0 0 0 118680 339 0 0 25 0 1 0 970669985 395292672 75554 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75554 301 301 0 96206 0
vsize: 386028
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160715 0 0 0 119680 339 0 0 25 0 1 0 970669985 395292672 75558 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75558 301 301 0 96206 0
vsize: 386028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 21960
Raw data (stat): 21960 (pb2sat-v2) R 21959 20224 20223 0 -1 0 160715 0 0 0 119680 339 0 0 25 0 1 0 970669985 395292672 75558 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96507 75558 301 301 0 96206 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.12
CPU time (s): 1202.27
CPU user time (s): 1198.73
CPU system time (s): 3.54346
CPU usage (%): 100.012
Max. virtual memory (Kb): 386028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	167110
#### END VERIFIER DATA ####