PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb
MD5SUM	a15c04744ea6af8a8a8518cde7c56bce
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5298760
Optimality of the best value was proved	NO
Number of terms in the objective function	8959
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1612776422946
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1612776422946
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1218.22
Number of variables	8959
Total number of constraints	323
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	323
Minimum length of a constraint	31
Maximum length of a constraint	510
Trace number 42588

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 11:50:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25803 boxname=wulflinc6 idbench=1103 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  a15c04744ea6af8a8a8518cde7c56bce  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-ran17x17.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-ran17x17.opb
IDLAUNCH: 25803
/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:        641576 kB
Buffers:         33864 kB
Cached:         336592 kB
SwapCached:       1028 kB
Active:          41216 kB
Inactive:       331420 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        641324 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14768 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:10:15 (client local time) WITH STATUS 0 IN 1201.19 SECONDS
stats: 25803 7 1201.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 30898/316419	Time: 38.9471/86400
c Decision: 30898/316419	Time: 45.0921/86400
c Decision: 30898/316419	Time: 49.0455/86400
c Decision: 30898/316419	Time: 57.0313/86400
c Decision: 30898/316419	Time: 65.637/86400
c Decision: 30898/316419	Time: 74.0607/86400
c Decision: 30898/316419	Time: 81.7726/86400
c Decision: 30898/316419	Time: 90.7312/86400
c Decision: 30898/316419	Time: 98.0631/86400
c Decision: 30898/316419	Time: 105.556/86400
c Decision: 30898/316419	Time: 114.635/86400
c Decision: 30898/316419	Time: 122.79/86400
c Decision: 30898/316419	Time: 129.567/86400
c Decision: 30898/316419	Time: 137.273/86400
c Decision: 30898/316419	Time: 146.039/86400
c Decision: 30898/316419	Time: 155.416/86400
c Decision: 30898/316419	Time: 162.371/86400
c Decision: 30898/316419	Time: 169.64/86400
c Decision: 30898/316419	Time: 176.087/86400
c Decision: 30898/316419	Time: 183.951/86400
c Decision: 30898/316419	Time: 192.146/86400
c Decision: 30898/316419	Time: 199.781/86400
c Decision: 30898/316419	Time: 207.482/86400
c Decision: 30898/316419	Time: 214.201/86400
c Decision: 30898/316419	Time: 222.589/86400
c Decision: 30898/316419	Time: 231.924/86400
c Decision: 30898/316419	Time: 238.809/86400
c Decision: 30898/316419	Time: 245.494/86400
c Decision: 30898/316419	Time: 252.381/86400
c Decision: 30898/316419	Time: 258.593/86400
c Decision: 30898/316419	Time: 266.86/86400
c Decision: 30898/316419	Time: 274.033/86400
c Decision: 30898/316419	Time: 282.113/86400
c Decision: 30898/316419	Time: 290.317/86400
c Decision: 30898/316419	Time: 297.876/86400
c Decision: 30898/316419	Time: 306.431/86400
c Decision: 30898/316419	Time: 314.302/86400
c Decision: 30898/316419	Time: 322.487/86400
c Decision: 30898/316419	Time: 330.565/86400
c Decision: 30898/316419	Time: 337.992/86400
c Decision: 30898/316419	Time: 347.768/86400
c Decision: 30898/316419	Time: 355.76/86400
c Decision: 30898/316419	Time: 363.793/86400
c Decision: 30898/316419	Time: 371.857/86400
c Decision: 30898/316419	Time: 379.177/86400
c Decision: 30898/316419	Time: 387.493/86400
c Decision: 30898/316419	Time: 395.548/86400
c Decision: 30898/316419	Time: 403.088/86400
c Decision: 30898/316419	Time: 409.577/86400
c Decision: 30898/316419	Time: 417.969/86400
c Decision: 30898/316419	Time: 425.586/86400
c Decision: 30898/316419	Time: 433.412/86400
c Decision: 30898/316419	Time: 441.513/86400
c Decision: 30898/316419	Time: 449.113/86400
c Decision: 30898/316419	Time: 456.309/86400
c Decision: 30898/316419	Time: 465.238/86400
c Decision: 30898/316419	Time: 472.416/86400
c Decision: 30898/316419	Time: 480.231/86400
c Decision: 30898/316419	Time: 488.066/86400
c Decision: 30898/316419	Time: 496.055/86400
c Decision: 30898/316419	Time: 505.209/86400
c Decision: 30898/316419	Time: 513.925/86400
c Decision: 30898/316419	Time: 520.952/86400
c Decision: 30898/316419	Time: 528.762/86400
c Decision: 30898/316419	Time: 536.539/86400
c Decision: 30898/316419	Time: 545.947/86400
c Decision: 30898/316419	Time: 553.814/86400
c Decision: 30898/316419	Time: 561.288/86400
c Decision: 30898/316419	Time: 568.969/86400
c Decision: 30898/316419	Time: 576.084/86400
c Decision: 30898/316419	Time: 585.72/86400
c Decision: 30898/316419	Time: 594.413/86400
c Decision: 30898/316419	Time: 602.181/86400
c Decision: 30898/316419	Time: 611.271/86400
c Decision: 30898/316419	Time: 619.148/86400
c Decision: 30898/316419	Time: 627.409/86400
c Decision: 30898/316419	Time: 635.768/86400
c Decision: 30898/316419	Time: 643.918/86400
c Decision: 30898/316419	Time: 652.397/86400
c Decision: 30898/316419	Time: 660.893/86400
c Decision: 30898/316419	Time: 669.56/86400
c Decision: 30898/316419	Time: 677.543/86400
c Decision: 30898/316419	Time: 685.566/86400
c Decision: 30898/316419	Time: 693.216/86400
c Decision: 30898/316419	Time: 701.485/86400
c Decision: 30898/316419	Time: 711.346/86400
c Decision: 30898/316419	Time: 721.812/86400
c Decision: 30898/316419	Time: 732.23/86400
c Decision: 30898/316419	Time: 741.676/86400
c Decision: 30898/316419	Time: 749.345/86400
c Decision: 30898/316419	Time: 758.568/86400
c Decision: 30898/316419	Time: 766.887/86400
c Decision: 30898/316419	Time: 775.518/86400
c Decision: 30898/316419	Time: 783.812/86400
c Decision: 30898/316419	Time: 792.752/86400
c Decision: 30898/316419	Time: 802.204/86400
c Decision: 30898/316419	Time: 810.624/86400
c Decision: 30898/316419	Time: 818.183/86400
c Decision: 30898/316419	Time: 826.497/86400
c Decision: 30898/316419	Time: 834.146/86400
c Decision: 30898/316419	Time: 842.574/86400
c Decision: 30898/316419	Time: 849.77/86400
c Decision: 30898/316419	Time: 858.229/86400
c Decision: 30898/316419	Time: 865.933/86400
c Decision: 30898/316419	Time: 874.7/86400
c Decision: 30898/316419	Time: 883.561/86400
c Decision: 30898/316419	Time: 891.674/86400
c Decision: 30898/316419	Time: 900.563/86400
c Decision: 30898/316419	Time: 910.287/86400
c Decision: 30898/316419	Time: 918.068/86400
c Decision: 30898/316419	Time: 927.684/86400
c Decision: 30898/316419	Time: 936.795/86400
c Decision: 30898/316419	Time: 945.799/86400
c Decision: 30898/316419	Time: 954.824/86400
c Decision: 30898/316419	Time: 963.705/86400
c Decision: 30898/316419	Time: 973.805/86400
c Decision: 30898/316419	Time: 982.777/86400
c Decision: 30898/316419	Time: 990.91/86400
c Decision: 30898/316419	Time: 999.014/86400
c Decision: 30898/316419	Time: 1007.19/86400
c Decision: 30898/316419	Time: 1016.72/86400
c Decision: 30898/316419	Time: 1024.6/86400
c Decision: 30898/316419	Time: 1033.19/86400
c Decision: 30898/316419	Time: 1042.12/86400
c Decision: 30898/316419	Time: 1050.61/86400
c Decision: 30898/316419	Time: 1059.82/86400
c Decision: 30898/316419	Time: 1067.02/86400
c Decision: 30898/316419	Time: 1075.55/86400
c Decision: 30898/316419	Time: 1084.05/86400
c Decision: 30898/316419	Time: 1092.03/86400
c Decision: 30898/316419	Time: 1102.03/86400
c Decision: 30898/316419	Time: 1110.4/86400
c Decision: 30898/316419	Time: 1118.76/86400
c Decision: 30898/316419	Time: 1126.62/86400
c Decision: 30898/316419	Time: 1134.93/86400
c Decision: 30898/316419	Time: 1144.82/86400
c Decision: 30898/316419	Time: 1153.08/86400
c Decision: 30898/316419	Time: 1162.42/86400
c Decision: 30898/316419	Time: 1170.27/86400
c Decision: 30898/316419	Time: 1177.69/86400s UNKNOWN
#### 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.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (runsolver) R 19470 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970534214 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.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 25090 0 0 0 945 53 0 0 25 0 1 0 970534214 77438976 14169 4294967295 134512640 135730672 3221224576 3221221632 134854973 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18906 14169 301 301 0 18605 0
vsize: 75624
[startup+20.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 46350 0 0 0 1896 102 0 0 25 0 1 0 970534214 135761920 23942 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33145 23942 301 301 0 32844 0
vsize: 132580
[startup+30.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 46688 0 0 0 2895 103 0 0 25 0 1 0 970534214 137089024 24280 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33469 24280 301 301 0 33168 0
vsize: 133876
[startup+40.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 46951 0 0 0 3893 106 0 0 25 0 1 0 970534214 154800128 24543 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37793 24543 301 301 0 37492 0
vsize: 151172
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 47315 0 0 0 4891 108 0 0 25 0 1 0 970534214 156307456 24907 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38161 24907 301 301 0 37860 0
vsize: 152644
[startup+60.0035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 48106 0 0 0 5887 112 0 0 25 0 1 0 970534214 157069312 25079 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38347 25079 301 301 0 38046 0
vsize: 153388
[startup+70.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 49003 0 0 0 6883 115 0 0 25 0 1 0 970534214 158273536 25357 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38641 25357 301 301 0 38340 0
vsize: 154564
[startup+80.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 49798 0 0 0 7879 120 0 0 25 0 1 0 970534214 158998528 25533 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38818 25533 301 301 0 38517 0
vsize: 155272
[startup+90.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 51121 0 0 0 8875 125 0 0 25 0 1 0 970534214 159309824 25618 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38894 25618 301 301 0 38593 0
vsize: 155576
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 51847 0 0 0 9871 128 0 0 25 0 1 0 970534214 159784960 25725 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39010 25725 301 301 0 38709 0
vsize: 156040
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 52587 0 0 0 10867 132 0 0 25 0 1 0 970534214 160260096 25846 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39126 25846 301 301 0 38825 0
vsize: 156504
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 53239 0 0 0 11862 137 0 0 25 0 1 0 970534214 160423936 25879 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39166 25879 301 301 0 38865 0
vsize: 156664
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 54551 0 0 0 12859 141 0 0 25 0 1 0 970534214 160751616 25953 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39246 25953 301 301 0 38945 0
vsize: 156984
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 55328 0 0 0 13855 144 0 0 25 0 1 0 970534214 161443840 26111 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39415 26111 301 301 0 39114 0
vsize: 157660
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 55955 0 0 0 14851 148 0 0 25 0 1 0 970534214 161443840 26119 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39415 26119 301 301 0 39114 0
vsize: 157660
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 56743 0 0 0 15849 151 0 0 25 0 1 0 970534214 162451456 26288 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39661 26288 301 301 0 39360 0
vsize: 158644
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 58018 0 0 0 16845 155 0 0 25 0 1 0 970534214 164986880 26944 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40280 26944 301 301 0 39979 0
vsize: 161120
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 58681 0 0 0 17842 159 0 0 25 0 1 0 970534214 162648064 26369 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39709 26369 301 301 0 39408 0
vsize: 158836
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 59319 0 0 0 18839 162 0 0 25 0 1 0 970534214 162648064 26388 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39709 26388 301 301 0 39408 0
vsize: 158836
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 60599 0 0 0 19834 167 0 0 25 0 1 0 970534214 162811904 26430 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39749 26430 301 301 0 39448 0
vsize: 158996
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 61237 0 0 0 20832 170 0 0 25 0 1 0 970534214 162811904 26449 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39749 26449 301 301 0 39448 0
vsize: 158996
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 61912 0 0 0 21827 174 0 0 25 0 1 0 970534214 163082240 26505 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39815 26505 301 301 0 39514 0
vsize: 159260
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 63170 0 0 0 22822 180 0 0 25 0 1 0 970534214 163082240 26525 4294967295 134512640 135730672 3221224576 3221223200 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39815 26525 301 301 0 39514 0
vsize: 159260
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 63821 0 0 0 23819 184 0 0 25 0 1 0 970534214 163237888 26557 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39853 26557 301 301 0 39552 0
vsize: 159412
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 64461 0 0 0 24815 188 0 0 25 0 1 0 970534214 163385344 26578 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39889 26578 301 301 0 39588 0
vsize: 159556
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 65104 0 0 0 25812 191 0 0 25 0 1 0 970534214 163385344 26602 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39889 26602 301 301 0 39588 0
vsize: 159556
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 65803 0 0 0 26809 195 0 0 25 0 1 0 970534214 163745792 26682 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39977 26682 301 301 0 39676 0
vsize: 159908
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 65820 0 0 0 27805 199 0 0 25 0 1 0 970534214 163745792 26699 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39977 26699 301 301 0 39676 0
vsize: 159908
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 67095 0 0 0 28800 204 0 0 25 0 1 0 970534214 163745792 26736 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39977 26736 301 301 0 39676 0
vsize: 159908
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 67731 0 0 0 29796 209 0 0 25 0 1 0 970534214 163745792 26753 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39977 26753 301 301 0 39676 0
vsize: 159908
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 68384 0 0 0 30792 213 0 0 25 0 1 0 970534214 163876864 26787 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40009 26787 301 301 0 39708 0
vsize: 160036
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 69026 0 0 0 31788 218 0 0 25 0 1 0 970534214 163876864 26810 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40009 26810 301 301 0 39708 0
vsize: 160036
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 70284 0 0 0 32783 223 0 0 25 0 1 0 970534214 166555648 27449 4294967295 134512640 135730672 3221224576 3221222744 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40663 27449 301 301 0 40362 0
vsize: 162652
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 70922 0 0 0 33779 227 0 0 25 0 1 0 970534214 164020224 26849 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40044 26849 301 301 0 39743 0
vsize: 160176
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 71596 0 0 0 34776 231 0 0 25 0 1 0 970534214 164167680 26904 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40080 26904 301 301 0 39779 0
vsize: 160320
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 72349 0 0 0 35770 237 0 0 25 0 1 0 970534214 164667392 27038 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40202 27038 301 301 0 39901 0
vsize: 160808
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 72974 0 0 0 36767 240 0 0 25 0 1 0 970534214 164667392 27044 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40202 27044 301 301 0 39901 0
vsize: 160808
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 74225 0 0 0 37762 246 0 0 25 0 1 0 970534214 164667392 27057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40202 27057 301 301 0 39901 0
vsize: 160808
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 74861 0 0 0 38758 250 0 0 25 0 1 0 970534214 164667392 27074 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40202 27074 301 301 0 39901 0
vsize: 160808
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 75512 0 0 0 39754 255 0 0 25 0 1 0 970534214 164814848 27106 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40238 27106 301 301 0 39937 0
vsize: 160952
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 76151 0 0 0 40750 258 0 0 25 0 1 0 970534214 164814848 27126 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40238 27126 301 301 0 39937 0
vsize: 160952
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 77428 0 0 0 41745 264 0 0 25 0 1 0 970534214 165011456 27165 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40286 27165 301 301 0 39985 0
vsize: 161144
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 78067 0 0 0 42740 269 0 0 25 0 1 0 970534214 165011456 27185 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40286 27185 301 301 0 39985 0
vsize: 161144
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 79344 0 0 0 43735 275 0 0 25 0 1 0 970534214 167546880 27843 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40905 27843 301 301 0 40604 0
vsize: 163620
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 80016 0 0 0 44731 279 0 0 25 0 1 0 970534214 165310464 27277 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40359 27277 301 301 0 40058 0
vsize: 161436
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 80654 0 0 0 45728 282 0 0 25 0 1 0 970534214 165310464 27296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40359 27296 301 301 0 40058 0
vsize: 161436
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 81302 0 0 0 46724 287 0 0 25 0 1 0 970534214 165310464 27325 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40359 27325 301 301 0 40058 0
vsize: 161436
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 82690 0 0 0 47719 293 0 0 25 0 1 0 970534214 166023168 27475 4294967295 134512640 135730672 3221224576 3221223200 134783069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40533 27475 301 301 0 40232 0
vsize: 162132
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 83314 0 0 0 48715 297 0 0 25 0 1 0 970534214 166023168 27480 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40533 27480 301 301 0 40232 0
vsize: 162132
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 83948 0 0 0 49711 301 0 0 25 0 1 0 970534214 166023168 27495 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40533 27495 301 301 0 40232 0
vsize: 162132
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 84582 0 0 0 50707 306 0 0 25 0 1 0 970534214 166023168 27510 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40533 27510 301 301 0 40232 0
vsize: 162132
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 85833 0 0 0 51702 311 0 0 25 0 1 0 970534214 166023168 27523 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40533 27523 301 301 0 40232 0
vsize: 162132
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 86481 0 0 0 52698 315 0 0 25 0 1 0 970534214 166187008 27552 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40573 27552 301 301 0 40272 0
vsize: 162292
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 87112 0 0 0 53694 320 0 0 25 0 1 0 970534214 166187008 27564 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40573 27564 301 301 0 40272 0
vsize: 162292
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 87746 0 0 0 54689 325 0 0 25 0 1 0 970534214 166187008 27579 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40573 27579 301 301 0 40272 0
vsize: 162292
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 89007 0 0 0 55683 332 0 0 25 0 1 0 970534214 168861696 28221 4294967295 134512640 135730672 3221224576 3221222752 134768847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41226 28221 301 301 0 40925 0
vsize: 164904
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 89651 0 0 0 56679 335 0 0 25 0 1 0 970534214 166326272 27627 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40607 27627 301 301 0 40306 0
vsize: 162428
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 90291 0 0 0 57676 339 0 0 25 0 1 0 970534214 166326272 27648 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40607 27648 301 301 0 40306 0
vsize: 162428
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19471
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 90940 0 0 0 58672 344 0 0 25 0 1 0 970534214 166457344 27678 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40639 27678 301 301 0 40338 0
vsize: 162556
[startup+600.027 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 92225 0 0 0 59662 353 0 0 25 0 1 0 970534214 169127936 28344 4294967295 134512640 135730672 3221224576 3221222752 134772772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41291 28344 301 301 0 40990 0
vsize: 165164
[startup+610.027 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 92849 0 0 0 60657 358 0 0 25 0 1 0 970534214 169127936 28349 4294967295 134512640 135730672 3221224576 3221222744 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41291 28349 301 301 0 40990 0
vsize: 165164
[startup+620.027 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 93495 0 0 0 61653 363 0 0 25 0 1 0 970534214 166592512 27757 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40672 27757 301 301 0 40371 0
vsize: 162688
[startup+630.028 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 94214 0 0 0 62649 368 0 0 25 0 1 0 970534214 166940672 27857 4294967295 134512640 135730672 3221224576 3221223232 134734756 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40757 27857 301 301 0 40456 0
vsize: 163028
[startup+640.029 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 94852 0 0 0 63646 371 0 0 25 0 1 0 970534214 166940672 27876 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40757 27876 301 301 0 40456 0
vsize: 163028
[startup+650.03 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19524
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 95483 0 0 0 64642 375 0 0 25 0 1 0 970534214 167071744 27888 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40789 27888 301 301 0 40488 0
vsize: 163156
[startup+660.03 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 96750 0 0 0 65637 380 0 0 25 0 1 0 970534214 167071744 27917 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40789 27917 301 301 0 40488 0
vsize: 163156
[startup+670.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 97413 0 0 0 66632 386 0 0 25 0 1 0 970534214 167206912 27961 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40822 27961 301 301 0 40521 0
vsize: 163288
[startup+680.031 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 98048 0 0 0 67627 391 0 0 25 0 1 0 970534214 167206912 27977 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40822 27977 301 301 0 40521 0
vsize: 163288
[startup+690.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 98689 0 0 0 68624 395 0 0 25 0 1 0 970534214 167206912 27999 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40822 27999 301 301 0 40521 0
vsize: 163288
[startup+700.032 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 99333 0 0 0 69620 399 0 0 25 0 1 0 970534214 167206912 28024 4294967295 134512640 135730672 3221224576 3221222896 134732532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40822 28024 301 301 0 40521 0
vsize: 163288
[startup+710.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 100590 0 0 0 70615 404 0 0 25 0 1 0 970534214 167337984 28043 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40854 28043 301 301 0 40553 0
vsize: 163416
[startup+720.034 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 101251 0 0 0 71612 408 0 0 25 0 1 0 970534214 167337984 28085 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40854 28085 301 301 0 40553 0
vsize: 163416
[startup+730.033 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 101947 0 0 0 72609 411 0 0 25 0 1 0 970534214 167727104 28162 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40949 28162 301 301 0 40648 0
vsize: 163796
[startup+740.034 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 102698 0 0 0 73606 415 0 0 25 0 1 0 970534214 168267776 28294 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41081 28294 301 301 0 40780 0
vsize: 164324
[startup+750.035 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 103388 0 0 0 74601 420 0 0 25 0 1 0 970534214 168562688 28365 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41153 28365 301 301 0 40852 0
vsize: 164612
[startup+760.036 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 104081 0 0 0 75597 425 0 0 25 0 1 0 970534214 168873984 28439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41229 28439 301 301 0 40928 0
vsize: 164916
[startup+770.037 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 104097 0 0 0 76594 428 0 0 25 0 1 0 970534214 168873984 28455 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41229 28455 301 301 0 40928 0
vsize: 164916
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 104756 0 0 0 77589 434 0 0 25 0 1 0 970534214 169037824 28495 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41269 28495 301 301 0 40968 0
vsize: 165076
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 105399 0 0 0 78584 439 0 0 25 0 1 0 970534214 169037824 28519 4294967295 134512640 135730672 3221224576 3221223088 134746517 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41269 28519 301 301 0 40968 0
vsize: 165076
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 106675 0 0 0 79579 444 0 0 25 0 1 0 970534214 169201664 28557 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41309 28557 301 301 0 41008 0
vsize: 165236
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 107363 0 0 0 80574 450 0 0 25 0 1 0 970534214 169361408 28626 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41348 28626 301 301 0 41047 0
vsize: 165392
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 107993 0 0 0 81570 454 0 0 25 0 1 0 970534214 169361408 28637 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41348 28637 301 301 0 41047 0
vsize: 165392
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 108626 0 0 0 82566 458 0 0 25 0 1 0 970534214 169361408 28651 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41348 28651 301 301 0 41047 0
vsize: 165392
[startup+840.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 109296 0 0 0 83562 462 0 0 25 0 1 0 970534214 169525248 28702 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41388 28702 301 301 0 41087 0
vsize: 165552
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 110547 0 0 0 84557 468 0 0 25 0 1 0 970534214 169525248 28715 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41388 28715 301 301 0 41087 0
vsize: 165552
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 111178 0 0 0 85553 473 0 0 25 0 1 0 970534214 169525248 28727 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41388 28727 301 301 0 41087 0
vsize: 165552
[startup+870.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 111817 0 0 0 86548 478 0 0 25 0 1 0 970534214 169656320 28747 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41420 28747 301 301 0 41119 0
vsize: 165680
[startup+880.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 112456 0 0 0 87543 483 0 0 25 0 1 0 970534214 169656320 28767 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41420 28767 301 301 0 41119 0
vsize: 165680
[startup+890.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 113714 0 0 0 88539 488 0 0 25 0 1 0 970534214 172191744 29406 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42039 29406 301 301 0 41738 0
vsize: 168156
[startup+900.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19526
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 114354 0 0 0 89535 492 0 0 25 0 1 0 970534214 169656320 28808 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41420 28808 301 301 0 41119 0
vsize: 165680
[startup+910.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 114990 0 0 0 90531 496 0 0 25 0 1 0 970534214 169787392 28825 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41452 28825 301 301 0 41151 0
vsize: 165808
[startup+920.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 115729 0 0 0 91527 501 0 0 25 0 1 0 970534214 170168320 28945 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41545 28945 301 301 0 41244 0
vsize: 166180
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 116439 0 0 0 92523 506 0 0 25 0 1 0 970534214 170561536 29036 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29036 301 301 0 41340 0
vsize: 166564
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 117072 0 0 0 93520 509 0 0 25 0 1 0 970534214 170561536 29050 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29050 301 301 0 41340 0
vsize: 166564
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 117696 0 0 0 94516 513 0 0 25 0 1 0 970534214 170561536 29055 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29055 301 301 0 41340 0
vsize: 166564
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 118320 0 0 0 95512 517 0 0 25 0 1 0 970534214 170561536 29060 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29060 301 301 0 41340 0
vsize: 166564
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 119568 0 0 0 96508 522 0 0 25 0 1 0 970534214 173096960 29689 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42260 29689 301 301 0 41959 0
vsize: 169040
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 120199 0 0 0 97504 527 0 0 25 0 1 0 970534214 170561536 29082 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29082 301 301 0 41340 0
vsize: 166564
[startup+990.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 120828 0 0 0 98500 531 0 0 25 0 1 0 970534214 170561536 29092 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29092 301 301 0 41340 0
vsize: 166564
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 121458 0 0 0 99495 536 0 0 25 0 1 0 970534214 170561536 29103 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29103 301 301 0 41340 0
vsize: 166564
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 122091 0 0 0 100493 539 0 0 25 0 1 0 970534214 170561536 29117 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29117 301 301 0 41340 0
vsize: 166564
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 122754 0 0 0 101489 543 0 0 25 0 1 0 970534214 170561536 29161 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41641 29161 301 301 0 41340 0
vsize: 166564
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 123418 0 0 0 102484 548 0 0 25 0 1 0 970534214 170725376 29206 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41681 29206 301 301 0 41380 0
vsize: 166724
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 124666 0 0 0 103479 554 0 0 25 0 1 0 970534214 173260800 29835 4294967295 134512640 135730672 3221224576 3221222736 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42300 29835 301 301 0 41999 0
vsize: 169200
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 125299 0 0 0 104476 557 0 0 25 0 1 0 970534214 170725376 29230 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41681 29230 301 301 0 41380 0
vsize: 166724
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 125934 0 0 0 105472 562 0 0 25 0 1 0 970534214 170856448 29246 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 29246 301 301 0 41412 0
vsize: 166852
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 126575 0 0 0 106468 566 0 0 25 0 1 0 970534214 170856448 29268 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 29268 301 301 0 41412 0
vsize: 166852
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 127216 0 0 0 107463 572 0 0 25 0 1 0 970534214 170856448 29290 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 29290 301 301 0 41412 0
vsize: 166852
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 127857 0 0 0 108460 575 0 0 25 0 1 0 970534214 170856448 29312 4294967295 134512640 135730672 3221224576 3221223088 134745876 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41713 29312 301 301 0 41412 0
vsize: 166852
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 129113 0 0 0 109454 581 0 0 25 0 1 0 970534214 170987520 29330 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 29330 301 301 0 41444 0
vsize: 166980
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 129752 0 0 0 110451 585 0 0 25 0 1 0 970534214 170987520 29350 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 29350 301 301 0 41444 0
vsize: 166980
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 130391 0 0 0 111447 589 0 0 25 0 1 0 970534214 170987520 29370 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 29370 301 301 0 41444 0
vsize: 166980
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 131033 0 0 0 112443 593 0 0 25 0 1 0 970534214 170987520 29393 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41745 29393 301 301 0 41444 0
vsize: 166980
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 131675 0 0 0 113439 597 0 0 25 0 1 0 970534214 171122688 29416 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41778 29416 301 301 0 41477 0
vsize: 167112
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 132932 0 0 0 114435 602 0 0 25 0 1 0 970534214 173658112 30054 4294967295 134512640 135730672 3221224576 3221222752 134769217 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42397 30054 301 301 0 42096 0
vsize: 169588
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 133585 0 0 0 115431 606 0 0 25 0 1 0 970534214 171266048 29469 4294967295 134512640 135730672 3221224576 3221223200 134783271 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41813 29469 301 301 0 41512 0
vsize: 167252
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 134214 0 0 0 116426 611 0 0 25 0 1 0 970534214 171266048 29479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41813 29479 301 301 0 41512 0
vsize: 167252
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 134851 0 0 0 117422 616 0 0 25 0 1 0 970534214 171266048 29497 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41813 29497 301 301 0 41512 0
vsize: 167252
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 135498 0 0 0 118419 619 0 0 25 0 1 0 970534214 171266048 29525 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41813 29525 301 301 0 41512 0
vsize: 167252
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19528
Raw data (stat): 19471 (pb2sat-v2) R 19470 25568 25567 0 -1 0 136137 0 0 0 119415 623 0 0 25 0 1 0 970534214 171266048 29545 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41813 29545 301 301 0 41512 0
vsize: 167252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.87 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19528
Raw data (stat): 19471 (pb2sat-v2) Z 19470 25568 25567 0 -1 12 136139 0 0 0 119489 629 0 0 25 0 1 0 970534214 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.87
CPU time (s): 1201.19
CPU user time (s): 1194.89
CPU system time (s): 6.29904
CPU usage (%): 100.027
Max. virtual memory (Kb): 169588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####