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-markshare1.opb
MD5SUM	ba87f5dfbaed559dc55bc00bf07dc880
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3712
Optimality of the best value was proved	NO
Number of terms in the objective function	120
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6291450
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	6291450
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.68
Number of variables	170
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	70
Trace number 42915

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        669460 kB
Buffers:         24100 kB
Cached:         318764 kB
SwapCached:       1420 kB
Active:          25044 kB
Inactive:       319888 kB
HighTotal:      131008 kB
HighFree:         7224 kB
LowTotal:       903652 kB
LowFree:        662236 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14420 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:29:22 (client local time) WITH STATUS 10 IN 1200.83 SECONDS
stats: 26124 0 1200.83 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: 36224
c small objective detected
c CONFLICT during preprocess 
c [startup+18.3096 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+19.5243 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+20.7443 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+21.9593 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+23.1748 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+24.3912 s]  setting bit 17 to 0
c CONFLICT during preprocess 
c [startup+25.6056 s]  setting bit 16 to 0

c Decision: 10920/304291	Time: 702.713/86400
c Decision: 10920/304291	Time: 769.09/86400
c Decision: 10920/304291	Time: 849.294/86400
c Decision: 10946/304291	Time: 963.218/86400
c Decision: 10946/304291	Time: 1037.17/86400
c Decision: 10946/304291	Time: 1142.08/86400s SATISFIABLE
v -s01_bit0 s01_bit1 -s01_bit10 -s01_bit11 -s01_bit12 s01_bit2 -s01_bit3 -s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit_1 -s01_bit_2 -s01_bit_3 -s01_bit_4 -s01_bit_5 -s01_bit_6 -s01_bit_7 s11_bit0 s11_bit1 -s11_bit10 -s11_bit11 -s11_bit12 s11_bit2 -s11_bit3 -s11_bit4 s11_bit5 s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit_1 -s11_bit_2 -s11_bit_3 -s11_bit_4 -s11_bit_5 -s11_bit_6 -s11_bit_7 -s21_bit0 -s21_bit1 -s21_bit10 -s21_bit11 -s21_bit12 s21_bit2 s21_bit3 -s21_bit4 -s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit_1 -s21_bit_2 -s21_bit_3 -s21_bit_4 -s21_bit_5 -s21_bit_6 -s21_bit_7 -s31_bit0 s31_bit1 -s31_bit10 -s31_bit11 -s31_bit12 -s31_bit2 -s31_bit3 s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit_1 -s31_bit_2 -s31_bit_3 -s31_bit_4 -s31_bit_5 -s31_bit_6 -s31_bit_7 -s41_bit0 s41_bit1 -s41_bit10 -s41_bit11 -s41_bit12 -s41_bit2 s41_bit3 s41_bit4 s41_bit5 s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit_1 -s41_bit_2 -s41_bit_3 -s41_bit_4 -s41_bit_5 -s41_bit_6 -s41_bit_7 -s51_bit0 s51_bit1 -s51_bit10 -s51_bit11 -s51_bit12 s51_bit2 -s51_bit3 s51_bit4 -s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit_1 -s51_bit_2 -s51_bit_3 -s51_bit_4 -s51_bit_5 -s51_bit_6 -s51_bit_7 -x0_bit0 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 x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 x9_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.83 0.92 0.90 2/54 14265
Raw data (stat): 14265 (runsolver) R 14264 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972814200 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+10.0009 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 26144 0 0 0 939 59 0 0 25 0 1 0 972814200 76783616 15144 4294967295 134512640 135730672 3221224576 3221209696 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18746 15145 301 301 0 18445 0
vsize: 74984
[startup+20.0022 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 49169 0 0 0 1892 106 0 0 25 0 1 0 972814200 145502208 25444 4294967295 134512640 135730672 3221224576 3221222664 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35523 25444 301 301 0 35222 0
vsize: 142092
[startup+30.0028 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52193 0 0 0 2883 114 0 0 25 0 1 0 972814200 143065088 24898 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34928 24898 301 301 0 34627 0
vsize: 139712
[startup+40.003 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52255 0 0 0 3882 114 0 0 25 0 1 0 972814200 142798848 24895 4294967295 134512640 135730672 3221224576 3221222864 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34863 24895 301 301 0 34562 0
vsize: 139452
[startup+50.0031 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52325 0 0 0 4882 115 0 0 25 0 1 0 972814200 143327232 24965 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34992 24965 301 301 0 34691 0
vsize: 139968
[startup+60.0037 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52405 0 0 0 5882 115 0 0 25 0 1 0 972814200 143589376 24980 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35056 24980 301 301 0 34755 0
vsize: 140224
[startup+70.0045 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52443 0 0 0 6882 115 0 0 25 0 1 0 972814200 143855616 25018 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35121 25018 301 301 0 34820 0
vsize: 140484
[startup+80.0051 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52574 0 0 0 7882 115 0 0 25 0 1 0 972814200 144117760 25084 4294967295 134512640 135730672 3221224576 3221222864 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35185 25084 301 301 0 34884 0
vsize: 140740
[startup+90.0058 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 52752 0 0 0 8882 116 0 0 25 0 1 0 972814200 145047552 25229 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35412 25229 301 301 0 35111 0
vsize: 141648
[startup+100.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 53807 0 0 0 9880 118 0 0 25 0 1 0 972814200 148373504 25888 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36224 25888 301 301 0 35923 0
vsize: 144896
[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 53972 0 0 0 10880 118 0 0 25 0 1 0 972814200 148901888 25988 4294967295 134512640 135730672 3221224576 3221223020 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36353 25988 301 301 0 36052 0
vsize: 145412
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54143 0 0 0 11880 118 0 0 25 0 1 0 972814200 149430272 26094 4294967295 134512640 135730672 3221224576 3221222960 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36482 26094 301 301 0 36181 0
vsize: 145928
[startup+130.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54626 0 0 0 12880 119 0 0 25 0 1 0 972814200 151470080 26478 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36980 26478 301 301 0 36679 0
vsize: 147920
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54723 0 0 0 13879 119 0 0 25 0 1 0 972814200 151736320 26542 4294967295 134512640 135730672 3221224576 3221222864 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37045 26542 301 301 0 36744 0
vsize: 148180
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54732 0 0 0 14880 119 0 0 25 0 1 0 972814200 151736320 26551 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37045 26551 301 301 0 36744 0
vsize: 148180
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54737 0 0 0 15880 119 0 0 25 0 1 0 972814200 151736320 26556 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37045 26556 301 301 0 36744 0
vsize: 148180
[startup+170.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54813 0 0 0 16880 120 0 0 25 0 1 0 972814200 151998464 26567 4294967295 134512640 135730672 3221224576 3221222864 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37109 26567 301 301 0 36808 0
vsize: 148436
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54890 0 0 0 17880 120 0 0 25 0 1 0 972814200 152260608 26579 4294967295 134512640 135730672 3221224576 3221222616 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37173 26579 301 301 0 36872 0
vsize: 148692
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54904 0 0 0 18880 120 0 0 25 0 1 0 972814200 152260608 26593 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37173 26593 301 301 0 36872 0
vsize: 148692
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 54910 0 0 0 19880 120 0 0 25 0 1 0 972814200 152260608 26599 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37173 26599 301 301 0 36872 0
vsize: 148692
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55060 0 0 0 20880 121 0 0 25 0 1 0 972814200 152788992 26684 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37302 26684 301 301 0 37001 0
vsize: 149208
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55065 0 0 0 21879 121 0 0 25 0 1 0 972814200 169566208 26689 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41398 26689 301 301 0 41097 0
vsize: 165592
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55070 0 0 0 22879 121 0 0 25 0 1 0 972814200 169566208 26694 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41398 26694 301 301 0 41097 0
vsize: 165592
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55078 0 0 0 23879 121 0 0 25 0 1 0 972814200 169566208 26702 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41398 26702 301 301 0 41097 0
vsize: 165592
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55082 0 0 0 24880 121 0 0 25 0 1 0 972814200 169566208 26706 4294967295 134512640 135730672 3221224576 3221222960 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41398 26706 301 301 0 41097 0
vsize: 165592
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55303 0 0 0 25879 122 0 0 25 0 1 0 972814200 170360832 26828 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41592 26828 301 301 0 41291 0
vsize: 166368
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55310 0 0 0 26880 122 0 0 25 0 1 0 972814200 170360832 26835 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41592 26835 301 301 0 41291 0
vsize: 166368
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55377 0 0 0 27880 122 0 0 25 0 1 0 972814200 170631168 26902 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41658 26902 301 301 0 41357 0
vsize: 166632
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55523 0 0 0 28880 122 0 0 25 0 1 0 972814200 171429888 27048 4294967295 134512640 135730672 3221224576 3221222960 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41853 27048 301 301 0 41552 0
vsize: 167412
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55817 0 0 0 29879 123 0 0 25 0 1 0 972814200 172220416 27211 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42046 27211 301 301 0 41745 0
vsize: 168184
[startup+310.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55822 0 0 0 30879 123 0 0 25 0 1 0 972814200 172220416 27216 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42046 27216 301 301 0 41745 0
vsize: 168184
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55942 0 0 0 31879 124 0 0 25 0 1 0 972814200 172482560 27271 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42110 27271 301 301 0 41809 0
vsize: 168440
[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55960 0 0 0 32879 124 0 0 25 0 1 0 972814200 172482560 27289 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42110 27289 301 301 0 41809 0
vsize: 168440
[startup+340.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55964 0 0 0 33879 124 0 0 25 0 1 0 972814200 172482560 27293 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42110 27293 301 301 0 41809 0
vsize: 168440
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55969 0 0 0 34879 124 0 0 25 0 1 0 972814200 172482560 27298 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42110 27298 301 301 0 41809 0
vsize: 168440
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 55973 0 0 0 35879 124 0 0 25 0 1 0 972814200 172482560 27302 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42110 27302 301 301 0 41809 0
vsize: 168440
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56059 0 0 0 36879 124 0 0 25 0 1 0 972814200 172744704 27323 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27323 301 301 0 41873 0
vsize: 168696
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56063 0 0 0 37879 124 0 0 25 0 1 0 972814200 172744704 27327 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27327 301 301 0 41873 0
vsize: 168696
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56075 0 0 0 38880 124 0 0 25 0 1 0 972814200 172744704 27339 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27339 301 301 0 41873 0
vsize: 168696
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56079 0 0 0 39880 124 0 0 25 0 1 0 972814200 172744704 27343 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27343 301 301 0 41873 0
vsize: 168696
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56084 0 0 0 40880 124 0 0 25 0 1 0 972814200 172744704 27348 4294967295 134512640 135730672 3221224576 3221222864 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27348 301 301 0 41873 0
vsize: 168696
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56089 0 0 0 41880 124 0 0 25 0 1 0 972814200 172744704 27353 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27353 301 301 0 41873 0
vsize: 168696
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56094 0 0 0 42880 124 0 0 25 0 1 0 972814200 172744704 27358 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27358 301 301 0 41873 0
vsize: 168696
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56099 0 0 0 43880 125 0 0 25 0 1 0 972814200 172744704 27363 4294967295 134512640 135730672 3221224576 3221222616 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42174 27363 301 301 0 41873 0
vsize: 168696
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56266 0 0 0 44880 125 0 0 25 0 1 0 972814200 173535232 27465 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27465 301 301 0 42066 0
vsize: 169468
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56270 0 0 0 45880 125 0 0 25 0 1 0 972814200 173535232 27469 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27469 301 301 0 42066 0
vsize: 169468
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56274 0 0 0 46880 125 0 0 25 0 1 0 972814200 173535232 27473 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27473 301 301 0 42066 0
vsize: 169468
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56279 0 0 0 47880 125 0 0 25 0 1 0 972814200 173535232 27478 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27478 301 301 0 42066 0
vsize: 169468
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56291 0 0 0 48880 126 0 0 25 0 1 0 972814200 173535232 27490 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27490 301 301 0 42066 0
vsize: 169468
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56295 0 0 0 49880 126 0 0 25 0 1 0 972814200 173535232 27494 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27494 301 301 0 42066 0
vsize: 169468
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56301 0 0 0 50880 126 0 0 25 0 1 0 972814200 173535232 27500 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27500 301 301 0 42066 0
vsize: 169468
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56305 0 0 0 51881 126 0 0 25 0 1 0 972814200 173535232 27504 4294967295 134512640 135730672 3221224576 3221222992 134748176 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27504 301 301 0 42066 0
vsize: 169468
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56309 0 0 0 52881 126 0 0 25 0 1 0 972814200 173535232 27508 4294967295 134512640 135730672 3221224576 3221222864 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27508 301 301 0 42066 0
vsize: 169468
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56313 0 0 0 53881 126 0 0 25 0 1 0 972814200 173535232 27512 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27512 301 301 0 42066 0
vsize: 169468
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56318 0 0 0 54881 126 0 0 25 0 1 0 972814200 173535232 27517 4294967295 134512640 135730672 3221224576 3221222864 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27517 301 301 0 42066 0
vsize: 169468
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56323 0 0 0 55881 126 0 0 25 0 1 0 972814200 173535232 27522 4294967295 134512640 135730672 3221224576 3221222864 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27522 301 301 0 42066 0
vsize: 169468
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56329 0 0 0 56881 126 0 0 25 0 1 0 972814200 173535232 27528 4294967295 134512640 135730672 3221224576 3221222864 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27528 301 301 0 42066 0
vsize: 169468
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56335 0 0 0 57881 126 0 0 25 0 1 0 972814200 173535232 27534 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27534 301 301 0 42066 0
vsize: 169468
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56341 0 0 0 58881 126 0 0 25 0 1 0 972814200 173535232 27540 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27540 301 301 0 42066 0
vsize: 169468
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56347 0 0 0 59881 127 0 0 25 0 1 0 972814200 173535232 27546 4294967295 134512640 135730672 3221224576 3221222992 134748200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27546 301 301 0 42066 0
vsize: 169468
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56354 0 0 0 60882 127 0 0 25 0 1 0 972814200 173535232 27553 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42367 27553 301 301 0 42066 0
vsize: 169468
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56460 0 0 0 61882 127 0 0 25 0 1 0 972814200 174063616 27659 4294967295 134512640 135730672 3221224576 3221222972 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27659 301 301 0 42195 0
vsize: 169984
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56465 0 0 0 62882 127 0 0 25 0 1 0 972814200 174063616 27664 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27664 301 301 0 42195 0
vsize: 169984
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56469 0 0 0 63882 127 0 0 25 0 1 0 972814200 174063616 27668 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27668 301 301 0 42195 0
vsize: 169984
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56475 0 0 0 64882 127 0 0 25 0 1 0 972814200 174063616 27674 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27674 301 301 0 42195 0
vsize: 169984
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56481 0 0 0 65882 127 0 0 25 0 1 0 972814200 174063616 27680 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27680 301 301 0 42195 0
vsize: 169984
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56486 0 0 0 66882 127 0 0 25 0 1 0 972814200 174063616 27685 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27685 301 301 0 42195 0
vsize: 169984
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56491 0 0 0 67883 127 0 0 25 0 1 0 972814200 174063616 27690 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27690 301 301 0 42195 0
vsize: 169984
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56495 0 0 0 68883 127 0 0 25 0 1 0 972814200 174063616 27694 4294967295 134512640 135730672 3221224576 3221222864 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27694 301 301 0 42195 0
vsize: 169984
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56502 0 0 0 69883 127 0 0 25 0 1 0 972814200 174063616 27701 4294967295 134512640 135730672 3221224576 3221222960 134763606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27701 301 301 0 42195 0
vsize: 169984
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56506 0 0 0 70883 127 0 0 25 0 1 0 972814200 174063616 27705 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27705 301 301 0 42195 0
vsize: 169984
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 56512 0 0 0 71883 127 0 0 25 0 1 0 972814200 174063616 27711 4294967295 134512640 135730672 3221224576 3221222688 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 27711 301 301 0 42195 0
vsize: 169984
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57111 0 0 0 72882 129 0 0 25 0 1 0 972814200 174063616 27715 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42496 27715 301 301 0 42195 0
vsize: 169984
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57213 0 0 0 73880 129 0 0 25 0 1 0 972814200 174592000 27817 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42625 27817 301 301 0 42324 0
vsize: 170500
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57305 0 0 0 74880 130 0 0 25 0 1 0 972814200 174854144 27844 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42689 27844 301 301 0 42388 0
vsize: 170756
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57314 0 0 0 75880 130 0 0 25 0 1 0 972814200 174854144 27853 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42689 27853 301 301 0 42388 0
vsize: 170756
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57394 0 0 0 76880 130 0 0 25 0 1 0 972814200 175116288 27868 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42753 27868 301 301 0 42452 0
vsize: 171012
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57395 0 0 0 77880 130 0 0 25 0 1 0 972814200 175116288 27869 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42753 27869 301 301 0 42452 0
vsize: 171012
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57396 0 0 0 78880 130 0 0 25 0 1 0 972814200 175116288 27870 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42753 27870 301 301 0 42452 0
vsize: 171012
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57992 0 0 0 79879 132 0 0 25 0 1 0 972814200 175116288 27871 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42753 27871 301 301 0 42452 0
vsize: 171012
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 57997 0 0 0 80879 132 0 0 25 0 1 0 972814200 175116288 27876 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42753 27876 301 301 0 42452 0
vsize: 171012
[startup+820.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58072 0 0 0 81879 132 0 0 25 0 1 0 972814200 175378432 27886 4294967295 134512640 135730672 3221224576 3221222912 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42817 27886 301 301 0 42516 0
vsize: 171268
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58074 0 0 0 82879 132 0 0 25 0 1 0 972814200 175378432 27888 4294967295 134512640 135730672 3221224576 3221222992 134748126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42817 27888 301 301 0 42516 0
vsize: 171268
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58089 0 0 0 83879 132 0 0 25 0 1 0 972814200 175378432 27903 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42817 27903 301 301 0 42516 0
vsize: 171268
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58123 0 0 0 84879 132 0 0 25 0 1 0 972814200 175378432 27937 4294967295 134512640 135730672 3221224576 3221222992 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42817 27937 301 301 0 42516 0
vsize: 171268
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58206 0 0 0 85879 133 0 0 25 0 1 0 972814200 175640576 27955 4294967295 134512640 135730672 3221224576 3221223024 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27955 301 301 0 42580 0
vsize: 171524
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58210 0 0 0 86879 133 0 0 25 0 1 0 972814200 175640576 27959 4294967295 134512640 135730672 3221224576 3221222960 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27959 301 301 0 42580 0
vsize: 171524
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58809 0 0 0 87878 134 0 0 25 0 1 0 972814200 175640576 27963 4294967295 134512640 135730672 3221224576 3221223024 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27963 301 301 0 42580 0
vsize: 171524
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58815 0 0 0 88878 134 0 0 25 0 1 0 972814200 175640576 27969 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27969 301 301 0 42580 0
vsize: 171524
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58820 0 0 0 89878 134 0 0 25 0 1 0 972814200 175640576 27974 4294967295 134512640 135730672 3221224576 3221222988 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27974 301 301 0 42580 0
vsize: 171524
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 58828 0 0 0 90878 134 0 0 25 0 1 0 972814200 175640576 27982 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42881 27982 301 301 0 42580 0
vsize: 171524
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59110 0 0 0 91878 135 0 0 25 0 1 0 972814200 176984064 28198 4294967295 134512640 135730672 3221224576 3221222864 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43209 28198 301 301 0 42908 0
vsize: 172836
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59263 0 0 0 92877 136 0 0 25 0 1 0 972814200 177508352 28221 4294967295 134512640 135730672 3221224576 3221222972 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43337 28221 301 301 0 43036 0
vsize: 173348
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59270 0 0 0 93877 136 0 0 25 0 1 0 972814200 177508352 28228 4294967295 134512640 135730672 3221224576 3221222864 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43337 28228 301 301 0 43036 0
vsize: 173348
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59291 0 0 0 94877 136 0 0 25 0 1 0 972814200 177508352 28249 4294967295 134512640 135730672 3221224576 3221223024 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43337 28249 301 301 0 43036 0
vsize: 173348
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59294 0 0 0 95877 136 0 0 25 0 1 0 972814200 177508352 28252 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43337 28252 301 301 0 43036 0
vsize: 173348
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59388 0 0 0 96877 136 0 0 25 0 1 0 972814200 177770496 28281 4294967295 134512640 135730672 3221224576 3221222960 134763998 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28281 301 301 0 43100 0
vsize: 173604
[startup+980.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59392 0 0 0 97877 136 0 0 25 0 1 0 972814200 177770496 28285 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28285 301 301 0 43100 0
vsize: 173604
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 59999 0 0 0 98876 138 0 0 25 0 1 0 972814200 177770496 28297 4294967295 134512640 135730672 3221224576 3221222688 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43401 28297 301 301 0 43100 0
vsize: 173604
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60003 0 0 0 99876 138 0 0 25 0 1 0 972814200 177770496 28301 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28301 301 301 0 43100 0
vsize: 173604
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60046 0 0 0 100876 138 0 0 25 0 1 0 972814200 177770496 28344 4294967295 134512640 135730672 3221224576 3221223024 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28344 301 301 0 43100 0
vsize: 173604
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60051 0 0 0 101876 138 0 0 25 0 1 0 972814200 177770496 28349 4294967295 134512640 135730672 3221224576 3221222864 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43401 28349 301 301 0 43100 0
vsize: 173604
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60055 0 0 0 102875 138 0 0 25 0 1 0 972814200 177770496 28353 4294967295 134512640 135730672 3221224576 3221222976 134748234 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28353 301 301 0 43100 0
vsize: 173604
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60062 0 0 0 103876 138 0 0 25 0 1 0 972814200 177770496 28360 4294967295 134512640 135730672 3221224576 3221222688 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28360 301 301 0 43100 0
vsize: 173604
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60087 0 0 0 104876 138 0 0 25 0 1 0 972814200 177770496 28385 4294967295 134512640 135730672 3221224576 3221223056 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28385 301 301 0 43100 0
vsize: 173604
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60093 0 0 0 105876 138 0 0 25 0 1 0 972814200 177770496 28391 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43401 28391 301 301 0 43100 0
vsize: 173604
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 60781 0 0 0 106874 140 0 0 25 0 1 0 972814200 178032640 28419 4294967295 134512640 135730672 3221224576 3221222864 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43465 28419 301 301 0 43164 0
vsize: 173860
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61238 0 0 0 107874 141 0 0 25 0 1 0 972814200 179081216 28616 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43721 28616 301 301 0 43420 0
vsize: 174884
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61271 0 0 0 108874 141 0 0 25 0 1 0 972814200 179081216 28649 4294967295 134512640 135730672 3221224576 3221223024 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43721 28649 301 301 0 43420 0
vsize: 174884
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61299 0 0 0 109874 141 0 0 25 0 1 0 972814200 179081216 28677 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43721 28677 301 301 0 43420 0
vsize: 174884
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61304 0 0 0 110874 141 0 0 25 0 1 0 972814200 179081216 28682 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43721 28682 301 301 0 43420 0
vsize: 174884
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61434 0 0 0 111874 141 0 0 25 0 1 0 972814200 179343360 28747 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43785 28747 301 301 0 43484 0
vsize: 175140
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61713 0 0 0 112874 142 0 0 25 0 1 0 972814200 180129792 28832 4294967295 134512640 135730672 3221224576 3221222912 134740208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43977 28832 301 301 0 43676 0
vsize: 175908
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61771 0 0 0 113873 142 0 0 25 0 1 0 972814200 180129792 28890 4294967295 134512640 135730672 3221224576 3221222960 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43977 28890 301 301 0 43676 0
vsize: 175908
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61784 0 0 0 114874 142 0 0 25 0 1 0 972814200 180129792 28903 4294967295 134512640 135730672 3221224576 3221222864 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43977 28903 301 301 0 43676 0
vsize: 175908
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 61990 0 0 0 115873 142 0 0 25 0 1 0 972814200 180654080 28980 4294967295 134512640 135730672 3221224576 3221222864 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44105 28980 301 301 0 43804 0
vsize: 176420
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 62586 0 0 0 116873 144 0 0 25 0 1 0 972814200 180654080 28981 4294967295 134512640 135730672 3221224576 3221222864 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44105 28981 301 301 0 43804 0
vsize: 176420
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 62587 0 0 0 117872 144 0 0 25 0 1 0 972814200 180654080 28982 4294967295 134512640 135730672 3221224576 3221222864 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44105 28982 301 301 0 43804 0
vsize: 176420
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 62587 0 0 0 118873 144 0 0 25 0 1 0 972814200 180654080 28982 4294967295 134512640 135730672 3221224576 3221222864 134747519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44105 28982 301 301 0 43804 0
vsize: 176420
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14265
Raw data (stat): 14265 (pb2sat-v2) R 14264 31399 31398 0 -1 0 62588 0 0 0 119873 144 0 0 25 0 1 0 972814200 180654080 28983 4294967295 134512640 135730672 3221224576 3221222864 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44105 28983 301 301 0 43804 0
vsize: 176420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.67 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14265
Raw data (stat): 14265 (pb2sat-v2) Z 14264 31399 31398 0 -1 12 62590 0 0 0 119932 150 0 0 25 0 1 0 972814200 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.67
CPU time (s): 1200.83
CPU user time (s): 1199.32
CPU system time (s): 1.50177
CPU usage (%): 100.013
Max. virtual memory (Kb): 176420
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	36224
#### END VERIFIER DATA ####