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/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 42281

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 04:47:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25485 boxname=wulflinc6 idbench=387 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc6/normalized-lseu.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-lseu.opb
IDLAUNCH: 25485
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        716300 kB
Buffers:         34208 kB
Cached:         261856 kB
SwapCached:       1028 kB
Active:          64604 kB
Inactive:       233576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716048 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14560 kB
Committed_AS:    63832 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:07:24 (client local time) WITH STATUS 10 IN 1201.32 SECONDS
stats: 25485 0 1201.32 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: 4477
c small objective detected
c CONFLICT during preprocess 
c [startup+10.584 s]  setting bit 13 to 0
c [startup+20.7905 s]  setting bit 12 to 0
c got solution with objective value: 2422
c [startup+25.6507 s]  setting bit 11 to 1

c Decision: 70803/210065	Time: 562.593/86400
c Decision: 70808/210065	Time: 643.736/86400
c Decision: 70829/210065	Time: 762.671/86400
c Decision: 70848/210065	Time: 823.481/86400
c got solution with objective value: 1398
c [startup+859.307 s]  setting bit 10 to 1

c Decision: 96282/210065	Time: 253.34/86400
c Decision: 96282/210065	Time: 310.432/86400s SATISFIABLE
v x0 x1 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x2 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x3 -x30 -x31 -x32 x33 -x34 -x35 x36 -x37 x38 -x39 -x4 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 x48 -x49 -x5 -x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58 -x59 -x6 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 x7 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x8 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x9 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.92 1/54 14240
Raw data (stat): 14240 (runsolver) R 14239 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 967996729 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0003 s]
Raw data (loadavg): 0.87 0.95 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 29212 0 0 0 938 60 0 0 25 0 1 0 967996729 89755648 18134 4294967295 134512640 135730672 3221224592 3221222696 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21913 18134 301 301 0 21612 0
vsize: 87652
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 30857 0 0 0 1935 64 0 0 25 0 1 0 967996729 92823552 18631 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22662 18631 301 301 0 22361 0
vsize: 90648
[startup+30.0018 s]
Raw data (loadavg): 0.91 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32498 0 0 0 2931 68 0 0 25 0 1 0 967996729 95776768 19219 4294967295 134512640 135730672 3221224592 3221223072 134748433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23383 19219 301 301 0 23082 0
vsize: 93532
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32715 0 0 0 3931 68 0 0 25 0 1 0 967996729 96571392 19370 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23577 19370 301 301 0 23276 0
vsize: 94308
[startup+50.0028 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32720 0 0 0 4931 68 0 0 25 0 1 0 967996729 96571392 19375 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23577 19375 301 301 0 23276 0
vsize: 94308
[startup+60.0032 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32777 0 0 0 5932 68 0 0 25 0 1 0 967996729 96837632 19432 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23642 19432 301 301 0 23341 0
vsize: 94568
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32801 0 0 0 6932 68 0 0 25 0 1 0 967996729 96837632 19456 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23642 19456 301 301 0 23341 0
vsize: 94568
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32882 0 0 0 7932 69 0 0 25 0 1 0 967996729 96968704 19504 4294967295 134512640 135730672 3221224592 3221222984 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23674 19504 301 301 0 23373 0
vsize: 94696
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32888 0 0 0 8933 69 0 0 25 0 1 0 967996729 96968704 19510 4294967295 134512640 135730672 3221224592 3221222880 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23674 19510 301 301 0 23373 0
vsize: 94696
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32964 0 0 0 9932 69 0 0 25 0 1 0 967996729 97099776 19553 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 19553 301 301 0 23405 0
vsize: 94824
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32972 0 0 0 10933 69 0 0 25 0 1 0 967996729 97099776 19561 4294967295 134512640 135730672 3221224592 3221223008 134748141 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 19561 301 301 0 23405 0
vsize: 94824
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 32984 0 0 0 11933 69 0 0 25 0 1 0 967996729 97099776 19573 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23706 19573 301 301 0 23405 0
vsize: 94824
[startup+130.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 33292 0 0 0 12932 70 0 0 25 0 1 0 967996729 98295808 19749 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23998 19749 301 301 0 23697 0
vsize: 95992
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34235 0 0 0 13931 72 0 0 25 0 1 0 967996729 101994496 20363 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24901 20363 301 301 0 24600 0
vsize: 99604
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34528 0 0 0 14931 73 0 0 25 0 1 0 967996729 103600128 20623 4294967295 134512640 135730672 3221224592 3221222992 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25293 20623 301 301 0 24992 0
vsize: 101172
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34535 0 0 0 15931 73 0 0 25 0 1 0 967996729 103600128 20630 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25293 20630 301 301 0 24992 0
vsize: 101172
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34622 0 0 0 16931 73 0 0 25 0 1 0 967996729 103866368 20717 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25358 20717 301 301 0 25057 0
vsize: 101432
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34706 0 0 0 17931 73 0 0 25 0 1 0 967996729 104271872 20801 4294967295 134512640 135730672 3221224592 3221222880 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25457 20801 301 301 0 25156 0
vsize: 101828
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 34986 0 0 0 18931 74 0 0 25 0 1 0 967996729 105066496 20949 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25651 20949 301 301 0 25350 0
vsize: 102604
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35041 0 0 0 19931 74 0 0 25 0 1 0 967996729 105197568 20971 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25683 20971 301 301 0 25382 0
vsize: 102732
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35097 0 0 0 20931 75 0 0 25 0 1 0 967996729 105328640 20994 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25715 20994 301 301 0 25414 0
vsize: 102860
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35317 0 0 0 21931 75 0 0 25 0 1 0 967996729 105852928 21082 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25843 21082 301 301 0 25542 0
vsize: 103372
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35670 0 0 0 22931 76 0 0 25 0 1 0 967996729 106778624 21271 4294967295 134512640 135730672 3221224592 3221223008 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26069 21271 301 301 0 25768 0
vsize: 104276
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35720 0 0 0 23931 76 0 0 25 0 1 0 967996729 106909696 21288 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26101 21288 301 301 0 25800 0
vsize: 104404
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35772 0 0 0 24932 76 0 0 25 0 1 0 967996729 107040768 21307 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26133 21307 301 301 0 25832 0
vsize: 104532
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35856 0 0 0 25932 76 0 0 25 0 1 0 967996729 107171840 21358 4294967295 134512640 135730672 3221224592 3221222880 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26165 21358 301 301 0 25864 0
vsize: 104660
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35915 0 0 0 26932 76 0 0 25 0 1 0 967996729 107302912 21384 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26197 21384 301 301 0 25896 0
vsize: 104788
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35928 0 0 0 27932 76 0 0 25 0 1 0 967996729 107302912 21397 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26197 21397 301 301 0 25896 0
vsize: 104788
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 35946 0 0 0 28932 77 0 0 25 0 1 0 967996729 107302912 21415 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26197 21415 301 301 0 25896 0
vsize: 104788
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36079 0 0 0 29933 77 0 0 25 0 1 0 967996729 107565056 21482 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26261 21482 301 301 0 25960 0
vsize: 105044
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36139 0 0 0 30933 77 0 0 25 0 1 0 967996729 107831296 21542 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21542 301 301 0 26025 0
vsize: 105304
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36153 0 0 0 31933 77 0 0 25 0 1 0 967996729 107831296 21556 4294967295 134512640 135730672 3221224592 3221223008 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21556 301 301 0 26025 0
vsize: 105304
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36161 0 0 0 32933 77 0 0 25 0 1 0 967996729 107831296 21564 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21564 301 301 0 26025 0
vsize: 105304
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36171 0 0 0 33933 77 0 0 25 0 1 0 967996729 107831296 21574 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21574 301 301 0 26025 0
vsize: 105304
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36180 0 0 0 34934 77 0 0 25 0 1 0 967996729 107831296 21583 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21583 301 301 0 26025 0
vsize: 105304
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36188 0 0 0 35934 77 0 0 25 0 1 0 967996729 107831296 21591 4294967295 134512640 135730672 3221224592 3221223024 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21591 301 301 0 26025 0
vsize: 105304
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36206 0 0 0 36934 77 0 0 25 0 1 0 967996729 107831296 21609 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21609 301 301 0 26025 0
vsize: 105304
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36221 0 0 0 37935 77 0 0 25 0 1 0 967996729 107831296 21624 4294967295 134512640 135730672 3221224592 3221222880 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21624 301 301 0 26025 0
vsize: 105304
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36233 0 0 0 38935 77 0 0 25 0 1 0 967996729 107831296 21636 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21636 301 301 0 26025 0
vsize: 105304
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36242 0 0 0 39935 77 0 0 25 0 1 0 967996729 107831296 21645 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21645 301 301 0 26025 0
vsize: 105304
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36252 0 0 0 40936 77 0 0 25 0 1 0 967996729 107831296 21655 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21655 301 301 0 26025 0
vsize: 105304
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36261 0 0 0 41936 78 0 0 25 0 1 0 967996729 107831296 21664 4294967295 134512640 135730672 3221224592 3221222880 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21664 301 301 0 26025 0
vsize: 105304
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36276 0 0 0 42936 78 0 0 25 0 1 0 967996729 107831296 21679 4294967295 134512640 135730672 3221224592 3221222992 134748227 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21679 301 301 0 26025 0
vsize: 105304
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36296 0 0 0 43937 78 0 0 25 0 1 0 967996729 107831296 21699 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26326 21699 301 301 0 26025 0
vsize: 105304
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36385 0 0 0 44937 78 0 0 25 0 1 0 967996729 108093440 21723 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26390 21723 301 301 0 26089 0
vsize: 105560
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36401 0 0 0 45937 78 0 0 25 0 1 0 967996729 108093440 21739 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26390 21739 301 301 0 26089 0
vsize: 105560
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36412 0 0 0 46937 78 0 0 25 0 1 0 967996729 108093440 21750 4294967295 134512640 135730672 3221224592 3221223000 134748218 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26390 21750 301 301 0 26089 0
vsize: 105560
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36431 0 0 0 47937 78 0 0 25 0 1 0 967996729 108093440 21769 4294967295 134512640 135730672 3221224592 3221222712 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26390 21769 301 301 0 26089 0
vsize: 105560
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36515 0 0 0 48937 79 0 0 25 0 1 0 967996729 108355584 21788 4294967295 134512640 135730672 3221224592 3221222880 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26454 21788 301 301 0 26153 0
vsize: 105816
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36537 0 0 0 49938 79 0 0 25 0 1 0 967996729 108355584 21810 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26454 21810 301 301 0 26153 0
vsize: 105816
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36553 0 0 0 50938 79 0 0 25 0 1 0 967996729 108355584 21826 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26454 21826 301 301 0 26153 0
vsize: 105816
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36571 0 0 0 51938 79 0 0 25 0 1 0 967996729 108355584 21844 4294967295 134512640 135730672 3221224592 3221222704 134732493 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26454 21844 301 301 0 26153 0
vsize: 105816
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36593 0 0 0 52939 79 0 0 25 0 1 0 967996729 108355584 21866 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26454 21866 301 301 0 26153 0
vsize: 105816
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36722 0 0 0 53939 79 0 0 25 0 1 0 967996729 108789760 21930 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26560 21930 301 301 0 26259 0
vsize: 106240
[startup+550.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36732 0 0 0 54939 80 0 0 25 0 1 0 967996729 108789760 21940 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26560 21940 301 301 0 26259 0
vsize: 106240
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36734 0 0 0 55939 80 0 0 25 0 1 0 967996729 108789760 21942 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26560 21942 301 301 0 26259 0
vsize: 106240
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36739 0 0 0 56940 80 0 0 25 0 1 0 967996729 108789760 21947 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26560 21947 301 301 0 26259 0
vsize: 106240
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 36744 0 0 0 57940 80 0 0 25 0 1 0 967996729 108789760 21952 4294967295 134512640 135730672 3221224592 3221222880 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26560 21952 301 301 0 26259 0
vsize: 106240
[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37168 0 0 0 58939 81 0 0 25 0 1 0 967996729 108789760 21965 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26560 21965 301 301 0 26259 0
vsize: 106240
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37177 0 0 0 59939 81 0 0 25 0 1 0 967996729 108924928 21974 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26593 21974 301 301 0 26292 0
vsize: 106372
[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37179 0 0 0 60939 82 0 0 25 0 1 0 967996729 108924928 21976 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26593 21976 301 301 0 26292 0
vsize: 106372
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37181 0 0 0 61939 82 0 0 25 0 1 0 967996729 108924928 21978 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26593 21978 301 301 0 26292 0
vsize: 106372
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37182 0 0 0 62939 82 0 0 25 0 1 0 967996729 108924928 21979 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26593 21979 301 301 0 26292 0
vsize: 106372
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37182 0 0 0 63940 82 0 0 25 0 1 0 967996729 108924928 21979 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26593 21979 301 301 0 26292 0
vsize: 106372
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37252 0 0 0 64940 82 0 0 25 0 1 0 967996729 109187072 21984 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 21984 301 301 0 26356 0
vsize: 106628
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37259 0 0 0 65940 82 0 0 25 0 1 0 967996729 109187072 21991 4294967295 134512640 135730672 3221224592 3221222976 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 21991 301 301 0 26356 0
vsize: 106628
[startup+670.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37674 0 0 0 66939 83 0 0 25 0 1 0 967996729 109187072 21995 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 21995 301 301 0 26356 0
vsize: 106628
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37679 0 0 0 67940 84 0 0 25 0 1 0 967996729 109187072 22000 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22000 301 301 0 26356 0
vsize: 106628
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37685 0 0 0 68940 84 0 0 25 0 1 0 967996729 109187072 22006 4294967295 134512640 135730672 3221224592 3221222720 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22006 301 301 0 26356 0
vsize: 106628
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37689 0 0 0 69940 84 0 0 25 0 1 0 967996729 109187072 22010 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22010 301 301 0 26356 0
vsize: 106628
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37695 0 0 0 70941 84 0 0 25 0 1 0 967996729 109187072 22016 4294967295 134512640 135730672 3221224592 3221223008 134748191 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22016 301 301 0 26356 0
vsize: 106628
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37702 0 0 0 71941 84 0 0 25 0 1 0 967996729 109187072 22023 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22023 301 301 0 26356 0
vsize: 106628
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37715 0 0 0 72941 84 0 0 25 0 1 0 967996729 109187072 22036 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26657 22036 301 301 0 26356 0
vsize: 106628
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37793 0 0 0 73942 84 0 0 25 0 1 0 967996729 109449216 22049 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26721 22049 301 301 0 26420 0
vsize: 106884
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37799 0 0 0 74942 84 0 0 25 0 1 0 967996729 109449216 22055 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26721 22055 301 301 0 26420 0
vsize: 106884
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 14240
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37812 0 0 0 75943 84 0 0 25 0 1 0 967996729 109584384 22068 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26754 22068 301 301 0 26453 0
vsize: 107016
[startup+770.117 s]
Raw data (loadavg): 1.07 0.99 0.93 3/57 14281
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37821 0 0 0 76947 87 0 0 25 0 1 0 967996729 109584384 22077 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26754 22077 301 301 0 26453 0
vsize: 107016
[startup+780.121 s]
Raw data (loadavg): 1.22 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 37826 0 0 0 77940 94 0 0 25 0 1 0 967996729 109584384 22082 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26754 22082 301 301 0 26453 0
vsize: 107016
[startup+790.121 s]
Raw data (loadavg): 1.18 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38242 0 0 0 78928 95 0 0 25 0 1 0 967996729 109584384 22087 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26754 22087 301 301 0 26453 0
vsize: 107016
[startup+800.121 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38250 0 0 0 79928 95 0 0 25 0 1 0 967996729 109584384 22095 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26754 22095 301 301 0 26453 0
vsize: 107016
[startup+810.122 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38344 0 0 0 80928 96 0 0 25 0 1 0 967996729 109846528 22124 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26818 22124 301 301 0 26517 0
vsize: 107272
[startup+820.124 s]
Raw data (loadavg): 1.11 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38445 0 0 0 81928 96 0 0 25 0 1 0 967996729 110108672 22160 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22160 301 301 0 26581 0
vsize: 107528
[startup+830.125 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38457 0 0 0 82928 96 0 0 25 0 1 0 967996729 110108672 22172 4294967295 134512640 135730672 3221224592 3221222976 134764022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22172 301 301 0 26581 0
vsize: 107528
[startup+840.126 s]
Raw data (loadavg): 1.08 1.01 0.94 2/54 14293
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38466 0 0 0 83929 96 0 0 25 0 1 0 967996729 110108672 22181 4294967295 134512640 135730672 3221224592 3221223008 134748088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22181 301 301 0 26581 0
vsize: 107528
[startup+850.127 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 38884 0 0 0 84928 97 0 0 25 0 1 0 967996729 110108672 22188 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22188 301 301 0 26581 0
vsize: 107528
[startup+860.127 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39305 0 0 0 85927 98 0 0 25 0 1 0 967996729 110108672 22198 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22198 301 301 0 26581 0
vsize: 107528
[startup+870.128 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39309 0 0 0 86928 98 0 0 25 0 1 0 967996729 110108672 22202 4294967295 134512640 135730672 3221224592 3221222880 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22202 301 301 0 26581 0
vsize: 107528
[startup+880.129 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39312 0 0 0 87928 98 0 0 25 0 1 0 967996729 110108672 22205 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22205 301 301 0 26581 0
vsize: 107528
[startup+890.131 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39317 0 0 0 88928 98 0 0 25 0 1 0 967996729 110108672 22210 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22210 301 301 0 26581 0
vsize: 107528
[startup+900.132 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39323 0 0 0 89929 98 0 0 25 0 1 0 967996729 110108672 22216 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22216 301 301 0 26581 0
vsize: 107528
[startup+910.133 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39326 0 0 0 90929 99 0 0 25 0 1 0 967996729 110108672 22219 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22219 301 301 0 26581 0
vsize: 107528
[startup+920.134 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39330 0 0 0 91929 99 0 0 25 0 1 0 967996729 110108672 22223 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22223 301 301 0 26581 0
vsize: 107528
[startup+930.135 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39337 0 0 0 92930 99 0 0 25 0 1 0 967996729 110108672 22230 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22230 301 301 0 26581 0
vsize: 107528
[startup+940.135 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39341 0 0 0 93930 99 0 0 25 0 1 0 967996729 110108672 22234 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22234 301 301 0 26581 0
vsize: 107528
[startup+950.136 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39346 0 0 0 94930 99 0 0 25 0 1 0 967996729 110108672 22239 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22239 301 301 0 26581 0
vsize: 107528
[startup+960.138 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39352 0 0 0 95931 99 0 0 25 0 1 0 967996729 110108672 22245 4294967295 134512640 135730672 3221224592 3221222880 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22245 301 301 0 26581 0
vsize: 107528
[startup+970.138 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39356 0 0 0 96931 99 0 0 25 0 1 0 967996729 110108672 22249 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22249 301 301 0 26581 0
vsize: 107528
[startup+980.139 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39364 0 0 0 97931 99 0 0 25 0 1 0 967996729 110108672 22257 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22257 301 301 0 26581 0
vsize: 107528
[startup+990.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39372 0 0 0 98932 99 0 0 25 0 1 0 967996729 110108672 22265 4294967295 134512640 135730672 3221224592 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22265 301 301 0 26581 0
vsize: 107528
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39380 0 0 0 99932 100 0 0 25 0 1 0 967996729 110108672 22273 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22273 301 301 0 26581 0
vsize: 107528
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39387 0 0 0 100932 100 0 0 25 0 1 0 967996729 110108672 22280 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22280 301 301 0 26581 0
vsize: 107528
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39392 0 0 0 101932 100 0 0 25 0 1 0 967996729 110108672 22285 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22285 301 301 0 26581 0
vsize: 107528
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39398 0 0 0 102933 100 0 0 25 0 1 0 967996729 110108672 22291 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22291 301 301 0 26581 0
vsize: 107528
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39407 0 0 0 103933 100 0 0 25 0 1 0 967996729 110108672 22300 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26882 22300 301 301 0 26581 0
vsize: 107528
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39506 0 0 0 104933 100 0 0 25 0 1 0 967996729 110489600 22334 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26975 22334 301 301 0 26674 0
vsize: 107900
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39510 0 0 0 105933 100 0 0 25 0 1 0 967996729 110489600 22338 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26975 22338 301 301 0 26674 0
vsize: 107900
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14295
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39662 0 0 0 106933 101 0 0 25 0 1 0 967996729 111013888 22360 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22360 301 301 0 26802 0
vsize: 108412
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39666 0 0 0 107933 101 0 0 25 0 1 0 967996729 111013888 22364 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22364 301 301 0 26802 0
vsize: 108412
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39680 0 0 0 108933 101 0 0 25 0 1 0 967996729 111013888 22378 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22378 301 301 0 26802 0
vsize: 108412
[startup+1100.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39686 0 0 0 109934 101 0 0 25 0 1 0 967996729 111013888 22384 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22384 301 301 0 26802 0
vsize: 108412
[startup+1110.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 39691 0 0 0 110934 101 0 0 25 0 1 0 967996729 111013888 22389 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22389 301 301 0 26802 0
vsize: 108412
[startup+1120.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40104 0 0 0 111932 103 0 0 25 0 1 0 967996729 111013888 22391 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22391 301 301 0 26802 0
vsize: 108412
[startup+1130.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40105 0 0 0 112933 103 0 0 25 0 1 0 967996729 111013888 22392 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22392 301 301 0 26802 0
vsize: 108412
[startup+1140.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40107 0 0 0 113933 103 0 0 25 0 1 0 967996729 111013888 22394 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22394 301 301 0 26802 0
vsize: 108412
[startup+1150.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40109 0 0 0 114933 103 0 0 25 0 1 0 967996729 111013888 22396 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22396 301 301 0 26802 0
vsize: 108412
[startup+1160.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40110 0 0 0 115933 103 0 0 25 0 1 0 967996729 111013888 22397 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22397 301 301 0 26802 0
vsize: 108412
[startup+1170.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40522 0 0 0 116933 104 0 0 25 0 1 0 967996729 111013888 22398 4294967295 134512640 135730672 3221224592 3221223072 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22398 301 301 0 26802 0
vsize: 108412
[startup+1180.14 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40524 0 0 0 117933 104 0 0 25 0 1 0 967996729 111013888 22400 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22400 301 301 0 26802 0
vsize: 108412
[startup+1190.14 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40526 0 0 0 118933 104 0 0 25 0 1 0 967996729 111013888 22402 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22402 301 301 0 26802 0
vsize: 108412
[startup+1200.14 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 14297
Raw data (stat): 14240 (pb2sat-v2) R 14239 25568 25567 0 -1 0 40528 0 0 0 119934 104 0 0 25 0 1 0 967996729 111013888 22404 4294967295 134512640 135730672 3221224592 3221222880 134747486 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27103 22404 301 301 0 26802 0
vsize: 108412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.08 s]
Raw data (loadavg): 1.06 1.02 0.94 1/54 14297
Raw data (stat): 14240 (pb2sat-v2) Z 14239 25568 25567 0 -1 12 40530 0 0 0 120023 108 0 0 25 0 1 0 967996729 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1201.08
CPU time (s): 1201.32
CPU user time (s): 1200.23
CPU system time (s): 1.08983
CPU usage (%): 100.02
Max. virtual memory (Kb): 108412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1398
#### END VERIFIER DATA ####