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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc105.opb
MD5SUM	b7668ee338f48dc7f664e7548454bbde
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	8589934592
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	22548578283
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.67853
Number of variables	3090
Total number of constraints	104
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	104
Minimum length of a constraint	60
Maximum length of a constraint	120
Trace number 35220

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-28 12:11:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24385 boxname=wulflinc7 idbench=857 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b7668ee338f48dc7f664e7548454bbde  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sc105.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-sc105.opb
IDLAUNCH: 24385
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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.050
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:        742188 kB
Buffers:         35840 kB
Cached:         235584 kB
SwapCached:        644 kB
Active:          24948 kB
Inactive:       248528 kB
HighTotal:      131008 kB
HighFree:        18032 kB
LowTotal:       903652 kB
LowFree:        724156 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13392 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:30:10 (client local time) WITH STATUS 20 IN 1137.03 SECONDS
stats: 24385 7 1137.03 20
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c CONFLICT during preprocess 
c [startup+3.34454 s]  setting bit 29 to 0
c CONFLICT during preprocess 
c [startup+3.58792 s]  setting bit 28 to 0
c CONFLICT during preprocess 
c [startup+3.83773 s]  setting bit 27 to 0
c CONFLICT during preprocess 
c [startup+4.08154 s]  setting bit 26 to 0
c CONFLICT during preprocess 
c [startup+4.33047 s]  setting bit 25 to 0
c CONFLICT during preprocess 
c [startup+4.57653 s]  setting bit 24 to 0
c CONFLICT during preprocess 
c [startup+4.82658 s]  setting bit 23 to 0
c CONFLICT during preprocess 
c [startup+5.07664 s]  setting bit 22 to 0
c CONFLICT during preprocess 
c [startup+5.32827 s]  setting bit 21 to 0
c CONFLICT during preprocess 
c [startup+5.582 s]  setting bit 20 to 0
c CONFLICT during preprocess 
c [startup+5.83892 s]  setting bit 19 to 0
c CONFLICT during preprocess 
c [startup+6.0941 s]  setting bit 18 to 0
c CONFLICT during preprocess 
c [startup+6.35539 s]  setting bit 17 to 0

Decision: 25007/72546	Time: 3.81842/86400
Decision: 25109/72546	Time: 9.93149/86400
Decision: 25112/72546	Time: 15.4307/86400
Decision: 25112/72546	Time: 19.1251/86400
Decision: 25112/72546	Time: 23.3355/86400
Decision: 25689/72546	Time: 31.5282/86400c [startup+40.9605 s]  setting bit 16 to 0

Decision: 18672/72546	Time: 10.5684/86400
Decision: 18674/72546	Time: 15.9666/86400
Decision: 18675/72546	Time: 21.7797/86400
Decision: 18675/72546	Time: 25.8631/86400
Decision: 18675/72546	Time: 30.3554/86400
Decision: 18675/72546	Time: 34.4138/86400
Decision: 18675/72546	Time: 39.52/86400
Decision: 18685/72546	Time: 46.077/86400
Decision: 18685/72546	Time: 49.6864/86400
Decision: 18686/72546	Time: 54.3207/86400
Decision: 18686/72546	Time: 58.993/86400
Decision: 18686/72546	Time: 64.5412/86400
Decision: 18686/72546	Time: 68.4816/86400
Decision: 18686/72546	Time: 73.4558/86400
Decision: 18686/72546	Time: 78.748/86400
Decision: 18686/72546	Time: 84.5341/86400
Decision: 18686/72546	Time: 90.3863/86400
Decision: 18777/72546	Time: 97.0103/86400
Decision: 18777/72546	Time: 103.033/86400
Decision: 18777/72546	Time: 108.959/86400
Decision: 18779/72546	Time: 115.549/86400
Decision: 18779/72546	Time: 122.123/86400
Decision: 18779/72546	Time: 128.182/86400
Decision: 18787/72546	Time: 140.794/86400
Decision: 18791/72546	Time: 147.552/86400
Decision: 18791/72546	Time: 154.239/86400
Decision: 18796/72546	Time: 168.591/86400
Decision: 18798/72546	Time: 176.197/86400
Decision: 18891/72546	Time: 185.838/86400c [startup+230.09 s]  setting bit 15 to 0

Decision: 21904/72546	Time: 7.30189/86400
Decision: 21904/72546	Time: 11.8472/86400
Decision: 21904/72546	Time: 16.8604/86400
Decision: 21906/72546	Time: 22.6386/86400
Decision: 21906/72546	Time: 27.6558/86400
Decision: 21906/72546	Time: 34.1158/86400
Decision: 21906/72546	Time: 39.33/86400
Decision: 21906/72546	Time: 44.9542/86400
Decision: 21906/72546	Time: 51.4912/86400
Decision: 21906/72546	Time: 56.3924/86400
Decision: 21906/72546	Time: 62.9764/86400
Decision: 21906/72546	Time: 70.3463/86400
Decision: 21906/72546	Time: 75.9824/86400
Decision: 21906/72546	Time: 82.6214/86400
Decision: 21906/72546	Time: 88.2546/86400
Decision: 21906/72546	Time: 94.4566/86400
Decision: 21915/72546	Time: 100.672/86400
Decision: 21915/72546	Time: 107.837/86400
Decision: 21915/72546	Time: 114.412/86400
Decision: 21916/72546	Time: 120.313/86400
Decision: 21916/72546	Time: 127.867/86400
Decision: 22005/72546	Time: 141.043/86400c [startup+379.197 s]  setting bit 14 to 0

Decision: 21807/72546	Time: 48.4206/86400
Decision: 21916/72546	Time: 55.7675/86400
Decision: 21916/72546	Time: 62.0326/86400
Decision: 21916/72546	Time: 70.0613/86400
Decision: 21916/72546	Time: 76.7873/86400
Decision: 21916/72546	Time: 84.5281/86400
Decision: 21916/72546	Time: 92.016/86400
Decision: 21918/72546	Time: 101.593/86400c [startup+495.808 s]  setting bit 13 to 0

Decision: 21910/72546	Time: 42.1466/86400
Decision: 21912/72546	Time: 49.2855/86400
Decision: 21993/72546	Time: 68.7765/86400c [startup+575.889 s]  setting bit 12 to 0

Decision: 21909/72546	Time: 26.8769/86400
Decision: 21909/72546	Time: 34.6797/86400
Decision: 21909/72546	Time: 41.5947/86400
Decision: 21909/72546	Time: 48.4186/86400
Decision: 21909/72546	Time: 56.9583/86400c [startup+661.688 s]  setting bit 11 to 0

Decision: 21909/72546	Time: 18.5772/86400
Decision: 21913/72546	Time: 27.9717/86400
Decision: 21913/72546	Time: 36.1225/86400
Decision: 21913/72546	Time: 43.8883/86400
Decision: 21913/72546	Time: 52.818/86400
Decision: 21913/72546	Time: 61.6676/86400
Decision: 21913/72546	Time: 70.3803/86400c [startup+746.114 s]  setting bit 10 to 0

Decision: 21907/72546	Time: 19.1101/86400
Decision: 21907/72546	Time: 28.1937/86400
Decision: 21907/72546	Time: 36.7464/86400
Decision: 22078/72546	Time: 58.4391/86400c [startup+812.675 s]  setting bit 9 to 0

Decision: 21979/72546	Time: 83.9142/86400
Decision: 21979/72546	Time: 91.1971/86400
Decision: 21979/72546	Time: 98.569/86400c [startup+927.285 s]  setting bit 8 to 0

Decision: 21890/72546	Time: 83.7343/86400
Decision: 21890/72546	Time: 92.6219/86400
Decision: 21890/72546	Time: 100.754/86400c [startup+1047.12 s]  setting bit 7 to 0

Decision: 21901/72546	Time: 18.3792/86400
Decision: 21905/72546	Time: 26.9839/86400
Decision: 21905/72546	Time: 34.0708/86400c [startup+1090.66 s]  setting bit 6 to 0
c [startup+1119.7 s]  setting bit 5 to 0
c [startup+1130.2 s]  setting bit 4 to 0
c [startup+1133.13 s]  setting bit 3 to 0
c [startup+1134.58 s]  setting bit 2 to 0
c [startup+1135.77 s]  setting bit 1 to 0
c [startup+1136.66 s]  setting bit 0 to 0
s UNSATISFIABLE
#### 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.91 2/54 8512
Raw data (stat): 8512 (runsolver) R 8511 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806487712 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 11516 0 0 0 973 26 0 0 25 0 1 0 806487712 28401664 5493 4294967295 134512640 135726644 3221224592 3221223216 134779428 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6934 5493 300 300 0 6634 0
vsize: 27736
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 11753 0 0 0 1972 27 0 0 25 0 1 0 806487712 28557312 5588 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6972 5588 300 300 0 6672 0
vsize: 27888
[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12293 0 0 0 2970 29 0 0 25 0 1 0 806487712 28557312 5702 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6972 5702 300 300 0 6672 0
vsize: 27888
[startup+40.0031 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12545 0 0 0 3968 30 0 0 25 0 1 0 806487712 32948224 5812 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8044 5812 300 300 0 7744 0
vsize: 32176
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 12742 0 0 0 4967 32 0 0 25 0 1 0 806487712 33144832 5867 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8092 5867 300 300 0 7792 0
vsize: 32368
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13121 0 0 0 5966 33 0 0 25 0 1 0 806487712 33472512 5962 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8172 5962 300 300 0 7872 0
vsize: 32688
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13465 0 0 0 6964 35 0 0 25 0 1 0 806487712 33472512 6022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8172 6022 300 300 0 7872 0
vsize: 32688
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 13846 0 0 0 7963 36 0 0 25 0 1 0 806487712 33865728 6119 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8268 6119 300 300 0 7968 0
vsize: 33072
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 14220 0 0 0 8962 37 0 0 25 0 1 0 806487712 34062336 6209 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8316 6209 300 300 0 8016 0
vsize: 33264
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 14870 0 0 0 9960 39 0 0 25 0 1 0 806487712 34832384 6433 4294967295 134512640 135726644 3221224592 3221223088 134744203 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8504 6433 300 300 0 8204 0
vsize: 34016
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 15307 0 0 0 10959 40 0 0 25 0 1 0 806487712 35356672 6586 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8632 6586 300 300 0 8332 0
vsize: 34528
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17313 0 0 0 11953 46 0 0 25 0 1 0 806487712 42041344 6771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10264 6771 300 300 0 9964 0
vsize: 41056
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17516 0 0 0 12953 47 0 0 25 0 1 0 806487712 42188800 6832 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10300 6832 300 300 0 10000 0
vsize: 41200
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 17923 0 0 0 13951 48 0 0 25 0 1 0 806487712 42188800 6955 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10300 6955 300 300 0 10000 0
vsize: 41200
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18334 0 0 0 14951 50 0 0 25 0 1 0 806487712 42323968 7082 4294967295 134512640 135726644 3221224592 3221222664 135281418 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10333 7082 300 300 0 10033 0
vsize: 41332
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18542 0 0 0 15950 51 0 0 25 0 1 0 806487712 42475520 7148 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10370 7148 300 300 0 10070 0
vsize: 41480
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18838 0 0 0 16949 52 0 0 25 0 1 0 806487712 42475520 7160 4294967295 134512640 135726644 3221224592 3221223184 134760178 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10370 7160 300 300 0 10070 0
vsize: 41480
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 18878 0 0 0 17949 52 0 0 25 0 1 0 806487712 42475520 7200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10370 7200 300 300 0 10070 0
vsize: 41480
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19269 0 0 0 18948 53 0 0 25 0 1 0 806487712 42614784 7307 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10404 7307 300 300 0 10104 0
vsize: 41616
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19473 0 0 0 19947 54 0 0 25 0 1 0 806487712 42614784 7369 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10404 7369 300 300 0 10104 0
vsize: 41616
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19648 0 0 0 20947 55 0 0 25 0 1 0 806487712 42749952 7402 4294967295 134512640 135726644 3221224592 3221223200 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10437 7402 300 300 0 10137 0
vsize: 41748
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 19908 0 0 0 21946 56 0 0 25 0 1 0 806487712 42749952 7520 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10437 7520 300 300 0 10137 0
vsize: 41748
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20169 0 0 0 22945 57 0 0 25 0 1 0 806487712 42897408 7639 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10473 7639 300 300 0 10173 0
vsize: 41892
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20527 0 0 0 23944 59 0 0 25 0 1 0 806487712 43032576 7713 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10506 7713 300 300 0 10206 0
vsize: 42024
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20686 0 0 0 24943 60 0 0 25 0 1 0 806487712 43032576 7730 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10506 7730 300 300 0 10206 0
vsize: 42024
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 20982 0 0 0 25943 61 0 0 25 0 1 0 806487712 43032576 7742 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10506 7742 300 300 0 10206 0
vsize: 42024
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21001 0 0 0 26942 61 0 0 25 0 1 0 806487712 43032576 7761 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10506 7761 300 300 0 10206 0
vsize: 42024
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21158 0 0 0 27942 62 0 0 25 0 1 0 806487712 43167744 7776 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10539 7776 300 300 0 10239 0
vsize: 42156
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21176 0 0 0 28941 63 0 0 25 0 1 0 806487712 43167744 7794 4294967295 134512640 135726644 3221224592 3221223088 134743895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10539 7794 300 300 0 10239 0
vsize: 42156
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21392 0 0 0 29941 63 0 0 25 0 1 0 806487712 51556352 7868 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 7868 300 300 0 12287 0
vsize: 50348
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21664 0 0 0 30939 64 0 0 25 0 1 0 806487712 51691520 7998 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 7998 300 300 0 12320 0
vsize: 50480
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21806 0 0 0 31939 65 0 0 25 0 1 0 806487712 51826688 8140 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 8140 300 300 0 12353 0
vsize: 50612
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 21945 0 0 0 32938 66 0 0 25 0 1 0 806487712 51965952 8279 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12687 8279 300 300 0 12387 0
vsize: 50748
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 22363 0 0 0 33937 67 0 0 25 0 1 0 806487712 51965952 8413 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12687 8413 300 300 0 12387 0
vsize: 50748
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 22646 0 0 0 34936 68 0 0 25 0 1 0 806487712 51965952 8554 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12687 8554 300 300 0 12387 0
vsize: 50748
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23046 0 0 0 35935 70 0 0 25 0 1 0 806487712 52101120 8670 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12720 8670 300 300 0 12420 0
vsize: 50880
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23057 0 0 0 36934 71 0 0 25 0 1 0 806487712 52101120 8681 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12720 8681 300 300 0 12420 0
vsize: 50880
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23379 0 0 0 37934 71 0 0 25 0 1 0 806487712 52236288 8719 4294967295 134512640 135726644 3221224592 3221223088 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12753 8719 300 300 0 12453 0
vsize: 51012
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23437 0 0 0 38934 72 0 0 25 0 1 0 806487712 52371456 8777 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12786 8777 300 300 0 12486 0
vsize: 51144
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23497 0 0 0 39933 73 0 0 25 0 1 0 806487712 52371456 8837 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12786 8837 300 300 0 12486 0
vsize: 51144
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23574 0 0 0 40932 74 0 0 25 0 1 0 806487712 52371456 8914 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12786 8914 300 300 0 12486 0
vsize: 51144
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23655 0 0 0 41931 75 0 0 25 0 1 0 806487712 52371456 8995 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12786 8995 300 300 0 12486 0
vsize: 51144
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 23892 0 0 0 42931 75 0 0 25 0 1 0 806487712 52527104 9090 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12824 9090 300 300 0 12524 0
vsize: 51296
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24055 0 0 0 43930 76 0 0 25 0 1 0 806487712 52670464 9111 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12859 9111 300 300 0 12559 0
vsize: 51436
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24364 0 0 0 44929 77 0 0 25 0 1 0 806487712 52838400 9136 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12900 9136 300 300 0 12600 0
vsize: 51600
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24377 0 0 0 45929 77 0 0 25 0 1 0 806487712 52838400 9149 4294967295 134512640 135726644 3221224592 3221222840 135280859 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12900 9149 300 300 0 12600 0
vsize: 51600
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24546 0 0 0 46929 78 0 0 25 0 1 0 806487712 52998144 9176 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12939 9176 300 300 0 12639 0
vsize: 51756
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24699 0 0 0 47928 79 0 0 25 0 1 0 806487712 52998144 9187 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12939 9187 300 300 0 12639 0
vsize: 51756
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 24881 0 0 0 48928 80 0 0 25 0 1 0 806487712 52998144 9227 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12939 9227 300 300 0 12639 0
vsize: 51756
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25138 0 0 0 49927 80 0 0 25 0 1 0 806487712 53264384 9342 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13004 9342 300 300 0 12704 0
vsize: 52016
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25204 0 0 0 50927 81 0 0 25 0 1 0 806487712 53407744 9408 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13039 9408 300 300 0 12739 0
vsize: 52156
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25275 0 0 0 51927 81 0 0 25 0 1 0 806487712 53407744 9479 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13039 9479 300 300 0 12739 0
vsize: 52156
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25371 0 0 0 52926 82 0 0 25 0 1 0 806487712 53407744 9575 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13039 9575 300 300 0 12739 0
vsize: 52156
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25616 0 0 0 53925 83 0 0 25 0 1 0 806487712 53682176 9678 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13106 9678 300 300 0 12806 0
vsize: 52424
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25846 0 0 0 54925 84 0 0 25 0 1 0 806487712 53682176 9766 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13106 9766 300 300 0 12806 0
vsize: 52424
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 25964 0 0 0 55924 84 0 0 25 0 1 0 806487712 53821440 9884 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13140 9884 300 300 0 12840 0
vsize: 52560
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26249 0 0 0 56924 85 0 0 25 0 1 0 806487712 53956608 10027 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13173 10027 300 300 0 12873 0
vsize: 52692
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26497 0 0 0 57923 86 0 0 25 0 1 0 806487712 54095872 10133 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 10133 300 300 0 12907 0
vsize: 52828
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26574 0 0 0 58922 87 0 0 25 0 1 0 806487712 54095872 10210 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 10210 300 300 0 12907 0
vsize: 52828
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26661 0 0 0 59922 87 0 0 25 0 1 0 806487712 54095872 10297 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13207 10297 300 300 0 12907 0
vsize: 52828
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26833 0 0 0 60921 88 0 0 25 0 1 0 806487712 54247424 10327 4294967295 134512640 135726644 3221224592 3221223280 134745093 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13244 10327 300 300 0 12944 0
vsize: 52976
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 26990 0 0 0 61921 89 0 0 25 0 1 0 806487712 54247424 10342 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13244 10342 300 300 0 12944 0
vsize: 52976
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27008 0 0 0 62921 89 0 0 25 0 1 0 806487712 54247424 10360 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13244 10360 300 300 0 12944 0
vsize: 52976
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27027 0 0 0 63920 90 0 0 25 0 1 0 806487712 54435840 10379 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13290 10379 300 300 0 12990 0
vsize: 53160
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27055 0 0 0 64920 91 0 0 25 0 1 0 806487712 54435840 10407 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13290 10407 300 300 0 12990 0
vsize: 53160
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27070 0 0 0 65920 91 0 0 25 0 1 0 806487712 54435840 10422 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13290 10422 300 300 0 12990 0
vsize: 53160
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27220 0 0 0 66919 92 0 0 25 0 1 0 806487712 54435840 10430 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13290 10430 300 300 0 12990 0
vsize: 53160
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27392 0 0 0 67919 92 0 0 25 0 1 0 806487712 54571008 10460 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13323 10460 300 300 0 13023 0
vsize: 53292
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27633 0 0 0 68918 93 0 0 25 0 1 0 806487712 54571008 10559 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13323 10559 300 300 0 13023 0
vsize: 53292
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27883 0 0 0 69917 94 0 0 25 0 1 0 806487712 54788096 10667 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13376 10667 300 300 0 13076 0
vsize: 53504
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 27996 0 0 0 70916 95 0 0 25 0 1 0 806487712 54788096 10780 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13376 10780 300 300 0 13076 0
vsize: 53504
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28234 0 0 0 71916 95 0 0 25 0 1 0 806487712 71565312 10876 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17472 10876 300 300 0 17172 0
vsize: 69888
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28325 0 0 0 72915 96 0 0 25 0 1 0 806487712 71565312 10967 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17472 10967 300 300 0 17172 0
vsize: 69888
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28450 0 0 0 73914 98 0 0 25 0 1 0 806487712 71708672 11092 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17507 11092 300 300 0 17207 0
vsize: 70028
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28712 0 0 0 74913 98 0 0 25 0 1 0 806487712 71708672 11212 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17507 11212 300 300 0 17207 0
vsize: 70028
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 28832 0 0 0 75913 99 0 0 25 0 1 0 806487712 71847936 11332 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17541 11332 300 300 0 17241 0
vsize: 70164
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29077 0 0 0 76912 100 0 0 25 0 1 0 806487712 71983104 11435 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17574 11435 300 300 0 17274 0
vsize: 70296
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29313 0 0 0 77912 101 0 0 25 0 1 0 806487712 71983104 11529 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17574 11529 300 300 0 17274 0
vsize: 70296
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29580 0 0 0 78911 102 0 0 25 0 1 0 806487712 71983104 11654 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17574 11654 300 300 0 17274 0
vsize: 70296
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 29696 0 0 0 79911 102 0 0 25 0 1 0 806487712 72118272 11770 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17607 11770 300 300 0 17307 0
vsize: 70428
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30076 0 0 0 80909 104 0 0 25 0 1 0 806487712 72658944 12008 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12008 300 300 0 17439 0
vsize: 70956
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30290 0 0 0 81908 104 0 0 25 0 1 0 806487712 72658944 12080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12080 300 300 0 17439 0
vsize: 70956
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30360 0 0 0 82908 105 0 0 25 0 1 0 806487712 72658944 12150 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12150 300 300 0 17439 0
vsize: 70956
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30415 0 0 0 83908 105 0 0 25 0 1 0 806487712 72658944 12205 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12205 300 300 0 17439 0
vsize: 70956
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30477 0 0 0 84908 106 0 0 25 0 1 0 806487712 72658944 12267 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12267 300 300 0 17439 0
vsize: 70956
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30544 0 0 0 85908 106 0 0 25 0 1 0 806487712 72658944 12334 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12334 300 300 0 17439 0
vsize: 70956
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30604 0 0 0 86909 106 0 0 25 0 1 0 806487712 72658944 12394 4294967295 134512640 135726644 3221224592 3221223180 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12394 300 300 0 17439 0
vsize: 70956
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30668 0 0 0 87911 107 0 0 25 0 1 0 806487712 72658944 12458 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12458 300 300 0 17439 0
vsize: 70956
[startup+890.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30745 0 0 0 88910 107 0 0 25 0 1 0 806487712 72658944 12535 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17739 12535 300 300 0 17439 0
vsize: 70956
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 30975 0 0 0 89910 108 0 0 25 0 1 0 806487712 72794112 12623 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12623 300 300 0 17472 0
vsize: 71088
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31123 0 0 0 90910 109 0 0 25 0 1 0 806487712 72794112 12629 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12629 300 300 0 17472 0
vsize: 71088
[startup+920.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31133 0 0 0 91911 109 0 0 25 0 1 0 806487712 72794112 12639 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12639 300 300 0 17472 0
vsize: 71088
[startup+930.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31280 0 0 0 92911 109 0 0 25 0 1 0 806487712 72794112 12644 4294967295 134512640 135726644 3221224592 3221223088 134744223 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17772 12644 300 300 0 17472 0
vsize: 71088
[startup+940.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31285 0 0 0 93909 110 0 0 25 0 1 0 806487712 72794112 12649 4294967295 134512640 135726644 3221224592 3221223088 134744174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17772 12649 300 300 0 17472 0
vsize: 71088
[startup+950.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31292 0 0 0 94909 110 0 0 25 0 1 0 806487712 72794112 12656 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12656 300 300 0 17472 0
vsize: 71088
[startup+960.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31297 0 0 0 95909 111 0 0 25 0 1 0 806487712 72794112 12661 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12661 300 300 0 17472 0
vsize: 71088
[startup+970.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31303 0 0 0 96909 111 0 0 25 0 1 0 806487712 72794112 12667 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12667 300 300 0 17472 0
vsize: 71088
[startup+980.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31307 0 0 0 97910 111 0 0 25 0 1 0 806487712 72794112 12671 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17772 12671 300 300 0 17472 0
vsize: 71088
[startup+990.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31315 0 0 0 98910 112 0 0 25 0 1 0 806487712 72929280 12679 4294967295 134512640 135726644 3221224592 3221222912 134729220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12679 300 300 0 17505 0
vsize: 71220
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31319 0 0 0 99910 112 0 0 25 0 1 0 806487712 72929280 12683 4294967295 134512640 135726644 3221224592 3221223072 134728997 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12683 300 300 0 17505 0
vsize: 71220
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31324 0 0 0 100910 112 0 0 25 0 1 0 806487712 72929280 12688 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12688 300 300 0 17505 0
vsize: 71220
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31478 0 0 0 101910 113 0 0 25 0 1 0 806487712 72929280 12700 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12700 300 300 0 17505 0
vsize: 71220
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31628 0 0 0 102910 113 0 0 25 0 1 0 806487712 72929280 12708 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12708 300 300 0 17505 0
vsize: 71220
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31645 0 0 0 103909 113 0 0 25 0 1 0 806487712 72929280 12725 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12725 300 300 0 17505 0
vsize: 71220
[startup+1050.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31796 0 0 0 104910 114 0 0 25 0 1 0 806487712 72929280 12734 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17805 12734 300 300 0 17505 0
vsize: 71220
[startup+1060.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31822 0 0 0 105910 114 0 0 25 0 1 0 806487712 73084928 12760 4294967295 134512640 135726644 3221224592 3221223136 134736841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17843 12760 300 300 0 17543 0
vsize: 71372
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 31976 0 0 0 106909 115 0 0 25 0 1 0 806487712 73084928 12772 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17843 12772 300 300 0 17543 0
vsize: 71372
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32128 0 0 0 107908 116 0 0 25 0 1 0 806487712 73084928 12782 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17843 12782 300 300 0 17543 0
vsize: 71372
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32301 0 0 0 108906 117 0 0 25 0 1 0 806487712 73240576 12813 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17881 12813 300 300 0 17581 0
vsize: 71524
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32451 0 0 0 109907 117 0 0 25 0 1 0 806487712 73240576 12821 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17881 12821 300 300 0 17581 0
vsize: 71524
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32477 0 0 0 110908 117 0 0 25 0 1 0 806487712 73375744 12847 4294967295 134512640 135726644 3221224592 3221223088 134744187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17914 12847 300 300 0 17614 0
vsize: 71656
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32645 0 0 0 111906 118 0 0 25 0 1 0 806487712 73375744 12873 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17914 12873 300 300 0 17614 0
vsize: 71656
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32680 0 0 0 112907 118 0 0 25 0 1 0 806487712 73510912 12908 4294967295 134512640 135726644 3221224592 3221223240 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17947 12908 300 300 0 17647 0
vsize: 71788
[startup+1136.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8512
Raw data (stat): 8512 (pb2sat) R 8511 24300 24299 0 -1 0 32680 0 0 0 112907 118 0 0 25 0 1 0 806487712 73510912 12908 4294967295 134512640 135726644 3221224592 3221223240 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17947 12908 300 300 0 17647 0
vsize: 0

Child status: 20
Real time (s): 1136.89
CPU time (s): 1137.03
CPU user time (s): 1135.8
CPU system time (s): 1.22481
CPU usage (%): 100.012
Max. virtual memory (Kb): 71788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####