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-ran12x21.opb
MD5SUM	592fea06f126ca9b3a8a014f1e413b01
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7773351
Optimality of the best value was proved	NO
Number of terms in the objective function	7812
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	1543007621731
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	1543007621731
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	1226.04
Number of variables	7812
Total number of constraints	285
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	285
Minimum length of a constraint	31
Maximum length of a constraint	630
Trace number 42583

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        653512 kB
Buffers:         34740 kB
Cached:         324308 kB
SwapCached:        944 kB
Active:          39392 kB
Inactive:       321752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        653260 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14324 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 11:51:51 (client local time) WITH STATUS 0 IN 1200.89 SECONDS
stats: 25799 7 1200.89 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 26933/276448	Time: 41.7497/86400
c Decision: 26933/276448	Time: 49.4005/86400
c Decision: 26933/276448	Time: 55.8895/86400
c Decision: 26933/276448	Time: 63.3874/86400
c Decision: 26933/276448	Time: 70.7792/86400
c Decision: 26933/276448	Time: 78.661/86400
c Decision: 26933/276448	Time: 86.0659/86400
c Decision: 26933/276448	Time: 93.5928/86400
c Decision: 26933/276448	Time: 100.897/86400
c Decision: 26933/276448	Time: 108.468/86400
c Decision: 26933/276448	Time: 117.895/86400
c Decision: 26933/276448	Time: 125.93/86400
c Decision: 26933/276448	Time: 133.875/86400
c Decision: 26933/276448	Time: 141.054/86400
c Decision: 26933/276448	Time: 148.782/86400
c Decision: 26933/276448	Time: 157.094/86400
c Decision: 26933/276448	Time: 163.931/86400
c Decision: 26933/276448	Time: 172.226/86400
c Decision: 26933/276448	Time: 179.732/86400
c Decision: 26933/276448	Time: 188.433/86400
c Decision: 26933/276448	Time: 197.115/86400
c Decision: 26933/276448	Time: 205.165/86400
c Decision: 26933/276448	Time: 214.138/86400
c Decision: 26933/276448	Time: 222.545/86400
c Decision: 26933/276448	Time: 229.828/86400
c Decision: 26933/276448	Time: 237.862/86400
c Decision: 26933/276448	Time: 244.41/86400
c Decision: 26933/276448	Time: 251.901/86400
c Decision: 26933/276448	Time: 258.578/86400
c Decision: 26933/276448	Time: 266.304/86400
c Decision: 26933/276448	Time: 275.353/86400
c Decision: 26933/276448	Time: 283.296/86400
c Decision: 26933/276448	Time: 290.85/86400
c Decision: 26933/276448	Time: 298.817/86400
c Decision: 26933/276448	Time: 306.779/86400
c Decision: 26933/276448	Time: 315.798/86400
c Decision: 26933/276448	Time: 324.145/86400
c Decision: 26933/276448	Time: 332.494/86400
c Decision: 26933/276448	Time: 340.253/86400
c Decision: 26933/276448	Time: 346.844/86400
c Decision: 26933/276448	Time: 355.835/86400
c Decision: 26933/276448	Time: 362.721/86400
c Decision: 26933/276448	Time: 370.421/86400
c Decision: 26933/276448	Time: 378.237/86400
c Decision: 26933/276448	Time: 385.724/86400
c Decision: 26933/276448	Time: 393.53/86400
c Decision: 26933/276448	Time: 401.162/86400
c Decision: 26933/276448	Time: 408.05/86400
c Decision: 26933/276448	Time: 416.273/86400
c Decision: 26933/276448	Time: 424.746/86400
c Decision: 26933/276448	Time: 434.756/86400
c Decision: 26933/276448	Time: 441.582/86400
c Decision: 26933/276448	Time: 449.473/86400
c Decision: 26933/276448	Time: 456.716/86400
c Decision: 26933/276448	Time: 464.432/86400
c Decision: 26933/276448	Time: 473.496/86400
c Decision: 26933/276448	Time: 481.4/86400
c Decision: 26933/276448	Time: 489.707/86400
c Decision: 26933/276448	Time: 497.94/86400
c Decision: 26933/276448	Time: 504.958/86400
c Decision: 26933/276448	Time: 512.357/86400
c Decision: 26933/276448	Time: 519.075/86400
c Decision: 26933/276448	Time: 527.363/86400
c Decision: 26933/276448	Time: 533.404/86400
c Decision: 26933/276448	Time: 539.055/86400
c Decision: 26933/276448	Time: 546.887/86400
c Decision: 26933/276448	Time: 554.948/86400
c Decision: 26933/276448	Time: 563.162/86400
c Decision: 26933/276448	Time: 571.504/86400
c Decision: 26933/276448	Time: 579.045/86400
c Decision: 26933/276448	Time: 588.594/86400
c Decision: 26933/276448	Time: 595.749/86400
c Decision: 26933/276448	Time: 603.402/86400
c Decision: 26933/276448	Time: 611.301/86400
c Decision: 26933/276448	Time: 619.219/86400
c Decision: 26933/276448	Time: 627.655/86400
c Decision: 26933/276448	Time: 633.964/86400
c Decision: 26933/276448	Time: 641.551/86400
c Decision: 26933/276448	Time: 649.386/86400
c Decision: 26933/276448	Time: 657.378/86400
c Decision: 26933/276448	Time: 666.501/86400
c Decision: 26933/276448	Time: 673.625/86400
c Decision: 26933/276448	Time: 681.607/86400
c Decision: 26933/276448	Time: 688.929/86400
c Decision: 26933/276448	Time: 697.536/86400
c Decision: 26933/276448	Time: 706.553/86400
c Decision: 26933/276448	Time: 714.049/86400
c Decision: 26933/276448	Time: 721.238/86400
c Decision: 26933/276448	Time: 730.267/86400
c Decision: 26933/276448	Time: 738.704/86400
c Decision: 26933/276448	Time: 747.851/86400
c Decision: 26933/276448	Time: 755.84/86400
c Decision: 26933/276448	Time: 764.316/86400
c Decision: 26933/276448	Time: 772.786/86400
c Decision: 26933/276448	Time: 780.491/86400
c Decision: 26933/276448	Time: 789.691/86400
c Decision: 26933/276448	Time: 797.847/86400
c Decision: 26933/276448	Time: 806.526/86400
c Decision: 26933/276448	Time: 814.151/86400
c Decision: 26933/276448	Time: 821.61/86400
c Decision: 26933/276448	Time: 830.613/86400
c Decision: 26933/276448	Time: 838.686/86400
c Decision: 26933/276448	Time: 846.279/86400
c Decision: 26933/276448	Time: 853.794/86400
c Decision: 26933/276448	Time: 861.539/86400
c Decision: 26933/276448	Time: 869.803/86400
c Decision: 26933/276448	Time: 877.227/86400
c Decision: 26933/276448	Time: 884.672/86400
c Decision: 26933/276448	Time: 892.558/86400
c Decision: 26933/276448	Time: 900.746/86400
c Decision: 26933/276448	Time: 907.886/86400
c Decision: 26933/276448	Time: 915.386/86400
c Decision: 26933/276448	Time: 922.291/86400
c Decision: 26933/276448	Time: 930.36/86400
c Decision: 26933/276448	Time: 937.669/86400
c Decision: 26933/276448	Time: 946.621/86400
c Decision: 26933/276448	Time: 953.315/86400
c Decision: 26933/276448	Time: 960.952/86400
c Decision: 26933/276448	Time: 968.312/86400
c Decision: 26933/276448	Time: 974.753/86400
c Decision: 26933/276448	Time: 982.117/86400
c Decision: 26933/276448	Time: 988.001/86400
c Decision: 26933/276448	Time: 994.877/86400
c Decision: 26933/276448	Time: 1002.23/86400
c Decision: 26933/276448	Time: 1010.21/86400
c Decision: 26933/276448	Time: 1018.85/86400
c Decision: 26933/276448	Time: 1026.21/86400
c Decision: 26933/276448	Time: 1033.8/86400
c Decision: 26933/276448	Time: 1041.85/86400
c Decision: 26933/276448	Time: 1049.32/86400
c Decision: 26933/276448	Time: 1058/86400
c Decision: 26933/276448	Time: 1065.84/86400
c Decision: 26933/276448	Time: 1073.37/86400
c Decision: 26933/276448	Time: 1081.47/86400
c Decision: 26933/276448	Time: 1088.56/86400
c Decision: 26933/276448	Time: 1097.24/86400
c Decision: 26933/276448	Time: 1104.91/86400
c Decision: 26933/276448	Time: 1112.81/86400
c Decision: 26933/276448	Time: 1120.85/86400
c Decision: 26933/276448	Time: 1128.99/86400
c Decision: 26933/276448	Time: 1137.5/86400
c Decision: 26933/276448	Time: 1144.61/86400
c Decision: 26933/276448	Time: 1152.94/86400
c Decision: 26933/276448	Time: 1160.17/86400
c Decision: 26933/276448	Time: 1168.27/86400
c Decision: 26933/276448	Time: 1177.05/86400
c Decision: 26933/276448	Time: 1184.59/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.91 0.95 0.90 2/54 25305
Raw data (stat): 25305 (runsolver) R 25304 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970414685 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 25484 0 0 0 940 58 0 0 25 0 1 0 970414685 77570048 14591 4294967295 134512640 135730672 3221224576 3221078848 134770253 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18938 14591 301 301 0 18637 0
vsize: 75752
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 37873 0 0 0 1910 88 0 0 25 0 1 0 970414685 109858816 21761 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26821 21761 301 301 0 26520 0
vsize: 107284
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 38018 0 0 0 2908 89 0 0 25 0 1 0 970414685 110137344 21906 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26889 21906 301 301 0 26588 0
vsize: 107556
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 38534 0 0 0 3906 92 0 0 25 0 1 0 970414685 112594944 22422 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27489 22422 301 301 0 27188 0
vsize: 109956
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 38701 0 0 0 4904 94 0 0 25 0 1 0 970414685 113192960 22589 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27635 22589 301 301 0 27334 0
vsize: 110540
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 39372 0 0 0 5900 98 0 0 25 0 1 0 970414685 113717248 22720 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27763 22720 301 301 0 27462 0
vsize: 111052
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 40565 0 0 0 6894 103 0 0 25 0 1 0 970414685 114192384 22833 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27879 22833 301 301 0 27578 0
vsize: 111516
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 41301 0 0 0 7891 107 0 0 25 0 1 0 970414685 115257344 23029 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28139 23029 301 301 0 27838 0
vsize: 112556
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 41951 0 0 0 8886 111 0 0 25 0 1 0 970414685 115847168 23139 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28283 23139 301 301 0 27982 0
vsize: 113132
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 43061 0 0 0 9881 116 0 0 25 0 1 0 970414685 116043776 23169 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28331 23169 301 301 0 28030 0
vsize: 113324
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 43675 0 0 0 10876 122 0 0 25 0 1 0 970414685 116207616 23243 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28371 23243 301 301 0 28070 0
vsize: 113484
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 44300 0 0 0 11872 125 0 0 25 0 1 0 970414685 116731904 23328 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28499 23328 301 301 0 28198 0
vsize: 113996
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 45112 0 0 0 12868 130 0 0 25 0 1 0 970414685 118435840 23600 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28915 23600 301 301 0 28614 0
vsize: 115660
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 46375 0 0 0 13863 134 0 0 25 0 1 0 970414685 119615488 23783 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23783 301 301 0 28902 0
vsize: 116812
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 46924 0 0 0 14859 139 0 0 25 0 1 0 970414685 119615488 23792 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23792 301 301 0 28902 0
vsize: 116812
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 47489 0 0 0 15855 143 0 0 25 0 1 0 970414685 119615488 23817 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23817 301 301 0 28902 0
vsize: 116812
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 48584 0 0 0 16850 148 0 0 25 0 1 0 970414685 119615488 23832 4294967295 134512640 135730672 3221224576 3221222992 134741733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23832 301 301 0 28902 0
vsize: 116812
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 49130 0 0 0 17846 152 0 0 25 0 1 0 970414685 119615488 23838 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23838 301 301 0 28902 0
vsize: 116812
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 49679 0 0 0 18841 157 0 0 25 0 1 0 970414685 119615488 23847 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29203 23847 301 301 0 28902 0
vsize: 116812
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 50267 0 0 0 19838 161 0 0 25 0 1 0 970414685 119943168 23895 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29283 23895 301 301 0 28982 0
vsize: 117132
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 51418 0 0 0 20833 166 0 0 25 0 1 0 970414685 122351616 24506 4294967295 134512640 135730672 3221224576 3221222760 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29871 24506 301 301 0 29570 0
vsize: 119484
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 54549 0 0 0 21823 176 0 0 25 0 1 0 970414685 170672128 26557 4294967295 134512640 135730672 3221224576 3221222528 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41668 26562 301 301 0 41367 0
vsize: 166672
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 58773 0 0 0 22812 187 0 0 25 0 1 0 970414685 146092032 24096 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35667 24096 301 301 0 35366 0
vsize: 142668
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 59338 0 0 0 23808 191 0 0 25 0 1 0 970414685 146092032 24121 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35667 24121 301 301 0 35366 0
vsize: 142668
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 59900 0 0 0 24804 195 0 0 25 0 1 0 970414685 146092032 24143 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35667 24143 301 301 0 35366 0
vsize: 142668
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 60991 0 0 0 25798 201 0 0 25 0 1 0 970414685 146092032 24154 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35667 24154 301 301 0 35366 0
vsize: 142668
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 61586 0 0 0 26795 205 0 0 25 0 1 0 970414685 146288640 24209 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35715 24209 301 301 0 35414 0
vsize: 142860
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 62679 0 0 0 27790 210 0 0 25 0 1 0 970414685 148500480 24762 4294967295 134512640 135730672 3221224576 3221222848 134774514 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36255 24762 301 301 0 35954 0
vsize: 145020
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 63230 0 0 0 28785 215 0 0 25 0 1 0 970414685 146288640 24233 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35715 24233 301 301 0 35414 0
vsize: 142860
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 63803 0 0 0 29780 220 0 0 25 0 1 0 970414685 146452480 24266 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35755 24266 301 301 0 35454 0
vsize: 143020
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 64362 0 0 0 30775 226 0 0 25 0 1 0 970414685 146452480 24285 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35755 24285 301 301 0 35454 0
vsize: 143020
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 65456 0 0 0 31769 232 0 0 25 0 1 0 970414685 148664320 24839 4294967295 134512640 135730672 3221224576 3221222748 134765468 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36295 24839 301 301 0 35994 0
vsize: 145180
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 66033 0 0 0 32766 235 0 0 25 0 1 0 970414685 146616320 24336 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35795 24336 301 301 0 35494 0
vsize: 143180
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 66645 0 0 0 33761 240 0 0 25 0 1 0 970414685 146993152 24408 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24408 301 301 0 35586 0
vsize: 143548
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 67198 0 0 0 34757 244 0 0 25 0 1 0 970414685 146993152 24421 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24421 301 301 0 35586 0
vsize: 143548
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 67761 0 0 0 35753 248 0 0 25 0 1 0 970414685 146993152 24444 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24444 301 301 0 35586 0
vsize: 143548
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 68858 0 0 0 36747 254 0 0 25 0 1 0 970414685 146993152 24461 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24461 301 301 0 35586 0
vsize: 143548
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 69425 0 0 0 37744 258 0 0 25 0 1 0 970414685 146993152 24488 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24488 301 301 0 35586 0
vsize: 143548
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 69988 0 0 0 38739 263 0 0 25 0 1 0 970414685 146993152 24511 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35887 24511 301 301 0 35586 0
vsize: 143548
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 71094 0 0 0 39734 269 0 0 25 0 1 0 970414685 147124224 24537 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35919 24537 301 301 0 35618 0
vsize: 143676
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 71675 0 0 0 40730 273 0 0 25 0 1 0 970414685 147263488 24578 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35953 24578 301 301 0 35652 0
vsize: 143812
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 72240 0 0 0 41726 277 0 0 25 0 1 0 970414685 147263488 24603 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35953 24603 301 301 0 35652 0
vsize: 143812
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 73340 0 0 0 42720 283 0 0 25 0 1 0 970414685 147394560 24623 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35985 24623 301 301 0 35684 0
vsize: 143940
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 73963 0 0 0 43716 287 0 0 25 0 1 0 970414685 147746816 24706 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36071 24706 301 301 0 35770 0
vsize: 144284
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 74513 0 0 0 44713 290 0 0 25 0 1 0 970414685 147746816 24716 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36071 24716 301 301 0 35770 0
vsize: 144284
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 75064 0 0 0 45710 293 0 0 25 0 1 0 970414685 147746816 24727 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36071 24727 301 301 0 35770 0
vsize: 144284
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 76163 0 0 0 46706 297 0 0 25 0 1 0 970414685 149958656 25286 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36611 25286 301 301 0 36310 0
vsize: 146444
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 76728 0 0 0 47702 302 0 0 25 0 1 0 970414685 147881984 24771 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36104 24771 301 301 0 35803 0
vsize: 144416
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 77290 0 0 0 48699 305 0 0 25 0 1 0 970414685 147881984 24793 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36104 24793 301 301 0 35803 0
vsize: 144416
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 77851 0 0 0 49696 309 0 0 25 0 1 0 970414685 147881984 24814 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36104 24814 301 301 0 35803 0
vsize: 144416
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 78416 0 0 0 50692 312 0 0 25 0 1 0 970414685 147881984 24839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36104 24839 301 301 0 35803 0
vsize: 144416
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 79518 0 0 0 51688 317 0 0 25 0 1 0 970414685 148013056 24861 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36136 24861 301 301 0 35835 0
vsize: 144544
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 80082 0 0 0 52685 320 0 0 25 0 1 0 970414685 148013056 24885 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36136 24885 301 301 0 35835 0
vsize: 144544
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 80650 0 0 0 53681 324 0 0 25 0 1 0 970414685 148013056 24913 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36136 24913 301 301 0 35835 0
vsize: 144544
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 81762 0 0 0 54676 329 0 0 25 0 1 0 970414685 148144128 24945 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36168 24945 301 301 0 35867 0
vsize: 144672
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 82889 0 0 0 55672 334 0 0 25 0 1 0 970414685 148144128 24992 4294967295 134512640 135730672 3221224576 3221223180 134787679 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36168 24992 301 301 0 35867 0
vsize: 144672
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 83446 0 0 0 56667 339 0 0 25 0 1 0 970414685 148144128 25009 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36168 25009 301 301 0 35867 0
vsize: 144672
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 83999 0 0 0 57664 342 0 0 25 0 1 0 970414685 148275200 25022 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36200 25022 301 301 0 35899 0
vsize: 144800
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 84563 0 0 0 58660 346 0 0 25 0 1 0 970414685 148275200 25046 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36200 25046 301 301 0 35899 0
vsize: 144800
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 85127 0 0 0 59655 351 0 0 25 0 1 0 970414685 148275200 25070 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36200 25070 301 301 0 35899 0
vsize: 144800
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 86224 0 0 0 60650 356 0 0 25 0 1 0 970414685 148406272 25087 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36232 25087 301 301 0 35931 0
vsize: 144928
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 86785 0 0 0 61645 361 0 0 25 0 1 0 970414685 148406272 25108 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36232 25108 301 301 0 35931 0
vsize: 144928
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 87352 0 0 0 62641 366 0 0 25 0 1 0 970414685 148406272 25135 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36232 25135 301 301 0 35931 0
vsize: 144928
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 88455 0 0 0 63636 371 0 0 25 0 1 0 970414685 150618112 25698 4294967295 134512640 135730672 3221224576 3221222728 134765489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36772 25698 301 301 0 36471 0
vsize: 147088
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 89006 0 0 0 64632 375 0 0 25 0 1 0 970414685 148537344 25169 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36264 25169 301 301 0 35963 0
vsize: 145056
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 89580 0 0 0 65629 379 0 0 25 0 1 0 970414685 148537344 25203 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36264 25203 301 301 0 35963 0
vsize: 145056
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 90143 0 0 0 66624 384 0 0 25 0 1 0 970414685 148537344 25226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36264 25226 301 301 0 35963 0
vsize: 145056
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 91238 0 0 0 67617 391 0 0 25 0 1 0 970414685 148668416 25241 4294967295 134512640 135730672 3221224576 3221223200 134783305 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36296 25241 301 301 0 35995 0
vsize: 145184
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 91801 0 0 0 68613 395 0 0 25 0 1 0 970414685 148668416 25264 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36296 25264 301 301 0 35995 0
vsize: 145184
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 92364 0 0 0 69608 401 0 0 25 0 1 0 970414685 148668416 25287 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36296 25287 301 301 0 35995 0
vsize: 145184
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 92928 0 0 0 70604 405 0 0 25 0 1 0 970414685 148668416 25311 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36296 25311 301 301 0 35995 0
vsize: 145184
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 94028 0 0 0 71599 410 0 0 25 0 1 0 970414685 165576704 25331 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40424 25331 301 301 0 40123 0
vsize: 161696
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 94608 0 0 0 72595 413 0 0 25 0 1 0 970414685 165732352 25371 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40462 25371 301 301 0 40161 0
vsize: 161848
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 95165 0 0 0 73591 418 0 0 25 0 1 0 970414685 165732352 25388 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40462 25388 301 301 0 40161 0
vsize: 161848
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 95737 0 0 0 74587 422 0 0 25 0 1 0 970414685 165732352 25420 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40462 25420 301 301 0 40161 0
vsize: 161848
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 96296 0 0 0 75582 427 0 0 25 0 1 0 970414685 165732352 25439 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40462 25439 301 301 0 40161 0
vsize: 161848
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 97393 0 0 0 76576 433 0 0 25 0 1 0 970414685 165863424 25456 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 25456 301 301 0 40193 0
vsize: 161976
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 97956 0 0 0 77571 438 0 0 25 0 1 0 970414685 165863424 25479 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 25479 301 301 0 40193 0
vsize: 161976
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 98522 0 0 0 78566 444 0 0 25 0 1 0 970414685 165863424 25505 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40494 25505 301 301 0 40193 0
vsize: 161976
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 99087 0 0 0 79563 448 0 0 25 0 1 0 970414685 165994496 25530 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40526 25530 301 301 0 40225 0
vsize: 162104
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 99647 0 0 0 80558 452 0 0 25 0 1 0 970414685 165994496 25550 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40526 25550 301 301 0 40225 0
vsize: 162104
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 100808 0 0 0 81553 457 0 0 25 0 1 0 970414685 168542208 26171 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41148 26171 301 301 0 40847 0
vsize: 164592
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 101394 0 0 0 82549 462 0 0 25 0 1 0 970414685 166526976 25677 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40656 25677 301 301 0 40355 0
vsize: 162624
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 101948 0 0 0 83545 466 0 0 25 0 1 0 970414685 166526976 25691 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40656 25691 301 301 0 40355 0
vsize: 162624
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 102499 0 0 0 84541 470 0 0 25 0 1 0 970414685 166526976 25702 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40656 25702 301 301 0 40355 0
vsize: 162624
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 103605 0 0 0 85536 476 0 0 25 0 1 0 970414685 166526976 25728 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40656 25728 301 301 0 40355 0
vsize: 162624
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 104165 0 0 0 86531 481 0 0 25 0 1 0 970414685 166526976 25748 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40656 25748 301 301 0 40355 0
vsize: 162624
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 104730 0 0 0 87527 485 0 0 25 0 1 0 970414685 166658048 25773 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 25773 301 301 0 40387 0
vsize: 162752
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 105285 0 0 0 88522 490 0 0 25 0 1 0 970414685 166658048 25788 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 25788 301 301 0 40387 0
vsize: 162752
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 106383 0 0 0 89518 494 0 0 25 0 1 0 970414685 166658048 25806 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 25806 301 301 0 40387 0
vsize: 162752
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 106944 0 0 0 90513 499 0 0 25 0 1 0 970414685 166658048 25827 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40688 25827 301 301 0 40387 0
vsize: 162752
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 107514 0 0 0 91509 504 0 0 25 0 1 0 970414685 166793216 25857 4294967295 134512640 135730672 3221224576 3221222992 134741561 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40721 25857 301 301 0 40420 0
vsize: 162884
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 108610 0 0 0 92503 510 0 0 25 0 1 0 970414685 166793216 25873 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40721 25873 301 301 0 40420 0
vsize: 162884
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 109174 0 0 0 93499 514 0 0 25 0 1 0 970414685 166793216 25897 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40721 25897 301 301 0 40420 0
vsize: 162884
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 109741 0 0 0 94494 519 0 0 25 0 1 0 970414685 166928384 25924 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40754 25924 301 301 0 40453 0
vsize: 163016
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 110841 0 0 0 95490 523 0 0 25 0 1 0 970414685 166928384 25944 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40754 25944 301 301 0 40453 0
vsize: 163016
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 111406 0 0 0 96486 528 0 0 25 0 1 0 970414685 166928384 25969 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40754 25969 301 301 0 40453 0
vsize: 163016
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 111975 0 0 0 97481 532 0 0 25 0 1 0 970414685 167059456 25998 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40786 25998 301 301 0 40485 0
vsize: 163144
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 113083 0 0 0 98476 538 0 0 25 0 1 0 970414685 167059456 26026 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40786 26026 301 301 0 40485 0
vsize: 163144
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 113654 0 0 0 99473 541 0 0 25 0 1 0 970414685 167059456 26057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40786 26057 301 301 0 40485 0
vsize: 163144
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 114754 0 0 0 100467 547 0 0 25 0 1 0 970414685 167059456 26077 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40786 26077 301 301 0 40485 0
vsize: 163144
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 115324 0 0 0 101463 551 0 0 25 0 1 0 970414685 167190528 26107 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40818 26107 301 301 0 40517 0
vsize: 163272
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 115887 0 0 0 102459 555 0 0 25 0 1 0 970414685 167190528 26130 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40818 26130 301 301 0 40517 0
vsize: 163272
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 116982 0 0 0 103455 560 0 0 25 0 1 0 970414685 167190528 26145 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40818 26145 301 301 0 40517 0
vsize: 163272
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 117546 0 0 0 104451 564 0 0 25 0 1 0 970414685 167321600 26169 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40850 26169 301 301 0 40549 0
vsize: 163400
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 118112 0 0 0 105447 568 0 0 25 0 1 0 970414685 167321600 26195 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40850 26195 301 301 0 40549 0
vsize: 163400
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 118673 0 0 0 106443 572 0 0 25 0 1 0 970414685 167321600 26216 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40850 26216 301 301 0 40549 0
vsize: 163400
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 119769 0 0 0 107437 579 0 0 25 0 1 0 970414685 167321600 26232 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40850 26232 301 301 0 40549 0
vsize: 163400
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 120333 0 0 0 108432 584 0 0 25 0 1 0 970414685 167452672 26256 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40882 26256 301 301 0 40581 0
vsize: 163528
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 120898 0 0 0 109427 589 0 0 25 0 1 0 970414685 167452672 26281 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40882 26281 301 301 0 40581 0
vsize: 163528
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 122004 0 0 0 110422 594 0 0 25 0 1 0 970414685 167452672 26307 4294967295 134512640 135730672 3221224576 3221223200 134783076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40882 26307 301 301 0 40581 0
vsize: 163528
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 122563 0 0 0 111419 597 0 0 25 0 1 0 970414685 167583744 26326 4294967295 134512640 135730672 3221224576 3221222936 135284590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40914 26326 301 301 0 40613 0
vsize: 163656
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 123127 0 0 0 112416 601 0 0 25 0 1 0 970414685 167583744 26350 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40914 26350 301 301 0 40613 0
vsize: 163656
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 123687 0 0 0 113412 605 0 0 25 0 1 0 970414685 167583744 26370 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40914 26370 301 301 0 40613 0
vsize: 163656
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 124786 0 0 0 114407 610 0 0 25 0 1 0 970414685 169795584 26929 4294967295 134512640 135730672 3221224576 3221222736 134768860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41454 26929 301 301 0 41153 0
vsize: 165816
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 125348 0 0 0 115402 615 0 0 25 0 1 0 970414685 167763968 26411 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40958 26411 301 301 0 40657 0
vsize: 163832
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 125922 0 0 0 116399 618 0 0 25 0 1 0 970414685 167763968 26445 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40958 26445 301 301 0 40657 0
vsize: 163832
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 126493 0 0 0 117395 622 0 0 25 0 1 0 970414685 167952384 26476 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41004 26476 301 301 0 40703 0
vsize: 164016
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 127591 0 0 0 118389 628 0 0 25 0 1 0 970414685 167952384 26494 4294967295 134512640 135730672 3221224576 3221223136 134787653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41004 26494 301 301 0 40703 0
vsize: 164016
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25305
Raw data (stat): 25305 (pb2sat-v2) R 25304 21152 21151 0 -1 0 128148 0 0 0 119386 632 0 0 25 0 1 0 970414685 167952384 26511 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41004 26511 301 301 0 40703 0
vsize: 164016
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.75 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25305
Raw data (stat): 25305 (pb2sat-v2) Z 25304 21152 21151 0 -1 12 128150 0 0 0 119451 637 0 0 25 0 1 0 970414685 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.75
CPU time (s): 1200.89
CPU user time (s): 1194.51
CPU system time (s): 6.37403
CPU usage (%): 100.012
Max. virtual memory (Kb): 166672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####