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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
MD5SUM	4caec1e880871fcef3276cf001aca352
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.63384
Number of variables	4632
Total number of constraints	35596
Number of constraints which are clauses	29940
Number of constraints which are cardinality constraints (but not clauses)	5578
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 35063

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 11:50:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24289 boxname=wulflinc1 idbench=363 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4caec1e880871fcef3276cf001aca352  /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-13.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-ppp:1-13.opb
IDLAUNCH: 24289
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        709032 kB
Buffers:         36912 kB
Cached:         264308 kB
SwapCached:        700 kB
Active:          20204 kB
Inactive:       283228 kB
HighTotal:      131008 kB
HighFree:        39088 kB
LowTotal:       903652 kB
LowFree:        669944 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            16372 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:10:34 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 24289 7 1200.34 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 7790/28702	Time: 29.7335/86400
Decision: 7790/28702	Time: 34.8527/86400
Decision: 7790/28702	Time: 39.497/86400
Decision: 7790/28702	Time: 44.0283/86400
Decision: 7790/28702	Time: 49.1145/86400
Decision: 7790/28702	Time: 54.1008/86400
Decision: 7790/28702	Time: 60.0389/86400
Decision: 7790/28702	Time: 64.7052/86400
Decision: 7790/28702	Time: 70.1673/86400
Decision: 7790/28702	Time: 74.8056/86400
Decision: 7790/28702	Time: 80.6697/86400
Decision: 7790/28702	Time: 85.9329/86400
Decision: 7790/28702	Time: 91.5771/86400
Decision: 7790/28702	Time: 97.2242/86400
Decision: 7790/28702	Time: 102.979/86400
Decision: 7790/28702	Time: 108.416/86400
Decision: 7790/28702	Time: 114.459/86400
Decision: 7790/28702	Time: 120.379/86400
Decision: 7790/28702	Time: 125.822/86400
Decision: 7790/28702	Time: 131.547/86400
Decision: 7790/28702	Time: 137.598/86400
Decision: 7790/28702	Time: 144.507/86400
Decision: 7790/28702	Time: 150.94/86400
Decision: 7790/28702	Time: 156.709/86400
Decision: 7790/28702	Time: 162.618/86400
Decision: 7790/28702	Time: 169.498/86400
Decision: 7790/28702	Time: 175.495/86400
Decision: 7790/28702	Time: 181.934/86400
Decision: 7790/28702	Time: 187.94/86400
Decision: 7790/28702	Time: 194.35/86400
Decision: 7790/28702	Time: 200.85/86400
Decision: 7790/28702	Time: 207.912/86400
Decision: 7790/28702	Time: 215.733/86400
Decision: 7790/28702	Time: 222.311/86400
Decision: 7790/28702	Time: 229.23/86400
Decision: 7790/28702	Time: 236.231/86400
Decision: 7790/28702	Time: 242.845/86400
Decision: 7790/28702	Time: 250.129/86400
Decision: 7790/28702	Time: 258.497/86400
Decision: 7790/28702	Time: 266.515/86400
Decision: 7790/28702	Time: 274.985/86400
Decision: 7790/28702	Time: 281.927/86400
Decision: 7790/28702	Time: 289.16/86400
Decision: 7790/28702	Time: 297.168/86400
Decision: 7790/28702	Time: 305.377/86400
Decision: 7790/28702	Time: 312.106/86400
Decision: 7790/28702	Time: 320.572/86400
Decision: 7790/28702	Time: 329.749/86400
Decision: 7790/28702	Time: 337.172/86400
Decision: 7790/28702	Time: 344.443/86400
Decision: 7790/28702	Time: 352.054/86400
Decision: 7790/28702	Time: 360.005/86400
Decision: 7790/28702	Time: 368.223/86400
Decision: 7790/28702	Time: 375.948/86400
Decision: 7790/28702	Time: 383.994/86400
Decision: 7790/28702	Time: 392.494/86400
Decision: 7790/28702	Time: 400.241/86400
Decision: 7790/28702	Time: 407.763/86400
Decision: 7790/28702	Time: 415.456/86400
Decision: 7790/28702	Time: 423.838/86400
Decision: 7790/28702	Time: 431.953/86400
Decision: 7790/28702	Time: 442.11/86400
Decision: 7790/28702	Time: 449.922/86400
Decision: 7790/28702	Time: 459.132/86400
Decision: 7790/28702	Time: 468.818/86400
Decision: 7790/28702	Time: 478.841/86400
Decision: 7790/28702	Time: 488.189/86400
Decision: 7790/28702	Time: 497.39/86400
Decision: 7790/28702	Time: 504.908/86400
Decision: 7790/28702	Time: 514.268/86400
Decision: 7790/28702	Time: 523.034/86400
Decision: 7790/28702	Time: 533.375/86400
Decision: 7790/28702	Time: 542.397/86400
Decision: 7790/28702	Time: 552.106/86400
Decision: 7790/28702	Time: 561.517/86400
Decision: 7790/28702	Time: 571.012/86400
Decision: 7790/28702	Time: 579.486/86400
Decision: 7790/28702	Time: 587.865/86400
Decision: 7790/28702	Time: 596.537/86400
Decision: 7790/28702	Time: 604.099/86400
Decision: 7790/28702	Time: 612.236/86400
Decision: 7790/28702	Time: 619.387/86400
Decision: 7790/28702	Time: 627.523/86400
Decision: 7790/28702	Time: 635.768/86400
Decision: 7790/28702	Time: 644.422/86400
Decision: 7790/28702	Time: 651.817/86400
Decision: 7790/28702	Time: 659.092/86400
Decision: 7790/28702	Time: 667.92/86400
Decision: 7790/28702	Time: 677.104/86400
Decision: 7790/28702	Time: 685.782/86400
Decision: 7790/28702	Time: 693.914/86400
Decision: 7790/28702	Time: 703.739/86400
Decision: 7790/28702	Time: 713.699/86400
Decision: 7790/28702	Time: 722.027/86400
Decision: 7790/28702	Time: 731.337/86400
Decision: 7790/28702	Time: 740.597/86400
Decision: 7790/28702	Time: 750.186/86400
Decision: 7790/28702	Time: 759.908/86400
Decision: 7790/28702	Time: 767.98/86400
Decision: 7790/28702	Time: 776.69/86400
Decision: 7790/28702	Time: 786.33/86400
Decision: 7790/28702	Time: 793.421/86400
Decision: 7790/28702	Time: 800.896/86400
Decision: 7790/28702	Time: 809.604/86400
Decision: 7790/28702	Time: 819.372/86400
Decision: 7790/28702	Time: 828.773/86400
Decision: 7790/28702	Time: 838.751/86400
Decision: 7790/28702	Time: 848.356/86400
Decision: 7790/28702	Time: 858.051/86400
Decision: 7790/28702	Time: 868.833/86400
Decision: 7790/28702	Time: 878.92/86400
Decision: 7790/28702	Time: 889.562/86400
Decision: 7790/28702	Time: 898.987/86400
Decision: 7790/28702	Time: 910.012/86400
Decision: 7790/28702	Time: 920.211/86400
Decision: 7790/28702	Time: 931.705/86400
Decision: 7790/28702	Time: 942.092/86400
Decision: 7790/28702	Time: 952.186/86400
Decision: 7790/28702	Time: 961.678/86400
Decision: 7790/28702	Time: 972.329/86400
Decision: 7790/28702	Time: 984.45/86400
Decision: 7790/28702	Time: 995.245/86400
Decision: 7790/28702	Time: 1006.65/86400
Decision: 7790/28702	Time: 1018.53/86400
Decision: 7790/28702	Time: 1029.77/86400
Decision: 7790/28702	Time: 1042.21/86400
Decision: 7790/28702	Time: 1056.47/86400
Decision: 7790/28702	Time: 1068.18/86400
Decision: 7790/28702	Time: 1079.62/86400
Decision: 7790/28702	Time: 1092.43/86400
Decision: 7790/28702	Time: 1104.19/86400
Decision: 7790/28702	Time: 1116/86400
Decision: 7790/28702	Time: 1127.82/86400
Decision: 7790/28702	Time: 1138.1/86400
Decision: 7790/28702	Time: 1150.05/86400
Decision: 7790/28702	Time: 1162.44/86400
Decision: 7790/28702	Time: 1173.6/86400
Decision: 7790/28702	Time: 1186.01/86400
Decision: 7790/28702	Time: 1195.39/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.80 0.93 0.90 2/55 19119
Raw data (stat): 19119 (runsolver) R 19118 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 749498571 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0006 s]
Raw data (loadavg): 0.83 0.93 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 4248 0 0 0 985 14 0 0 25 0 1 0 749498571 13197312 2864 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3222 2864 300 300 0 2922 0
vsize: 12888
[startup+20.0014 s]
Raw data (loadavg): 0.85 0.93 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 4448 0 0 0 1978 21 0 0 25 0 1 0 749498571 15831040 3064 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3865 3064 300 300 0 3565 0
vsize: 15460
[startup+30.0022 s]
Raw data (loadavg): 0.88 0.93 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 4566 0 0 0 2973 27 0 0 25 0 1 0 749498571 15966208 3182 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3898 3182 300 300 0 3598 0
vsize: 15592
[startup+40.002 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 4753 0 0 0 3965 34 0 0 25 0 1 0 749498571 16101376 3255 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3931 3255 300 300 0 3631 0
vsize: 15724
[startup+50.0027 s]
Raw data (loadavg): 0.91 0.93 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 4913 0 0 0 4959 41 0 0 25 0 1 0 749498571 16236544 3301 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3964 3301 300 300 0 3664 0
vsize: 15856
[startup+60.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 5084 0 0 0 5952 48 0 0 25 0 1 0 749498571 16375808 3358 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3998 3358 300 300 0 3698 0
vsize: 15992
[startup+70.0033 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 5238 0 0 0 6946 54 0 0 25 0 1 0 749498571 16506880 3398 4294967295 134512640 135726644 3221224592 3221223088 134743985 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4030 3398 300 300 0 3730 0
vsize: 16120
[startup+80.0041 s]
Raw data (loadavg): 0.94 0.94 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 5429 0 0 0 7940 60 0 0 25 0 1 0 749498571 16642048 3475 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4063 3475 300 300 0 3763 0
vsize: 16252
[startup+90.0039 s]
Raw data (loadavg): 0.95 0.94 0.90 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 5589 0 0 0 8935 66 0 0 25 0 1 0 749498571 16773120 3521 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4095 3521 300 300 0 3795 0
vsize: 16380
[startup+100.004 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 5672 0 0 0 9927 73 0 0 25 0 1 0 749498571 16773120 3547 4294967295 134512640 135726644 3221224592 3221223252 134745067 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4095 3547 300 300 0 3795 0
vsize: 16380
[startup+110.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 6620 0 0 0 10920 81 0 0 25 0 1 0 749498571 20054016 3612 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4896 3612 300 300 0 4596 0
vsize: 19584
[startup+120.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 6769 0 0 0 11915 86 0 0 25 0 1 0 749498571 20185088 3647 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4928 3647 300 300 0 4628 0
vsize: 19712
[startup+130.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 6906 0 0 0 12909 92 0 0 25 0 1 0 749498571 20185088 3670 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4928 3670 300 300 0 4628 0
vsize: 19712
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7018 0 0 0 13903 98 0 0 25 0 1 0 749498571 20316160 3725 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4960 3725 300 300 0 4660 0
vsize: 19840
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7189 0 0 0 14897 104 0 0 25 0 1 0 749498571 20451328 3782 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4993 3782 300 300 0 4693 0
vsize: 19972
[startup+160.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7284 0 0 0 15893 108 0 0 25 0 1 0 749498571 20586496 3820 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5026 3820 300 300 0 4726 0
vsize: 20104
[startup+170.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7471 0 0 0 16887 115 0 0 25 0 1 0 749498571 20721664 3893 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5059 3893 300 300 0 4759 0
vsize: 20236
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7633 0 0 0 17882 120 0 0 25 0 1 0 749498571 20721664 3941 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5059 3941 300 300 0 4759 0
vsize: 20236
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7733 0 0 0 18875 127 0 0 25 0 1 0 749498571 20856832 3984 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5092 3984 300 300 0 4792 0
vsize: 20368
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 7918 0 0 0 19870 132 0 0 25 0 1 0 749498571 20992000 4055 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5125 4055 300 300 0 4825 0
vsize: 20500
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8023 0 0 0 20865 137 0 0 25 0 1 0 749498571 20992000 4103 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5125 4103 300 300 0 4825 0
vsize: 20500
[startup+220.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8162 0 0 0 21860 143 0 0 25 0 1 0 749498571 21127168 4128 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5158 4128 300 300 0 4858 0
vsize: 20632
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8290 0 0 0 22855 148 0 0 25 0 1 0 749498571 21262336 4199 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 5191 4199 300 300 0 4891 0
vsize: 20764
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8459 0 0 0 23850 153 0 0 25 0 1 0 749498571 25456640 4254 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6215 4254 300 300 0 5915 0
vsize: 24860
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8546 0 0 0 24845 158 0 0 25 0 1 0 749498571 25591808 4284 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6248 4284 300 300 0 5948 0
vsize: 24992
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8626 0 0 0 25840 163 0 0 25 0 1 0 749498571 25591808 4307 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6248 4307 300 300 0 5948 0
vsize: 24992
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8705 0 0 0 26836 168 0 0 25 0 1 0 749498571 25731072 4329 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6282 4329 300 300 0 5982 0
vsize: 25128
[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8846 0 0 0 27830 174 0 0 25 0 1 0 749498571 25731072 4356 4294967295 134512640 135726644 3221224592 3221223280 134744947 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6282 4356 300 300 0 5982 0
vsize: 25128
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 8928 0 0 0 28825 179 0 0 25 0 1 0 749498571 25866240 4381 4294967295 134512640 135726644 3221224592 3221223088 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6315 4381 300 300 0 6015 0
vsize: 25260
[startup+300.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9010 0 0 0 29820 184 0 0 25 0 1 0 749498571 25866240 4406 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6315 4406 300 300 0 6015 0
vsize: 25260
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9178 0 0 0 30815 190 0 0 25 0 1 0 749498571 26001408 4460 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6348 4460 300 300 0 6048 0
vsize: 25392
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9287 0 0 0 31808 196 0 0 25 0 1 0 749498571 26136576 4512 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6381 4512 300 300 0 6081 0
vsize: 25524
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9372 0 0 0 32804 201 0 0 25 0 1 0 749498571 26136576 4540 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6381 4540 300 300 0 6081 0
vsize: 25524
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9458 0 0 0 33799 205 0 0 25 0 1 0 749498571 26271744 4569 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6414 4569 300 300 0 6114 0
vsize: 25656
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9636 0 0 0 34795 210 0 0 25 0 1 0 749498571 26271744 4633 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6414 4633 300 300 0 6114 0
vsize: 25656
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9738 0 0 0 35791 215 0 0 25 0 1 0 749498571 26406912 4678 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6447 4678 300 300 0 6147 0
vsize: 25788
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9812 0 0 0 36787 218 0 0 25 0 1 0 749498571 26406912 4695 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6447 4695 300 300 0 6147 0
vsize: 25788
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 9951 0 0 0 37783 223 0 0 25 0 1 0 749498571 26542080 4720 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6480 4720 300 300 0 6180 0
vsize: 25920
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10048 0 0 0 38779 227 0 0 25 0 1 0 749498571 26542080 4760 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6480 4760 300 300 0 6180 0
vsize: 25920
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10158 0 0 0 39775 232 0 0 25 0 1 0 749498571 26677248 4813 4294967295 134512640 135726644 3221224592 3221223088 134744184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6513 4813 300 300 0 6213 0
vsize: 26052
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10236 0 0 0 40770 237 0 0 25 0 1 0 749498571 26812416 4834 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6546 4834 300 300 0 6246 0
vsize: 26184
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10393 0 0 0 41764 243 0 0 25 0 1 0 749498571 26812416 4877 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6546 4877 300 300 0 6246 0
vsize: 26184
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10506 0 0 0 42759 248 0 0 25 0 1 0 749498571 26947584 4933 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6579 4933 300 300 0 6279 0
vsize: 26316
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10599 0 0 0 43755 252 0 0 25 0 1 0 749498571 26947584 4969 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6579 4969 300 300 0 6279 0
vsize: 26316
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10669 0 0 0 44751 256 0 0 25 0 1 0 749498571 26947584 4982 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6579 4982 300 300 0 6279 0
vsize: 26316
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10747 0 0 0 45747 260 0 0 25 0 1 0 749498571 27086848 5003 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6613 5003 300 300 0 6313 0
vsize: 26452
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10825 0 0 0 46743 265 0 0 25 0 1 0 749498571 27086848 5024 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6613 5024 300 300 0 6313 0
vsize: 26452
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 10928 0 0 0 47738 270 0 0 25 0 1 0 749498571 27222016 5070 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6646 5070 300 300 0 6346 0
vsize: 26584
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11004 0 0 0 48734 274 0 0 25 0 1 0 749498571 27222016 5089 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6646 5089 300 300 0 6346 0
vsize: 26584
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11085 0 0 0 49731 277 0 0 25 0 1 0 749498571 27357184 5113 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6679 5113 300 300 0 6379 0
vsize: 26716
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11231 0 0 0 50725 283 0 0 25 0 1 0 749498571 27357184 5145 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6679 5145 300 300 0 6379 0
vsize: 26716
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11339 0 0 0 51721 287 0 0 25 0 1 0 749498571 27357184 5196 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6679 5196 300 300 0 6379 0
vsize: 26716
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11436 0 0 0 52718 291 0 0 25 0 1 0 749498571 27492352 5236 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6712 5236 300 300 0 6412 0
vsize: 26848
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11513 0 0 0 53713 296 0 0 25 0 1 0 749498571 27492352 5256 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6712 5256 300 300 0 6412 0
vsize: 26848
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11586 0 0 0 54709 300 0 0 25 0 1 0 749498571 27627520 5272 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6745 5272 300 300 0 6445 0
vsize: 26980
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11659 0 0 0 55705 304 0 0 25 0 1 0 749498571 27627520 5288 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6745 5288 300 300 0 6445 0
vsize: 26980
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19119
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11761 0 0 0 56701 308 0 0 25 0 1 0 749498571 27627520 5333 4294967295 134512640 135726644 3221224592 3221223088 134744036 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6745 5333 300 300 0 6445 0
vsize: 26980
[startup+580.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 19172
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11858 0 0 0 57694 315 0 0 25 0 1 0 749498571 27762688 5373 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6778 5373 300 300 0 6478 0
vsize: 27112
[startup+590.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 19172
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 11936 0 0 0 58689 319 0 0 25 0 1 0 749498571 27762688 5394 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6778 5394 300 300 0 6478 0
vsize: 27112
[startup+600.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 19172
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12008 0 0 0 59685 324 0 0 25 0 1 0 749498571 27897856 5409 4294967295 134512640 135726644 3221224592 3221223184 134760185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6811 5409 300 300 0 6511 0
vsize: 27244
[startup+610.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 19172
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12152 0 0 0 60682 327 0 0 25 0 1 0 749498571 27897856 5439 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6811 5439 300 300 0 6511 0
vsize: 27244
[startup+620.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 19172
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12250 0 0 0 61678 331 0 0 25 0 1 0 749498571 28033024 5480 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6844 5480 300 300 0 6544 0
vsize: 27376
[startup+630.023 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 19174
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12329 0 0 0 62675 335 0 0 25 0 1 0 749498571 28033024 5502 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6844 5502 300 300 0 6544 0
vsize: 27376
[startup+640.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19174
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12467 0 0 0 63671 339 0 0 25 0 1 0 749498571 28168192 5526 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6877 5526 300 300 0 6577 0
vsize: 27508
[startup+650.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12557 0 0 0 64667 342 0 0 25 0 1 0 749498571 28168192 5559 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6877 5559 300 300 0 6577 0
vsize: 27508
[startup+660.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12660 0 0 0 65663 347 0 0 25 0 1 0 749498571 28303360 5605 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6910 5605 300 300 0 6610 0
vsize: 27640
[startup+670.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12738 0 0 0 66659 351 0 0 25 0 1 0 749498571 28303360 5626 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6910 5626 300 300 0 6610 0
vsize: 27640
[startup+680.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12819 0 0 0 67655 356 0 0 25 0 1 0 749498571 28438528 5650 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6943 5650 300 300 0 6643 0
vsize: 27772
[startup+690.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 12964 0 0 0 68651 359 0 0 25 0 1 0 749498571 28438528 5681 4294967295 134512640 135726644 3221224592 3221222832 134782797 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6943 5681 300 300 0 6643 0
vsize: 27772
[startup+700.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13069 0 0 0 69646 364 0 0 25 0 1 0 749498571 28577792 5729 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6977 5729 300 300 0 6677 0
vsize: 27908
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13146 0 0 0 70643 368 0 0 25 0 1 0 749498571 28577792 5749 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6977 5749 300 300 0 6677 0
vsize: 27908
[startup+720.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13242 0 0 0 71639 372 0 0 25 0 1 0 749498571 28708864 5788 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7009 5788 300 300 0 6709 0
vsize: 28036
[startup+730.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13348 0 0 0 72634 377 0 0 25 0 1 0 749498571 28708864 5837 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7009 5837 300 300 0 6709 0
vsize: 28036
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13456 0 0 0 73631 380 0 0 25 0 1 0 749498571 28708864 5888 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7009 5888 300 300 0 6709 0
vsize: 28036
[startup+750.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13541 0 0 0 74627 384 0 0 25 0 1 0 749498571 28848128 5916 4294967295 134512640 135726644 3221224592 3221223200 134741173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7043 5916 300 300 0 6743 0
vsize: 28172
[startup+760.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13614 0 0 0 75623 388 0 0 25 0 1 0 749498571 28848128 5932 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7043 5932 300 300 0 6743 0
vsize: 28172
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13688 0 0 0 76620 392 0 0 25 0 1 0 749498571 28848128 5949 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7043 5949 300 300 0 6743 0
vsize: 28172
[startup+780.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13761 0 0 0 77616 396 0 0 25 0 1 0 749498571 28983296 5965 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7076 5965 300 300 0 6776 0
vsize: 28304
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13903 0 0 0 78613 399 0 0 25 0 1 0 749498571 28983296 5993 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7076 5993 300 300 0 6776 0
vsize: 28304
[startup+800.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 13979 0 0 0 79609 403 0 0 25 0 1 0 749498571 28983296 6012 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7076 6012 300 300 0 6776 0
vsize: 28304
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14061 0 0 0 80605 407 0 0 25 0 1 0 749498571 29118464 6037 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7109 6037 300 300 0 6809 0
vsize: 28436
[startup+820.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14139 0 0 0 81601 412 0 0 25 0 1 0 749498571 29118464 6058 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7109 6058 300 300 0 6809 0
vsize: 28436
[startup+830.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14250 0 0 0 82597 416 0 0 25 0 1 0 749498571 29253632 6112 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7142 6112 300 300 0 6842 0
vsize: 28568
[startup+840.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14333 0 0 0 83593 420 0 0 25 0 1 0 749498571 29253632 6138 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7142 6138 300 300 0 6842 0
vsize: 28568
[startup+850.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14411 0 0 0 84587 424 0 0 25 0 1 0 749498571 29388800 6159 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7175 6159 300 300 0 6875 0
vsize: 28700
[startup+860.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14511 0 0 0 85583 428 0 0 25 0 1 0 749498571 29388800 6202 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7175 6202 300 300 0 6875 0
vsize: 28700
[startup+870.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14621 0 0 0 86580 432 0 0 25 0 1 0 749498571 29523968 6255 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7208 6255 300 300 0 6908 0
vsize: 28832
[startup+880.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14726 0 0 0 87575 436 0 0 25 0 1 0 749498571 29523968 6303 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7208 6303 300 300 0 6908 0
vsize: 28832
[startup+890.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14811 0 0 0 88572 439 0 0 25 0 1 0 749498571 29659136 6331 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7241 6331 300 300 0 6941 0
vsize: 28964
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14884 0 0 0 89568 443 0 0 25 0 1 0 749498571 29659136 6347 4294967295 134512640 135726644 3221224592 3221223216 134744609 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7241 6347 300 300 0 6941 0
vsize: 28964
[startup+910.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 14957 0 0 0 90564 448 0 0 25 0 1 0 749498571 29659136 6363 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7241 6363 300 300 0 6941 0
vsize: 28964
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15048 0 0 0 91561 451 0 0 25 0 1 0 749498571 29798400 6397 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7275 6397 300 300 0 6975 0
vsize: 29100
[startup+930.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15157 0 0 0 92558 454 0 0 25 0 1 0 749498571 29798400 6449 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7275 6449 300 300 0 6975 0
vsize: 29100
[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19176
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15247 0 0 0 93554 458 0 0 25 0 1 0 749498571 29937664 6482 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7309 6482 300 300 0 7009 0
vsize: 29236
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15319 0 0 0 94551 461 0 0 25 0 1 0 749498571 29937664 6497 4294967295 134512640 135726644 3221224592 3221223200 134741148 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7309 6497 300 300 0 7009 0
vsize: 29236
[startup+960.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15386 0 0 0 95547 466 0 0 25 0 1 0 749498571 29937664 6507 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7309 6507 300 300 0 7009 0
vsize: 29236
[startup+970.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15465 0 0 0 96545 468 0 0 25 0 1 0 749498571 30072832 6529 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7342 6529 300 300 0 7042 0
vsize: 29368
[startup+980.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15541 0 0 0 97541 472 0 0 25 0 1 0 749498571 30072832 6548 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7342 6548 300 300 0 7042 0
vsize: 29368
[startup+990.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15613 0 0 0 98538 475 0 0 25 0 1 0 749498571 30072832 6563 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7342 6563 300 300 0 7042 0
vsize: 29368
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15682 0 0 0 99535 478 0 0 25 0 1 0 749498571 30208000 6575 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7375 6575 300 300 0 7075 0
vsize: 29500
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15695 0 0 0 100532 482 0 0 25 0 1 0 749498571 30208000 6588 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7375 6588 300 300 0 7075 0
vsize: 29500
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15772 0 0 0 101528 486 0 0 25 0 1 0 749498571 30208000 6608 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7375 6608 300 300 0 7075 0
vsize: 29500
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15890 0 0 0 102525 489 0 0 25 0 1 0 749498571 30347264 6669 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7409 6669 300 300 0 7109 0
vsize: 29636
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 15982 0 0 0 103521 494 0 0 25 0 1 0 749498571 30347264 6704 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7409 6704 300 300 0 7109 0
vsize: 29636
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16062 0 0 0 104517 498 0 0 25 0 1 0 749498571 30347264 6727 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7409 6727 300 300 0 7109 0
vsize: 29636
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16070 0 0 0 105514 501 0 0 25 0 1 0 749498571 30486528 6735 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7443 6735 300 300 0 7143 0
vsize: 29772
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 3/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16139 0 0 0 106510 505 0 0 25 0 1 0 749498571 30486528 6747 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7443 6747 300 300 0 7143 0
vsize: 29772
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16212 0 0 0 107507 508 0 0 25 0 1 0 749498571 30486528 6763 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7443 6763 300 300 0 7143 0
vsize: 29772
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16232 0 0 0 108504 511 0 0 25 0 1 0 749498571 30621696 6783 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7476 6783 300 300 0 7176 0
vsize: 29904
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16313 0 0 0 109501 515 0 0 25 0 1 0 749498571 30621696 6807 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7476 6807 300 300 0 7176 0
vsize: 29904
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16401 0 0 0 110497 518 0 0 25 0 1 0 749498571 30621696 6838 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7476 6838 300 300 0 7176 0
vsize: 29904
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 3/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16468 0 0 0 111494 522 0 0 25 0 1 0 749498571 30760960 6848 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7510 6848 300 300 0 7210 0
vsize: 30040
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16477 0 0 0 112491 525 0 0 25 0 1 0 749498571 30760960 6857 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7510 6857 300 300 0 7210 0
vsize: 30040
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16552 0 0 0 113488 528 0 0 25 0 1 0 749498571 30760960 6875 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7510 6875 300 300 0 7210 0
vsize: 30040
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16618 0 0 0 114485 532 0 0 25 0 1 0 749498571 30760960 6884 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7510 6884 300 300 0 7210 0
vsize: 30040
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16689 0 0 0 115484 535 0 0 25 0 1 0 749498571 30896128 6898 4294967295 134512640 135726644 3221224592 3221223088 134744249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7543 6898 300 300 0 7243 0
vsize: 30172
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16761 0 0 0 116480 539 0 0 25 0 1 0 749498571 30896128 6913 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7543 6913 300 300 0 7243 0
vsize: 30172
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16830 0 0 0 117477 542 0 0 25 0 1 0 749498571 30896128 6925 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7543 6925 300 300 0 7243 0
vsize: 30172
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16903 0 0 0 118474 546 0 0 25 0 1 0 749498571 30896128 6941 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7543 6941 300 300 0 7243 0
vsize: 30172
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 19178
Raw data (stat): 19119 (pb2sat) R 19118 8378 8377 0 -1 0 16967 0 0 0 119470 549 0 0 25 0 1 0 749498571 30896128 6948 4294967295 134512640 135726644 3221224592 3221223088 134744280 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7543 6948 300 300 0 7243 0
vsize: 30172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 19178
Raw data (stat): 19119 (pb2sat) Z 19118 8378 8377 0 -1 12 16968 0 0 0 119482 551 0 0 25 0 1 0 749498571 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.2
CPU time (s): 1200.34
CPU user time (s): 1194.83
CPU system time (s): 5.51316
CPU usage (%): 100.012
Max. virtual memory (Kb): 30172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####